Oggi vi parlerò di uno dei più grandi logici di tutti i tempi:
Kurt Gödel (Brno 28.04.1906 - Princeton 14.01.1978)
Del 1931 è il suo risultato fondamentale: la dimostrazione di non contraddittorietà di un sistema formale non può essere realizzata attraverso mezzi che risultino in qualche modo traducibili entro il sistema stesso (teorema di Gödel). Il risultato di Gödel è universalmente considerato come una pietra miliare nella storia della logica.
A Princeton strinse una forte amicizia con Albert Einstein. Sono celebri le loro passeggiate e le loro conversazioni quotidiane.
Gödel si spense il 14 gennaio 1978 per inedia: si era lasciato morire di fame, a causa dei disturbi ipocondriaci di cui soffriva e che lo portavano a non mangiare per paura di essere avvelenato.
Commenti
Posta un commento