Kurt Godel a fondat informatica teoretică

Godel a fost un matematician, logician și filosof, ale cărui teoreme au constituit fundamentul pentru informatică teoretică

Kurt Godel a fost un matematician, logician și filosof născut în aprilie 1906 în ceea ce este acum Brno, Republica Cehă. Godel era un copil bolnav care suferea de febră reumatică în vârstă de șase ani. Se spune că boala timpurie a lui Godel l-a lăsat paranoic despre lucruri precum curățarea ustensilelor de mâncare obsesiv și despre puritatea mâncării sale. Godel a plecat în Austria în 1924 pentru a studia la Universitatea din Viena, unde a obținut un doctorat în matematică înainte de a se alătura facultății în 1930.

kurt

Teorema completitudinii

Teza de doctorat a lui Godel, Über die Vollständigkeit des Logikkalküls (Despre completitudinea calculului logicii), a dovedit teorema completitudinii. Godel a arătat 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”.

Teorema incompletitudinii

În 1931, Godel a publicat Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme (Despre propunerile formal nedecidabile ale principiei matematice și a sistemelor conexe). Teorema incompletitudinii a arătat că: „... în orice sistem matematic axiomatic consistent există propoziții care nu pot fi dovedite sau infirmate în cadrul sistemului și că consistența axiomelor în sine nu poate fi dovedită.” Altfel spus, Godel a afirmat că există afirmații matematice care sunt adevărate, dar care nu pot fi dovedite.

Este atât de greu de înțeles că trebuie să fie important. Opera lui Godel, în special teorema incompletității sale, a fost descrisă ca una dintre cele mai remarcabile realizări matematice sau logice ale secolului XX. Godel a fost descris ca fiind fondatorul informaticii teoretice.

Godel și Einstein, colegi intelectuali

Publicarea teoremei incompletitudinii i-a adus lui Godel faima internațională. Godel a ținut prelegeri ample în Statele Unite, inclusiv la Universitatea Princeton, unde l-a cunoscut pe Albert Einstein. Godel și Einstein vor deveni și vor rămâne prieteni până când Einstein a murit în 1955.

Einstein și Godel erau bărbați foarte diferiți. În articolul din New Yorker din 20 februarie 2005, Time Bandits, le-a descris astfel:

În timp ce Einstein era gregar și plin de râs, Gödel era solemn, solitar și pesimist. Einstein, un violonist pasionat amator, i-a iubit pe Beethoven și Mozart. Gustul lui Gödel a mers într-o altă direcție: filmul său preferat a fost „Albă-ca-Zăpada și cei șapte pitici” de Walt Disney, iar când soția sa a pus un flamingo roz în curtea din față, a pronunțat-o furchtbar herzig - „îngrozitor de fermecător”. Einstein și-a plăcut în mod liber pofta de mâncare grea germană; Gödel a subzistat cu o dietă valetudinariană de unt, alimente pentru copii și laxative.

Dar a existat și o rudenie incontestabilă. Se spune că Einstein le-a spus oamenilor că s-a dus la biroul său „doar pentru a avea privilegiul de a merge acasă cu Kurt Godel”.

Recomandările

În 1951, lui Godel i s-a acordat primul premiu Albert Einstein, alături de Julian Schwinger. (Fotografia de mai sus este a lui Einstein care i-a oferit colegului său acest premiu.) Godel a primit Medalia Națională a Științei în matematică și informatică de la președintele Ford în 1974. Citația pentru premiul din 1974 spune: „Pentru a pune bazele înfloririi de astăzi studiul logicii matematice. ” Un premiu anual pentru lucrări remarcabile în informatică teoretică, Premiul Godel, a fost numit după el.

Dincolo de matematică

Godel a trecut de la matematică și logică la filosofie în anii următori. El a fost deosebit de interesat de ideea platonismului matematic. El a susținut că „propoziții” precum 2 + 2 = 4 descriu cu adevărat colecții non-fizice și non-mentale de obiecte care existau în afara timpului și spațiului într-un tărâm matematic numit „Rai Platonic”. Opiniile filosofice ale lui Godel, deși legate de teoremele sale matematice și logice acceptate, nu au fost larg acceptate.

O sursă fascinantă și cuprinzătoare pentru toate lucrurile pe care Godel, inclusiv lucrarea sa filosofică, o reprezintă Enciclopedia Stanford a filosofiei.

Paranoia lui Godel a progresat odată cu vârsta. Godel nu ar mânca decât dacă soția sa, Adele, nu și-a gustat mâncarea mai întâi din certitudinea că era otrăvit. Adele a fost internată o perioadă în spital din cauza propriei boli. Drept urmare, Godel a încetat să mai mănânce și a murit de foame.

O lectură mai profundă legată de 101:

Legenda spune că un matematician nu ar putea scrie o teoremă falsă cu acest tip de cretă

Ocazional, fizica și filozofia par să se întâlnească. Ca și când fizicianul își imagina o pisică moartă și vie ... în același timp