Hilbert's Program (Ensayo)
por Georg Kreisel · 1976
Sinopsis
Un ensayo clave que analiza el programa de Hilbert para establecer la consistencia de las matemáticas a través de un procedimiento finitista, explorando sus ambiciones, éxitos parciales y limitaciones a la luz de los teoremas de incompletitud de Gödel.
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
El último problema de Hilbert: Lógica y fundamentos de la matemática
1970
Mathematics and the Mind
1972
Logical Foundations of Mathematics
1975
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