On Undecidable Propositions, A Symmetrical Treatment of the Concepts of 'Truth' and 'Provability'
por Kurt Gödel · 1940
Sinopsis
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
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
Lógica y fundamentos: Trabajos seleccionados de Kurt Gödel
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.