Puedes investigar las pruebas diagonales de cantor godel tarski. Hay una forma general? De donde saldría? Teoria a cats? Cual sería su interpretación filosófica y mística?
Voy a investigar a fondo el argumento diagonal (Cantor, Russell, Gödel, Tarski, Turing), el teorema del punto fijo de Lawvere en categorías cartesianas cerradas como forma general, y sus lecturas filosóficas y místicas, con fuentes citadas. Sí, hay una forma general, y sale de la teoría de categorías: es el teorema del punto fijo de Lawvere (1969). En una categoría cartesiana cerrada, si una \(\varphi: A \to Y^A\) es débilmente punto-sobreyectiva (los elementos de \(A\) nombran todas las funciones \(A \to Y\)), entonces todo \(t: Y\to Y\) tiene punto fijo. La prueba es una β-reducción: \(\varphi(p)(p) = t(\varphi(p)(p))\).
Las dos lecturas del teorema - Al revés (hay un \(t\) sin punto fijo, como \(\neg\) en \(\{0,1\}\)): salen las imposibilidades. Son Cantor, Russell, Tarski, Turing y Rice. - En directo (la autorrepresentación está garantizada): salen las existencias. Son el lema diagonal, la recursión de Kleene y el combinador \(Y\). - Gödel I está justo en medio. \(\neg\mathrm{Prov}\) es definible, así que tiene punto fijo, y por eso el resultado es incompletitud y no inconsistencia.
De dónde sale. Roberts (2023) muestra que la prueba no necesita toda la estructura cartesiana. Bastan dos cosas: copiar el argumento (la diagonal \(\Delta\), que en lógica es la regla de contracción) y nombrar funciones con elementos (la evaluación).
Filosofía. - Lawvere presentó su teorema como una desmitificación de Gödel y Tarski, y en ese texto no habla de Hegel. - Priest lee la misma forma como contradicción verdadera en los límites del pensamiento (el esquema de Inclosure). La objeción principal es que nada obliga a esa lectura. - En el Tractatus, 3.332–3.333 bloquea la autoaplicación. Mi lectura, sin bibliografía que la respalde, es que lo que bloquea es justamente la duplicación \(\Delta\). Si aguanta el cotejo con el texto, podría ser una tesis para tu libro.
Mística. El puente más sólido es histórico. Cantor identificó las totalidades contradictorias (todos los ordinales) con el Absoluto, que “puede ser reconocido, pero nunca conocido”. Cusa, Nagarjuna, Eckhart y lo místico del Tractatus funcionan como analogías estructurales, no como deducciones. Franzén recoge ejemplos de abusos, como “Gödel prueba la necesidad de la fe” o “el zen anticipa la incompletitud”.
★ Insight ───────────────────────────────────── - Con tu
formación en reescritura: \((\lambda
x.\,t(xx))(\lambda x.\,t(xx))\) es el patrón de todas
estas pruebas. Que el λ-cálculo tipado no tenga combinador de punto fijo
y que garantice terminación son la misma restricción. - Cada “solución”
a las paradojas rompe una de tres cosas. Los tipos de Russell y la
sintaxis del Tractatus rompen la duplicación o la codificación. La
jerarquía de metalenguajes de Tarski rompe la codificación. La
parcialidad de Turing y el tercer valor de Kripke le dan a la negación
un punto fijo.
─────────────────────────────────────────────────
Varias citas quedaron sin verificar y el informe las marca. La más importante: los textos literales del TLP están citados de memoria y conviene cotejarlos con tu edición. Tampoco está claro quién formuló primero el lema diagonal: suele atribuirse a Carnap, pero Peter Smith lo discute.
Te he enviado el informe completo, “Argumentos diagonales y Lawvere.md”, con fórmulas, una tabla de 15 instancias y el estado de verificación de cada afirmación. También está guardado en tu carpeta “Claude Artifacts” de Drive. Al subirlo creé por error un archivo vacío de prueba, que quedó en la papelera de Drive.
Fuentes principales: - Lawvere, Diagonal arguments and CCC (TAC Reprint 15) - Yanofsky, A universal approach to self-referential paradoxes (2003) - Roberts, Substructural fixed-point theorems - nLab, Lawvere fixed point theorem - Bolander, SEP “Self-Reference” - Trlifajová sobre Cantor y el Absoluto - Muller, Tractatus 3.333
[El informe completo se escribió como archivo y está en el repo: Copiar y nombrar: la diagonal que une a Cantor y Gödel, integrado después en Lenguajes formales y categorías vs. mística.]
Entonces si hay autoreferencia que produce resultados de limitación como el teorema de godel etc y si la prohibidos con la teoría de tipos que sucede?
No desaparece: se traslada. Prohibir la autorreferencia con tipos elimina las paradojas, pero no los límites. El precio aparece en otro sitio, en una de estas tres formas.
1. Desaparecen las paradojas, pero se pierde expresividad. En el λ-cálculo simplemente tipado no se puede escribir \(\lambda x.\,xx\), así que no hay combinador \(Y\), ni paradoja de Russell, ni de Curry. A cambio, todo programa termina, y por eso ese lenguaje no puede expresar todas las funciones computables. Además, el límite reaparece por diagonal: un lenguaje en el que todo termina no puede contener un intérprete de sí mismo, entendido de forma ingenua como un evaluador sobre códigos numéricos. Si lo tuviera, podrías diagonalizar contra él. Solo puedes elegir uno de los dos: terminación garantizada o autointerpretación completa.
2. Gödel sobrevive a los tipos. Su artículo de 1931 se titula literalmente “Sobre proposiciones formalmente indecidibles de los Principia Mathematica”, es decir, sobre el sistema tipado de Russell. La razón es que Gödel no necesita que una fórmula se aplique a sí misma. Le basta la aritmética: las fórmulas se codifican como números, y los números sí son argumentos legítimos. La autorreferencia entra por la codificación, no por la sintaxis. Por eso Lean, Coq o HOL, todos tipados, son incompletos y no pueden demostrar su propia consistencia. La única forma de evitar a Gödel es renunciar a la aritmética. Un ejemplo es la aritmética de Presburger, que es completa y decidible pero no tiene multiplicación.
3. La totalidad nunca se cierra: aparece una jerarquía sin fin. - La verdad de un nivel solo se define en el nivel siguiente (Tarski). - En los asistentes de prueba hay universos \(\mathrm{Type}_0 : \mathrm{Type}_1 : \mathrm{Type}_2 : \dots\) - Si postulas un tipo de todos los tipos (\(\mathrm{Type}:\mathrm{Type}\)), vuelve la contradicción (paradoja de Girard). - Siempre puedes subir otro nivel, pero nunca hablar de todos los niveles desde dentro.
En términos de Lawvere, los tipos rompen la sobreyección \(A \to Y^A\): ningún tipo es su propio espacio de funciones. La contradicción no se resuelve; se convierte en una ascensión abierta.
Filosóficamente, esto encaja bien con tu lectura. El límite deja de ser una contradicción y pasa a ser algo que no se puede decir, solo mostrar: la jerarquía entera no está en ningún nivel. Es también la estructura del Absoluto de Cantor: no hay “conjunto de todos los conjuntos”, igual que no hay “tipo de todos los tipos”. El techo existe, pero no está en el sistema.
★ Insight ───────────────────────────────────── -
Viniendo de los órdenes de términos: la terminación del λ-cálculo tipado
se demuestra con órdenes bien fundados, y la diagonal \(\lambda x.\,t(xx)\) es exactamente el
término que ningún orden de reducción bien fundado admite. Prohibir la
diagonal y garantizar la terminación son la misma decisión. - La
autorreferencia tiene dos vías: la sintáctica (autoaplicación), que los
tipos bloquean, y la codificada (Gödel), que solo se bloquea quitando
expresividad aritmética.
─────────────────────────────────────────────────
Si quieres, puedo investigar con fuentes el matiz de los autointérpretes tipados. Brown y Palsberg (POPL 2016) construyeron uno para System F\(_\omega\), y eso cuestiona la versión ingenua del punto 1.
Explícame más la jerarquia 3 es sin tipos
Hay dos respuestas. En parte sí son tipos: la jerarquía es lo que se obtiene cuando la idea de los tipos se lleva hasta el final. Y en parte no hacen falta tipos: la misma jerarquía aparece también en sistemas sin ellos. Eso es lo interesante, porque indica que la jerarquía no es una elección de formalismo. Es la forma que impone la diagonal.
La idea común. En cada nivel, la diagonal construye algo que ese nivel no puede representar: un conjunto nuevo, una verdad nueva, un tipo nuevo. Para hablar de eso hace falta subir un nivel. Y en el nivel nuevo vuelve a pasar lo mismo. Es el contrapositivo de Lawvere repetido una y otra vez: ningún nivel abarca sus propios predicados.
Cuatro versiones del mismo fenómeno - Russell (tipos ramificados): primero los individuos, luego los conjuntos de individuos, luego los conjuntos de conjuntos, y así sucesivamente. Un conjunto solo contiene cosas de un nivel inferior, así que \(x \in x\) ni siquiera se puede escribir. - Tarski (lenguajes, no tipos): \(L_0\) no tiene predicado de verdad. \(L_1\) tiene \(\mathrm{Verdad}_0\), que se aplica a oraciones de \(L_0\). \(L_2\) tiene \(\mathrm{Verdad}_1\), etc. El mentiroso no se puede formar, porque “esta oración es falsa” necesitaría aplicar \(\mathrm{Verdad}_n\) a una oración de su propio nivel. Formalmente no es teoría de tipos, sino la distinción entre lenguaje objeto y metalenguaje, iterada. - Lean/Coq (universos): \(\mathrm{Type}_0 : \mathrm{Type}_1 : \mathrm{Type}_2 : \dots\). Si los colapsas en \(\mathrm{Type} : \mathrm{Type}\), la paradoja de Girard (un Burali-Forti tipado) vuelve a dar una contradicción. - ZFC, sin tipos: aquí cualquier conjunto puede ser elemento de otro, y aun así aparece la jerarquía acumulativa de von Neumann: \[V_0 = \varnothing,\quad V_{\alpha+1} = \mathcal P(V_\alpha),\quad V_\lambda = \textstyle\bigcup_{\alpha<\lambda} V_\alpha.\] Todo conjunto aparece en alguna etapa, pero el motor es Cantor: cada \(\mathcal P(V_\alpha)\) es estrictamente mayor que \(V_\alpha\). La totalidad \(V\) no es un conjunto: es una clase propia, lo mismo que Cantor llamaba “multiplicidad inconsistente”.
¿Se puede hablar del todo? Desde dentro, no. En teoría de conjuntos, el principio de reflexión dice que cualquier propiedad que valga para todo \(V\) vale ya para algún \(V_\alpha\). Es decir, el todo no se puede distinguir de una de sus partes. Esta idea se remonta históricamente al Absoluto de Cantor, que “puede ser reconocido, pero nunca conocido”. Es lo más parecido a una teología negativa que tiene la matemática estándar.
La alternativa sin jerarquía. Kripke (1975) propone un solo lenguaje con su propio predicado de verdad, pero parcial. El mentiroso no es ni verdadero ni falso: queda en un hueco. Es la otra salida de Lawvere: en vez de romper la autorrepresentación subiendo de nivel, se le da un punto fijo a la negación. El precio es que “el mentiroso no es verdadero” tampoco se puede afirmar dentro del sistema. La “venganza” vuelve en el metalenguaje.
★ Insight ───────────────────────────────────── - Tipos,
lenguajes de Tarski, universos y \(V_\alpha\) son cuatro formalismos distintos
con la misma estructura. Por eso la jerarquía no depende de los tipos:
es lo que deja la diagonal cuando no se permite la contradicción. - Solo
hay dos estrategias: estratificar (Russell, Tarski, ZFC, Lean) o admitir
valores parciales (Kripke, Turing, Scott). En ambas queda un residuo,
que es el todo inaccesible o el hueco que no se puede decir.
─────────────────────────────────────────────────
Para tu libro, la frase tractariana encaja casi literalmente: la jerarquía entera no se dice en ningún nivel, se muestra en el hecho de que siempre se puede subir.
Es inevitable la diagonalization que nos saca fuera del sistema digamos?
No es inevitable en absoluto. Es inevitable si el sistema cumple ciertas condiciones, y cada condición es a la vez una puerta de salida. Lo que se puede afirmar es más preciso: expresividad y clausura sobre uno mismo son incompatibles. Ningún sistema tiene las dos.
Qué la hace inevitable. El teorema exige tres ingredientes a la vez: 1. Codificar: el sistema nombra sus propias fórmulas o programas (en Gödel, contener la aritmética de Robinson). 2. Duplicar: el mismo objeto puede usarse a la vez como código y como argumento (la diagonal \(\Delta\), la contracción). 3. Un giro sin punto fijo: una negación clásica y total, además de pedir consistencia.
Si se dan los tres, la salida del sistema es un teorema, no una opción. Pero cada ingrediente se puede quitar:
Salida 1: ser débil. Hay sistemas completos y decidibles, sin diagonal posible: - La aritmética de Presburger (sumas sin productos). - La teoría de los cuerpos reales cerrados, es decir, el álgebra y la geometría elemental, que Tarski demostró decidible. - Los sistemas autoverificables de Willard (2001), que llegan a demostrar su propia consistencia, a costa de no poder probar que la multiplicación es total.
Todos ellos están cerrados sobre sí mismos, pero no pueden hablar de sí con suficiente detalle.
Salida 2: no duplicar. Es la más sutil, y conecta con Roberts y con tus órdenes. En lógicas sin contracción, como la afín o la lineal, donde una hipótesis no puede usarse dos veces, la teoría de conjuntos ingenua, con comprensión ilimitada (\(\{x : \varphi(x)\}\) para cualquier \(\varphi\)), es consistente. Es un resultado de Grishin (1982), que cito de memoria. El conjunto de Russell existe, pero no se le puede aplicar dos veces el argumento, así que no estalla.
Salida 3: darle un punto fijo a la negación. Es lo que hacen Kripke, Scott y la parcialidad de Turing: el sistema se queda dentro, pero con huecos.
Salida 4: aceptar la contradicción. Priest propone lógicas paraconsistentes, donde una contradicción no lo trivializa todo. Pero Curry le obliga también a restringir la contracción, y se vuelve a la salida 2.
Salida 5: no saber cuáles son tus axiomas. La aritmética verdadera, el conjunto de todas las verdades aritméticas, es completa, pero no es recursivamente axiomatizable: ninguna máquina puede enumerarla. Es completa, pero inaccesible.
El residuo. Ninguna salida es gratis, y cada una deja su “venganza”. El sistema débil no puede hablar de sí. El sistema sin contracción no puede reutilizar un razonamiento. El parcial no puede afirmar sus propios huecos. El completo no es conocible. La diagonal no te saca fuera de cualquier sistema; te saca fuera de cualquier sistema que pretenda verse a sí mismo por entero.
★ Insight ───────────────────────────────────── - La
salida 2 es la más profunda para tu libro: la paradoja no vive en la
negación ni en la verdad, sino en poder usar una misma cosa dos veces.
Es justo lo que Roberts aísla como único ingrediente imprescindible del
teorema de Lawvere. - Para un ingeniero: es un trilema de diseño.
Expresividad, autoconocimiento completo y consistencia clásica: elige
dos. ─────────────────────────────────────────────────
Filosóficamente, “salir del sistema” no es una fatalidad cósmica. Es el precio exacto de una capacidad concreta, la de representarse a uno mismo. Un ser que no se nombra no tiene límite diagonal. Uno que se nombra lo tiene necesariamente. Visto así, el límite es la sombra de la autoconciencia, no su fracaso.
Puedes explicitar y desarrollar los 3 axiomas Que proveen? Que limitan? Muestra sistemas que cumplan los 3 y sus consecuencias. Que sistemas no los cumplen y sus consecuencias. Que sistema filosófico o místico a analogamnente. Como quedaria por ejemplo el nominalismo vs realismo. Como atraviesa esto al Parmenides
No son axiomas en sentido estricto. Son las tres condiciones del teorema de Lawvere, y lo decisivo es que juntas son inconsistentes: (1) y (2) obligan a que todo giro tenga punto fijo, y (3) dice que hay uno que no lo tiene. Cada sistema real renuncia, abiertamente o de forma encubierta, a alguna de ellas.
C1. Nombrar (codificación). Hay una \(\varphi: A \to Y^A\) que asigna a cada propiedad de \(A\) un elemento de \(A\) que la nombra. - Qué aporta: reflexividad. Programas que son datos, máquina universal, un metalenguaje dentro del propio lenguaje, la capacidad de hablar de uno mismo. - Qué limita: deja la puerta abierta a la diagonal.
C2. Duplicar (contracción, \(\Delta\)). Una misma cosa puede usarse a la vez como nombre y como argumento: \(x\) aplicado a \(x\). - Qué aporta: reutilización, recursión, iteración, cómputo sin cota. - Qué limita: unida a C1, garantiza un punto fijo para cualquier operador (\(Y f = f(Yf)\)).
C3. Un giro sin punto fijo. Existe una negación clásica total, con bivalencia y consistencia. - Qué aporta: distinciones nítidas, decisión, sí o no. - Qué limita: unida a C1 y C2, produce una contradicción.
Las tres a la vez → inconsistencia (trivialización). - La ley básica V de Frege (comprensión ingenua): Russell la derrumba. - La lógica ilativa de Church y Curry, que es λ sin tipos más lógica clásica: cae por la paradoja de Kleene–Rosser (1935). - El lenguaje natural con un predicado “es verdad” bivalente: aparece el mentiroso.
C1 y C2 completas, C3 solo desde fuera → el régimen gödeliano. En PA, ZFC, Lean o las máquinas de Turing la negación existe, pero el giro peligroso, \(\neg\mathrm{Verdad}\), no es definible dentro. La contradicción se convierte en límite: incompletitud, verdad no definible y parada indecidible. Es el régimen que “te saca fuera”.
Sin C1 → cerrado, pero ciego a sí mismo. - Presburger y los reales cerrados: completos y decidibles. - Los autómatas finitos: no hay un autómata universal. - El λ simplemente tipado: no hay \(A \cong A^A\), y todo termina. - Consecuencia: el sistema es perfecto, pero no puede hablar de sí mismo.
Sin C2 → autorreferencia que no estalla. En lógicas afines o lineales, la comprensión ingenua es consistente (Grishin, 1982; lo cito de memoria). Por analogía, en mecánica cuántica el no-cloning impide duplicar. Consecuencia: puedes nombrarte, pero no usar ese nombre dos veces.
Sin C3 → autorreferencia con huecos o con excesos. - Huecos: la verdad parcial de Kripke, los dominios de Scott, la computación parcial. - Excesos: las lógicas paraconsistentes de Priest, aunque Curry le obliga a recortar también C2. - Consecuencia: el sistema se contiene a sí mismo, pero hay cosas que no son ni verdaderas ni falsas, o que son las dos.
Lo que sigue son analogías estructurales mías, no derivaciones.
Realismo ingenuo = C1 ontológico. Si todo predicado determina un universal que es también una entidad, y un universal puede instanciarse a sí mismo (C2, autopredicación), entonces el universal “no instanciarse a sí mismo” es Russell en versión ontológica. Las salidas realistas reproducen el mapa anterior: - Frege renuncia a C1: los conceptos están “insaturados” y no son objetos. El residuo es su famosa paradoja: “el concepto caballo no es un concepto”. - Armstrong renuncia a C3: no admite universales negativos ni disyuntivos (solo universales “escasos”), así que el giro no genera ninguna entidad. - Russell estratifica: tipos, y vuelve la jerarquía.
Nominalismo = renunciar a C1 en la ontología. Solo hay particulares, y las propiedades son nombres. El problema reaparece en la sintaxis: los nombres de nombres son codificación. Goodman y Quine (1947) intentaron una sintaxis nominalista con un universo finito de inscripciones, y el precio fue no poder reconstruir la aritmética. El nominalismo evita la paradoja a costa de ser débil.
Gödel como piedra de toque. Gödel, realista, lee la incompletitud así: la verdad excede la demostración, luego existe un ámbito real fuera del sistema. Wittgenstein, cercano al nominalismo, la lee así: “verdadero” quiere decir solo “demostrable en otro sistema” (RFM). El “afuera” diagonal es o un reino o simplemente otro sistema. El teorema no decide entre las dos lecturas.
El poema. “Lo que es, es; el no-ser no es, y no puede pensarse ni decirse.” Parménides suprime el giro (C3) en la ontología: el ser no tiene complemento. Aquí hay un dato matemático llamativo: en \(\mathbf{Set}\), un conjunto en el que todo endomorfismo tiene punto fijo es exactamente el conjunto de un solo elemento. Lawvere dice que la autorrepresentación total (C1 más C2) obliga a que todo tenga punto fijo, y el único espacio de valores donde eso pasa sin contradicción es el Uno: inmóvil, sin afuera, sin diferencia. Leído así, Parménides es la elección consistente del todo autocontenido, y su precio es la desaparición de la multiplicidad. Esta lectura es mía.
El diálogo de Platón. - El argumento del tercer hombre es una proto-jerarquía de tipos. Tiene tres premisas: (a) para toda multitud de cosas grandes hay una Forma de lo Grande (uno sobre muchos, C1); (b) la Forma misma es grande (autopredicación, C2); (c) la Forma es distinta de lo que abarca. Juntas generan Grande₁, Grande₂, … al infinito. Vlastos (1954) mostró que (b) y (c) son inconsistentes. Es la diagonal en forma de regreso en lugar de contradicción, igual que la ascensión de tipos. - La segunda parte, con las hipótesis sobre el Uno, la leyeron los neoplatónicos (Plotino, Proclo) como el Uno más allá del ser, que no puede ser nombrado ni ser. Es renunciar a C1 para lo Absoluto: el origen histórico de la apófasis occidental. - El parricidio del Sofista: Platón readmite el no-ser, pero como alteridad (to heteron), no como negación absoluta. Es un giro debilitado, una diferencia relativa, que permite la multiplicidad sin caer ni en la contradicción ni en el Uno inmóvil.
★ Insight ───────────────────────────────────── - Todo
el mapa se resume en un trilema: nombrarse, reutilizarse y negar con
nitidez. Cada tradición, lógica, ontológica o mística, se define por
cuál de las tres sacrifica. - La lectura de Parménides con Lawvere da la
versión más austera: si se conserva la autorrepresentación total sin
contradicción, solo queda el Uno. La multiplicidad es el precio que paga
la negación.
─────────────────────────────────────────────────
Varias atribuciones las doy de memoria y conviene verificarlas antes de usarlas en el libro: Grishin, Armstrong, Goodman–Quine y los detalles de Vlastos. Si quieres, lanzo una investigación con fuentes sobre el tercer hombre y Parménides, y lo convierto en un documento para el libro guardado en tu Drive.