Documentos (artifacts) de las conversaciones con Claude

Documentos autónomos encargados dentro de una conversación y guardados en la carpeta «Claude Artifacts» de Google Drive. Exportados a Markdown el 2026-10-31 (el mapa de correspondencias, el 2026-11-03). Cada archivo abre con un comentario HTML (URL de origen, fecha de exportación) y una línea en cursiva que enlaza a su conversación y a su resumen.

No son resúmenes: están organizados por tema, cruzan a veces varias conversaciones y en algún caso corrigen lo que se dijo en el chat. La transcripción está en ../transcripciones/, el resumen en ../resumenes/ y la tabla de correspondencias en ../INDICE.md.

Material de consulta: pendiente de repartir entre claude/investigacion/ y los demás destinos definitivos.

Lógica, identidad y aporías

2026-10-12 — Aporías reflexivas de marco: lógica, a priori y seguimiento de reglas · conv. Aporía reflexiva de marco (resumen); ampliado en Maillard Borges
2026-10-14 — Mapa de las grietas lógicas · conv. Crítica del principio de identidad (resumen) y Pluralidad de lógicas y ontología
2026-10-14 — Críticas al principio de identidad · conv. Crítica del principio de identidad (resumen)
2026-10-14 — Pluralismo lógico y plano ontológico · conv. Pluralidad de lógicas y ontología (resumen)
2026-10-15 — Bibliografía básica: Deleuze, identidad y lógica · conv. Identidad (resumen)
2026-10-30 — Copiar y nombrar: la diagonal que une a Cantor y Gödel · conv. Pruebas diagonales de Cantor, Gödel y Tarski · superado: integrado en el siguiente
2026-11-03 — Lenguajes formales y categorías vs. mística: mapa de correspondencias · conv. Rosetta Stone y teorema de punto fijo y Pruebas diagonales de Cantor, Gödel y Tarski. Tablas lado formal / lado místico, puentes bibliográficos y, como sección 4, el argumento diagonal de Lawvere
2026-11-03 — Lawvere’s fixed point theorem: from λ-calculus to biology (en inglés) · conv. «RNA vs DNA types», sin transcripción aparte (el documento la transcribe): Y combinator, modelos del λ-cálculo, piedra de Rosetta, copia, CCC, C-sets, autómatas de von Neumann, ARN y ADN

Aristóteles y Platón

2026-10-30 — La sustancia aristotélica sobrevive a sus críticos · conv. Aristóteles: sustancia primera; rel. Categorías aristotélicas y el ser, Aristóteles
2026-10-30 — Rickless, Plato’s Forms in Transition: premisas y argumentos del Parménides · rel. Zeno’s argument, premise two

Epistemología y física

2026-10-08 — A priori, holismo de Quine y carga teórica de la observación (en inglés) · rel. Justificación a priori de conocimientos empíricos (resumen)
2026-10-13 — Justificar a priori el conocimiento empírico · conv. Justificación a priori de conocimientos empíricos (resumen)
2026-10-16 — Complejidad estructural e informacional en física · sin transcripción

Lógica sin mente: biología e IA

2026-10-11 — IA, inteligencia y quién gana · conv. Inteligencia y uso de IA
2026-10-13 — Lógica en sistemas biológicos · conv. Lógica en sistemas biológicos (resumen)
2026-10-15 — Cómo razonan los LLMs · conv. Reglas y conceptos formales (resumen) y LLM understanding (resumen)

Estética y mística

2026-10-26 — Nietzsche: el arte, el éxtasis, lo sublime y lo dionisíaco · conv. Nietzsche: arte, éxtasis y lo dionisiaco

Herramientas y catálogo

2026-10-13 — Aprender Lean 4: guía y recursos · conv. Lean 4 tutorial y Lean dependent type theory
2026-10-15 — Índice de La Grieta, catálogo de los propios artifacts

No importados

Siguen solo en Drive:

«Bibliografía básica: Deleuze, identidad y lógica (versión anterior)», superada por la versión de la lista.
glosario-aristoteles-ser.md, ya presente en ../../../glosario-aristoteles-ser.md.
«Arquitectura de Libro-de-Oriol.html» y claude-linux-desde-windows.md, sobre utillaje del repo, no sobre el libro.
«Plan de alimentación de Mari» y «Tratamiento del dolor en Barcelona», ajenos al libro.