Ambos ensayos de Gödel abordan la completitud, siendo fundamentales para el desarrollo de la lógica matemática y los sistemas formales.
Sobre la Completitud de los Axiomas del Cálculo Proposicional de Principia Mathematica
por Kurt Gödel · 1929
Ver sugerenciasSinopsis
La tesis doctoral de Gödel donde demuestra la completitud de la lógica proposicional, sentando las bases para sus posteriores teoremas de incompletitud.
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 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
Sobre lo Indecidible
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 los números y las figuras
1931
Sobre lo indisoluble
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
Este artículo de Gödel se centra en la incompletitud, extendiendo conceptos de la completitud del cálculo proposicional a sistemas más complejos.
La temática de los teoremas de incompletitud se expone en este trabajo, donde Gödel demuestra que no todos los enunciados son demostrables en sistemas formales.
On Formally Undecidable Propositions of Principia Mathematica and Related Systems I
Kurt Gödel
1931·ensayo
Al igual que el trabajo original sobre completitud, este artículo discute la capacidad de los sistemas formales para abordar verdades aritméticas.
Sobre proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados
Kurt Gödel
1931·filosofia
La exploración de proposiciones indecidibles conecta este ensayo con la tesis, ampliando la idea de limitaciones dentro de sistemas formales complejos.
Este estudio sobre la completitud se centra en el cálculo de funciones, reflejando las inquietudes del original sobre los axiomas lógicos.