Vasilescu Andrei-Theodor

Grupa- 360

Gödel si sfârşitul programului hilbertian.

Criza fundamentală în matematică a fost o perioadă de la începutul până la mijlocul anilor 1900,

în care filosofi, matematicieni si logicienii au încercat să găsească o bază pentru matematică.

Prin fundamentare, ne referim doar la un set de axiome / definiții care pot dovedi toate

adevărurile matematicii, astfel încât adevărurile matematice precum „11 + 12 = 23” ar fi teoreme

ale acestor axiome.

Scopul crizei fundamentale a fost promulgat în programul lui Hilbert, un program care s-a

dovedit în cele din urmă imposibil din cauza teoremelor incompletitudinii lui Gödel.

Teorema lui Gödel a arătat că sistemul lui Russell & Whitehead era inadecvat. Dar rezultatul său

a fost generalizabil: și anume, a arătat nu numai că sistemul R&W era inadecvat, dar că niciun

sistem, în principiu, nu putea fi niciodată adecvat pentru a capta toată matematica /aritmetica.

Dacă încercăm să stabilim că adevărul matematic este doar probabilitate, atunci doar referirea la

ansamblul tuturor afirmațiilor aritmetice adevărate nu înseamnă foarte mult. Întrebarea este dacă
avem o procedură de decizie pentru a determina exact ce afirmații sunt probabile și care nu.

pentru că nu avem o procedură care să ne spună exact ce aparține acelui set și ce nu

David Hilbert a preluat proiectul după Whitehead și Russell înspre salvarea fundamentului

matematicii de la inconsistență. Hilbert a adoptat o abordare formalistă, a căutat să demonstreze

consistența structurilor finite în aritmetică și de acolo, ar fi putut să arate că acestea pot fi o

extensie a întregii matematici. Programul de bază al lui Hilbert consta in presupunerea că orice

lucru în matematică este rezolvabil. Nu putem ști nimic despre infinit și, prin urmare, nu putem

fundamenta matematica pe un sistem infinit presupus sau postulat, a lucrat în limitele finitului.

Pentru el, problema coerenței sunt limitările modelelor care pot conține contradicții interne. El a

vrut să aducă o dovadă de coerență absolută în loc de o dovadă de consecvență relativă pentru

consistența aritmeticii folosind acest sistem formal finitistic. Hilbert a modificat modul în care

vorbim și în cadrul matematicii cu o procedură finitivă care folosește manipularea simbolurilor

prin crearea unui sistem de numerație. Scopul acestui lucru este de a dezvălui structura de bază a

propunerilor noastre matematice și de a preveni orice formă de raționament defectuos pe care le

pot conține. Hilbert construiește o metodă metamatematică ca o modalitate de a aborda problema

consistenței. Afirmațiile metamatematice sunt enunțuri despre matematică sau despre șirul

simbolurilor din cadrul unui sistem matematic formal.

Câteva decenii mai târziu, Kurt Gödel a demonstrat că proiectul lui Russell & Whitehead a fost o

eroare - a arătat că există afirmații adevărate care nu sunt probabile în niciun sistem logic care

poate deriva anumite afirmații de bază ale teoriei numerelor. Gödel a fost un realist matematic,
ceea ce înseamnă că a crezut în existența obiectivă a numerelor și că acestea sunt independente

de noi. În măsura în care ne-am modificat suficient limba pentru a putea vorbi cu exactitate

despre aceste entități matematice, impredictabilitatea nu ar trebui să fie o problemă.

Gödel folosește paradoxul lui Russell ca unul dintre punctele de pornire pentru dovada sa prin

„aritmetizarea” sistemului formal al lui Russell prin traducerea primelor simboluri pozitive

pentru numerele Gödel. Cu o expresie simplă autoreferențială, cum ar fi „această afirmație nu

poate fi dovedită ”, el a atribuit fiecărei afirmații o variabilă primitivă care reprezintă fie o

constantă fie variabile litere fie variabile.

De exemplu, o teorie care ar putea dovedi literal orice afirmație despre aritmetică ("1 + 1 = 2", "1

+ 1 = 3", "0 este un număr natural", "0 nu este un număr natural") ar fi cu siguranță completă, dar

ar fi inconsistentă (și nu foarte utilă). Pe de altă parte, dacă teoria ar putea n-ar dovedi absolut

nimic despre numerele naturale, aceasta ar fi consecventă (nu există contradicții atunci când nu

poți dovedi nimic), dar nu ar fi foarte utilă, deoarece este extrem de incompletă. În mod ideal,

ne-am dori o teorie a aritmeticii care să fie completă și consecventă. Într-un astfel de sistem, am

putea enunța orice afirmație posibilă despre numerele naturale, iar teoria ar putea dovedi sau

respinge această afirmație (dar nu ambele). Ceea ce arată prima teoremă a incompletitudinii lui

Goedel este că, pentru o clasă foarte largă de teorii, este imposibil să îndeplineasca ambele

proprietăți. Mai exact, teorema se aplică oricărei teorii care este recursiv enumerabilă. Ambele

condiții sunt necesare.

Gödel demonstrează în teorema incompletitudinii sale că există afirmații teoretice cu număr

adevărat, care sunt nedecidibile și nu pot fi dovedite în acest sistem formal. Implicațiile pentru

programul lui Hilbert au fost că a arătat că vor exista enunțuri în teoria formelor numerelor care

pot fi recunoscute ca fiind adevărate, dar care nu pot fi dovedite prin axiomele sale. Orice sistem

formal consistent în care aritmetica poate fi exprimată este incomplet - vor exista adevărate

enunțuri teoretice sau aritmetice care nu pot fi derivate din sistemul respectiv. O afirmație care

descrie consistența aritmeticii formale nu poate fi derivată de axiomele aritmeticii formale.

 Bibliografie

https://plato.stanford.edu/entries/hilbert-program/

https://plato.stanford.edu/entries/goedel/

https://plato.stanford.edu/entries/goedel/incompleteness-hilbert.html

https://plato.stanford.edu/entries/hilbert-program/#4