Dos científicos europeos han logrado probar, por primera vez mediante un método informático, el conocido teorema de Gödel, el cual concluye que, por principios lógicos matemáticos, debe existir un ser superior. Según la lógica propuesta por el austriaco Kurt Gödel en la década de 1970, no puede existir nada más grande que un ser supremo, lo cual sostiene válidamente el argumento ontológico de la existencia de Dios.
Lo que los investigadores Benzmüller y Woltzenlogel ahora han confirmado es que la argumentación es matemáticamente correcta al ser procesada de manera informática. Según los autores del artículo publicado por Arxiv.org, su investigación “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”, ya que la llamada prueba ontológica era principalmente un ejemplo concreto de algo inaccesible para las matemáticas, y que ahora ha sido resuelto con la tecnología actual.
No obstante, la delicadeza del tema tratado, el “ejemplo” empleado por Gödel, ha hecho que numerosos debates teológicos, filosóficos y científicos se desaten alrededor de esta demostración… más allá de que el famoso teorema, que antes tendía a lo improbable, ahora se pueda probar en pocos segundos con una computadora portátil de uso masivo.
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 un modo puramente lógico-- de la existencia de Dios es válido.
ARGUMENTACIÓN CORRECTA
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”.
---------- Mensaje unificado a las 19:00 ---------- El mensaje anterior habia sido a las 18:59 ----------
Invoco a [MENTION=36060]Pepin Cascaron[/MENTION]; y a [MENTION=39898]Neo Matrix[/MENTION]; para debatir el tema…
