Qué leer, además de Yanofsky (2003), para entender el teorema del
punto fijo de Lawvere, su significado y sus aplicaciones: fuentes
técnicas, el artículo de Soto-Andrade y Varela y material informal o
especulativo.
Hilo de la conversación
Oriol pide otros artículos aparte del de Yanofsky. Claude propone el
original de Lawvere (1969, con el comentario de la reedición de 2006 en
TAC Reprints 15), Roberts (2023, Compositionality 5),
que elimina el supuesto de productos cartesianos, y Soto-Andrade y
Varela (1984); como apoyo didáctico, la sesión 29 de Conceptual
Mathematics.
Oriol pide el enlace al de Varela. Claude lo localiza (Springer, DOI
10.1007/BF01405490; Acta Applicandae Mathematicae 2, 1–19,
1984) y resume su aportación: el recíproco del teorema.
Oriol pide material más informal o especulativo. Claude da cuatro
líneas: Szangolies en física cuántica y en filosofía de la mente, la
Embedded Agency de LessWrong/MIRI y la divulgación de Curt
Jaimungal.
Tesis y
conclusiones (incluidas las de Oriol)
El teorema: si hay una aplicación punto-suryectiva A → Y^A, toda
función Y → Y tiene punto fijo; su contrapositivo da Cantor (la negación
en {0,1} no tiene punto fijo).
Roberts muestra que el núcleo del argumento diagonal es lógicamente
más pobre de lo que parece: no necesita productos ni copiar
variables.
Soto-Andrade y Varela invierten la pregunta: ¿todo punto fijo
esconde una autorreferencia? Conjeturan que toda estructura con la
propiedad del punto fijo es un retracto de un dominio reflexivo y lo
prueban para posets completos por cadenas. Conecta con los modelos de
Scott del λ-cálculo y con la autonomía biológica de Varela.
Las lecturas especulativas leen A como «el sistema», Y^A como «sus
descripciones» y la suryectividad como «describirse por completo»; el
riesgo es que la analogía exceda el teorema, porque rara vez se
comprueba que la medición o la mente formen una categoría cartesiana
cerrada con suryectividad por puntos.
Autores y referencias
citados
Yanofsky (2003); Lawvere (1969; reed. TAC Reprints 15,
2006); Lawvere y Schanuel, Conceptual Mathematics; D. M.
Roberts, «Substructural fixed-point theorems and the diagonal argument»
(Compositionality 5, 2023; arXiv 2110.00239); Soto-Andrade y
Varela, «Self-reference and fixed points» (Acta Appl. Math. 2,
1984); Scott; J. Szangolies, «Epistemic Horizons» (FQXi 2020, arXiv
2007.14909; Found. Phys. 2018, arXiv 1805.10668; trabajos en
Minds and Machines 2020 y Erkenntnis 2021); Garrabrant
y Demski, Embedded Agency; Curt Jaimungal; Hofstadter,
Gödel, Escher, Bach; Varela, Principles of Biological
Autonomy (1979).
Puntos a verificar
Referencia de Lawvere 1969 y de la reedición de 2006: Claude la dio
sin comprobar.
Los artículos de Szangolies en Minds and Machines (2020) y
Erkenntnis (2021): títulos y datos sin verificar.
Que la sesión 29 de Conceptual Mathematics sea la que trata
el teorema.
Verificados en la conversación: Roberts (2023) y Soto-Andrade y
Varela (1984).