Profesional / académico
Introducción 1. EL quinto postulado, motor en la evolución de la geometría 2. Descartes: algebraización de la geometría 3. Leibniz: algebraización de la lógica y del cálculo infinitesimal 4. Kant: ¿Cómo es posible la matemática pura? 5. Geometrías no euclidianas 6. Boole: análisis matemático de la lógica 7. Antecedentes de la formalización hilbertiana 8. Hilbert: Fundamentos de la geometría 9. Axiomatización a la manera de Hilbert 10. EL segundo problema de Hilbert. La no contradicción de la matemática. Metamatemática 11. Gödel: limitaciones internas de los sistemas formales 12. Bourbaki: matemática mediante estructuras 13. Metamatemática en Elementos de Matemática, de Bourbaki 14. Experiencia, intuición, axiomatización 15. Hacia una filosofía de la matemática