A finales de los años 70, el matemático austríaco Kurt Gödel argumentó que, por definición, "no puede existir nada más grande que un ser supremo", y propuso mediante argumentaciones lógico-matemáticas la existencia de Dios. Su intención era demostrar que el llamado 'argumento ontológico' -de un modo puramente lógico- de la existencia de Dios es válido.

Ahora, los científicos Christoph Benzmüller, de la Universidad Libre de Berlín, y Bruno Woltzenlogel, de la Universidad Técnica de Viena, han probado informáticamente el teorema de Gödel, que concluye que en base a los principios de la lógica debe existir un ser superior.

Con un MacBook ordinario, los científicos han demostrado que la argumentación de Gödel era matemáticamente correcta. En este sentido, los investigadores han subrayado que este trabajo, publicado en 'Arxiv.org', "tiene más que ver con la demostración de que una tecnología superior puede ayudar a la ciencia, que con la teoría de que Dios exista o no".

Así, han apuntado que lo importante es que "lo que han logrado a través de los ordenadores supone un éxito del genial razonamiento" de Gödel. Benzmüller ha señalado que la prueba ontológica era, más que cualquier otra cosa, un buen ejemplo de algo inaccesible en las matemáticas o de la inteligencia artificial, que se ha resuelto con la tecnología actual.

En su opinión, el hecho de que la formalización de estos teoremas complicados se puedan realizar con ordenadores no profesionales abre todo tipo de posibilidades. Estos dos expertos han señalado que "es totalmente increíble que el Teorema de Gödel se pueda probar de forma automática en pocos segundos o incluso menos en un portátil estándar".

Cabe recordar que Gödel es reconocido como uno de los más importantes lógicos de todos los tiempos, y su trabajo ha tenido un impacto inmenso en el pensamiento científico y filosófico del siglo XX. Gödel, al igual que otros pensadores como Gottlob Frege, Bertrand Russell, A. N. Whitehead y David Hilbert intentó emplear la lógica y la teoría de conjuntos para comprender los fundamentos de la matemática.