El último problema de Hilbert: Lógica y fundamentos de la matemática
por Georg Kreisel · 1970
Ver sugerenciasSinopsis
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
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
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
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.