Preambul
În primul eseu din această serie [AG1], disponibil aici, am încercat să explic de ce matematica joacă un rol esențial în societatea modernă. În al doilea eseu [AG2], disponibil aici, am încercat să explic o distincție, pe care o consider esențială, între matematică și modelarea matematică. Lumea în care trăim și lumea matematicii sunt foarte diferite iar singura interfață între aceste două lumi este, până la proba contrarie, mintea umană. Atunci când folosim matematica pentru a descrie un fenomen fizic, biologic, economic sau social, construim un model, iar concluziile obținute riguros în interiorul acelui model matematic prin demonstrații nu trebuie confundate cu afirmații la fel de certe despre fenomenul din lumea reală. Cele două au niveluri de certitudine diferite: pe când nivelul de certitudine din modelul matematic este maxim, interpretările acestuia în fenomenul din lumea reală pe care îl modelează au nivele de certitudine variabile, în funcție de acuratețea modelării și de alți parametri. Am lăsat însă neatinsă o întrebare care vine aproape inevitabil după această explicație: dacă ne retragem din lumea reală în lumea matematicii, cât de solid este terenul pe care am ajuns? Altfel spus, cât de solide sunt fundamentele pe care se sprijină matematica însăși?
Întrebarea poate părea aproape absurdă. Imaginea cea mai răspândită despre matematică este aceea de „știință exactă”, cea mai sigură formă de cunoaștere de care dispunem. Teoriile din științele naturii se modifică, măsurătorile au erori mai mari sau mai mici, predicțiile economice sunt mai bune sau mai proaste, iar interpretările fenomenelor sociale sunt permanent disputate. Tocmai aceste caracteristici i-au permis lui Karl Popper (1902-1994) să diferențieze științele în cadrul teoriei cunoașterii prin celebrul criteriu al falsificabilității. În matematică situația este radical diferită și aici este potrivit să accentuăm, încă o dată, distincția între matematică și modelele matematice utilizate pentru lumea reală. Ceea ce face diferența este în mod esențial conceptul de ,,demonstrație matematică”. O teoremă corect demonstrată rămâne demonstrată: pe când cunoștințele din științele naturii se primenesc și chiar se schimbă continuu, cunoștințele din matematică sunt eterne. Teorema lui Pitagora nu devine mai puțin adevărată dacă o nouă observație astronomică ne schimbă imaginea asupra Universului. Tocmai această exigență extraordinară de rigoare datorată demonstrației matematice conduce însă către o întrebare incomodă: dacă fiecare afirmație matematică trebuie justificată, cum justificăm punctele de plecare ale matematicii?
Fundamentele matematicii constituie un domeniu vast și este lipsit de speranță să fie acoperit într-un eseu de această factură. În acest eseu doresc să discut o întrebare mai restrânsă, care a devenit centrală la sfârșitul secolului al XIX-lea și începutul secolului al XX-lea: putem așeza matematica pe un sistem de concepte primitive, axiome și reguli de inferență, suficient de precis încât să fim siguri de întreaga construcție? Simplificarea unor asemenea probleme pentru un public larg presupune inevitabil pierderea unor detalii tehnice; voi încerca să le semnalez numai acolo unde devin importante.
Sunt perfect conștient că demersul meu este riscant din mai multe puncte de vedere. Dar, îmi asum aceste riscuri din mai multe motive. Primul motiv este că, în această încercare a mea de a explica matematica și relația acesteia cu societatea contemporană unei audiențe foarte largi, mi s-ar părea lipsit de onestitate să evit subiecte sensibile, așa cum este acesta, al solidității fundamentelor matematicii. Al doilea motiv este legat de faptul că am observat că există o mare neînțelegere asupra interpretărilor fenomenelor legate de soliditatea fundamentelor matematicii și sper ca modesta mea contribuție să clarifice măcar parțial aceste neînțelegeri, pentru o bună parte dintre cititorii de pe această platformă. Ultimul motiv, dar foarte important, este legat de hotărârea mea, cu mult timp în urmă, de a-mi dedica viața profesională matematicii. În educația mea matematică timpurie, am ajuns inevitabil și la întrebarea asupra solidității fundamentelor matematicii și am încercat să înțeleg ,,în ce m-am băgat”: răspunsul pe care l-am aflat, și pe care doresc să-l împărtășesc cu cititorii de pe această platformă, nu m-a făcut să-mi schimb hotărârea.
De unde pornește o demonstrație?
O demonstrație matematică pornește de la concepte cunoscute, afirmații care au fost demonstrate și sunt acceptate și, prin pași logic acceptați, ajunge la o afirmație nouă. Dar afirmațiile de la care demonstrația pornește au fost, la rândul lor, demonstrate folosind alte afirmații. Dacă urmăm acest lanț înapoi, vrem să ajungem undeva, pe un tărâm solid. Nu putem cere ca fiecare afirmație să fie demonstrată dintr-o afirmație anterioară, într-un regres fără sfârșit. O teorie matematică axiomatică pornește, de aceea, de la câteva concepte primitive, pe care nu le definim, ci le acceptăm ca atare, și de la axiome, adică afirmații pe care nu le demonstrăm în interiorul teoriei, ci le acceptăm ca puncte de plecare. La acestea se adaugă reguli generale de inferență care stabilesc ce pași de raționament sunt permiși și care, în principiu, sunt conforme cu logica bivalentă, adică logica în care există doar două valori de adevăr, adevărat sau fals. Din astfel de ingrediente aparent modeste se poate construi un edificiu matematic enorm.
Modelul istoric pentru o teorie axiomatică este geometria euclidiană. În Elementele, scrise în jurul anului 300 î.Hr., Euclid din Alexandria organizează o parte importantă a geometriei pornind de la definiții și câteva postulate, sau axiome. Pentru mine, ca și pentru mulți dintre cei care au avut șansa unei întâlniri fericite cu geometria sintetică în copilărie, experiența este extraordinară și greu de uitat: din câteva presupuneri simple, prin raționamente în care toate obiectele sunt pe masă, apar rezultate din ce în ce mai complexe și adesea surprinzătoare.
Dar istoria axiomatizării geometriei a adus și o lecție mai subtilă. Timp de secole, matematicienii au încercat să demonstreze celebrul postulat al paralelelor pornind de la celelalte postulate. Nu au reușit. Mai mult, în secolul al XIX-lea au fost construite geometrii neeuclidiene, bazate pe alte presupuneri privind paralelele, care s-au dovedit a fi la fel de coerente din punct de vedere matematic. S-a schimbat astfel și felul în care privim axiomele. O axiomă nu trebuie să fie un „adevăr evident” despre lumea în care trăim. Suntem acum în lumea matematicii, care este separată de lumea reală. O axiomă poate fi privită ca o presupunere precisă de la care pornim și ale cărei consecințe le cercetăm ,,numai” în cadrul sistemului formal al matematicii, fără să ne preocupe consistența acesteia cu lumea reală în care trăim.
Dacă vrem să înțelegem cât de cât un exemplu de sistem axiomatic, nu este nevoie să începem cu concepte matematice exotice. Putem porni de la ceva familiar tuturor: numerele naturale, 1, 2, 3, 4 și așa mai departe. Ce poate fi mai sigur decât număratul? Foarte mulți oameni chiar consideră că matematica se reduce la numere, deși această afirmație este la ani lumină de adevăr. Și totuși, numerele naturale ne sunt atât de familiare încât oricine are cât de cât o educație matematică elementară le consideră ,,înțelese”. Nu intrăm acum în detalii asupra ,,înțelegerii” numerelor naturale, poate în alt eseu din această serie. În 1889, în Arithmetices principia, nova methodo exposita, Giuseppe Peano (1858-1923) a formulat un sistem de cinci axiome pentru numerele naturale, o simplificare a sistemului de axiome propus de Richard Dedekind (1831-1916) cu un an mai înainte. Într-o prezentare simplificată, avem numărul 1 și operația de „succesor”, adică trecerea la numărul următor. Presupunem că: (p1) 1 este număr natural; (p2) succesorul oricărui număr natural este tot număr natural; (p3) 1 nu este succesorul niciunui număr natural; (p4) nu există două numere naturale diferite care să aibă același succesor. La acestea se adaugă principiul inducției matematice: (p5) dacă o proprietate este adevărată pentru numărul 1 și putem demonstra că, fiind adevărată pentru un număr natural oarecare, este adevărată și pentru succesorul lui, atunci proprietatea este adevărată pentru toate numerele naturale. Alegerea lui 1 drept punct de plecare este doar o convenție; există formulări care pornesc de la 0.
M-aș opri puțin asupra axiomei (p5). Această axiomă, pe care o numim principiul inducției matematice, este uneori greșit înțeleasă ca fiind o simplă consecință a metodei inductive, obținerea unor afirmații generale dintr-o mulțime de afirmații particulare, utilizată în științe și în educație. Inducția matematică este o afirmație din acest sistem formal pe care îl numim matematică și, într-adevăr, putem să găsim analogii cu metoda inductivă. Numai că, cele două principii, sau metode, au presupuneri diferite și concluzii diferite. Uneori, principiul inducției matematice mai este numit și principiul inducției complete, pentru a-l deosebi, a nu știu câta oară, de metoda inductivă.
Dintr-un asemenea sistem foarte restrâns putem construi aritmetica: putem să definim adunarea, înmulțirea și ordonarea numerelor naturale și putem să demonstrăm proprietățile lor, iar motorul acestor construcții și demonstrații este exact axioma (p5), principiul inducției matematice. Acesta este visul axiomatic în forma sa cea mai seducătoare: la temelie avem câteva concepte primitive, câteva axiome și reguli logice precise de inferență, iar deasupra lor se ridică un edificiu potențial nelimitat de teoreme. Dar tocmai aici apare întrebarea care ne interesează: ce proprietăți ar trebui să aibă fundația pentru ca edificiul să fie într-adevăr sigur?
Visul unei fundații perfecte
În primul rând, am dori ca sistemul axiomatic să nu se contrazică. Nu vrem să putem demonstra, în cadrul aceluiași sistem, atât o afirmație cât și negația ei. Această proprietate se numește consistență. În al doilea rând, am putea dori ca sistemul să poată da, măcar în principiu, un răspuns la fiecare întrebare matematică pe care o putem formula în interiorul lui: să putem demonstra fie afirmația, fie negația ei. Această proprietate se numește completitudine. Și, dacă idealul ar fi dus până la capăt, am putea visa la o procedură care, după un număr finit de pași, să ne spună dacă o afirmație este sau nu o teoremă, adică o afirmație demonstrată și a cărei demonstrație poate fi verificată. Aceasta este ideea de decidabilitate. Consistență, completitudine, decidabilitate: un sistem care le-ar avea pe toate ar părea foarte aproape de fundația ideală pe care o căutăm.
La sfârșitul secolului al XIX-lea și începutul secolului al XX-lea, asemenea întrebări au devenit urgente. Dezvoltarea teoriei mulțimilor, datorată în primul rând lui Georg Cantor (1845-1918), dar la care au contribuit substanțial și alți matematicieni, printre care Richard Dedekind, a scos la iveală dificultăți neașteptate. Nu intrăm în amănunte despre teoria mulțimilor, aceasta va fi discutată într-un episod ulterior. Au apărut paradoxuri care arătau că folosirea prea liberă a noțiunii de mulțime poate conduce la contradicții. Cel mai cunoscut este paradoxul (o afirmație care se contrazice pe sine printr-un raționament corect) lui Bertrand Russell (1872-1970). Nu voi intra aici în detalii fiindcă acest paradox se leagă de tranziția de la logică la teoria mulțimilor, despre care intenționez să vorbesc într-un episod ulterior. Important pentru moment este semnalul de alarmă: matematica trebuie să-și examineze mai atent propriile temelii.
David Hilbert (1862-1943) a fost una dintre figurile centrale ale marelui proiect de fundamentare care a urmat. Într-o formulare simplificată, speranța era că matematica în întregime poate fi formalizată, adică să poată fi transpusă într-un sistem de semne și reguli precise, cu sisteme axiomatice, și că putem demonstra, prin metode sigure, că asemenea sisteme nu conduc la contradicții. Miza este enormă: matematica trebuie nu doar să demonstreze teoreme, ci să cerceteze matematic dacă însuși mecanismul prin care produce teoreme este sigur. Simplific mult aici un program istoric și tehnic considerabil mai complex: o prezentare prietenoasă pentru cititorul nespecialist a Programului lui Hilbert este disponibilă pe platforma Stanford Encyclopedia of Philosophy [SEP2].
Când matematica începe să se studieze pe ea însăși
Pentru aceasta trebuia făcut un pas intelectual remarcabil. Demonstrațiile trebuiau transformate în obiecte care să poată fi studiate matematic. Dacă regulile sunt suficient de precise, o demonstrație poate fi privită ca o succesiune finită de simboluri, în care fiecare pas este fie un punct de plecare acceptat, fie rezultatul aplicării corecte a unei reguli. Putem atunci pune întrebări matematice despre demonstrațiile matematice. Matematica începe, într-un anumit sens, să se studieze pe ea însăși.
În 1931, Kurt Gödel (1906-1978) [G1], [G2], a arătat că acest proiect întâlnește o limitare fundamentală. Într-o formulare adaptată scopului acestui eseu, prima teoremă de incompletitudine a lui Gödel spune că un sistem formal care nu se contrazice, ale cărui axiome și reguli pot fi procesate prin proceduri precise, în sensul că este efectiv axiomatizabil, și care este suficient de puternic pentru a cuprinde aritmetica numerelor naturale, nu poate ,,decide” toate afirmațiile care pot fi formulate în interiorul său. Vor exista afirmații ,,indecidabile”, adică pentru care, în cadrul sistemului, nu se poate demonstra nici afirmația, nici negația ei. Cu alte cuvinte, dacă vrem un asemenea sistem suficient de bogat și fără contradicții, trebuie să acceptăm că el este incomplet. Acest rezultat este cu atât mai surprinzător cu cât nu apare într-un domeniu exotic al matematicii. Apare în lumea atât de familiară a numerelor naturale, de unde am pornit, tocmai pentru că numerele naturale 1, 2, 3, 4, … păreau obiectele cele mai sigure cu putință. Dar cum poate matematica să demonstreze o asemenea limitare a demonstrației?
Ideea lui Gödel este extraordinară. Utilizând descompunerea (unică a) numerelor naturale ca produse de numere prime, el a arătat că formulele și chiar demonstrațiile pot fi codificate prin numere naturale. Dacă putem face aceasta, atunci afirmațiile despre formule și demonstrații pot fi transformate în afirmații despre numere. Într-un mod riguros, dar pe care nu-l putem reproduce aici fără un aparat matematic considerabil, Gödel construiește o afirmație care ajunge să vorbească indirect despre propria sa demonstrabilitate. În esență, ea spune: „această afirmație nu poate fi demonstrată în acest sistem”. Nu avem de-a face cu un joc de cuvinte sau cu paradoxul mincinosului, ci cu o construcție matematică precisă. În condițiile teoremei, dacă sistemul este consistent, el nu poate demonstra această afirmație; iar rezultatul poate fi întărit astfel încât nici negația ei să nu poată fi demonstrată. Gödel a găsit, așadar, o afirmație pe care sistemul nu o poate decide.
Pentru a înțelege mai ușor această teoremă, o analogie datorată lui Alfred Korzybski (1879–1950) ne poate ajuta [K]. Să ne gândim la raportul dintre un teritoriu și o hartă a lui. Teritoriul are proprietăți care nu depind de ceea ce este desenat pe hartă: două localități sunt sau nu despărțite de un râu, indiferent dacă râul apare pe harta pe care o avem în față. Harta, în schimb, ne permite să stabilim numai ceea ce poate fi citit sau dedus din informația pe care o conține. În această analogie, adevărul unei afirmații matematice seamănă cu ceea ce este cazul în „teritoriul” matematic considerat, iar demonstrabilitatea cu ceea ce poate fi obținut pornind de la axiomele și regulile sistemului nostru formal. Teorema lui Gödel ne spune că, pentru anumite sisteme suficient de bogate, harta nu poate fi făcută astfel încât să decidă prin propriile sale mijloace fiecare afirmație care poate fi formulată în limbajul ei. O dezvoltare mai profundă a acestei analogii poate fi găsită în celebra carte a lui Douglas Hofstadter [H].
Analogia aceasta are însă o limitare importantă. În geografie, știm ce înseamnă teritoriul independent de hartă. În matematică, întrebarea dacă există un asemenea „teritoriu” independent de limbajul și construcțiile noastre este ea însăși o problemă filosofică profundă. Pentru discuția de față este suficientă distincția mai modestă dintre ceea ce este adevărat în modelul standard al numerelor naturale și ceea ce poate fi demonstrat pornind de la axiomele și regulile unui anumit sistem formal. O explicație a acestui deziderat este necesară. Să presupunem că un matematician dorește să investigheze dacă o anumită afirmație din teoria numerelor este adevărată sau falsă. Matematicianul nu știe dacă această afirmație este adevărată sau falsă așa că merge simultan pe două căi complet diferite: încearcă să găsească un lanț de afirmații corecte care să alcătuiască o demonstrație și în același timp încearcă să găsească exemple care să infirme afirmația. Dar el nu știe care va fi sfârșitul decât dacă reușește sau să demonstreze afirmația sau să găsească un contraexemplu. Și dacă afirmația pe care matematicianul dorește să o demonstreze este indecidabilă? Pentru un matematician activ, această întrebare este tulburătoare: este oare posibil ca, independent de abilitatea lui, să nu poată ,,decide” această afirmație, să-și irosească viața căutând ceva care nu există? Cititorul trebuie să privească această întrebare cu prudență întrucât indecidabilitatea relativă la un sistem formal este diferită de imposibilitatea absolută de a rezolva o problemă matematică.
Devine acum mai ușor de înțeles de ce este tentant să rezumăm rezultatul lui Gödel spunând că „există adevăruri matematice care nu pot fi demonstrate”. Formula este spectaculoasă, dar trebuie folosită cu grijă. „A fi adevărat” și „a putea fi demonstrat într-un anumit sistem de axiome” nu sunt același lucru. O afirmație poate să nu fie demonstrabilă într-un anumit sistem fără ca prin aceasta să fi demonstrat că ea este falsă. Tocmai separarea dintre adevăr și demonstrabilitate este una dintre problemele profunde pe care rezultatul lui Gödel le scoate la lumină. Întorcându-ne la exemplul matematicianului care lucrează pe o problemă despre care nu știe dacă nu cumva este indecidabilă într-un anumit sistem axiomatic, de multe ori acesta poate demonstra că, dacă o anumită afirmație este luată drept adevărată, adică adaugă o nouă ipoteză și o tratează ca și cum ar fi o axiomă, atunci poate găsi o demonstrație a afirmației inițiale, ceea ce este un rezultat mai slab decât cel pe care l-a dorit. Mai târziu, un alt matematician, folosind rezultate obținute de alți matematicieni, este posibil să demonstreze că ipoteza suplimentară nu era de fapt necesară. Pe de o parte, imprevizibilul și suspansul fac parte din viața cotidiană a fiecărui matematician și trebuie să învețe să trăiască cu asta. Pe de altă parte, matematica este o activitate colectivă, în care comunitatea este cea care produce matematică prin membrii ei, conectați prin fire invizibile în timp și spațiu și alcătuind o structură complexă care, dincolo de toate dificultățile și limitările, este funcțională și ,,cât se poate de sigură”.
A doua teoremă de incompletitudine a lui Gödel se apropie și mai mult de întrebarea de la care am pornit. În condițiile în care se aplică teorema, un sistem formal consistent și suficient de puternic pentru a cuprinde aritmetica nu își poate demonstra, prin propriile sale mijloace, propria consistență. Putem demonstra consistența unui sistem folosind un sistem mai puternic, iar asemenea rezultate sunt importante. Dar dacă întrebarea noastră este „de unde vine garanția ultimă?”, atunci problema nu dispare: ea se mută asupra sistemului mai puternic. O prezentare prietenoasă a teoremelor lui Gödel pentru cititorul nespecialist este disponibilă pe platforma Stanford Encyclopedia of Philosophy [SEP1], iar o altă prezentare ,,prietenoasă”, dar care se adresează cititorului cu o solidă pregătire matematică, este disponibilă în monografia lui C.C. Leary și L. Kristiannsen [LK].
Am pornit întrebând de ce putem avea încredere în demonstrațiile matematice. Pentru a elimina ambiguitățile, matematicienii au construit sisteme axiomatice, în care punctele de plecare și regulile demonstrației sunt precizate cu cea mai mare strictețe. Dar atunci când cerem unui asemenea sistem suficient de puternic să ne ofere, prin propriile sale mijloace, garanția propriei consistențe, întâlnim o limitare pe care matematica însăși o poate demonstra. Visul unei fundații formale care să ne ofere simultan toate proprietățile pe care le-am putea dori de la ea se dovedește imposibil în această formă.
Cât de solide sunt, de fapt, fundamentele matematicii?
Înseamnă oare, din cele explicate mai înainte, că matematica se află pe nisipuri mișcătoare? Și da și nu, dar maniera în care formulăm cele două răspunsuri este esențială. Teoremele lui Gödel nu ne spun că 2+2 ar putea înceta mâine să fie 4, că teorema lui Pitagora este nesigură sau că rezultatele matematicii care sunt confirmate trebuie privite cu suspiciune din cauza unei crize ascunse în fundamente. Activitatea matematică obișnuită nu este paralizată de incompletitudine, după cum construcția unui pod nu este oprită de faptul că inginerul nu are răspunsurile la toate problemele de rezistența materialelor. Ceea ce pierdem este o speranță mult mai ambițioasă: posibilitatea de a închide o parte suficient de bogată a matematicii într-un sistem formal care să fie complet și consistent și care, în același timp, să ne ofere din interior garanția propriei consistențe.
Poate că tocmai aici trebuie nuanțată imaginea matematicii ca „știință exactă”. Exactitatea matematicii nu constă în existența unui teren ultim, absolut și evident, aflat dincolo de orice întrebare. Ea constă mai degrabă în precizia extraordinară cu care matematica stabilește ipotezele de la care pornește, regulile pe care le folosește și limitările concluziilor pe care le poate obține. Din acest punct de vedere, rezultatele lui Gödel nu reprezintă o slăbiciune a matematicii, ci una dintre cele mai impresionante manifestări ale rigorii sale. Matematica și-a supus propriile metode de demonstrație examinării matematice și a descoperit că există limitări ale demonstrabilității.
Am ajuns astfel într-o situație aparent paradoxală. Am început prin a întreba cât de solide sunt fundamentele matematicii și am descoperit că răspunsul nu poate fi simplul „perfect de solide” pe care imaginea școlărească a matematicii pare să-l sugereze. Dar nici concluzia opusă, aceea că matematica ar fi o construcție nesigură, nu este justificată. Lecția este mai subtilă și, cred, mai interesantă: rigoarea matematică nu elimină toate întrebările despre propriile fundamente. Ea ne permite să formulăm aceste întrebări cu precizie și, uneori, să demonstrăm că anumite răspunsuri pe care ni le-am dori nu pot exista în forma în care le-am căutat.
Există puține situații în istoria ideilor mai spectaculoase decât aceasta. Omenirea a construit matematica pentru că a simțit nevoia de certitudine într-o lume plină de incertitudini: să demonstrăm afirmații cu o certitudine greu de obținut în oricare alt domeniu al cunoașterii. Apoi a folosit aceeași matematică pentru a cerceta ce poate însemna „a demonstra”. Iar pe parcursul acestui drum a înțeles că certitudinea matematică vine cu un preț: a reușit să demonstreze că demonstrația însăși are limitări.
Limitele fundamentării matematicii nu au fost descoperite în afara matematicii, ele au fost demonstrate matematic, de către matematicieni, în interiorul matematicii. Dar pe tărâmul matematicii regulile sunt cu totul altele decât în lumea reală. Fragilitatea și limitele solidității matematicii nu ne oferă argumente pentru a extrapola în mod mecanic aceste afirmații în teoria generală a cunoașterii, în științe și, în general, în lumea reală: conceptul de demonstrație este specific matematicii și nu poate fi transferat în mod automat afirmațiilor empirice despre lumea reală.
N.B. Întrebările despre fundamentele matematicii transcend matematica și sunt de interes în filosofie, mai precis, în filosofia științelor și, în special, în filosofia matematicii. Am rugat-o pe Adriana Monica Solomon să citească în mod critic o versiune aproape finală a acestui eseu și am primit comentarii și sugestii foarte utile, pentru care îi mulțumesc.
Referințe
[AG1] A. Gheondea: ȘTIM 1. Considerații despre matematică în educația universitară și în societate, Contributors, 03/10/2023.
[AG2] A. Gheondea: ȘTIM 2. Diferența între matematică și modele matematice pe înțelesul tuturor, Contributors, 01/07/2025.
[G1] K. Gödel: „Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I”, Monatshefte für Mathematik und Physik, vol. 38, 1931, pp. 173–198.
[G2] K. Gödel: Collected Works, Volume I: Publications 1929–1936, Solomon Feferman et al. (eds.), Oxford University Press, 1986.
[H] D. Hofstadter: Gödel, Escher, Bach: An Eternal Golden Braid, Basic Books 1979.
[K] A. Korzybski: Science and Sanity: An Introduction to Non-Aristotelian Systems and General Semantics (6th ed., originally published în 1933), Institute of General Semantics, 2023.
[LK]C.C. Leary, L. Kristiannsen, A Friendly Introduction to Mathematical Logic, Springer Verlag, Berlin 2015.
[NN] E. Nagel, J.R. Newman: Gödel’s Proof, New York University Press, 1958; ediții ulterioare revizuite.
[SEP1] Stanford Encyclopedia of Philosophy: Kurt Gödel, Gödel’s Incompleteness Theorems, 13/02/2025, rev 10/09/2025, disponibilă aici.
[SEP2] Stanford Encyclopedia of Philosophy: Hilbert’s Program, 31/07/2003; rev. 29/09/2023, disponibilă aici.
