The Unprovability of Consistency of Peano Arithmetic
por George S. Boolos · 1975
Sinopsis
Este libro examina la incompletud de la aritmética de Peano y la imposibilidad de probar su consistencia, ofreciendo un análisis profundo sobre los fundamentos de las matemáticas y la lógica.
Sé el primero en valorar este libro.
Más de George S. Boolos
Ver autor →Otras obras del mismo autor en el catálogo
Computabilidad y Lógica
1974
sin portada
Inheritance and the Theory of Concepts
1980
sin portada
Mathematical Logic
1987
sin portada
On Second-Order Quantification
1989
Liar: A Loupe on Truth
1990
The Status of Logic
1992
The Justification of Deduction
1993
The Logic of Provability
1993
Computability and Logic
1994
Theories of Truth
1996
Logic, Logic, and Logic
1998
A New Perspective on Gödel's Incompleteness Theorem
1998
sin portada
The Philosophy of Mathematics
2002
sin portada
The Road to Reality
2004
Truth and Proof: The Plantinga-Carnap Correspondence
2005
Libros similares
Libros relacionados según distintos criterios de búsqueda
Restará un crédito a tus libros recomendados de esta semana.