El teorema de Gödel Nagel, Ernest creator (autor) Newman, James R. (autor) text monographic ESP 140 p. Pieza fundamental de la historia de la lógica, la obra de Kurt Gödel supuso una gran revolución en esta disciplina. Con tan sólo 25 años de edad, en 1931 dio a conocer el denominado teorema de incompletud de Gödel, según el cual dentro de todo sistema formal que contenga la teoría de los números existen proposiciones que el sistema no logra demostrar ni negar; sostuvo, también, que entre las proposiciones que en un sistema la aritmética no lograba decidir, había también una que, en términos numéricos, expresaba la no-contradictoriedad de toda la teoría formal de los números utilizando un cierto fragmento de la aritmética, la llamada "aritmética finitista". E. Nagel, J.R. Newman ; tr. por Adolfo Martín. Traducción de: Gödel's Proof XX Formalismo (Matemáticas) Teoría de Números Teoría Lógica Aritmética Matemáticas - Fundamentos Lógica Matemática Filosofía Analítica Epistemología Filosofía del Siglo XX Matemáticas - Historia - Siglo XX 511. 3 NAG (Estructura y Función ; 31) 84-309-0821-8 Acervo ITESO - Biblioteca 20250521000000.0 000166057