Este libro presenta los teoremas de incompletitud de Gödel, así como la idea central de que existen proposiciones verdad no demostrables en sistemas formales.
Sobre lo indisoluble
por Kurt Gödel · 1931
Ver sugerenciasSinopsis
Este ensayo recoge la formulación original de los teoremas de incompletitud de Gödel, que demuestran las limitaciones fundamentales de los sistemas formales axiomáticos, revelando que en cualquier sistema lo suficientemente potente siempre habrá proposiciones verdaderas que no pueden ser demostradas.
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 proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados
1931
On Formally Undecidable Propositions of Principia Mathematica and Related Systems I
1931
Sobre las Proposiciones Formalmente Indecidibles de Principia Mathematica y Sistemas Afines I
1931
Sobre lo Indecidible
1931
Sobre los números y las figuras
1931
Sobre la Incompletitud Sentencial de los Sistemas Formales
1931
Sobre los números y las cifras
1931
Über formal unentscheidbare Sätze der Principia Math. und verwandter Systeme I
1931
Los fundamentos de la matemática
1931
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
1931
Sobre proposiciones formalmente indecidibles de 'Principia Mathematica' y sistemas afines I
1931
Formidable Logic: A Review of Carnap's Grundriss Der Logistik
1932
Libros similares
Libros relacionados según distintos criterios de búsqueda
Ofrece una exploración del teorema de incompletitud, centrando la atención en la naturaleza de las proposiciones indecidibles en sistemas axiomáticos similares.
Sobre proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados
Kurt Gödel
1931·filosofia
Se enfoca en la demostración de la existencia de proposiciones verdaderas que no son accesibles dentro de sistemas axiomáticos suficientemente fuertes, reflejando el núcleo de 'Sobre lo indisoluble'.
Compila los trabajos clave de Gödel, incluyendo sus aportes sobre la incompletitud, y su influencia en la comprensión de los límites de los sistemas formales axiomáticos.
Este ensayo incluye el teorema de incompletitud y discute las limitaciones de los sistemas formales, resonando con las ideas esenciales de 'Sobre lo indisoluble'.
Reúne ensayos fundamentales que abordan los límites de la lógica y la matemática, al igual que 'Sobre lo indisoluble', centralizando la incompletitud como idea central.