#logica-matematica

Teorema di incompletezza di Gödel: i limiti della matematica

Nel 1931 Kurt Gödel dimostrò che in ogni sistema matematico coerente esistono verità indimostrabili: il teorema di incompletezza che cambiò per sempre la logica.