Este libro incluye ensayos fundamentales que, al igual que 'Sobre lo Indecidible', exploran extensamente los teoremas de incompletitud de Gödel.
Sobre lo Indecidible: Ensayos Decisivos sobre Lógica, Matemática y Filosofía
por Kurt Gödel · 1965
Ver sugerenciasSinopsis
Esta colección de ensayos presenta los trabajos fundamentales de Kurt Gödel, incluyendo su famoso teorema de incompletitud, que demuestra los límites inherentes de los sistemas formales axiomáticos en matemáticas y lógica.
Sé el primero en valorar este libro.
Más de Kurt Gödel
Ver autor →Otras obras del mismo autor en el catálogo
Sobre la Completitud de los Axiomas del Cálculo Proposicional de Principia Mathematica
1929
Sobre la completitud del cálculo de funciones lógicas
1930
Die Vollständigkeit der Axiome des logischen Funktionenkalküls
1930
Sobre la Incompletitud Sentencial de los Sistemas Formales
1931
On Formally Undecidable Propositions of Principia Mathematica and Related Systems I
1931
Sobre proposiciones formalmente indecidibles de 'Principia Mathematica' y sistemas afines I
1931
Sobre proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados
1931
Sobre los números y las figuras
1931
Sobre lo indisoluble
1931
Los fundamentos de la matemática
1931
Über formal unentscheidbare Sätze der Principia Math. und verwandter Systeme I
1931
Sobre lo Indecidible
1931
Sobre las Proposiciones Formalmente Indecidibles de Principia Mathematica y Sistemas Afines I
1931
Sobre los números y las cifras
1931
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
1931
Libros similares
Libros relacionados según distintos criterios de búsqueda
Como en 'Sobre lo Indecidible', este texto compila los trabajos de Gödel sobre los límites de los sistemas axiomáticos, ofreciendo una profunda reflexión lógica.
La discusión sobre las implicaciones filosóficas de los teoremas de incompletitud se manifiesta en este ensayo, alineándose con el enfoque de 'Sobre lo Indecidible'.
Ambos libros abordan la naturaleza lógica de las matemáticas, cuestionando concepciones tradicionales mientras despliegan los teoremas de incompletitud de Gödel.
La formulación de los teoremas de incompletitud es central en ambos textos, revelando la imposibilidad de demostrar ciertas verdades en sistemas formales potentes.
Este libro selecciona los trabajos de Gödel que profundizan en los límites del conocimiento matemático, resonando con los temas tratados en 'Sobre lo Indecidible'.