INCOMPLETITUD ▲ Prueban informáticamente que existe un ser superior - ABC.es

Prueban informáticamente que existe un ser superior - ABC.es

Prueban informáticamente que existe un ser superior

abc.esabc_es / madrid

Día 28/10/2013 - 15.50h

Los científicos han conseguido demostrar el teorema de Gödel, que llega a esa conclusión en base a los principios de la lógica

abc.es

Gödel está considerado el matematico más influyente del siglo XX, famoso por sus teoremas de incompletitud

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.

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».


el dispensador dice:
hay modelos más allá de la mente,
hay universos que no descubren,
hasta que la imaginación los siente...

hay espacios que se repiten vibrando,
hay dimensiones que se entrelazan sonando,
abriendo portales, conduciendo almas,
ciclos eternos, memorias del karma...

hay algo superior que no se alcanza,
la luz encandila y el frío cala,
hay ecuaciones que despiertan y viajan,
abriendo mentes mientras decansan,
si encaras la senda a plantas descalzas,
sentirás la tierra y lo que ella habla...

hay gente que miente al decir que ama,
hay gente que vive confundiendo las tramas,
creyendo que el futuro es amarrocar las ramas,
interpretando que el viento rompe las calmas,
esa gente queda atrapada,
en sus propias soberbias, vacíos y nadas...
para luego reclamar a Dios por lo que le falta,
desagradecidos de la creación al negar sus gracias...

el universo está completo, geometrías planas,
dimensiones suficientes equilibran las plazas,
fuerzas se reparten según circunstancias,
no todo lo que se ve es lo que pasa...
sólo se ve desde la perspectiva del alma,
muchas veces lo vacíos están repletos de nada.
OCTUBRE 29, 2013.-