Sobre proposiciones formalmente indecidibles de 'Principia Mathematica' y sistemas afines I
por Kurt Gödel · 1931
Sinopsis
El célebre artículo de Gödel donde presenta sus teoremas de incompletitud, demostrando que en cualquier sistema formal lo suficientemente potente para la aritmética, existen proposiciones verdaderas que son indemostrables 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 las Proposiciones Formalmente Indecidibles de Principia Mathematica y Sistemas Afines I
1931
Sobre proposiciones formalmente indecidibles de Principia Mathematica y sistemas relacionados
1931
Über formal unentscheidbare Sätze der Principia Math. und verwandter Systeme I
1931
Sobre los números y las cifras
1931
Sobre los números y las figuras
1931
Los fundamentos de la matemática
1931
Formidable Logic: A Review of Carnap's Grundriss Der Logistik
1932
Zum intuitionistischen Aussagenkalkül
1933
Die Vollständigkeit der Axiome des intuitionistischen Zahlenkreises
1933
Consistenz der Axiome des Zermelo und der Hilbertschen Axiome
1938
Teoría de Conjuntos e Hipótesis del Continuo
1940
On Undecidable Propositions, A Symmetrical Treatment of the Concepts of 'Truth' and 'Provability'
1940
Libros similares
Libros relacionados según distintos criterios de búsqueda