Descripción
En 1931, un joven matemático austriaco publicó un artículo trascendental que contenía una de las ideas más revolucionarias en lógica desde Aristóteles. Kurt Gödel sostuvo, y ofreció una prueba detallada, que en cualquier sistema aritmético, incluso en partes elementales de la aritmética, existen proposiciones que no pueden ser probadas ni refutadas dentro del sistema. Por lo tanto, es incierto que los axiomas básicos de la aritmética no den lugar a contradicciones. Las repercusiones de este descubrimiento aún se sienten y debaten en las matemáticas del siglo XX.
El presente volumen reimprime la primera traducción al inglés de la trascendente obra de Gödel. No solo 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 de erudición por derecho propio, lo ilumina parafraseando la mayor parte del argumento.
Esta edición de Dover pone así a disposición una magnífica edición de una obra clásica del 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 proporcionen una base rigurosa para todas las matemáticas. Traducido por B. Meltzer, Universidad de Edimburgo. Prefacio. Introducción de R. B. Braithwaite.
Autor: Kurt Gödel
Editorial: Dover Publications
Publicado: 01/04/1992
Páginas: 80
Tipo de encuadernación: Tapa blanda
Peso: 0.20lbs
Tamaño: 7.80h x 4.90w x 0.30d
ISBN13: 9780486669809
ISBN10: 0486669807
Categorías BISAC:
- Matemáticas | Lógica
Este título no es retornable