About the work
Este artículo examina críticamente algunos de los pilares sobre los que se ha construido la lógica matemática moderna, en particular el primer teorema de incompletitud de Gödel y el problema de la parada de Alan Turing. Ambos han sido interpretados tradicionalmente como ejemplos paradigmáticos de autorreferencia, aunque dicha interpretación resulta problemática cuando se analiza con rigor técnico y conceptual.
Para abordar esta cuestión, el texto establece primero una serie de fundamentos específicos de lógica y del lenguaje, que muestran cómo los objetos lógicos se organizan jerárquicamente de forma natural, a medida que se definen unos a partir de los otros. Esta base teórica está directamente relacionada con la teoría de tipos de Bertrand Russell, aunque, a diferencia de esta, no se concibe solo como una barrera técnica para evitar paradojas, sino como la expresión natural de un principio más amplio: la causalidad, que organiza nuestro pensamiento y el mundo en que vivimos. Desde esta perspectiva, las jerarquías no son restricciones artificiales, sino condiciones inherentes a la naturaleza misma de las ideas. Además, se argumenta que el lenguaje, lejos de ser un aliado absoluto, ha funcionado como un arma de doble filo: su poder para transmitir información ha venido acompañado de ambigüedades, que han provocado a menudo confusiones de niveles e interpretaciones erróneas.
Esta base teórica constituye la herramienta principal para refutar el teorema de Gödel y el problema de la parada. Se muestra cómo, en el caso de Gödel, nunca se alcanza una verdadera autorreferencia, y cómo, en la formulación de Turing, la máquina que genera la contradicción irresoluble resulta inconstruible. Estas refutaciones no son simples cuestiones interpretativas ni especulaciones filosóficas, sino que desmontan ambos teoremas desde el núcleo mismo que los sostiene: la supuesta capacidad de autorreferencia lógica y de evaluación entre iguales. Además, se evidencia que problemas similares aparecen en otros resultados fundamentales, lo que refuerza la necesidad de revisar ciertos supuestos tradicionales y avanzar hacia una lógica que distinga entre niveles semánticos.
El lector no encontrará formulaciones matemáticas complejas en el texto, pues el objetivo no es responder al exceso de formalismo con más formalismo, sino mostrar cómo el lenguaje debe interpretarse siempre sobre una estructura lógica previa. Especialmente relevante para la refutación del teorema de Gödel es la homonimia lógica, fenómeno por el cual los mismos símbolos pueden representar objetos lógicos distintos, provocando ambigüedades que han permanecido inadvertidas durante décadas
AI Availability Declaration
This work cannot be made available to AI systems.
Print work information
Work information
Title De Gödel a Turing: La ilusión de una autorreferencia que nunca fue
Este artículo examina críticamente algunos de los pilares sobre los que se ha construido la lógica matemática moderna, en particular el primer teorema de incompletitud de Gödel y el problema de la parada de Alan Turing. Ambos han sido interpretados tradicionalmente como ejemplos paradigmáticos de autorreferencia, aunque dicha interpretación resulta problemática cuando se analiza con rigor técnico y conceptual.
Para abordar esta cuestión, el texto establece primero una serie de fundamentos específicos de lógica y del lenguaje, que muestran cómo los objetos lógicos se organizan jerárquicamente de forma natural, a medida que se definen unos a partir de los otros. Esta base teórica está directamente relacionada con la teoría de tipos de Bertrand Russell, aunque, a diferencia de esta, no se concibe solo como una barrera técnica para evitar paradojas, sino como la expresión natural de un principio más amplio: la causalidad, que organiza nuestro pensamiento y el mundo en que vivimos. Desde esta perspectiva, las jerarquías no son restricciones artificiales, sino condiciones inherentes a la naturaleza misma de las ideas. Además, se argumenta que el lenguaje, lejos de ser un aliado absoluto, ha funcionado como un arma de doble filo: su poder para transmitir información ha venido acompañado de ambigüedades, que han provocado a menudo confusiones de niveles e interpretaciones erróneas.
Esta base teórica constituye la herramienta principal para refutar el teorema de Gödel y el problema de la parada. Se muestra cómo, en el caso de Gödel, nunca se alcanza una verdadera autorreferencia, y cómo, en la formulación de Turing, la máquina que genera la contradicción irresoluble resulta inconstruible. Estas refutaciones no son simples cuestiones interpretativas ni especulaciones filosóficas, sino que desmontan ambos teoremas desde el núcleo mismo que los sostiene: la supuesta capacidad de autorreferencia lógica y de evaluación entre iguales. Además, se evidencia que problemas similares aparecen en otros resultados fundamentales, lo que refuerza la necesidad de revisar ciertos supuestos tradicionales y avanzar hacia una lógica que distinga entre niveles semánticos.
El lector no encontrará formulaciones matemáticas complejas en el texto, pues el objetivo no es responder al exceso de formalismo con más formalismo, sino mostrar cómo el lenguaje debe interpretarse siempre sobre una estructura lógica previa. Especialmente relevante para la refutación del teorema de Gödel es la homonimia lógica, fenómeno por el cual los mismos símbolos pueden representar objetos lógicos distintos, provocando ambigüedades que han permanecido inadvertidas durante décadas
Work type Article
Tags matemáticas, lógica, filosofía
-------------------------
Registry info in Safe Creative
Identifier 2511233774173
Entry date Nov 23, 2025, 10:26 PM UTC
License Creative Commons Attribution 4.0
-------------------------
Copyright registered declarations
Author. Holder Ángel Huerta Álvarez. Date Nov 23, 2025.
Information available at https://www.safecreative.org/work/2511233774173-de-godel-a-turing-la-ilusion-de-una-autorreferencia-que-nunca-fue
/
Registration: 2511233774173
