¿Dios existe? Esa es la pregunta que el hombre se ha preguntado desde que se evidenciaron las primeras manifestaciones religiosas.
Este enigma fue cuestionado desde filósofos, artistas, teólogos, pensadores, pasando por científicos y matemáticos. Pero la existencia de un ser superior pudo haberse comprobado gracias a un computador.
Los científicos, Christoph Benzmüller, de la Universidad Libre de Berlín, y Bruno Woltzenlogel, de la Universidad Técnica de Viena, han comprobado gracias al ‘Teorema de Gödel’, desarrollado por el austríaco Kurt Gödel a finales del siglo pasado, la existencia de un ser supremo mediante los principios de la lógica.
Este teorema fue concebido por Kurt a finales de los años 70 bajo la argumentación de ‘no puede existir nada más grande de un ser supremo’. El matemático propuso su tesis con fundamentos lógico- matemáticas. Su objetivo era demostrar desde un punto de vista ontológico (puramente lógico) sobre la validez de la presencia de un creador.
Aunque la comprobación por medio de una MacBook común, los estudiosos han subrayado que ‘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’.
En vez de eso, sugieren los científicos, se ha logrado a través de ordenadores un éxito del genial razonamiento. Además, afirman que es un buen ejemplo de cómo la tecnología actual ha dado solución a algo inaccesible en las matemáticas o de la inteligencia artificial.
Milagros Legay / NetJoven