Biblioteca matematica Francesco Berto, Tutti pazzi per Gödel. La guida completa al teorema di incompletezza

Nel 1930, un ragazzo sui ventitré anni dimostrò un teorema di logica matematica, e il suo risultato fu pubblicato l’anno seguente in una rivista scientifica austriaca. Il teorema provato dal ragazzo è consegnato al mondo col nome di Teorema di Incompletezza dell’Aritmetica, e la sua prova è una delle più incredibili sequenze ar¬gomentative nella storia del pensiero umano. Il ragaz¬zo era uno sconosciuto di nome Kurt Gödel, e il libro che avete fra le mani è una guida al suo Teorema.