El último problema de Hilbert: Lógica y fundamentos de la matemática
por Georg Kreisel · 1970
Sinopsis
Un análisis técnico y filosófico de la metamatemática, la prueba de consistencia de Gentzen y las implicaciones de los teoremas de incompletitud para el programa de Hilbert, escrito por un lógico influyente y contemporáneo de algunos de los protagonistas.
Sé el primero en valorar este libro.
Más de Georg Kreisel
Ver autor →Otras obras del mismo autor en el catálogo
Ensayos sobre la Filosofía de la Matemáticas y la Lógica
1970
Mathematics and the Mind
1972
Logical Foundations of Mathematics
1975
Hilbert's Program (Ensayo)
1976
Philosophy of Mathematics: Selected Readings
1978
The Logical Structure of Mathematics
1980
Foundations of Set Theory
1981
The Philosophy of Logic
1984
Mathematical Thinking: The Foundations
1989
A Guide to Mathematical Logic
1992
Types of Mathematical Reasoning
1994
Philosophical Essays on Logic and Mathematics
1996
A Critique of Mathematical Reason
1998
On Number and Games
Libros similares
Libros relacionados según distintos criterios de búsqueda