Este ensayo es una recopilación de los trabajos de Gödel que establecen los teoremas de incompletitud, centrando la atención en sus limitaciones en matemáticas.
Sobre lo indecidible: Artículos fundamentales sobre lógica y computabilidad
por Kurt Gödel · 1962
Ver sugerenciasSinopsis
Una colección de ensayos clave de uno de los lógicos más influyentes del siglo XX, que incluyen sus famosos teoremas de incompletitud. Estos teoremas demuestran la existencia de proposiciones verdaderas en cualquier sistema formal lo suficientemente potente como para incluir la aritmética, que no pueden ser probadas ni refutadas dentro del propio sistema.
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
Presenta los ensayos fundamentales de Gödel, resaltando su famosa demostración de los límites de los sistemas axiomáticos en matemáticas y lógica.
Discute los teoremas de incompletitud de Gödel, enfocándose en sus implicaciones filosóficas para el conocimiento y la naturaleza de las matemáticas.
Analiza sus teoremas de incompletitud, subrayando la existencia de proposiciones verdaderas que no pueden ser probadas ni refutadas en sistemas formales axiomáticos.
Recoge la formulación original de los teoremas de incompletitud, revelando las limitaciones intrínsecas de los sistemas formales en matemáticas.
Reúne los trabajos seminales de Gödel, abordando cómo sus teoremas revolutionaron el entendimiento de los límites de los sistemas formales, incluyendo la teoría de conjuntos.