Follow by Email

martes, 29 de octubre de 2013

Demostraron informáticamente el teorema de Gödel.

teorema de Gödel
Los científicos Christoph Benzmüller, de la Universidad Libre de Berlín, y Bruno Woltzenlogel, de la Universidad Técnica de Viena, demostraron  informáticamente el teorema de Gödel, desarrollado a finales del siglo pasado por el matemático austríaco Kurt Gödel y cuya conclusión se basa en  los principios de la lógica: debe existir un ser superior.
Gödel argumentó a finales de la década de los 70 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 un modo puramente lógico,  de la existencia de Dios es válido.
Los científicos demostraron, con un MacBook ordinario, que: “su argumentación era matemáticamente correcta. En este sentido, los investigadores remarcaron  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”.
“Lo importante es que  lo que lograron  a través de los ordenadores supone un éxito del genial razonamiento  de Gödel. Benzmüller”.
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 resolvió con la tecnología actual.
Según 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 indicó 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