Sobre los números y las figuras
por Kurt Gödel · 1931
Sinopsis
Aquí se presentan los famosos teoremas de incompletitud de Gödel, demostrando que en cualquier sistema axiomático formal de la aritmética lo suficientemente potente, existirán proposiciones verdaderas que no pueden ser probadas 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
Los fundamentos de la matemática
1931
Sobre los números y las cifras
1931
Über formal unentscheidbare Sätze der Principia Math. und verwandter Systeme I
1931
Zum intuitionistischen Aussagenkalkül
1933
Die Vollständigkeit der Axiome des intuitionistischen Zahlenkreises
1933
Consistenz der Axiome des Zermelo und der Hilbertschen Axiome
1938
On Undecidable Propositions, A Symmetrical Treatment of the Concepts of 'Truth' and 'Provability'
1940
Teoría de Conjuntos e Hipótesis del Continuo
1940
What is Cantor's Continuum Problem?
1947
El Problema del Continuo
1947
Theorems on Completeness and Consistency
1955
The Consistency of the Axioms of Set Theory
1958
A Remark about the Purpose of Proofs
1959
The Dialectica of propositions
1964
Libros similares
Libros relacionados según distintos criterios de búsqueda