5 dic 1931 anni - K. Gödel
Crea el teorema de la incompletitud
dejando sin fundamento a Hilvert
Descrizione:
K. Gödel afirma que "todo sistema de primer orden consistente que contenga los teoremas de la aritmética y cuyo conjunto de axiomas sea recursivo no es completo"
Aggiunto al nastro di tempo:
Data:
Immagini:
![]()