Este libro también compila ensayos de Gödel que abordan fundamentos axiomas y la incompletitud en las matemáticas, al igual que 'Ensayos de Lógica'.
Ensayos de Lógica y Fundamentos de las Matemáticas
por Kurt Gödel · 1964
Ver sugerenciasSinopsis
Una recopilación de ensayos del célebre lógico Kurt Gödel que discuten sus teoremas de incompletitud y sus implicaciones filosóficas para las matemáticas y el conocimiento.
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
Ambas obras exploran los límites de los sistemas formales y la filosofía de la matemática, centrándose en el famoso teorema de incompletitud de Gödel.
Similar a 'Ensayos de Lógica', este libro incluye los trabajos seminales de Gödel que establecen el impacto de los teoremas de incompletitud en la lógica matemática.
Al igual que el libro de referencia, este texto incluye discusiones sobre los teoremas de incompletitud, mostrando limitaciones dentro de los sistemas axiomáticos formales.
Este libro abarca los mismos trabajos seminales de Gödel sobre incompletitud, enfatizando la influencia de sus ideas en la filosofía de las matemáticas.
Como en 'Ensayos de Lógica', este ensayo se centra en los teoremas de incompletitud, profundizando en las limitaciones de los sistemas formales para la aritmética.