Durante il ventesimo secolo, la matematica è stata messa in discussione da un giovane logico austriaco. Kurt Gödel (1906-1978) ha dimostrato qualcosa di straordinario nel 1931: i Teoremi di Incompletezza. Questi teoremi rivelano che in qualsiasi sistema matematico assiomatico esistono proposizioni che non possono essere provate o confutate usando i soli assiomi del sistema. È come scoprire che nessun libro di regole, per quanto completo, può spiegare tutto.
Gödel è nato a Brünn (oggi Brno, Repubblica Ceca) in una famiglia di commercianti. Durante i suoi studi a Vienna, grazie all’influenza del matematico Furtwängler, decise di dedicarsi alla matematica e alla logica. La sua tesi di dottorato nel 1929 provò la completezza del calcolo funzionale del primo ordine, ma furono i Teoremi di Incompletezza a renderlo celebre.
Questo risultato ha trasformato il nostro modo di comprendere la matematica. Ha mostrato che il “programma di Hilbert” – il tentativo di mettere tutta la matematica su basi assiomatiche solide – era impossibile. La scoperta ha valore fondamentale: ci insegna che la matematica è come una grande biblioteca di cui non possiamo mai catalogare tutti i libri, eppure continua a crescere rivelando nuove verità insperate. Questo la rende ancora più affascinante e degna di studio.