Dos científicos prueban informáticamente que existe un ser superior
Martes, 29 de octubre de 2013 | e6d.es
• El estudio 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
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, desarrollado a finales del siglo pasado por el matemático austríaco Kurt Gödel y que concluye que en base a los principios de la lógica debe existir un ser superior.
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ático la existencia de Dios. Su intención era demostrar que el llamado «argumento ontológico» de la existencia de Dios, es válido.
Ahora, los 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 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. Leer noticia completa y ver hilo de debate en abc.es. Foto de abc.es: Gödel está considerado el matemático más influyente del siglo XX, famoso por sus teoremas de incompletitud.
Kurt Gödel y su teorema de incompletitud
La paradoja del mentiroso