Hilbert's Program (Ensayo)
por Georg Kreisel · 1976
Ver sugerenciasSinopsis
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
Some Remarks on the Foundations of Mathematics
1951
Hilbert's Programme
1958
Principles of Constructive Mathematics (Lectures)
1959
Mathematical Logic, Lectures on Modern Mathematics, Vol. 3
1965
Mathematical Logic
1965
Elements of Mathematical Logic (Model Theory)
1967
Elementos de lógica matemática (Teoría de modelos)
1967
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
Libros similares
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.