Descripción
Obras completas
Resumen del libro
Esta edición reúne los escritos fundamentales de Kurt Gödel, figura capital en la lógica y la filosofía del siglo XX. El lector encontrará los trabajos que revolucionaron la comprensión de los fundamentos de las matemáticas, incluyendo la demostración de la suficiencia del cálculo lógico de primer orden y los célebres teoremas de incompletitud. Una obra imprescindible para adentrarse en el pensamiento de un autor cuya influencia trasciende su propia disciplina.
¿De qué trata?
La obra recoge los textos esenciales de Gödel, comenzando por su tesis doctoral de 1930, donde demuestra la completitud del cálculo lógico de primer orden. A partir de ahí, se desarrollan sus contribuciones más revolucionarias: los teoremas de incompletitud, que establecen limitaciones intrínsecas a todo sistema axiomático formal capaz de expresar la aritmética. Estos resultados no solo transformaron la lógica matemática, sino que abrieron profundas cuestiones sobre la naturaleza del conocimiento, la demostración y los límites de la razón formal. La edición contextualiza estos logros dentro de la evolución del pensamiento de Gödel.
Temas principales
- Teoremas de incompletitud de Gödel y sus implicaciones para los fundamentos de las matemáticas.
- Completitud del cálculo lógico de primer orden.
- Relaciones entre lógica, matemáticas y filosofía del conocimiento.
- Naturaleza y límites de los sistemas axiomáticos formales.
- Problemas de consistencia e independencia en teorías matemáticas.
¿Para quién está recomendado?
Está dirigido a estudiantes e investigadores en lógica matemática, filosofía de la ciencia y fundamentos de las matemáticas. También resultará de gran interés para filósofos interesados en las cuestiones epistemológicas que surgen de los límites del conocimiento formal, así como para matemáticos que deseen comprender las bases teóricas de su disciplina desde una perspectiva histórica y conceptual.
Qué aporta este libro
- Acceso directo a los textos originales de uno de los lógicos más influyentes de la historia.
- Comprensión profunda de los teoremas de incompletitud y su contexto de descubrimiento.
- Herramientas conceptuales para analizar los fundamentos y límites de los sistemas formales.
- Una visión integrada de la lógica, las matemáticas y la filosofía del conocimiento.
- Material de referencia esencial para el estudio avanzado de la lógica matemática.
Ficha técnica
- Autor: Gödel, Kurt
- Editorial: Alianza Editorial
- Idioma: Español
- Tema: FILOSOFIA DE LA CIENCIA
- Encuadernación: Bolsillo
- Fecha de edición: mayo de 2006
- Número de páginas: 469
- Peso: 592 g
Valoración editorial
Esta recopilación constituye una herramienta de estudio fundamental para quienes buscan comprender las contribuciones de Gödel más allá de su fama legendaria. La edición permite acceder a los textos originales en una presentación manejable, facilitando el estudio de unas ideas que siguen siendo centrales en el debate sobre los fundamentos de las matemáticas y la naturaleza del conocimiento formal. Un título de referencia obligada para cualquier biblioteca especializada.