Ambos textos abordan el teorema de incompletud de Gödel, destacando la imposibilidad de demostrar ciertas proposiciones dentro de sistemas formales avanzados.
Über formal unentscheidbare Sätze der Principia Math. und verwandter Systeme I
por Kurt Gödel · 1931
Ver sugerenciasSinopsis
Esta obra seminal de Gödel examina la incompletud de los sistemas formales y plantea su famoso teorema de incompletud, demostrando que en cualquier sistema lógico suficientemente poderoso existen proposiciones que no pueden ser ni probadas ni refutadas.
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 la Incompletitud Sentencial de los Sistemas Formales
1931
Sobre lo indisoluble
1931
Sobre los números y las figuras
1931
Sobre lo Indecidible
1931
Sobre los números y las cifras
1931
Sobre las Proposiciones Formalmente Indecidibles de Principia Mathematica y Sistemas Afines I
1931
Los fundamentos de la matemática
1931
Sobre proposiciones formalmente indecidibles de 'Principia Mathematica' y sistemas afines I
1931
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
1931
Formidable Logic: A Review of Carnap's Grundriss Der Logistik
1932
Libros similares
Libros relacionados según distintos criterios de búsqueda
Sobre proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados
Kurt Gödel
1931·filosofia
Los ensayos analizan de manera crítica las implicaciones filosóficas y lógicas de la incompletud, manteniendo un tono analítico y riguroso.