La obra traduce los conceptos de Gödel al español, analizando los mismos principios de indecidibilidad en sistemas formales relacionados con la aritmética.
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
por Kurt Gödel · 1931
Ver sugerenciasSinopsis
Este ensayo seminal presenta los dos teoremas de incompletitud de Gödel, demostrando que en cualquier sistema axiomático formal consistente y lo suficientemente potente como para incluir la aritmética, existen proposiciones verdaderas que no pueden ser probadas ni refutadas dentro del 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
Formidable Logic: A Review of Carnap's Grundriss Der Logistik
1932
Libros similares
Libros relacionados según distintos criterios de búsqueda
On Formally Undecidable Propositions of Principia Mathematica and Related Systems I
Kurt Gödel
1931·ensayo
Este artículo profundiza en los mismos teoremas de incompletitud de Gödel, enfocándose en su relación con sistemas formales y la consistencia de estos.
Este ensayo reitera la demostración de la incompletitud en sistemas formales, resaltando las limitaciones en la aritmética tal como lo establece el texto de referencia.
La colección reúne trabajos clave de Gödel, poniendo de manifiesto las limitaciones estructurales de sistemas axiomáticos, lo que refuerza las ideas presentadas inicialmente.
Sobre proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados
Kurt Gödel
1931·filosofia
Este artículo repite la presentación de los teoremas de Gödel, enfatizando nuevamente las implicaciones de la verdad y la indecidibilidad en sistemas matemáticos formales.
Sobre las Proposiciones Formalmente Indecidibles de Principia Mathematica y Sistemas Afines I
Kurt Gödel
1931·filosofia
Aquí se discuten los teoremas de incompletitud al igual que en el libro original, subrayando la imposibilidad de probar todas las verdades dentro de sistemas formales.