Sui teoremi d'incompletezza di Kurt Gödel
1931: kurt Gödel pubblica quello che ancora oggi viene considerato il risultato più importante dei suoi studi, un lavoro che contiene i due teoremi d'incompletezza che da lui prendono il nome.
Il teorema di Gödel nasce in relazione alle ricerche volte a realizzare il programma di Hilbert, che chiedeva di trovare un linguaggio matematico che potesse provare da solo la propria consistenza o coerenza. Gödel invece dimostrò che la coerenza di un sistema è tale proprio perché non può essere dimostrata. Molti non compresero appieno il senso delle affermazioni di Gödel, ritenendo che il suo teorema avesse definitivamente distrutto la possibilità di accedere a verità matematiche di cui avere assoluta certezza. Gödel invece era convinto di non avere affatto dissolto la consistenza dei sistemi logici, da lui sempre considerati come funzioni reali dotati di pieno valore ontologico, e che anzi il suo stesso teorema di incompletezza aveva una valenza di oggettività e rigore logico.
