dec 5, 1931 - K. Gödel
Crea el teorema de la incompletitud
dejando sin fundamento a Hilvert
Description:
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"
Added to timeline:
Date:
Images:
![]()