Kurt Gödel è sicuramente uno dei più grandi logici matematici del Novecento. I suoi Teoremi di incompletezza hanno in parte frustrato le aspettative riposte dai matematici nei sistemi logico-deduttivi e hanno rivoluzionato lo sviluppo della matematica dell’ultimo secolo, influenzando in modo significativo il progresso del sapere.