A finales de los años 70 Gödel argumentó que, por definición, "no puede existir nada más grande de 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, estos científicos han demostrado, con un MacBook ordinario, que su argumentación 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 señala 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.
Si (
No(
