Kurt Godel a fondat informatica teoretică History 101
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.
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.