Escañuela Romana, Ignacio
11 de octubre de 2026
El ideal de la computación es un trabajo moderno. La realización del sueño de Leibniz de una matemática universal, el décimo reto de Hilbert, la prueba de una máquina de Turing universal en Turing. Es hallar un método, un procedimiento, que borre nuestras dudas y problemas y nos permita hallar un método sencillo para la solución de todo lo planteable. Así, todas las cuestiones encontrarían su final, todas las complejidades de la vida en que habitamos hallarían su solución automática.
Entonces llegó Gödel (1) y demostró su imposibilidad: no podrás hallar tal máquina de computación para los problemas interesantes, equivalentes al menos a la aritmética. Turing (2) lo extendería al campo de la computación: «there can be no general process for determining whether a given formula * ( of the functional calculus K is provable, i.e. that there can be no machine which, supplied with any one 21 of these formulae, will eventually say whether 21 is provable» (p. 259). Es decir, alguna fórmula no podemos probarla.
De repente pues comprendimos que es posible proponer verdades sobre las que nunca sabremos su verdad o falsedad. Ninguna ciencia será completa, alguna duda no será resuelta. De modo que nos resignamos a vivir en un mundo eternamente complejo como seres condenados a no alcanzar todo el mundo platónico de las verdades absolutas y completas.
(1) GÖDEL, K. (1981), Obras completas, Alianza Editorial,Universidad, Madrid.
(2) Turing, A. M. (1936). On computable numbers, with an application to the Entscheidungsproblem. J. of Math, 58(345-363), 5.
