Nel 1931 il logico austriaco Kurt Gödel pubblicò un risultato che avrebbe scosso i fondamenti della matematica: i teoremi di incompletezza. Fino ad allora, matematici come David Hilbert nutrivano la speranza di costruire un sistema…