Ambos libros, escritos por Girard, abordan las crisis en los fundamentos de las matemáticas y su relación con la lógica, ofreciendo una profunda reflexión crítica.
La Noción de Lógica: De Aristóteles a Gödel
por Jean-Yves Girard · 1999
Ver sugerenciasSinopsis
Una profunda exploración de la historia y el desarrollo de la lógica, desde sus orígenes filosóficos hasta sus formulaciones matemáticas modernas, analizando los fundamentos de los sistemas deductivos.
Sé el primero en valorar este libro.
Más de Jean-Yves Girard
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
El análisis de los límites de la computación en 'Turing y el Universal' complementa la exploración histórica de la lógica en 'La Noción de Lógica'.
La obra de Marquis facilita la comprensión de los teoremas de Gödel, similar a cómo Girard discute la evolución de la lógica matemática.
La conexión filosófica entre la historia del cálculo y conceptos de lógica en 'La máquina universal' refleja la búsqueda de fundamentos en el trabajo de Girard.
La investigación sobre la evolución de sistemas formales en el libro de Heijenoort se alinea con la exploración histórica de la lógica presentada por Girard.
Ambos textos exploran principios lógicos fundamentales, donde 'De las máquinas de Turing al cálculo Lambda' conecta conceptos matemáticos esenciales con la estructura lógica del lenguaje.