Așa cum a fost menit să demonstreze

Dezambiguizare - Dacă căutați romanul lui Rex Stout , consultați Nero Wolfe Lassoed .

Această intrare sau secțiune despre matematică nu citează sursele necesare sau cei prezenți sunt insuficienți . Puteți îmbunătăți această intrare adăugând citate din surse de încredere în conformitate cu liniile directoare privind utilizarea surselor . Urmați sfaturile de proiectare de referință .

Așa cum am vrut să demonstrăm, este o poliremie care este plasată de obicei la sfârșitul unei dovezi matematice , pentru a indica faptul că validitatea unei teoreme , sau mai general a unei opinii , a fost definitiv dovedită. În mod normal exprimat cu inițialele cvd sau CVD , a devenit și un mod de a spune în limba italiană .

O altă formă mai puțin obișnuită este așa cum ar fi trebuit să demonstreze ( cdd ) ^[1] , o traducere literală a expresiei analoage latine.

Origine și variante

Utilizarea Quod Erat Demonstrandum de Philippe van Lansberge în 1604

„Așa cum am dorit să dovedim” este cea mai răspândită versiune italiană a expresiei latine quod erat demonstrandum (prescurtată în QED) ^[1] , care este răspândită pe plan internațional. Acesta din urmă este la rândul său derivat din sintagma greacă ὅπερ ἔδει δεῖξαι ( hóper édei déixai ), folosită, printre altele, de Euclid și Arhimede . Înțelesul ambelor expresii ar fi în mod corespunzător „Cât a fost de demonstrat”.

Supraviețuirea acestei expresii (sau a echivalenților ei citați aici) în aproape totalitatea literaturii matematice, de la antichitate până în prezent, nu se datorează dragostei pure pentru tradiție. De fapt, într-un text de matematică este esențial, pentru înțelegerea deplină a legăturilor logice, ca afirmația unei propoziții și dovada acesteia să fie separate una de cealaltă și de contextul (mai mult sau mai puțin discursiv) în care se află teorema. inserat. Din acest motiv, enunțurile teoremelor sunt introduse prin indicația „ Teoremă ” sau „Propoziție” (sau, în cazurile adecvate, „ Lemă ” sau „ Corolar ”) și adesea scrise cu caractere diferite (de exemplu cursive ); demonstrația este introdusă prin cuvântul „ demonstrație ” și încheiată prin expresia Quod erat demonstrandum sau printr-o frază sau simbol echivalent. În acest fel, cititorul poate izola cu ușurință și fără incertitudine dovada fiecărei propoziții.

În perioada fascistă au existat unele reforme ale limbii italiene, printre acestea încercarea de a impune formularea: „Come vavasi prove”, care a devenit predominantă ^{[ fără sursă ]} . Această variație, însă, a căzut treptat în desuetudine după război.

Mod de spus

Răspândirea „așa cum a fost menit să demonstreze” în practica școlară și-a determinat succesul în italiană vorbită și în lexiconul jurnalistic, unde expresia este utilizată în sens parodic , pentru a sublinia ironic , a posteriori, predictibilitatea unui anumit fapt sau veridicitatea unei afirmații pe care alții nu au vrut să o creadă.

Particularități gramaticale

Prezența „dorit” în locul formei normale „voiați” este o prețiozitate care identifică imediat propoziția ca fiind non-colocvială. Cei care îl utilizează se referă, așadar, implicit la un jargon de specialitate, care este evocat în sens parodic , în funcție de caz, sau ca dovadă indirectă a propriei culturi și experiență.

În general, utilizarea pronumelui pasivant „si” sudat ca sufix la imperfectul de indicativ poate fi încă găsit în scriere în această formă aproape arhaică și cu siguranță foarte formală; de exemplu:

Acesta este un caz obișnuit.

S-a dus la casa tânărului.

Găsindu-se cu spatele la perete, a decis să ...

De asemenea, a avut un succes deosebit în jargonul creat pentru anunțurile clasificate în ziare, în care era convenabil să se reducă numărul de cuvinte, pe baza căruia a fost calculat costul reclamei . Asa:

Apartament de închiriat

Mașină cu mai multe referințe dorită

Afacerile au început să fie vândute

Această din urmă utilizare a rămas în practica comercială, chiar și în contexte în care numărul de cuvinte nu este relevant.

În alte limbi

Aceste fraze au fost folosite de ceva timp și, în general, nu sunt înlocuite doar cu litere care nu sunt urmate de un punct, așa cum se folosește în schimb pentru acronime introductive mai recente. De exemplu, electrodinamica cuantică este abreviată doar cu cele trei litere QED.

Utilizarea simbolurilor

Mai recent, anumite simboluri tipografice au fost utilizate cu o frecvență crescândă:

• ■ codificat & # 9632 și ca U + 25A0 în Unicode ; mai este numit „piatră funerară” sau „Halmos” de Paul Halmos, primul matematician autoritar care a adoptat aceste simboluri
• ∎ codificat ca & # 8718 și ca U + 220E în Unicode, care îi dă numele „Sfârșitul dovezii”
• □ codificat ca & # 9633 și ca U + 25A1 sub Unicode .
• triunghiul ‣ codificat ca & # 8227 și U + 2023 ca parte a Unicode ^{[2] [3] [4]}

Notă

Portalul lingvistic

Portalul de matematică