Actualizado: 2026-11-06
Que otro paper aparte de yanofsky podría leer para entender el teorema su significado y aplicaciones?
Si te refieres al teorema del punto fijo de Lawvere, que es el tema del artículo de Yanofsky, mi primera recomendación es el original y otras dos complementan bien:
Lawvere, “Diagonal arguments and cartesian closed categories” (1969). Es la fuente. Es corto y denso, pero merece la pena leer la reedición en Reprints in Theory and Applications of Categories nº 15 (2006). Lawvere añadió un comentario nuevo donde explica qué pretendía y qué sentido le da al teorema. Si quieres entender “su significado” de primera mano, es lo mejor que hay.
David Michael Roberts, “Substructural fixed-point theorems and the diagonal argument: theme and variations” (2023). Publicado en Compositionality, vol. 5 (2023), es de acceso abierto y está en arXiv (2110.00239). Parte directamente de Yanofsky. Muestra que la suposición de productos cartesianos que hacen todos los tratamientos existentes no es necesaria, y que así se pueden construir argumentos de tipo diagonal que se escapan de la formulación de Lawvere. Termina con fixed-point combinators del λ-cálculo, lo que te sirve como puente hacia la computación.
Soto-Andrade y Varela, “Self-reference and fixed points: a discussion and an extension of Lawvere’s theorem” (Acta Applicandae Mathematicae, 1984). Es el más “filosófico” de los tres. Discute la autorreferencia como tal y extiende el teorema fuera del marco cartesiano cerrado. Encaja bien con un libro que viene de Gödel y Wittgenstein.
Como libro de apoyo, la sesión 29 de Conceptual Mathematics de Lawvere y Schanuel presenta el teorema de forma casi didáctica, sin la densidad del artículo de 1969.
★ Insight ───────────────────────────────────── - El
teorema dice que si existe una aplicación A → Y^A que es
“punto-suryectiva”, entonces toda función Y → Y tiene un punto fijo.
Leído al revés (contrapositivo), se obtiene Cantor: como la negación en
{0,1} no tiene punto fijo, no puede haber una suryección A → 2^A. - Lo
que aporta Roberts a Yanofsky es que la mayoría de lo que parece
necesario (productos, copiar variables) se puede eliminar. El núcleo del
argumento diagonal es más “pobre” lógicamente de lo que parece.
─────────────────────────────────────────────────
Solo he comprobado la referencia de Roberts. Las de Lawvere y Soto-Andrade/Varela las cito sin haberlas verificado ahora, así que conviene confirmar volumen y páginas antes de usarlas en el libro. Si quieres, lanzo una búsqueda en profundidad sobre aplicaciones más recientes (física, IA, teoría de tipos).
Sources: - Roberts, Compositionality 5 (2023) - arXiv:2110.00239
Enlace a la de Varela?
Aquí lo tienes: https://link.springer.com/article/10.1007/BF01405490 (DOI 10.1007/BF01405490). Es el volumen 2, páginas 1–19 de Acta Applicandae Mathematica, publicado en marzo de 1984. Con esto quedan confirmados los datos que antes no había verificado.
Los autores investigan el recíproco del teorema y llegan a la conjetura de que toda estructura con la propiedad del punto fijo es un retracto de un dominio reflexivo superior, del que hereda esa propiedad. Lo demuestran para la categoría de posets completos por cadenas con morfismos continuos, y comentan brevemente qué importancia tiene para la informática y la biología.
★ Insight ───────────────────────────────────── - Ese
recíproco es lo que distingue este artículo de Yanofsky. Lawvere dice
que la autorreferencia implica puntos fijos. Soto-Andrade y Varela
preguntan si los puntos fijos implican siempre una autorreferencia
escondida detrás. - El “dominio reflexivo” (un X con X ≅ X^X, o una
suryección X → X^X) viene de los modelos de Scott para el λ-calculus.
Por ahí se conecta con la computación y con la idea de autonomía
biológica de Varela.
─────────────────────────────────────────────────
Es posible que Springer te pida pago o acceso institucional para el PDF.
Sources: - Springer – Acta Applicandae Mathematicae 2, 1–19 (1984)
Algun material más informal o especulativo
Tengo cuatro líneas. Las ordeno de menos a más especulativa.
1. Física cuántica: Jochen Szangolies. Es lo más especulativo y lo más original que he encontrado. Sostiene que el teorema de Lawvere, aplicado a un contexto de medición, pone un límite al conocimiento máximo que se puede obtener sobre un sistema, y que de ahí salen muchos fenómenos típicamente cuánticos. Lo más legible es su ensayo Epistemic Horizons: This Sentence is 1/√2(|True⟩+|False⟩), que ganó un premio en el concurso de ensayos FQXi de 2020 sobre indecidibilidad, incomputabilidad e impredecibilidad. La versión técnica es Epistemic Horizons and the Foundations of Quantum Mechanics (Found. Phys., 2018).
2. Filosofía de la mente: también Szangolies. Tiene trabajos en Minds and Machines (2020) y Erkenntnis (2021). Usa la autorreferencia paradójica, vía Lawvere, como posible origen de los “horizontes epistémicos”, y plantea una teoría de cómo surgen las creencias referenciales mediante puntos fijos modales, con el homúnculo de fondo. Para tu libro probablemente sea lo más cercano a Wittgenstein.
3. IA y agentes “embebidos” (LessWrong / MIRI). Es un registro informal, de blog. En esa comunidad los teoremas de punto fijo aparecen sobre todo en la investigación sobre Embedded Agency. La pregunta es qué pasa cuando el agente que modela el mundo forma parte de ese mismo mundo. Hay tres puntos de entrada: - La secuencia Embedded Agency de Garrabrant y Demski. - Sus Diagonalization Fixed Point Exercises, que son ejercicios para hacer a mano. - El post (A → B) → A, que usa Lawvere para argumentar que las “flechas de agencia” tienen que perder información.
4. Divulgación pura. El artículo de Curt Jaimungal The Mathematics of Self: Why You Can Never Fully Know Yourself es muy libre, pero recoge bien la lectura existencial. Menciona que algunos interpretan el teorema como si la realidad no permitiera una “autoconciencia perfecta”. Léelo como ejemplo de esa interpretación, no como rigor.
Hay dos libros clásicos que cito sin haberlos comprobado ahora: Gödel, Escher, Bach de Hofstadter y Principles of Biological Autonomy (1979) de Varela. El de Varela es el trasfondo biológico del artículo con Soto-Andrade.
★ Insight ───────────────────────────────────── - Las
tres líneas especulativas usan el teorema de la misma forma. Toman A
como “el sistema”, Y^A como “sus descripciones posibles” y la
suryectividad como “describirse por completo”. El contrapositivo dice
que, si hay alguna transformación sin punto fijo (como la negación), esa
autodescripción completa es imposible. - El riesgo es que la analogía va
más allá de lo que da el teorema. Lawvere exige una categoría cartesiana
cerrada y suryectividad por puntos, y en los textos informales casi
nunca se comprueba que la medición o la mente cumplan eso.
─────────────────────────────────────────────────