A finales de los años 70 Gödel razonó qu , por definición, “no puede existir nada más grande de un ser supremoâ€, y propuso mediante argumentaciones lógico-matemático 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.
Sin embargo, ahora, los cientÃficos han demostrado, con un MacBook ordinario, que su argumentación era matemáticamente correcta, por lo que 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.
El cientÃfico ha 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â€.
