other_source/claude/rutas

Documentos

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