On a Theorem by Bezboruah & Shepherdson

Este artículo examina y defiende el teorema de incompletitud de Bezboruah y Shepherdson contra la objeción de Kreisel, lo compara con la extensión de Pudlák y ofrece una nueva demostración basada en la codificación de secuencias de Nielsen y Markov.

Lo esencial

El Título: "¿Puede una regla muy simple demostrar que no se va a romper?"

Imagina que tienes un juego de reglas muy básico, como un juego de mesa para niños. Vamos a llamar a este juego "Q" (o PA- en el lenguaje de los matemáticos). Es un juego tan simple que ni siquiera sabe sumar bien o demostrar que el orden de los números no importa (aunque en la vida real sí importa).

Ahora, imagina que alguien te dice: "Este juego es perfecto. Nunca cometerá un error. Nunca llegará a una contradicción".

La pregunta que se hacen los matemáticos es: ¿Puede el propio juego "Q" demostrar que es perfecto?

La respuesta corta es: No. Y este artículo explica por qué, defendiendo una investigación antigua que fue criticada injustamente.

---

1. La Historia: El "Gran Teorema" y el Crítico Estricto

Hace unos 50 años, dos matemáticos, Bezboruah y Shepherdson, intentaron demostrar que el juego "Q" no puede probar su propia perfección.

Pero hubo un problema. Un matemático muy famoso y estricto llamado Georg Kreisel les dijo:

"¡Esperen! Su demostración no cuenta. El juego 'Q' es tan tonto que no entiende lo que significa 'consistencia'. Para que una prueba tenga sentido, el juego debe ser lo suficientemente inteligente para entender sus propias reglas. Como 'Q' es tan simple, lo que ustedes llaman 'prueba de consistencia' es solo una fórmula algebraica sin alma. No es una prueba real."

Kreisel básicamente dijo: "No tienen sentido discutir si un niño de 3 años puede escribir un ensayo sobre la lógica de la filosofía, porque el niño no entiende qué es la filosofía".

Bezboruah y Shepherdson publicaron su trabajo de todos modos, pero se disculparon en la introducción, aceptando que Kreisel tenía razón.

El autor de este artículo (Albert Visser) dice:
"¡Espera un momento! Kreisel se equivocó. No importa si el juego es tonto. Si el juego tiene una fórmula que dice 'No hay errores', y el juego no puede probar esa fórmula, ¡eso es interesante! No necesitamos que el juego 'entienda' la fórmula para que la fórmula sea verdadera. Es como preguntar si una calculadora básica puede demostrar que no va a fallar; si no puede, es un dato importante, aunque la calculadora no sepa qué es una 'prueba'."

Visser defiende que el trabajo de Bezboruah y Shepherdson es genial y no debe ser ignorado.

---

2. La Diferencia entre dos tipos de "Incompletitud"

El artículo compara dos formas de ver este problema:

• El Enfoque Moderno (Pudlák): Imagina que tienes una calculadora muy avanzada (llamada $S_1^2$) que puede hacer todo lo que hace "Q" y mucho más. Pudlák demostró que si una calculadora avanzada puede simular a "Q" y probar que "Q" no falla, entonces la calculadora avanzada está rota. Es una prueba muy elegante y poderosa, pero requiere herramientas matemáticas complejas que no existían en 1976.
• El Enfoque Clásico (Bezboruah & Shepherdson): Ellos no usaron calculadoras avanzadas. Usaron un truco de construcción. Dijeron: "Vamos a construir un mundo imaginario (un modelo) donde las reglas de 'Q' funcionan, pero donde, por alguna razón, hay una prueba de que el juego falla".

La analogía:

• Pudlák dice: "Si puedes construir un castillo de naipes que soporte un elefante, entonces el castillo es imposible".
• Bezboruah & Shepherdson dicen: "Vamos a construir un castillo de naipes con palillos de dientes y, aunque sea inestable, vamos a mostrar exactamente dónde se cae".

Ambos llegan a la misma conclusión (que el juego no puede probar su propia seguridad), pero lo hacen de formas muy diferentes. El artículo dice que ambas son válidas y útiles.

---

3. La Nueva Prueba: El Código de los Números (Markov Coding)

La parte final del artículo es donde Visser hace su propia contribución. Los matemáticos originales usaron un método para "empaquetar" números en secuencias (como poner cartas en una baraja) que era un poco complicado.

Visser dice: "Vamos a usar un método diferente, más limpio, basado en matrices (cuadrados de números) que se parecen a un juego de bloques".

La analogía de los bloques:
Imagina que tienes dos tipos de bloques especiales, el bloque A y el bloque B.

• Si pones un bloque A, es como escribir un "1".
• Si pones un bloque B, es como escribir un "0".
• Puedes apilarlos en cualquier orden para crear "palabras" (secuencias).

Visser construye un mundo matemático donde:

1. Hay una secuencia infinita de bloques que dicen "Todo está bien" (como una pila de bloques A).
2. Luego, de repente, la secuencia cambia a bloques que dicen "¡Error!" (bloques B).
3. En este mundo especial, la regla del juego "Q" permite leer esta secuencia como una "prueba" de que el juego falla.

Pero aquí está la magia: En el mundo real, esa secuencia no es una prueba válida. Es como si alguien hubiera pegado dos papeles diferentes con cinta adhesiva invisible. En el mundo real, la cinta se ve. Pero en el mundo especial que Visser construyó, la cinta es invisible para las reglas de "Q".

Por lo tanto, en ese mundo, "Q" cree que ha encontrado una prueba de su propio error. Como "Q" cree que puede probar su error, no puede probar que es seguro.

---

4. ¿Por qué importa todo esto?

El autor concluye con tres puntos clave:

1. No menosprecies las ideas "tontas": A veces, las teorías matemáticas más simples (como "Q") nos enseñan cosas profundas sobre los límites de la lógica, incluso si no son "inteligentes" como la aritmética normal.
2. La historia se olvida rápido: El trabajo de Bezboruah y Shepherdson fue criticado y olvidado durante décadas solo porque un experto famoso (Kreisel) dijo que no era "elegante". Visser quiere rescatarlo y mostrar que es brillante.
3. Hay muchas formas de llegar a la verdad: No hay una sola manera de demostrar que un sistema lógico tiene límites. Puedes usar herramientas pesadas (Pudlák) o construir modelos extraños y creativos (Bezboruah & Shepherdson). Ambas son válidas.

En resumen

Este artículo es un homenaje a una investigación antigua que fue criticada por ser "demasiado simple". El autor demuestra que esa simplicidad es en realidad una fortaleza. Nos enseña que, incluso en los sistemas más básicos y "tontos" de las matemáticas, la verdad es que nunca pueden probarse a sí mismos. Es como intentar que un perro se muerda la cola: puede intentarlo, pero nunca podrá demostrar que es un perro perfecto sin caer en la contradicción.

El autor también nos da una nueva forma de ver esto usando matrices y bloques, demostrando que la creatividad en matemáticas nunca se agota.

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "On a Theorem by Bezboruah & Shepherdson" de Albert Visser, estructurado según los puntos solicitados.

1. El Problema y el Contexto

El artículo aborda la validez y el significado del Segundo Teorema de Incompletitud de Gödel en teorías aritméticas muy débiles, específicamente en la teoría Q (la aritmética de Robinson) y en PA⁻ (la teoría de la parte no negativa de un anillo conmutativo ordenado discretamente).

• El conflicto histórico: En 1976, Bezboruah y Shepherdson demostraron que PA⁻ no prueba su propia consistencia (bajo ciertas codificaciones). Sin embargo, Georg Kreisel objetó que este resultado carecía de interés filosófico. Kreisel argumentaba que en teorías tan débiles como Q, la fórmula que expresa la consistencia ($con(Q)$) no puede considerarse una expresión genuina de la consistencia, ya que Q no puede verificar las propiedades formales deseadas del predicado de demostrabilidad (las condiciones de Hilbert-Bernays o Löb). Para Kreisel, el significado de la consistencia depende de la teoría en la que se evalúa; si la teoría no puede "entender" la noción de prueba, la fórmula es meramente algebraica.
• La pregunta central: ¿Es significativo demostrar la incompletitud en teorías débiles si el predicado de consistencia no satisface las condiciones de Löb? ¿Es el resultado de Bezboruah-Shepherdson un teorema real o un artefacto técnico sin sustento semántico?

2. Metodología y Enfoque

Visser emplea una metodología mixta que combina análisis lógico-filosófico, teoría de modelos y construcciones algebraicas:

1. Refutación de la objeción de Kreisel: Visser analiza la postura de Kreisel y argumenta que no se sostiene. Sostiene que el significado de las fórmulas no debe variar según la teoría que las prueba; si una fórmula expresa consistencia en un sistema fuerte (como la Aritmética de Peano), sigue expresando lo mismo en un subsistema débil, incluso si este último no puede probar las propiedades del predicado.
2. Comparación con resultados modernos: El autor contrasta el resultado de Bezboruah-Shepherdson con la extensión moderna del Segundo Teorema de Incompletitud desarrollada por Pavel Pudlák. Pudlák demostró que si una teoría $U$ es interpretable en $Q + con(U)$, entonces $U$ es inconsistente, utilizando la interpretación de la teoría $S^1_2$ (de Buss) en un "corte definible" dentro de $Q$.
3. Construcción de Modelos No Estándar: Para reprobar y generalizar el teorema de Bezboruah-Shepherdson, Visser utiliza técnicas de teoría de modelos. Construye modelos no estándar de la aritmética verdadera y utiliza extensiones elementales para crear estructuras que satisfacen PA⁻ pero contienen "pruebas" de inconsistencia que no son válidas en el modelo original.
4. Codificación de Secuencias (Markov Coding): En lugar de depender exclusivamente de la función $\beta$ de Gödel (usada por Bezboruah y Shepherdson), Visser introduce una codificación basada en la teoría de monoides libres y matrices del grupo $SL_2(\mathbb{Z})$, conocida como codificación de Markov (inspirada en Nielsen y Markov). Esto permite una nueva demostración del teorema con propiedades técnicas distintas.

3. Contribuciones Clave

• Defensa del Teorema de Bezboruah-Shepherdson: Visser demuestra que la objeción de Kreisel es inválida. El hecho de que una teoría débil no pueda probar las condiciones de Löb no anula el hecho de que no pueda probar su propia consistencia. El resultado tiene valor didáctico y técnico, mostrando cómo la incompletitud surge incluso en sistemas extremadamente básicos.
• Distinción entre dos tipos de resultados: El autor clarifica que el teorema de Gödel-Pudlák y el de Bezboruah-Shepherdson son resultados fundamentalmente diferentes que coinciden en el caso de Q:
  • Gödel-Pudlák: Se basa en la interpretación y la persistencia descendente de sentencias $\Pi^0_1$. Es robusto ante variaciones de codificación pero requiere teorías más fuertes para la interpretación.
  • Bezboruah-Shepherdson: Se basa en la construcción de modelos específicos con "pruebas" de inconsistencia. Es muy sensible a la codificación de secuencias y al sistema de prueba (Hilbert vs. Gentzen), pero permite resultados sobre teorías más débiles sin necesidad de interpretaciones complejas.
• Nueva Prueba con Codificación de Markov: Visser proporciona una prueba alternativa del teorema utilizando la codificación de Markov en el grupo $SL_2(\mathbb{R}^+)$. Esto demuestra que el resultado no es un artefacto de la función $\beta$, sino que es más general.
• Colaboración con IA: El autor menciona explícitamente el uso de ChatGPT para desarrollar la prueba del Lema 4.3, donde la IA ayudó a identificar las ecuaciones de recurrencia y el comportamiento asintótico de las secuencias de matrices, acelerando el proceso de demostración.

4. Resultados Principales

1. Refutación de Kreisel: Se concluye que la objeción de Kreisel no tiene fundamento; la pregunta sobre la consistencia en teorías débiles es legítima y el teorema de Bezboruah-Shepherdson es significativo.
2. Teorema 3.5 (Versión de Bezboruah-Shepherdson): Bajo el uso de la función $\beta$ para codificar secuencias, la teoría PA⁻ no prueba la consistencia de la teoría BeSh (una teoría extremadamente débil con axiomas y reglas mínimas). Esto implica que ni R (Aritmética de Robinson) ni Q prueban su propia consistencia bajo estas suposiciones.
3. Teorema 4.1 (Versión de Visser con Markov): Si se utiliza la codificación de Markov para codificar secuencias y pruebas, la teoría PA⁻ más todas las sentencias universales verdaderas no prueba la consistencia de BeSh.
   • Mecanismo de la prueba: Se construye un modelo $K$ de PA⁻ que contiene una secuencia $\alpha$ que parece ser una prueba de $\bot$ (falso) en $K$. Esta secuencia está compuesta por una parte inicial de axiomas y una parte final de conclusiones, pero el "punto de quiebre" donde se switch de axiomas a conclusiones es invisible dentro del modelo $K$ debido a la falta de ciertos elementos (específicamente, el elemento $x_1$ no pertenece al submodelo generado).
4. Diferencias de Alcance:
   • El método de Bezboruah-Shepherdson no se generaliza fácilmente a versiones de interpretación (a diferencia del de Pudlák).
   • El método de Bezboruah-Shepherdson es muy sensible al sistema de codificación, mientras que el de Pudlák es más robusto frente a variaciones de la numeración de Gödel.

5. Significado e Impacto

• Valor Didáctico: El artículo ofrece una visión clara de las diferencias entre la incompletitud basada en la interpretación (Pudlák) y la basada en la construcción de modelos patológicos (Bezboruah-Shepherdson). Esto ayuda a entender los límites de las teorías débiles y la naturaleza de la consistencia.
• Rehabilitación de un resultado olvidado: El autor argumenta que el trabajo de Bezboruah y Shepherdson ha sido injustamente ignorado debido a la influencia de Kreisel. Este artículo busca restaurar su relevancia, mostrando que sus técnicas de construcción de modelos son poderosas y didácticamente valiosas.
• Avance Técnico: La introducción de la codificación de Markov en este contexto abre nuevas vías para estudiar la incompletitud en teorías débiles sin depender de la función $\beta$, demostrando la flexibilidad de los métodos de demostración de incompletitud.
• Reflexión sobre la IA: El uso explícito de una IA para ayudar en la demostración de un lema técnico (Lema 4.3) marca un hito en la metodología de investigación en lógica matemática, sugiriendo que las herramientas de IA pueden ser colaboradoras efectivas en la manipulación de estructuras algebraicas complejas.

En resumen, Visser no solo defiende la validez filosófica y técnica del teorema de Bezboruah-Shepherdson contra las críticas de Kreisel, sino que también lo refuerza con una nueva demostración basada en la codificación de Markov, clarificando su relación con los teoremas modernos de incompletitud y destacando la riqueza de los resultados que surgen al estudiar teorías aritméticas mínimas.