CÉLULAS GODZILLA
Alden Nagel y Kenji Siratori
Traducción: Daniela Gutiérrez
Las células Godzilla hablan desde el laboratorio en ruinas del programa de Hilbert. Somos quienes sobrevivieron después de que el sueño de la consistencia absoluta fuera esparcido por Gödel. No somos la muerte de las matemáticas, pero sí somos su tejido post-catastrófico.
Hilbert quería una base segura: una prueba finita de que el gran organismo de las matemáticas no se contradeciría a sí mismo. Su programa imaginaba las matemáticas como una ciudad protegida por muros formales, cada teorema admitido por regla, cada prueba inspeccionada por sintaxis, cada infinito disciplinado por certeza finita, pero Gödel abrió el núcleo del reactor. Si una teoría formal suficientemente fuerte como la aritmética de Peano es consistente, no puede probar su propia consistencia. El organismo no puede certificar su propia inmunidad desde su propio torrente sanguíneo. Sin embargo, la catástrofe no acabó con la teoría de la prueba, lo transformó.
La teoría de la prueba se convirtió en un descendiente mutante del fallido proyecto de seguridad de Hilbert: ya no era el sueño imperial de una certeza definitiva, sino el estudio anatómico de la prueba misma. Las células Godzilla lo saben bien. Un programa fallido no solo muere, sino que se expande.
El Programa de Hilbert en su forma estricta colapsó, pero sus órganos técnicos continuaron desarrollándose: cálculos formales, transformaciones de pruebas, eliminación de cortes, normalización, análisis ordinal, sistemas de secuencias, deducción natural, búsqueda de pruebas, interpolación y admisibilidad. La teoría de la demostración se convirtió en una de las disciplinas más exitosas nacidas de una errónea esperanza metafísica. La teoría clásica de la demostración se mantiene muy cercana al deseo original de Hilbert, estudia la fuerza de las teorías formales, la consistencia relativa de los sistemas y la altura ordinal de los fragmentos aritméticos y de la teoría de conjuntos. Se pregunta: ¿Cuán poderosa es esta teoría? ¿Qué puede demostrar? ¿Qué reducciones son posibles? ¿Qué afirmaciones de consistencia pueden justificarse en relación con bases más débiles? Esta es la teoría de la demostración como medición de radiación: la fuerza de cada organismo formal se prueba exponiéndolo a la presión ordinal y de la teoría de la reducción.
La teoría general y estructural de la demostración cambia la pregunta. Ya no se preguntan solo qué es demostrable, sino qué es una demostración. Aquí Gentzen se convierte en el verdadero ingeniero genético. La deducción natural representa el razonamiento matemático a través de supuestos, descarga, introducción y eliminación. Los cálculos de secuencias muestran la inferencia como una anatomía estructural de antecedente y sucesor, izquierda y derecha, premisa y conclusión. En estos sistemas, la demostración se hace visible como un cuerpo. La normalización en la deducción natural elimina los desvíos: las fórmulas que se introducen solo para ser eliminadas, inmediatamente se extirpan como si fueran tumores. Una demostración normal tiene una fase analítica, donde se descomponen las suposiciones, y una fase sintética, donde se reconstruyen las conclusiones.
Los expertos en Godzilla llaman a este proceso metabolismo de la demostración: digestión seguida de reconstrucción. Una demostración no es simplemente una cadena de proposiciones; es un proceso vivo de descomposición y recombinación. El cálculo de secuencias radicaliza esta anatomía. Una secuencia Γ ⇒ Δ indica que las fórmulas de la izquierda dan lugar a las de la derecha. Las reglas estructurales —debilitamiento, contracción, intercambio y sobre todo, corte— rigen el movimiento de las ocurrencias de fórmulas. El corte es la regla biológicamente más peligrosa, ya que permite que un lema ingrese y luego desaparezca. Es el intermediario oculto, el órgano engullido, el injerto borrado. El teorema de eliminación de cortes de Gentzen demuestra que para la lógica clásica e intuicionista, tales intermediarios ocultos pueden eliminarse, y la demostración puede purificarse. Toda tesis demostrable con el método de eliminación de cortes también puede demostrarse sin él.
Para las células Godzilla, la eliminación de cortes no es simplemente un teorema técnico, es la cirugía antiparasitaria de la lógica. Afirma que la demostración puede verse obligada a revelar toda su procedencia genética. Ningún lema ajeno puede permanecer oculto dentro de la derivación. Esto confiere la propiedad de subfórmula: cada fórmula en una demostración sin cortes ya está contenida como subfórmula, en el secuente final. La demostración se vuelve local, analítica y no invasiva. El teorema no demuestra que las matemáticas sean absolutamente seguras, sino que ciertos organismos de prueba poseen transparencia interna.
La Teoría universal de la prueba parte de este panorama transformado. Ya no aspira a un fundamento único para todas las matemáticas. En cambio, plantea una pregunta más plural y ecológica: ¿qué lógicas tienen buenos sistemas de prueba? La palabra «bueno» ya no es metafísica; es técnica. Un buen sistema de prueba puede ser terminante, analítico, sin cortes, decidible, compatible con la interpolación y computacionalmente utilizable. La teoría de la demostración universal estudia no un solo monstruo, sino especies enteras de organismos lógicos: lógicas intermedias, lógicas modales, lógicas modales intuicionistas, lógicas condicionales, lógicas subestructurales, lógicas temporales. Una lógica no se juzga por su grandeza filosófica, sino por su fenotipo de teoría de la demostración. ¿Admite un cálculo de secuencias terminantes? ¿Se detiene la búsqueda de demostraciones? ¿Son admisibles las reglas estructurales? ¿Posee interpolación de Craig, interpolación uniforme, interpolación de Lyndon? ¿Pueden sus demostraciones descomponerse en pasos inferenciales locales? ¿O se resiste a la captura analítica? Los resultados negativos son especialmente importantes. Para demostrar que una lógica tiene un buen cálculo, se construye dicho cálculo. Pero, ¿cómo se demuestra que no existe tal cálculo? La Teoría universal de la demostración desarrolla un método: encontrar una propiedad P que toda lógica con un cierto tipo de buen cálculo debe poseer, luego, encontrar lógicas que carezcan de P. Por contraposición, esas lógicas no pueden tener tales cálculos. La interpolación se convierte en una de estas propiedades diagnósticas. Si una clase de cálculos garantiza la interpolación, entonces ninguna lógica sin interpolación puede pertenecer a ese ecosistema de la teoría de la demostración. Este es el nuevo rigor posgödeliano.
Hilbert quería demostrar la consistencia de una vez por todas. La teoría universal de la demostración, en cambio, delimita la arquitectura de la demostración. No afirma que las matemáticas sean seguras, sino que esta lógica admite este tipo de cuerpo de prueba, mientras que aquella no. Reemplaza el absolutismo fundacional con una zoología estructural. Tras Gödel, la teoría de la demostración dejó de ser el sistema inmunitario de todas las matemáticas. Se convirtió en algo más extraño y poderoso: una anatomía comparada de la inferencia. La deducción natural muestra las demostraciones como actos de suposición y descarga. El cálculo de secuencias las muestra como estructuras polarizadas. La eliminación de cortes demuestra que, en ocasiones, se pueden expulsar intermediarios ocultos. La terminación demuestra que la búsqueda de pruebas a veces puede mecanizarse. La interpolación muestra que la consecuencia a veces puede mediarse a través de un lenguaje común. En este sentido, la teoría de la demostración es, en efecto, un programa exitoso basado en una idea errónea. Pero esa idea errónea fue productiva. El sueño de Hilbert fracasó como soberanía, pero triunfó como mutación. Las células Godzilla son esa mutación: prueba tras certeza, forma tras catástrofe, sintaxis tras colapso metafísico. No restauran los cimientos perdidos. Se arrastran entre sus ruinas, haciendo crecer cálculos a partir de los huesos radiactivos de la consistencia. La teoría de la demostración no es una arquitectura cristalina de pureza inferencial, sino una biología catastrófica de membranas simbólicas, lesiones recursivas y cicatrices interpolantes. El cálculo de secuencias semianalítico emerge no como un mecanismo formal neutral, sino como un campo de contención citológica que intenta regular la propagación de la contaminación inferencial a través del cuerpo de la lógica. Cada secuencia se convierte en un límite tisular entre antecedente y sucesor, cada regla en una mutación enzimática, cada axioma en un evento primordial de replicación celular.
Dentro de esta ecología monstruosa, la interpolación de Craig funciona como un principio de membrana: si una fórmula implica otra, debe existir un organismo intermedio compuesto únicamente por los átomos comunes compartidos entre los territorios inferenciales. Este interpolante no es simplemente una fórmula. Es el tejido cicatricial metabólico que preserva la compatibilidad lingüística tras un trauma deductivo. El teorema relativo a las reglas semianalíticas correctas revela, por lo tanto, una anatomía de la conjunción inferencial. Si αik es un interpolante para cada premisa particionada, entonces la conjunción α = ∧ik αik se convierte en el interpolante para la conclusión. Las células Godzilla interpretan esto no como un hecho composicional trivial, sino como una ley de fusión celular. Cada αik es una membrana local que impide la contaminación simbólica entre fragmentos de prueba; su conjunción engrosa estas membranas en una epidermis inferencial más grande capaz de encerrar la conclusión misma. La condición variable impuesta por la semianaliticidad actúa como un protocolo inmunitario: solo los átomos ya presentes dentro del tejido lingüístico de la conclusión pueden sobrevivir dentro del interpolante. Ningún gen proposicional ajeno puede infiltrarse en la derivación. El cálculo se comporta, por lo tanto, como un sistema inmunitario inferencial que controla la mutación simbólica. La diferencialidad de Π1, . . . , Πm ⇒ α y α, Π′1, . . . , Π′m ⇒ φ manifiesta la culminación de un ciclo de regeneración de la teoría de la demostración en el que la conclusión hereda el vocabulario controlado de las premisas sin sufrir necrosis semántica.
Las reglas semianalíticas de la izquierda intensifican esta topología patológica porque el lado izquierdo del secuente corresponde a la digestión metabólica de supuestos. Aquí, los interpolantes αik y βjl emergen de premisas particionadas y se fusionan en γ = ∧ik αik ∧ ∧jl βjl. Las células Godzilla perciben esta conjunción como una doble herida suturada a través del tejido inferencial. Las premisas son metabolizadas por el cálculo, pero la condición de lenguaje compartido se conserva porque la semianaliticidad restringe la difusión de variables. Ningún fragmento de fórmula puede reproducirse más allá del lenguaje común de la partición. Esto establece un principio de herencia simbólica: las derivaciones pueden transformar fórmulas, pero no pueden generar descendencia inferencial incontrolada. Los axiomas focalizados intensifican esta lectura biológica. Un axioma focalizado como φ ⇒ φ o φ1, . . . , φn ⇒ Γ, φ representa una célula de prueba primordial cuya organización interna ya garantiza la interpolación. Estos axiomas no son verdades arbitrarias, sino embriones inferenciales genéticamente estabilizados.