Zărnescu, Narcis (2025), Despre relevanța incompletitudinii gődeliene. Observații și repere., Intelligence Info, 4:3, 146-152, https://www.intelligenceinfo.org/despre-relevanta-incompletitudinii-godeliene-observatii-si-repere/

 

On the Relevance of Gődelian Incompleteness. Observations and References.

Abstract

My research topic, focusing on Kurt Gödel’s two incompleteness theorems published in 1931, explores the epistemic shock, relevance, and consequences of these theorems for mathematical thought of that era.

Keywords: incompleteness, Gödel, epistemic shock, contexts, chronotopes

Rezumat

Tema cercetării mele, focalizată pe cele două teoreme de incompletitudine ale lui  Kurt Gödel, publicate în 1931, explorează şocul epistemic, relevanţa şi consecințele lor asupra gândirii matematice din epocă.

Cuvinte cheie: incompletitudine, Gödel, şocul epistemic, contexte, cronotopuri

 

INTELLIGENCE INFO, Volumul 4, Numărul 3, Septembrie 2025, pp. 146-152
ISSN 2821 – 8159, ISSN – L 2821 – 8159,
URL: https://www.intelligenceinfo.org/despre-relevanta-incompletitudinii-godeliene-observatii-si-repere/
© 2025 Narcis ZĂRNESCU. Responsabilitatea conținutului, interpretărilor și opiniilor exprimate revine exclusiv autorilor.

 

Despre relevanța incompletitudinii gődeliene. Observații și repere.

Narcis ZĂRNESCU[1]
mithra.zurban@gmail.com

[1] Redactor Şef. Revista ACADEMICA, Academia Română; Cavaler al Ordinului Palmes Académiques; doctor în filologie & doctor în ştiinţe economice; Redactor Şef Adj. Revista NOESIS; membru în Colegiul de redacţie al publicaţiei STUDII ŞI COMUNICĂRI/DIS; membru al Uniunii Scriitorilor din România; membru al Uniunii Ziariştilor Profesionişti din România; membru al Academiei Româno-Germane (Mainz); membru al Institutului Român – Biblioteca Română (Freiburg im Breisgau); membru al Academiei Româno-Germane (Baden-Baden).

 

Introducere

Tema cercetării mele este focalizată pe cele două teoreme de incompletitudine ale lui Kurt Gödel, celebre în logica matematică, publicate în 1931 sub titlul „Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme” („Despre propozițiile formal indecidabile ale Principia Mathematica și sistemele înrudite”)^[1]. Aceste teoreme au marcat un punct de cotitură în istoria logicii, oferind un răspuns negativ la întrebarea pusă de Hilbert privind demonstrația consistenței matematicii, cu mai bine de douăzeci de ani mai devreme.

Definiţii lămuritoare privind cele două teoreme gödeliene.

Prima teoremă de incompletitudine stabilește că orice teorie coerentă suficient de puternică pentru a demonstra teoremele fundamentale ale aritmeticii este în mod necesar incompletă. Această incompletitudine se manifestă prin existența unor enunțuri care nu pot fi nici demonstrate, nici infirmate în cadrul teoriei respective. Un enunț este considerat demonstrabil dacă poate fi dedus logic din axiomele teoriei, şi este refutabil dacă negația sa poate fi dedusă. Enunțurile care nu sunt nici demonstrabile, nici refutabile sunt denumite indecidabile în contextul acelei teorii.

A doua teoremă de incompletitudine este simultan un corolar și o formalizare a unei părți a demonstrației primei teoreme. Aceasta abordează problema demonstrațiilor de coerență ale unei teorii: o teorie este coerentă dacă există enunțuri care nu pot fi demonstrate în cadrul ei (sau, echivalent, dacă nu se poate demonstra atât A, cât și non-A); de exemplu, coerența aritmeticii este adesea exprimată prin faptul că enunțul 0 = 1 nu este demonstrabil în interiorul ei (știind că, desigur, 0 ≠ 1 este demonstrabil). Sub ipoteze cu puțin mai puternice decât cele ale primei teoreme, se poate construi un enunț care exprimă coerența unei teorii în limbajul acelei teorii. A doua teoremă afirmă atunci că, dacă teoria este coerentă, acest enunț nu poate fi o consecință a ei, ceea ce poate fi rezumat prin: „o teorie coerentă nu își demonstrează propria coerență.”

 

Aceste două teoreme sunt valide, de exemplu, pentru aritmetica lui Peano și, prin urmare, pentru teoriile mai puternice decât aceasta, în special teoriile destinate fundamentării matematicii, cum ar fi teoria mulțimilor sau Principia Mathematica.

Teoremele de incompletitudine și, mai ales, consecințele lor asupra gândirii matematice din epocă, au reprezentat un şoc epistemic, greu de acceptat, dacă îi amintim, de exemplu, numai pe David Hilbert și elevii săi. Într-adevăr, inițial, puțini matematicieni au înțeles aceste teoreme și implicațiile lor, dar au fost și minți sclipitoare, printre care se numără John von Neumann, Paul Bernays, un colaborator apropiat al lui David Hilbert, Alonzo Church, Stephen Cole Kleene și J. Barkley Rosser, care au jucat și un rol important în apariţia teoriei calculabilității. Vom mai adăuga că teoremele de incompletitudine abordează raportul, fundamental în logică, dintre adevăr și demonstrabilitate și, mai ales, stabilesc formal că aceste două concepte sunt profund diferite.

Contexte şi cronotopuri

Dar cum s-au născut aceste două teoreme care au tulburat apele gândirii meta-matematice mondiale? Ar fi fost necesară poate reconstituirea unei imagini de ansamblu asupra personalităţii lui Gödel, de la activitatea sa de la Viena până la ultimele zile din Princeton? O explorare a operei lui Kurt Gödel, „cel mai mare logician de la Aristotel încoace”, după expresia lui John von Neumann, în contextul istoric al Europei de la sfârșitul secolului al XIX-lea până la sfârșitul secolului al XX-lea; dar și în contextul științific: de la crearea teoriei mulțimilor de către Georg Cantor la rezultatele anilor 1930-1931 şi paradoxurile începutului de secol, ilustrate de diferite școli din filosofia matematicii, până la la confruntarea între filosofia completitudinii a lui Gödel și cea a lui David Hilbert, subminată – după cum recunosc toate istoriile filosofiei matematice – de teoremele limitative ale lui Gödel.

Mă voi opri, totuși, asupra celor doi „piloni” definitorii ai vieții și operei lui Kurt Gödel: Viena 1929 şi Princeton 1934.

Cronotopul Viena 1929 este marcat de Teza lui Gödel, publicată în 1930, în care se abordează calculul predicatelor de ordinul întâi. Teorema gödeliană a completitudinii afirmă că pentru orice teorie a calculului predicatelor de ordinul întâi, o formulă este demonstrabilă dacă și numai dacă este validă. Teoria completitudinii este modelată, probabil, şi de principalele axe de cercetare ale logicienilor de la sfârșitul secolului al XIX-lea și începutul secolului al XX-lea, precum dezvoltarea teoriei mulțimilor, cele trei paradoxuri legate de autoreferențialitate și problema fundamentelor matematicii.

Cronotopul Viena mai cuprinde şi cercetările din 1930, publicate în 1931. Remarcabil este sistemul, suficient de puternic pentru a formaliza aritmetica elementară, care conține propoziții indecidabile, nici demonstrabile, nici refutabile în sistem, deşi consecvența sistemului nu poate fi stabilită printr-o demonstrație formalizabilă în sistem. Aș mai reține respingerea, cel puțin parțială, a programului lui Hilbert în cele două versiuni ale sale, şi transformarea problemei fundamentelor matematicii.

Cronotopul Princeton 1934 înregistrează definiția computabilității, formulată aproape simultan de Gödel, Alonzo Church și Alan M. Turing, definiții și concepte precedate în evoluția gândirii godeliene de problema fundamentării aritmeticii elementare și a justificării sale epistemologice, după teoremele limitative din 1931. Întrebarea matematică și filosofică dacă există mașini capabile să scrie tot ceea ce noi, oamenii, putem gândi primește un răspuns negativ. În sub-cronotopul 1938, Gödel își va anunța rezultatele cercetărilor privind consistența axiomei alegerii și a ipotezei generale a continuumului cu axiomele teoriei mulțimilor.

Sub-cronotopul 1958 marchează apariţia ultimului text publicat de Gödel, „Despre o versiune până acum neutilizată a punctului de vedere finitar” [« On a hitherto unutilized version of the finitary standpoint »].

Precursori şi contemporani^[2].

Două dintre cele mai profunde idei ale secolului al XX-lea au fost teoria relativității a lui Einstein și teorema de incompletitudine a lui Gödel. S-a scris despre modul în care Poincaré a anticipat multe dintre conceptele fundamentale care au stat la baza relativității restrânse, dar anticiparea de către acelaşi savant francez a unor aspecte de bază ale teoremei lui Gödel pare a fi mai puțin cunoscută. Ideile lui Henri Poincaré axate pe aceste subiecte se regăsesc în cărțile sale, care au fost traduse încă din timpul vieţii: Știință și ipoteză (1903), Valoarea științei (1905) și Știință și metodă (1908).

Ne întrebăm retoric și cu o ironie paideică: dacă Poincaré nu ar fi decedat în 1912, în urma unei operații de apendicită la vârsta de 58 de ani, ar fi avut doar 62 de ani când a apărut teoria relativității generale a lui Einstein în 1916, și 72 de ani la apariția mecanicii cuantice în 1926; iar dacă ar fi trăit până la vârsta de 77 de ani, ar fi putut să recenzeze teoremele de incompletitudine ale lui Gödel, care îi confirmau intuițiile logice și metalogice. De pildă, în Știință și metodă (1908), Poincaré a inclus secțiuni atât despre „Noile logici”, cât și despre „Noua mecanică”, fiecare dintre aceste studii și comentarii conținând expuneri ale ideilor, pe atunci futuriste, specifice acestor domenii.

Din ignoranţă, blocaje dogmatice sau orgolii naţionale, subiectul Poincaré, precursorul lui Gödel este extrem de rar abordat de specialişti. Se afirmă de obicei că, în 1931, Gödel a demonstrat pentru prima dată imposibilitatea tentativei lui Hilbert de a produce o “dovadă finitistică” (finitistic proof) privind consistența aritmeticii, deşi Poincaré argumentase deja încă din 1908, în cartea sa Știință și metodă, că programul lui Hilbert este intrinsec imposibil.

La început a fost Euclid.

De-a lungul istoriei, controversele – semn al valorii, stranietății și singularității – au asediat axiomele și demonstrațiile lui Euclid. Cu toate acestea, Elementele euclidiene rămân o lucrare fundamentală în istoria științei și continuă să exercite o influență considerabilă. Gânditori şi vizionari, începând cu Galileo Galilei, Nicolaus Copernic, Johannes Kepler până la Isaac Newton si Baruch Spinoza, au fost cu influențați de Elementele lui Euclid. La fel ca mulţi matematicieni moderni, precum Bertrand Russell, Alfred North Whitehead, Henri Poincaré, Kurt Gödel sau grupul de matematicieni Bourbaki.

Secolul al XX-lea a revelat două limitări importante ale cunoașterii științifice. Pe de o parte, combinația dintre dinamica neliniară a lui Poincaré și principiul incertitudinii al lui Heisenberg conduce la o imagine a lumii în care realitatea fizică este, în multe privințe, intrinsec nedeterminată. Pe de altă parte, teoremele de incompletitudine ale lui Gödel ne dezvăluie existența unor adevăruri matematice care nu pot fi demonstrate^[3].

Se crede în general că subiecte precum imposibilitatea, incompletitudinea, paraconsistența, indecidabilitatea, aleatorismul, computabilitatea, paradoxul, incertitudinea, limitele rațiunii sunt chestiuni științifice, fizice sau matematice disparate, având puțin sau nimic în comun. De fapt, aceste concepte generează dezbateri, probleme, teorii și sisteme filosofice, jocuri de limbaj, parțial rezolvate și de Wittgenstein, cu peste 80 de ani în urmă. El demonstrase eroarea fatală de a considera matematica, limbajul sau comportamentul nostru în general ca un „sistem” logic unitar coerent, mai degrabă decât ca o colectie de fragmente asamblate prin procesele aleatorii ale selecției naturale^[4].

Dezbaterile matematice din a doua jumătate a secolului al XIX-lea și începutul secolului al XX-lea au dat naștere la diferite perspective asupra naturii fundamentelor matematicii,  care se contraziceau reciproc. Cea mai vagă poziție standard – afirmă insuficient argumentat unii critici – este intuiționismul, reprezentat în principal de Henri Poincaré. Acesta se opune logicismului strict, reprezentat cu precădere de Bertrand Russell în Principia Mathematica. Pe de altă parte, David Hilbert și formalismul școlii sale nu se bazează pe un fundament complet logic, pentru că în formalism, prioritară este menținerea consistenței şi, în consecinta, teoremele matematicii nu necesită traducere în limbajul logicii. Kurt Gödel a zădărnicit, de altfel, planurile formalismului de a dezvolta un sistem matematic consistent, more geometrico, deşi unii matematicieni au refuzat să accepte rezultatele sale şi au dezvoltat concepte teoretice care puneau la îndoială rezultatele lui Gödel. Primul a fost Wittgenstein, care a încercat să destructureze acest concept. Hintikka a fost al doilea, pe această linie.

Critica lui Wittgenstein se situează la un nivel mai profund. El consideră demonstrația lui Gödel ca fiind lipsită de sens, fără însă a o contrazice, afirmând completitudinea deductivă în sensul programului lui Hilbert. De ce? Pentru că este imposibil să vorbeşti despre nonsens în termeni de adevăr și fals. Spre deosebire de Wittgenstein, Hintikka stabilește un standard inferior modelului de dezvoltare a sistemelor axiomatic consistente prin raportare la Gödel. Pentru a demonstra inconsistența, Hintikka se va folosi de un canon, nu de un organon, idee pe care o vom aprofunda într-o secțiune viitoare a cercetării noastre. Fără îndoială, critica adusă de Hintikka sau Wittgenstein nu modifică validitatea factuală a celei mai mari descoperiri matematice din epoca modernă, care i se datorează lui Gödel. De aceea Şcoala post-gödeliană încearcă și deocamdată reușește să demonstreze că nu va exista “nimic” care să poată anula sau depăși vreodată teoremele lui Gödel. Ele pot fi privite critic din unghiuri diferite, dar nu pot fi infirmate matematic^[5].

Deși Kurt Gödel dispare fizic în 1978, incompletitudinile gődeliene își dovedesc, în continuare, relevanța și energia epistemică.

Bibliografie:

Primară:

[1] Gödel, Kurt (1930). Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I. (« Despre propoziţiile formal indecidabile din Principia Mathematica şi despres sistemele înrudite»). Monatshefte für Mathematik und Physik, 38 (1930/1931). pp. 173-198. Studiu tradus în engleză de van Heijenoort (1971), ediţia From Frege to Gödel. Harvard University Press.

[2] *** (1971). From Frege to Gödel. Haarvard: Harvard University Press.

Secundară:

[3] Ambrozy, M. (2023). Futile attempts to circumvent Gödel’s theorems. Conference in: Euroasia International Congress on Scientific Researches and Recent Trends- X, Baku: 2023, Volume X.

[4] Drago, Antonino (2014). The Emergence of Two Options from Einstein’s First Paper on Quanta.

[https://www.researchgate.net/publication/262935797_The_Emergence_of_Two_Options_from_Einstein’s_First_Paper_on_Quanta]; pagină web accesată la 16.04.2025.

[5] Drago, Antonino (2025). Einstein’s 1905 “Revolutionary” Paper on Quanta as a Manifest and Detailed Example of a “Principle Theory” [https://www.scirp.org/journal/paperinformation?paperid=47519]; pagină web accesată la 23.03.2025.

[6] Merriam, A. (2023). Einstein and Gödel’s Thoughtful Walks in Princeton. Long walks spark good ideas. Aug 2, 2023.

[https://medium.com/@Merrysci/einstein-and-g%C3%B6dels-thoughtful-walks-in-princeton-ba252376c2a0]; pagină web accesată la 14.03.2025.

[7] Sols, Fernando (2013). Uncertainty, incompleteness, chance, and design. In Intelligible Design, M. M. Carreira and Julio Gonzalo, eds., World Scientific (Singapore).

[8] Starks, Michael Richard (2019). Remarks on Impossibility, Incompleteness, Paraconsistency, Undecidability, Randomness, Computability, Paradox, Uncertainty and the Limits of Reason in Chaitin, Wittgenstein, Hofstadter, Wolpert, Doria, da Costa, Godel, Searle, Rodych, Berto, Floyd, Moyal. Reality Press. pp. 24-38. [https://philarchive.org/rec/STAROW-15]. pagina web accesată la 11.03.2025.

Surse internet:

[9][https://www.researchgate.net/publication/262935797_The_Emergence_of_Two_Options_from_Einstein’s_First_Paper_on_Quanta]; pagină web accesată la 16.04.2025.

[10] [https://www.scirp.org/journal/paperinformation?paperid=47519; pagină web accesată la 23.03.2025.

[11][https://medium.com/@Merrysci/einstein-and-g%C3%B6dels-thoughtful-walks-in-princeton-ba252376c2a0], pagină web accesată la 14.03.2025.

[12] [https://philarchive.org/rec/STAROW-15], pagina web accesată la 11.03.2025.

Note

[1] [1], pp. 173-198. [2], Traducere van Heijenoort (1971); pp. 596-616.

[2] Afirmațiile și argumentele susținute în acest subcapitol, se bazează în general pe următorul segment bibliografic: [3], [4], [5].

[3] [6].

[4] [7], pp. 24-38.

[5] [2]