Una técnica de codificación (aritmetización) que asigna códigos numéricos naturales a objetos sintácticos (símbolos, fórmulas, secuencias, pruebas) de modo que las relaciones sintácticas resulten expresables y manipulables aritméticamente.

Principio

Definir una codificación biunívoca efectiva de símbolos y secuencias finitas a números naturales (por ejemplo mediante codificación por potencias de primos) de manera que la concatenación, la sustitución y las relaciones de prueba correspondan a relaciones aritméticas entre códigos.

Demostración

Gödel codificó símbolos y secuencias finitas en enteros para que el predicado «x codifica una prueba de la fórmula y» sea representable en aritmética; esta aritmetización es central en los teoremas de incompletitud de Gödel.

Aplicación incorrecta

Usar la numeración de Gödel sin distinguir entre la existencia de un código y la computabilidad efectiva del decodificado, o emplear codificaciones imprácticamente grandes para tareas algorítmicas; asumir que la aritmetización proporciona procedimientos eficientes.

Consecuencia

Permite expresar afirmaciones sintácticas y metamatemáticas dentro de la aritmética, posibilitando la autorreferencia, la formalización de predicados de prueba y resultados fundamentales de indecidibilidad e incompletitud.

Inversión

La inversión es tratar la sintaxis como inherentemente no numérica o usar codificaciones simbólicas de mayor nivel sin códigos enteros explícitos; negar la aritmetización impide internalizar la sintaxis en la aritmética.

Límite

Requiere un lenguaje formal con sintaxis efectiva y un esquema de codificación acordado; las elecciones de codificación no son únicas y no confieren por sí mismas decidibilidad ni eficiencia computacional.

Tensión semántica

Tensión entre la visión sintáctica abstracta y la codificación aritmética: la codificación hace la sintaxis accesible a herramientas aritméticas, pero introduce elecciones y complejidad ausentes en el nivel abstracto.

Síntesis

La numeración de Gödel codifica sistemáticamente objetos sintácticos como números naturales para que la aritmética pueda representar y razonar sobre pruebas y fórmulas, proporcionando el mecanismo técnico para la autorreferencia y los resultados formales de indecidibilidad.