MADRID, 28 Oct. 13 / 03:16 pm (ACI/Europa Press).- 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, que concluye que en base a los principios de la lógica debe existir Dios.
A finales de los años 70 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 (razonamiento apriorístico que pretende probar la existencia de Dios empleando únicamente la razón), de un modo puramente lógico de la existencia de Dios, es válido.
A finales de los años 70 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 (razonamiento apriorístico que pretende probar la existencia de Dios empleando únicamente la razón), de un modo puramente lógico de la existencia de Dios, es válido.
Ahora los científicos han demostrado, con un MacBook (ordenador ordinario), que su argumentación era matemáticamente correcta. En este sentido, los investigadores han subrayado que este trabajo, publicado en "Arxiv.org", "tiene mucho que ver con la demostración de que una tecnología superior puede ayudar a la ciencia, en el sentido de la teoría de que Dios existe o no".
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 para las matemáticas o la inteligencia artificial, que se ha resuelto con la tecnología actual.
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 para las matemáticas o 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".
No hay comentarios:
Publicar un comentario