¿Alguien del foro comprende la numeración de gödel?

La numeración de Gödel: el código que nadie sabe explicar​

Un lector con formación en análisis de funciones reconoce que no entiende la codificación de Gödel. Ha preguntado a una IA. La IA le ha respondido con una explicación que, según él, tampoco aclara nada. Y así arranca una discusión en la que nadie logra ponerse de acuerdo sobre si el problema es la materia o la forma de contarla.

La numeración de Gödel es un sistema que asigna un número único a cada símbolo, fórmula y prueba de un sistema formal. Se construye multiplicando los primeros números primos elevados al valor de cada símbolo. Una fórmula de cinco símbolos produce un número enorme. Ese número es su huella digital aritmética. La idea, atribuida a Kurt Gödel en 1931, permite que un sistema hable de sí mismo.

Qué es la numeración de Gödel y para qué sirve​

El mecanismo es una aplicación del teorema fundamental de la aritmética. Cada símbolo recibe un número. Cada fórmula se convierte en un producto de primos. Cada prueba, en un producto de productos. La reversibilidad es total: del número se vuelve a la fórmula descomponiendo en factores primos.

El propósito no es decorativo. Gödel necesitaba que un sistema formal pudiera referirse a sus propias fórmulas como si fueran objetos aritméticos. Solo así pudo construir una proposición que, en esencia, dice «yo no soy demostrable». Sin esa codificación, los teoremas de incompletitud no existirían.

Hay quien sostiene que el asunto es trivial y que lo difícil vino después: el argumento diagonal que Gödel tomó de Cantor y la paradoja de Richard. La codificación sería el andamio, no el edificio.

Por qué la explicación de la IA no convence​

El planteamiento inicial es claro: se pide comprender la numeración para entender los dos teoremas. La respuesta automática describe los teoremas con soltura y luego se pierde en la codificación. El lector lo dice sin rodeos: no la entiende.

Una parte de la discusión apunta a que el problema no es el lector. El texto generado tiene un tono asertivo que dispara el reflejo de «será culpa mía». Pero no explica la mecánica ni el porqué de la regla. Es uno de los riesgos de los modelos de lenguaje: suenan seguros aunque no aclaren.

Otros mensajes sí logran bajar al barro. Se explica con un ejemplo: si una fórmula tiene cinco símbolos, se toman los cinco primeros primos y se elevan a los valores asignados a cada carácter. El resultado es un número gigantesco. Y de ahí sale la clave: cada expresión del lenguaje formal tiene asignado un único número natural.

El ejemplo que sí se entiende​

Con la fórmula «0 = x» y los códigos 1, 3 y 4, el número de Gödel es 2¹ × 3³ × 5⁴, es decir, 33.750. La operación es sencilla. Lo que cuesta es ver para qué se hace.

La respuesta es que la codificación convierte el lenguaje matemático en un objeto manipulable aritméticamente. Las propiedades de las fórmulas —como «ser demostrable»— pasan a ser propiedades de números. Eso permite que el sistema hable de sí mismo sin salir de la aritmética.

Un cálculo que circula en la discusión desglosa el proceso partida a partida y da una diferencia que sorprende a quien espera números manejables. No es un detalle menor: la magnitud de esos números es parte del argumento.

Gödel, la filosofía y el problema de Hilbert​

Los teoremas de incompletitud tumbaron el programa de Hilbert, que buscaba formalizar todas las matemáticas de forma completa y consistente. El primer teorema dice que en cualquier sistema consistente y suficientemente expresivo hay proposiciones que no se pueden demostrar ni refutar. El segundo, que el sistema no puede demostrar su propia consistencia.

La discusión deriva hacia el terreno filosófico. Se menciona a Wittgenstein, a Russell y Whitehead, y a los Principia Mathematica como esfuerzo monumental que la incompletitud dejó en entredicho. También se apunta que la asignatura se impartía desde departamentos de filosofía, no de matemáticas.

Hay quien sostiene que las matemáticas son limitadas, sí, pero que basta con ampliar el sistema para capturar lo que se quedaba fuera. En contra pesa el argumento de que esa ampliación genera un nuevo sistema con sus propias limitaciones.

El axioma de elección y otras derivadas​

La conversación salta al axioma de elección, donde los matemáticos han de decidir si lo aceptan o no. Gödel demostró que si los axiomas de la teoría de conjuntos son consistentes, el axioma de elección también lo es. Y como no se puede probar la consistencia de un sistema desde sus propios axiomas, la discusión queda abierta.

Aparece también la computación cuántica como posible vía para romper la factorización de enteros, base de la criptografía actual. La respuesta es tajante: para eso no hace falta computación, basta un garrote. La ironía cierra el desvío.

El hilo termina donde empezó. Alguien resume que son sensaciones no formalizables. Otro recomienda un libro divulgativo, «Gödel, Escher y Bach», y otro más uno específico sobre el teorema. La recomendación más repetida: empezar por divisibilidad, números primos y congruencias, el primer tema de cualquier manual de teoría de números.

Con la numeración de Gödel pasa algo curioso: se explica en tres líneas y se entiende en ninguna. La fórmula es simple. Lo que no lo es tanto es aceptar que un número pueda contener una frase, una prueba y una paradoja.