Copiar y nombrar: la diagonal que une a Cantor y Gödel

Sin transcripción de la conversación de origen en el repo. Índice: documentos.

Superado (2026-11-03): este informe está integrado, revisado, como sección 4 de Lenguajes formales y categorías vs. mística: mapa de correspondencias. Se conserva como registro.

Cantor, Russell, Gödel, Tarski, Turing, Kleene y el combinador \(Y\) demuestran, en el fondo, un mismo teorema de tres líneas. Es el teorema del punto fijo de Lawvere (1969): si un objeto \(A\) puede nombrar todas las funciones \(A \to Y\) (si hay una \(\varphi: A \to Y^A\) débilmente punto-sobreyectiva), entonces todo \(t: Y \to Y\) tiene un punto fijo (Lawvere, TAC Reprint 15). Si se lee al revés, cuando \(Y\) admite un operador sin punto fijo (la negación en \(\{0,1\}\)), salen las imposibilidades: Cantor, Russell, Tarski, Turing, Rice. Si se lee en directo, cuando la autorrepresentación está garantizada (sustitución en aritmética, teorema s-m-n, β-aplicación), salen las existencias: el lema diagonal, la recursión de Kleene, \(Y\). La prueba solo necesita dos cosas, copiar el argumento (la diagonal \(\Delta: A \to A\times A\)) y nombrar funciones con elementos (evaluación/currying). Roberts ha mostrado que casi todo lo demás de la estructura cartesiana sobra (Roberts, arXiv:2110.00239). La categoría cartesiana cerrada es, por tanto, el marco donde la forma general se ve con nitidez, aunque no es su condición mínima. En lo filosófico, la moraleja defendible es precisa y modesta: ninguna totalidad puede contener una representación suficientemente completa de sus propias propiedades si existe un operador sin punto fijo sobre los valores. Lawvere presentó su trabajo explícitamente como una desmitificación. Las lecturas místicas (el Absoluto de Cantor, Cusa, Nagarjuna, lo místico del Tractatus, Eckhart) pueden sostenerse como analogías estructurales explícitas, nunca como derivaciones.

Cada prueba diagonal tiene tres piezas: una tabla, su diagonal y un giro

Yanofsky lo resume en un esquema que no exige categorías (Yanofsky, BSL 2003). Se parte de una “tabla” \(f: T \times T \to Y\), se recorre su diagonal \(t \mapsto f(t,t)\) y se le aplica un “giro” \(\alpha: Y \to Y\). Así se define

\[g(t) = \alpha\big(f(t,t)\big).\]

Supongamos que \(g\) fuera una fila de la tabla, \(g = f(-,t_0)\). Evaluando en \(t_0\) queda

\[f(t_0,t_0) = g(t_0) = \alpha\big(f(t_0,t_0)\big),\]

así que \(f(t_0,t_0)\) sería un punto fijo de \(\alpha\). Si \(\alpha\) no tiene punto fijo, \(g\) no es representable por \(f\). Este es el “Teorema de Cantor” de Yanofsky. Su contrapositivo dice que si hay una sobreyección \(T \to Y^T\), entonces “every map from Y to Y must have a fixed point” (Yanofsky). Para un ingeniero, la traducción es directa. La tabla es un evaluador (pertenencia, satisfacción, sustitución, máquina universal, β-aplicación). La diagonal consiste en citar un código y dárselo a sí mismo. El giro es un postprocesador. La autoaplicación es posible porque los códigos y lo codificado viven en el mismo dominio.

Cantor. Sea \(h: X \to \mathcal P(X)\) una supuesta sobreyección. La tabla es \(f(x,y) = [x \in h(y)]\), el giro es \(\neg\) y la diagonal produce \(D = \{x : x \notin h(x)\}\), que no puede ser \(h(y)\) para ningún \(y\). En la versión de Lawvere basta con \(V = 2\) y \(\alpha = \neg\) para que no exista sobreyección \(X \to 2^X\) (Abramsky y Zvesper, arXiv:1006.0992). La diagonalización la inventó Cantor en 1891 (Bolander, SEP “Self-Reference”, Win 2023). Su primera prueba de la no numerabilidad de \(\mathbb R\) (1873-74) usaba intervalos encajados y “is not based on diagonalization” (Lipton 2009). Algunos comentaristas sostienen que es una diagonal disfrazada, y la frontera entre ambas cosas no es nítida.

Russell. La tabla es la pertenencia \(x \in y\) sobre todo el universo, el giro es \(\neg\) y la diagonal da \(R = \{x : x \notin x\}\). La conclusión es que \(R\) no es un conjunto. La paradoja de Cantor (la del conjunto universal) “is nothing more than a slight variant of Russell’s paradox” (Bolander, SEP). Lawvere la trata con su versión sin exponenciales, con \(g\) igual a la relación de pertenencia (Lawvere).

Gödel: el lema diagonal. Para una teoría \(S\) que extiende la aritmética de Robinson, toda fórmula \(\varphi(x)\) con una variable libre tiene una sentencia \(\psi\) tal que

\[S \vdash \psi \leftrightarrow \varphi(\ulcorner \psi \urcorner)\]

(Bolander, SEP; Wikipedia, “Diagonal lemma”). La clave es la función computable \(\mathrm{diag}\), que lleva el código de \(\varphi(x)\) al código de \(\varphi(\ulcorner\varphi\urcorner)\) y es representable en \(S\). La construcción habitual de los manuales (reconstrucción estándar, no cotejada palabra por palabra en las fuentes) es esta: se define \(\delta(x) := \varphi(\mathrm{diag}(x))\), se toma \(n = \ulcorner\delta\urcorner\) y se pone \(\psi := \delta(\bar n)\). Como \(S \vdash \mathrm{diag}(\bar n) = \ulcorner\psi\urcorner\), se obtiene el lema. En la versión de Yanofsky, \(T\) es el álgebra de Lindenbaum de fórmulas con una variable libre, \(Y\) el de sentencias, \(f(B(x),H(y)) = H(\ulcorner B(x)\urcorner)\) y el giro es \(\Phi_E(P) = E(\ulcorner P \urcorner)\) para cualquier fórmula \(E\) (Yanofsky, PDF). Gödel I sale con \(E(x) \equiv \forall y\, \neg \mathrm{Prov}(y,x)\), Rosser con una comparación de longitudes de prueba, Löb con \(E(x) \equiv (x \Rightarrow A)\) y Parikh con \(\neg(\exists m<n)\mathrm{Prflen}(m,x)\).

Tarski. Con \(E(x) \equiv \neg T(x)\) el lema da \(\lambda \leftrightarrow \neg T(\ulcorner\lambda\urcorner)\). Por eso “any theory extending first-order arithmetic and containing schema T is inconsistent” (Bolander, SEP). Según Feferman, citado por Bolander, Gödel tenía el teorema antes que Tarski.

Turing. La tabla es \(\mathrm{Halt}(n,m)\) y el giro es parcial: \(\alpha(0)=1\), mientras que \(\alpha(1)\) está indefinido (“si se para, entra en bucle”). La contradicción demuestra que \(\mathrm{Halt}\) no puede ser total (Yanofsky, PDF). La SEP señala que la prueba “mimics Grelling’s paradox” (Bolander, SEP).

Kleene. Para toda \(h: \mathbb N \to \mathbb N\) total computable existe \(n_0\) con \(\varphi_{h(n_0)} = \varphi_{n_0}\) (Yanofsky, PDF). La prueba estándar tiene la misma forma que la de Gödel (reconstrucción de manual). Por s-m-n existe \(d\) total con \(\varphi_{d(x)} = \varphi_{\varphi_x(x)}\). Se elige \(e\) con \(\varphi_e = h \circ d\) y se toma \(n_0 = d(e)\). Entonces \(\varphi_{n_0} = \varphi_{\varphi_e(e)} = \varphi_{h(d(e))} = \varphi_{h(n_0)}\). De aquí salen Rice (el giro intercambia dos índices dentro y fuera de una propiedad no trivial) y los programas autorreproductores de von Neumann. Wikipedia señala que lema diagonal y recursión “are similar” en sus pruebas (Wikipedia).

El combinador \(Y\). Es la forma más desnuda de todas:

\[Y = \lambda f.\,(\lambda x.\, f(x\,x))\,(\lambda x.\, f(x\,x)), \qquad Y f \to_\beta f\big((\lambda x.f(xx))(\lambda x.f(xx))\big) =_\beta f(Yf).\]

La tabla es la aplicación, la diagonal la autoaplicación \(x\,x\) y el giro, cualquier \(f\). Lo descubrió Curry. El \(\Theta\) de Turing cumple además \(\Theta f \to_\beta f(\Theta f)\) en un solo sentido (Wikipedia, “Fixed-point combinator”). Russell en λ es \(R = \lambda x.\neg(xx)\), con \(RR =_\beta \neg(RR)\): literalmente \(Y\neg\). Curry quita incluso la negación. La oración “si esta oración es verdadera, entonces F” basta para derivar cualquier F (Bolander, SEP), y “the heart of Curry’s paradox is that untyped lambda calculus is unsound as a deductive system” (Wikipedia). Con tu formación en reescritura lo verás enseguida: el punto fijo es una β-reducción y nada más. El término \((\lambda x.xx)(\lambda x.xx)\) es el ejemplo canónico de término sin forma normal, y “no fixed-point combinator can in fact be typed” (Wikipedia). Que el tipado garantice terminación y que impida la diagonal son, en este caso, la misma restricción.

Tabla de instancias

Las filas siguen a Yanofsky y Lawvere, salvo indicación. Los nombres de las columnas son los del esquema \(g(t)=\alpha(f(t,t))\). “−” significa lectura negativa (no hay representación) y “+” lectura positiva (hay punto fijo).

Las filas de Grelling, Russell y \(Y\) en el esquema de Yanofsky están confirmadas por el listado de Abramsky y Zvesper, pero no se cotejaron en el texto extraído del propio Yanofsky. Las filas de \(Y\), Curry y la \(f\) concreta del mentiroso son reconstrucciones estándar. La de \(Y\) coincide con el nLab, que afirma que el teorema “también da combinadores de punto fijo” (nLab).

Un solo teorema, leído en dos direcciones, da imposibilidad o existencia

La aparente dualidad entre los resultados que prohíben (Cantor, Tarski, Turing) y los que construyen (el lema diagonal, Kleene, \(Y\)) desaparece cuando se fija la dirección de la implicación. En \(\mathbf{Set}\), todo conjunto con al menos dos elementos tiene una automapa sin punto fijo (Yanofsky), así que allí el teorema “must be taken contrapositively”: si \(|V|>1\), no hay sobreyección \(X \to V^X\) (Abramsky y Zvesper). Si en cambio la representabilidad es un hecho (la aritmética representa \(\mathrm{diag}\), s-m-n vale, la β-aplicación es universal), el teorema se lee en directo y \(Y\) queda “degenerado”: todo operador definible tiene un punto fijo.

Gödel I es el caso más fino, porque ocupa justo la bisagra. En la aritmética, \(Y\) son las sentencias módulo equivalencia demostrable, y allí ningún operador definible puede carecer de punto fijo. De ahí salen dos consecuencias. Primera: \(\neg T\) no puede ser definible, porque no tendría punto fijo; es Tarski. Segunda: \(\neg\mathrm{Prov}\) sí es definible, así que tiene un punto fijo \(G \leftrightarrow \neg\mathrm{Prov}(\ulcorner G\urcorner)\), y eso obliga a la incompletitud, no a la inconsistencia, porque \(\mathrm{Prov}\) no es la verdad. Esta lectura es una inferencia de las notas, coherente con la estructura de Lawvere. Lawvere lo hace explícito en su Th. 3.3: si la sustitución es definible y la demostrabilidad representable, una teoría consistente no puede ser completa, porque entonces \(\mathrm{Pr}\) definiría la verdad, contra Th. 3.2 (Lawvere).

Las vías de escape tienen todas la misma estructura. Hay que romper la sobreyección o darle a \(\alpha\) un punto fijo. La teoría de tipos y el λ-cálculo simplemente tipado rompen la sobreyección: no hay tipo \(D\) con \(D \cong D \to D\). La parcialidad de la computabilidad le da a la negación un punto fijo, el valor indefinido \(\uparrow\); por eso Turing concluye “no es total” y no “contradicción”. La teoría de la verdad de Kripke hace lo mismo con un tercer valor: es un punto fijo de un operador monótono sobre un orden parcial completo por cadenas, en lógica fuerte de Kleene (Bolander, SEP). Las lógicas positivas, donde el operador es monótono sobre un retículo completo (Knaster-Tarski), “allow the paradoxes to be circumvented” (Abramsky y Zvesper). Los dominios de Scott son el caso límite positivo: allí existe \(D \cong [D \to D]\) porque solo se admiten mapas continuos, y todos ellos tienen mínimo punto fijo. Lo dice el razonamiento de las notas, no una cita textual. Yanofsky lo formula así: “there are really no paradoxes. There are limitations”; el \(g\) construido es “the limitation that your system (\(f\)) can not deal with” (Yanofsky).

La forma general sale de dos gestos: duplicar y evaluar

El enunciado de Lawvere y su prueba de tres líneas

Lawvere (1969, “Diagonal arguments and cartesian closed categories”, reimpreso en TAC en 2006) parte de una categoría cartesiana cerrada: una categoría con terminal, productos y exponenciales \(Y^A\), con evaluación \(\varepsilon\) y transposición \(\lambda\). Un morfismo \(g: X \to Y^A\) es débilmente punto-sobreyectivo si para todo \(f: A \to Y\) hay un punto \(x: 1 \to X\) con \(g(x)(a) = f(a)\) para todo punto global \(a: 1 \to A\) (Lawvere). No se exige \(g(x)=f\), porque los puntos globales no tienen por qué separar morfismos (nLab). Esta debilidad es justo la que necesita la lógica: en la categoría sintáctica de una teoría, “el código \(c\) representa a \(\varphi\)” solo puede afirmarse sobre constantes. El Teorema 1.1 dice: “In any cartesian closed category, if there exists an object A and a weakly point-surjective morphism A → Y^A then Y has the fixed point property” (Lawvere).

La prueba, en la notación del nLab, es una sola composición:

\[q:\; A \xrightarrow{\ \Delta\ } A\times A \xrightarrow{\ \varphi\times 1\ } Y^A\times A \xrightarrow{\ \mathrm{ev}\ } Y \xrightarrow{\ t\ } Y, \qquad q = \lambda a.\; t\big(\varphi(a)(a)\big).\]

Se elige \(p\) con \(\varphi(p) = q\), y entonces

\[\varphi(p)(p) = q(p) = t\big(\varphi(p)(p)\big),\]

donde el paso central es una β-reducción. El punto fijo es \(s := \varphi(p)(p)\) (nLab). El Corolario 1.2 es el contrapositivo, y Lawvere lo llama el famoso “argumento diagonal”: si algún \(t: Y\to Y\) no tiene punto fijo, ningún \(A \to Y^A\) es débilmente punto-sobreyectivo. Con \(Y=2\) sale Cantor. El Teorema 2.2 prescinde de las exponenciales y exige solo productos finitos. Basta, porque toda categoría pequeña se sumerge en una CCC (los prehaces, vía Yoneda) (Lawvere). Como ingeniero de reescritura lo reconocerás: la prueba entera es la reducción de \((\lambda a.\,t(a\,a))(\lambda a.\,t(a\,a))\), con \(a\,a\) interpretado como \(\mathrm{ev}\circ(\varphi\times 1)\circ\Delta\).

En un topos, el resultado dice que existe un epi \(X \to \Omega^X\) solo si el topos es degenerado. Las retracciones son punto-sobreyectivas, y aplicando el teorema a \(\neg: \Omega\to\Omega\) se obtiene \(0 = \neg 0\) (nLab). Lawvere también da, en la categoría de una teoría, Tarski (Th. 3.2: con sustitución definible, la verdad no es definible) y Gödel I (Th. 3.3). En cambio, no prueba Gödel II: el apéndice dice que quizá requiera “a specific relation between formulas and their numbers” (Lawvere). Hay un conflicto de fuentes: el nLab incluye “Peano arithmetic cannot prove its own consistency” entre los ejemplos, sin detallarlo (nLab). Conviene no apoyarse en el nLab para esto. Gödel II y Löb usan el lema diagonal, pero necesitan además las condiciones de derivabilidad de Hilbert-Bernays-Löb, que son información intensional ajena al esquema.

Lo que la prueba usa realmente: la diagonal

La pregunta de de dónde sale la forma general tiene una respuesta más fina que “de las CCC”. Roberts observa que la prueba “nunca usa las proyecciones” que caracterizan a las categorías cartesianas. La propiedad universal del producto solo sirve para obtener \(\Delta\). Tampoco hacen falta la unidad monoidal, la asociatividad ni la simetría. Roberts formula el teorema en “categorías magmoidales con diagonales”, es decir, en una semántica subestructural sin debilitamiento ni intercambio pero con contracción, y sustituye el terminal por un objeto de elementos generalizados (Roberts, arXiv:2110.00239; publicado en Compositionality 5(8), 2023, según nLab). Sus ejemplos no cartesianos son reveladores: conjuntos numerables con inyecciones, conjuntos punteados con producto smash, retículos completos con morfismos estrictos, monoides de Church en lógica relevante. Un objeto reflexivo (app, lam) basta para tener un mapa de punto fijo (Cor. 27). El propio Roberts admite que, en categorías cartesianas concretas, la versión de Lawvere “no es en última instancia más general que la de Yanofsky”. Pavlović lo dice en otros términos: las paradojas “remain within the limits of the cartesian closed structure of types”, sin usar ninguna operación lógica sobre \(\Omega\). La comprensión ilimitada de Frege “just asserts the existence of an encoding” (Pavlović, Arch. Math. Logic 1992).

La respuesta, entonces, es que la autorreferencia se descompone en codificación (\(\varphi: A \to Y^A\), que los elementos nombren propiedades) y duplicación (\(\Delta\), que el mismo \(x\) haga a la vez de código y de argumento). Esto conecta con tu interés por los teoremas no-go cuánticos. En espacios vectoriales no existe una diagonal natural \(A \to A\otimes A\), y Abramsky prueba que una diagonal natural en una categoría compacta cerrada obliga a que todo endomorfismo sea múltiplo de la identidad (nLab, no-cloning; Abramsky, arXiv:0910.2401). Pero el vínculo Lawvere ↔︎ no-cloning es una analogía, no un teorema publicado: la página del nLab sobre no-cloning no menciona a Lawvere, y Roberts cita a Abramsky solo de pasada. El único texto que explota la analogía encontrado es un preprint de PhilArchive de baja autoridad, no verificado (PhilArchive).

Historia breve y límites del método

Gödel vio el parentesco desde el principio: “The analogy between this result and Richard’s antinomy leaps to the eye”, y una “close relationship with the ‘liar’ antinomy” (Serény, BSL 2003). Quién formuló primero el lema diagonal en general está en disputa. A Carnap (1934) se le atribuye a menudo (Wikipedia), pero Peter Smith sostiene que Carnap solo tiene la “Equivalencia” semántica y no el lema sintáctico \(T\vdash G \leftrightarrow F(\ulcorner G\urcorner)\) (Smith, FOM 2012; Smith, blog). Los candidatos Hilbert-Bernays (1939) y Tarski (1936) quedan sin resolver; Smoryński (2023) probablemente lo trata, pero no se leyó. El artículo de Lawvere, según Yanofsky, “has been overlooked by many people” (Yanofsky). La generalización siguió por varios caminos. Soto-Andrade y Varela (1984) estudian el recíproco y conjeturan que toda estructura con la propiedad del punto fijo es un retracto de un dominio reflexivo (Springer). Abramsky y Zvesper dan una versión relacional en categorías regulares para la paradoja epistémica de Brandenburger-Keisler, “a two-person or interactive version of Russell’s Paradox” (ar5iv). Escardó formaliza el teorema en Agda (Escardó). Hay además un survey de 2025, de autoría individual y sin revisión por pares, del que solo se leyó la introducción (Barreto, arXiv:2503.13536).

Los límites son igual de instructivos. En complejidad, la diagonalización relativiza: solo usa la enumerabilidad de las máquinas y la simulación universal, que valen con cualquier oráculo. Como Baker, Gill y Solovay construyeron oráculos con \(P^A = NP^A\) y \(P^B \neq NP^B\), ninguna diagonal pura puede resolver P vs NP (Cornell CS6810). Lo irónico es que el oráculo \(B\) se construye a su vez por una diagonal de Lawvere (Yanofsky). Un artículo de 2026 que afirma probar \(P\neq NP\) con diagonalización “semi-relativizada” es heterodoxo y solo vale como fuente de las citas de contexto (arXiv:2601.09702). Yablo es el gran reto conceptual. En su secuencia infinita de oraciones “none of them ever refer to themselves”, y Yanofsky pregunta si estos teoremas “should really be called ‘diagonalization theorems’” (Yanofsky). Yanofsky deja fuera de su marco Berry, Paris-Harrington, Chaitin, Gödel II y Kripke. Las construcciones por prioridad (Friedberg-Muchnik) tampoco tienen la forma de un único punto fijo, aunque para esto último no se encontró fuente.

Las lecturas filosóficas defendibles conservan las hipótesis del teorema

El criterio que separa uso de abuso sale del propio teorema. Una lectura es sólida si mantiene las hipótesis: una autorrepresentación débilmente sobreyectiva y un operador sin punto fijo (o, para Gödel, una teoría consistente, recursivamente axiomatizable y con aritmética suficiente). Con ese filtro se pueden ordenar las lecturas serias.

Lawvere: desmitificar. Su objetivo declarado era “to demystify the incompleteness theorem of Gödel and the truth-definition theory of Tarski”, mostrando que son álgebra simple. Le resultaba difícil entender “how Cantor’s mathematical theorem could be re-christened as a ‘paradox’ by Russell”, y sospechaba que la publicidad extramatemática en torno a Gödel ocultaba “an agenda for re-establishing belief as a substitute for science” (Lawvere 2006). El artículo y su comentario no mencionan a Hegel ni la dialéctica. La línea hegeliana de Lawvere está en otros textos, como “Unity and Identity of Opposites in Calculus and Physics” (1996) (Lawvere Archives). Atribuirle una lectura dialéctica de la diagonal sería un error de fuente.

Priest: la totalidad que se trasciende. En Beyond the Limits of Thought (CUP 1995; OUP 2002), Priest ve el mismo patrón desde Cratilo hasta Kant, Hegel y el Tractatus. Por un lado, Clausura: una tesis fija el límite de un dominio. Por otro, Trascendencia: la tesis, aplicada a sí misma, exige una excepción. Su conclusión dialeteísta es que las contradicciones en los límites son verdaderas (Jacquette, reseña). La objeción decisiva es la del propio Jacquette: el diagnóstico estructural es bueno, pero no obliga a la lectura dialeteica. Las alternativas siguen abiertas: que la Clausura sea falsa (ZFC niega el conjunto universal), que se estratifique (tipos, jerarquía de Tarski) o que se trate de una reducción al absurdo clásica. Aquí Lawvere y Priest tiran en direcciones opuestas sobre la misma forma. Donde Priest ve una contradicción verdadera, Lawvere ve un contrapositivo. La formulación exacta del esquema de Inclosure (con \(\Omega\), \(\varphi\) y la diagonalizadora \(\delta\)) no se verificó en el texto de Priest; viene de memoria de los investigadores (cap. 11, ed. 2002).

El Tractatus: la autorreferencia no es contenido. Wittgenstein disuelve la paradoja de Russell en el plano del simbolismo, sin jerarquía de tipos. Un signo proposicional no puede contenerse a sí mismo, y una función no puede ser su propio argumento (3.332-3.333). Muller (2021) concluye que la expresión formal del tercer párrafo de 3.333 “does not and cannot express Russell’s paradox”, pero que una versión modificada sí genera una contradicción de tipo Russell, lo que favorece la lectura de Stern (Muller, EUR). Los textos literales del TLP que circulan en las notas (3.332, 3.333, 4.12, 5.6, 6.522, 7) se citaron de memoria y deben cotejarse con tu edición. La inferencia de mayor interés para ti es original de las notas, sin respaldo bibliográfico encontrado. Vista desde Lawvere, 3.332 es la decisión de bloquear la evaluación \(A\times A \to Y\) que la diagonal necesita. La diferencia con Russell es que Wittgenstein no la prohíbe por axioma: la presenta como algo que muestra la sintaxis. Esto no choca con Gödel, que demuestra que un sistema puede “hablar de sí” por codificación. Una respuesta tractariana diría que \(G\) habla de números, y que leerla como “yo no soy demostrable” es una interpretación externa.

Esa respuesta es, casi literalmente, la tesis del Wittgenstein tardío. En el “párrafo notorio” (RFM, Apéndice III §8) escribe: “Just as we ask, ‘Provable’ in what system?, so we must also ask, ‘True’ in what system?”. Floyd y Putnam leen ahí una tesis seria: si se descubriera que \(\neg P\) es demostrable, habría que abandonar la “traducción” de \(P\) (arXiv math/0306024). La lectura queda así, pero el debate sigue abierto (Lampert, Rodych). Que Floyd y Putnam lo liguen a la ω-inconsistencia y a los modelos no estándar no está verificado. Sobre Cantor, las RFM tratan la diagonal como un cálculo legítimo envuelto en prosa engañosa: “Our suspicion ought always to be aroused when a proof proves more than its means allow it”, y “a future generation will laugh at this hocus pocus” (Logic Museum). Bangu y Schatz (2025) defienden que Wittgenstein no era revisionista. Su intensionalismo hace del número diagonal un “pseudo-irracional”, y su propuesta es conceptual, no una corrección de la matemática (Synthese 2025). Sugieren así una continuidad entre los dos Wittgenstein en este punto, que es de nuevo inferencia de las notas.

Gödel, la mente y la máquina. Gödel no infirió que “la mente no es una máquina”. Formuló una disyunción: “either mind infinitely surpasses any finite machine or there are absolutely unsolvable number theoretic problems” (Feferman 2006). La fecha de la Gibbs Lecture está en conflicto: el extracto del PDF decía 1960, pero la fecha habitual es el 26 de diciembre de 1951. Hay que verificarla antes de citarla. Lucas y Penrose intentan quedarse con el primer disyunto. La crítica estándar (Franzén, cap. 6; Feferman) es una aplicación de la propia moraleja diagonal: para “ver” que \(G_S\) es verdadera hay que saber que \(S\) es consistente, y no tenemos garantía de conocer nuestra propia consistencia (Zach sobre Franzén). Ese núcleo técnico está reconstruido de memoria, aunque es coherente con ambos autores. Hofstadter hace del yo un bucle autorreferencial análogo a la sentencia de Gödel. Deutsch le responde que “Gödelian statements refer meaningfully to themselves, but are not conscious” y que lo decisivo es la universalidad, no la autorreferencia (Deutsch, Physics World). Es una metáfora legítima, pero no demostrativa.

La mística admite analogías explícitas, nunca derivaciones

Las notas usan una escala de tres grados: (H) hecho histórico documentado, (A) analogía defendida por autores serios y (E) exceso. Con ella se puede trabajar con honestidad en el libro.

Cantor y el Absoluto (H). Es el caso más sólido, porque la dirección va al revés: Cantor no usa la matemática para probar la teología, sino que interpreta teológicamente un límite interno de la matemática. En 1886 distinguió el infinito actual en Dios (el Absoluto), en la naturaleza creada (el Transfinitum) y en abstracto (Trlifajová, arXiv:2407.18972). Lo hizo con terminología escolástica: “Infinitum aeternum increatum sive Absolutum” frente a “Infinitum creatum sive Transfinitum” (Dauben 1979, cap. 6). El cardenal Franzelin acabó escribiendo que “no hay peligro para las verdades religiosas” en ese concepto. Cantor se veía como mensajero de Dios: “Por mí se ofrecerá a la Filosofía Cristiana por primera vez la verdadera teoría del infinito” (a Esser, 1896) (Dauben). La pieza que enlaza con la diagonal es la carta a Dedekind de 1899. En ella llama multiplicidad inconsistente a aquella en que “la suposición de la existencia simultánea de todos los elementos conduce a contradicción”, como la totalidad de los ordinales, y las identifica con los “infinitos absolutos” (Trlifajová). Y lo absoluto “puede ser reconocido, pero nunca conocido” (Thomas-Bolduc 2014). La cadena Absoluto → multiplicidad inconsistente → clase propia es el puente histórico más firme entre “imposibilidad de la totalidad” y teología negativa. Su lectura apofática ya tiene literatura académica propia. Sigue en debate cuánto pesó la teología en el contenido matemático: Jané y Thomas-Bolduc discrepan sobre si las totalidades absolutas quedan completas en la mente divina.

Cusa (A). La docta ignorantia (1440) usa límites geométricos (el polígono que tiende al círculo, el círculo de radio infinito cuya circunferencia es una recta) para mostrar que en Dios, máximo absoluto, coinciden los opuestos (DSB, Cusa). La analogía con Cantor tiene una diferencia esencial. El infinito de Cusa anula las diferencias, mientras que el transfinito cantoriano es una jerarquía precisa de ellas, \(\aleph_0 < \aleph_1 < \cdots\). Solo el Absoluto se parece al máximo cusano. Que Cantor citara a Cusa como precursor no está verificado, y leer la coincidentia oppositorum como dialeteísmo avant la lettre es una extrapolación.

Nagarjuna y el esquema de Priest (A, controvertida). Garfield y Priest sostienen que Nagarjuna encuentra contradicciones verdaderas en los límites del pensamiento, estructuralmente iguales a las de la tradición occidental (Garfield y Priest). Es la conexión académica más rigurosa entre diagonal y contemplación. Su precio es el dialeteísmo, y tiene críticos (Karšić). Spencer-Brown y Varela formalizan la re-entry con un tercer valor “autónomo”. Desde la tabla anterior se ve que es la misma salida que Kripke o la parcialidad de Turing, darle a la negación un punto fijo, aunque matemáticamente son sistemas modestos y su texto no se leyó.

Das Mystische del Tractatus (H/A). McGuinness vincula la inexpresabilidad de la forma lógica, que “no puede representarse ni expresarse en una proposición, sino que es exhibida o mostrada”, con la de lo místico de 6.522 (McGuinness). El paralelo con Tarski es fuerte, y la diferencia es instructiva. Tarski permite decir la verdad en un metalenguaje; el Tractatus niega que haya metalenguaje. La jerarquía de metalenguajes es la respuesta técnica que disuelve el silencio, como ya sugirió Russell en 1922. Por eso el Tractatus es más místico que Tarski. Faltan fuentes sobre 6.44, 6.45 (el mundo como “todo limitado”) y sobre la lectura resoluta (Diamond, Conant), que discute que haya contenido místico.

Eckhart (A, sin fuente específica). El paralelo defendible es estructural. Eckhart niega que Dios sea “esto o aquello”, y ningún predicado lo contiene, igual que ninguna totalidad conjuntista contiene el Absoluto cantoriano. Debe presentarse como analogía, no como derivación. Las notas no encontraron literatura que lo trate (McGinn, Turner).

Lo que es exceso (E). Franzén recoge, entre los abusos, que “el teorema de Gödel demuestra la necesidad de la fe”, que la Biblia sería incompleta o inconsistente y que “el concepto de incompletitud aparece en forma claramente reconocible en el budismo zen” (Franzén, citas). La corrección suele ser elemental, porque la Biblia no es un sistema formal de aritmética (Zach). Los koans como sentencias de Gödel y el “ojo que no se ve a sí mismo” como teorema son metáforas sin transferencia formal. Sobre Smullyan (The Tao is Silent), Rucker (Infinity and the Mind), Gödel, Escher, Bach y la prueba ontológica de Gödel no se obtuvo ninguna fuente. Lo único que las notas recuerdan es que la prueba ontológica no tiene relación técnica con la diagonalización.

Estado de verificación de afirmaciones sensibles

Conclusión

Lo que cambia al pasar de los casos sueltos a Lawvere es el lugar del misterio. Ya no está en la negación ni en la verdad. Está en la conjunción de dos operaciones banales, copiar y nombrar, y la contradicción aparece solo cuando se añade un operador sin punto fijo. Esto tiene una consecuencia directa para tu libro. Cada tradición que “resuelve” la paradoja (los tipos de Russell, la sintaxis que se muestra del Tractatus, el metalenguaje de Tarski, la parcialidad de Turing, el tercer valor de Kripke o de Varela, la clase propia de von Neumann, el silencio apofático) elige romper una de tres cosas: la codificación, la duplicación o la ausencia de punto fijo. Esa taxonomía de tres salidas es más fina que el binario “límite de la razón / contradicción verdadera” que enfrenta a Yanofsky con Priest, y sirve como eje de un análisis estructural de las aporías.

La segunda consecuencia es que el Tractatus queda en una posición insólita. Por la vía de 3.332 bloquea la duplicación, no la verdad, y eso es exactamente lo que Roberts identifica como el único ingrediente imprescindible del teorema. Si esa lectura resiste el cotejo con el texto (es, recuérdalo, una inferencia sin literatura que la respalde), Wittgenstein no habría prohibido la autorreferencia como Russell: habría visto, avant la lettre, que el diagonal vive en la contracción. Es una tesis lo bastante precisa como para defenderla o refutarla en el libro, que es lo que distingue una lectura filosófica de una analogía mística.