alemán
Georg Kreisel fue un matemático y filósofo alemán, conocido por sus contribuciones a la lógica y la filosofía de la matemática. Su trabajo influyó en el desarrollo de la teoría de tipos y en las discusiones sobre los fundamentos de la matemática.
1970·filosofia
Una colección de ensayos de un influyente lógico y filósofo de la matemática que aborda problemas fundamentales en la computabilidad, la prueba de consistencia y la relación entre la intuición y la formalización en las matemáticas.
1978
Este libro reúne lecturas seleccionadas sobre la filosofía de las matemáticas, explorando temas fundamentalmente metafísicos y epistemológicos, así como cuestiones sobre la naturaleza de los objetos matemáticos y su relación con la realidad.
1980
En 'The Logical Structure of Mathematics', Georg Kreisel explora la relación entre lógica y matemáticas, analizando cómo las estructuras lógicas subyacen en las teorías matemáticas y su significado para la filosofía de la matemática.
Aparecen junto a Georg Kreisel en búsquedas del archivo
