other_source/claude/rutas

Documentos

• Demostración automática de teoremas con IA y verificación formal en Lean 4 2026-11-06
• Derrida: el ser, la *différance* y el logocentrismo 2026-11-06
• eckhart_gottheit 2026-11-06
• Heidegger: la cuestión del ser 2026-11-06
• I. ¿Qué lógica se usa? 2026-11-06
• Literatura de referencia: Capítulo Modelos 2026-11-06
• Whitehead: filosofía del proceso y modos del pensamiento 2026-11-06
• Étienne Gilson: El ser 2026-11-06