Editorii noștri vor examina ceea ce ați trimis și vor stabili dacă să revizuiți articolul.

Kurt Gödel, Gödel a scris și el Bun, (născut la 28 aprilie 1906, Brünn, Austria-Ungaria [acum Brno, Republica Cehă] - decedat la 14 ianuarie 1978, Princeton, NJ, SUA), matematician, logician și filosof născut în Austria, care a obținut ceea ce poate fi cel mai important rezultat matematic al secolului al XX-lea: celebra sa teoremă a incompletitudinii, care afirmă că în cadrul oricărui sistem matematic axiomatic există propoziții care nu pot fi dovedite sau infirmate pe baza axiomelor din acel sistem; astfel, un astfel de sistem nu poate fi simultan complet și consecvent. Această dovadă l-a stabilit pe Gödel drept unul dintre cei mai mari logicieni de la Aristotel, iar repercusiunile sale continuă să fie resimțite și dezbătute astăzi.

gödel

Viața timpurie și cariera

Gödel a suferit mai multe perioade de sănătate precară în copilărie, în urma unui atac la vârsta de 6 ani cu febră reumatică, care l-a lăsat speriat de a avea probleme cardiace reziduale. Preocuparea sa pe tot parcursul vieții cu sănătatea sa ar fi putut contribui la eventuala sa paranoia, care a inclus curățarea obsesivă a ustensilelor sale de mâncare și îngrijorarea asupra purității mâncării sale.

Ca austriac de limbă germană, Gödel s-a trezit brusc trăind în noua țară formată din Cehoslovacia, când Imperiul Austro-Ungar a fost destrămat la sfârșitul Primului Război Mondial, în 1918. Șase ani mai târziu, totuși, a plecat să studieze în Austria., la Universitatea din Viena, unde și-a luat doctoratul în matematică în 1929. S-a alăturat facultății de la Universitatea din Viena anul următor.

În acea perioadă, Viena a fost unul dintre nodurile intelectuale ale lumii. A găzduit faimosul Cerc de la Viena, un grup de oameni de știință, matematicieni și filozofi care au susținut viziunea naturalistă, puternic empiristă și antimetafizică cunoscută sub numele de pozitivism logic. Consilierul de disertație al lui Gödel, Hans Hahn, a fost unul dintre liderii Cercului de la Viena și și-a prezentat grupul studentul său vedetă. Cu toate acestea, propriile opinii filosofice ale lui Gödel nu ar fi putut fi mai diferite de cele ale pozitivistilor. El a subscris la platonism, teism și dualism minte-corp. În plus, el a fost, de asemenea, oarecum instabil mental și supus paranoiei - o problemă care s-a agravat odată cu îmbătrânirea. Astfel, contactul său cu membrii Cercului de la Viena l-a lăsat cu sentimentul că secolul al XX-lea era ostil ideilor sale.

Teoremele lui Gödel

În teza sa de doctorat, „Über die Vollständigkeit des Logikkalküls” („Despre completitudinea calculului logicii”), publicată într-o formă ușor scurtată în 1930, Gödel a dovedit unul dintre cele mai importante rezultate logice ale secolului - într-adevăr, toate timpurile - și anume, teorema completitudinii, care a stabilit că logica clasică de prim ordin, sau calculul predicatului, este completă în sensul că toate adevărurile logice de ordinul întâi pot fi implementate în sisteme standard de probă de prim ordin.

Totuși, acest lucru nu a fost nimic în comparație cu ceea ce Gödel a publicat în 1931 - și anume, teorema incompletitudinii: „Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme” („Despre propunerile formal nedecidabile ale principiei matematice și sistemelor conexe”). Aproximativ vorbind, această teoremă a stabilit rezultatul că este imposibil să se utilizeze metoda axiomatică pentru a construi o teorie matematică, în orice ramură a matematicii, care implică toate adevărurile din acea ramură a matematicii. (În Anglia, Alfred North Whitehead și Bertrand Russell petrecuseră ani de zile la un astfel de program, pe care l-au publicat sub numele de Principia Mathematica în trei volume în 1910, 1912 și 1913.) De exemplu, este imposibil să vină cu o teorie matematică axiomatică. care surprinde chiar toate adevărurile despre numerele naturale (0, 1, 2, 3, (). Acesta a fost un rezultat negativ extrem de important, deoarece înainte de 1931 mulți matematicieni încercau să facă exact acest lucru - să construiască sisteme de axiome care ar putea fi folosite pentru a dovedi toate adevărurile matematice. Într-adevăr, câțiva logicieni și matematicieni cunoscuți (de exemplu, Whitehead, Russell, Gottlob Frege, David Hilbert) și-au petrecut porțiuni semnificative din carieră în acest proiect. Din păcate pentru ei, teorema lui Gödel a distrus întregul program de cercetare axiomatică.

Stelaritate internațională și mutare în Statele Unite

După publicarea teoremei incompletitudinii, Gödel a devenit o figură intelectuală cunoscută la nivel internațional. A călătorit în Statele Unite de mai multe ori și a ținut prelegeri ample la Universitatea Princeton din New Jersey, unde l-a cunoscut pe Albert Einstein. Acesta a fost începutul unei strânse prietenii care va dura până la moartea lui Einstein în 1955.

Totuși, în această perioadă, sănătatea mintală a lui Gödel a început să se deterioreze. A suferit de crize de depresie și, după uciderea lui Moritz Schlick, unul dintre liderii Cercului de la Viena, de către un student deranjat, Gödel a suferit o criză nervoasă. În anii următori, a mai suferit.

După ce Germania nazistă a anexat Austria la 12 martie 1938, Gödel s-a trezit într-o situație destul de incomodă, parțial pentru că avea o lungă istorie de asociații strânse cu diverși membri ai Cercului de la Viena (într-adevăr, fusese atacat pe străzile Vienei de către tineri care credeau că este evreu) și parțial pentru că era brusc în pericolul de a fi înrolat în armata germană. Pe sept. 20, 1938, Gödel s-a căsătorit cu Adele Nimbursky (născută Porkert) și, când a izbucnit al doilea război mondial, un an mai târziu, a fugit din Europa împreună cu soția sa, luând calea ferată trans-siberiană prin Asia, navigând peste Oceanul Pacific și apoi luând un alt tren peste Statele Unite către Princeton, New Jersey, unde, cu ajutorul lui Einstein, a preluat o funcție la nou-înființatul Institute for Advanced Studies (IAS). Și-a petrecut restul vieții lucrând și predând la IAS, din care s-a retras în 1976. Gödel a devenit SUA cetățean în 1948. (Einstein a participat la audiere, deoarece comportamentul lui Gödel era destul de imprevizibil și Einstein se temea că Gödel ar putea să-și saboteze propriul caz.)

În 1940, la doar câteva luni după ce a ajuns la Princeton, Gödel a publicat o altă lucrare matematică clasică, „Consistența Axiomei Alegerii și a Ipotezei Continuum Generalizate cu Axiomele Teoriei Seturilor”, care a dovedit că axioma alegerii și continuumul ipotezele sunt în concordanță cu axiomele standard (cum ar fi axiomele Zermelo-Fraenkel) ale teoriei mulțimilor. Aceasta a stabilit jumătate din conjectura lui Gödel - și anume, că ipoteza continuumului nu ar putea fi dovedită adevărată sau falsă într-un set standard de teorii. Dovada lui Gödel a arătat că nu poate fi dovedită falsă în aceste teorii. În 1963, matematicianul american Paul Cohen a demonstrat că nu poate fi dovedit nici adevărat în acele teorii, justificând conjectura lui Gödel.

În 1949, Gödel a adus o contribuție importantă la fizică, arătând că teoria relativității generale a lui Einstein permite posibilitatea călătoriei în timp.

Apelează la filozofie

În ultimii ani, Gödel a început să scrie despre probleme filosofice. Gödel fusese întotdeauna interesat de acest lucru. Într-adevăr, este un fapt puțin cunoscut faptul că Gödel și-a propus să demonstreze teorema incompletitudinii în primul rând pentru că a crezut că ar putea să o folosească pentru a stabili viziunea filosofică cunoscută sub numele de platonism - sau, mai precis, subviziunea cunoscută sub numele de platonism matematic. Platonismul matematic este punctul de vedere că propozițiile matematice, cum ar fi „2 + 2 = 4”, oferă descrieri adevărate ale unei colecții de obiecte - și anume, numere - care sunt non-fizice și nonmentale și există în afara spațiului și timpului într-un tărâm matematic special - sau, așa cum a fost numit și „Rai Platonic”. Ideea lui Gödel era că, dacă ar putea dovedi teorema incompletitudinii, atunci ar putea arăta că există adevăruri matematice de nedovedit. Acesta, credea el, va merge mult spre stabilirea platonismului, deoarece ar arăta că adevărul matematic este obiectiv - adică depășește simpla probabilitate umană sau sistemele de axiomă umană.

În 1964, Gödel a publicat o lucrare filosofică, „Care este problema continuă a lui Cantor?”, În care propunea o soluție la o veche obiecție față de platonism. Se susține adesea că platonismul nu poate fi adevărat, deoarece face imposibilă cunoașterea matematică: în timp ce oamenii par să dobândească toate cunoștințele lumii externe prin percepția senzorială, platonismul afirmă că obiectele matematice, cum ar fi numerele, sunt obiecte non-fizice care nu pot fi percepute de simturile. Gödel a răspuns acestui argument susținând că, pe lângă cele cinci simțuri normale, oamenii dețin și o facultate de intuiție matematică, o facultate care le permite oamenilor să înțeleagă natura numerelor sau să le vadă în ochiul minții. Afirmația lui Gödel a fost că facultatea intuiției matematice face posibilă dobândirea cunoștințelor despre obiectele matematice non-fizice care există în afara spațiului și a timpului.

Din nefericire pentru Gödel, punctele sale de vedere filozofice nu au fost foarte larg acceptate. Toată lumea îi acceptă teorema incompletitudinii, dar foarte puțini oameni cred că aceasta stabilește platonismul.

Pe măsură ce Gödel îmbătrânea, a devenit din ce în ce mai paranoic și, în cele din urmă, a devenit convins că este otrăvit. A refuzat să mănânce dacă soția lui nu a gustat mai întâi mâncarea lui. Când s-a îmbolnăvit și a trebuit să fie internată pentru o perioadă îndelungată de timp, Gödel a încetat în esență să mănânce și a murit de foame.