On Formally Undecidable Propositions Of Principia Mathematica And Related Systems, De Gödel, Kurt. Editorial Oem, Tapa Blanda En Inglés

Descripción

Libro: On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Descripción:
En 1931, un joven matemático austriaco publicó un artículo que contenía una de las ideas más revolucionarias en lógica desde Aristóteles. Kurt Gödel sostuvo, y ofreció pruebas detalladas, que en cualquier sistema aritmético, incluso en partes elementales de la aritmética, hay proposiciones que no pueden ser demostradas o refutadas dentro del sistema. Por tanto, es incierto que los axiomas básicos de la aritmética no den lugar a contradicciones. Las repercusiones de este descubrimiento todavía se sienten y se debaten en las matemáticas del siglo XX.
El presente volumen reimprime la primera traducción al inglés del trascendental trabajo de Gödel. No sólo hace que el argumento sea más inteligible, sino que la introducción aportada por el profesor R. B. Braithwaite (Universidad de Cambridge), una excelente obra académica por derecho propio, lo ilumina al parafrasear la mayor parte del argumento.
Esta edición de Dover pone así a disposición del público general una magnífica edición de una obra clásica de pensamiento original, que será de profundo interés para matemáticos, lógicos y cualquier persona interesada en la historia de los intentos de establecer axiomas que proporcionarían una base rigurosa para todas las matemáticas. Traducido por B. Meltzer, Universidad de Edimburgo. Prefacio. Introducción de R. B. Braithwaite.