On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Beschreibung

Este libro presenta la primera traducción al inglés del trascendental trabajo de Kurt Gödel. En él, Gödel demostró que en cualquier sistema aritmético, incluso en las partes elementales de la aritmética, existen proposiciones que no pueden ser probadas ni refutadas dentro del sistema. Esta edición de Dover pone a disposición del público una obra clásica del pensamiento original, de gran interés para matemáticos, lógicos y cualquier persona interesada en la historia de los intentos de establecer axiomas que proporcionen una base rigurosa para todas las matemáticas.