Lógica y fundamentos: Trabajos seleccionados de Kurt Gödel
por Kurt Gödel · 1986
Sinopsis
Esta colección reúne los trabajos seminales de Gödel, incluyendo sus teoremas de incompletitud, que tuvieron un impacto revolucionario en el conocimiento de los límites de los sistemas formales, incluida la teoría de conjuntos.
Sé el primero en valorar este libro.
Más de Kurt Gödel
Ver autor →Otras obras del mismo autor en el catálogo
Über formal unentscheidbare Sätze der Principia Math. und verwandter Systeme I
1931
Die Vollständigkeit der Axiome des intuitionistischen Zahlenkreises
1933
Zum intuitionistischen Aussagenkalkül
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
sin portada
What is Cantor's Continuum Problem?
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
sin portada
Gödel's Theorem: An Incomplete Guide to Its Use and Abuse
1980
sin portada
Collected Works
1986
sin portada
An Interpretation of the Axioms of Set Theory
1990
Gödel: The Incompleteness Theorems
1996
Libros similares
Libros relacionados según distintos criterios de búsqueda
Restará un crédito a tus libros recomendados de esta semana.