MADRID.- A finales del Siglo XX el matemático austríaco, Kurt Gödel, desarrolló un teorema, al cual se le dio su nombre. Este teorema llega a la conclusión -basados en principios de lógica- de que debe existir un ser superior.
Fue durante los años setenta cuando Gödel argumentó que, por definición: "No puede existir nada más grande que un ser supremo". Por esta razón, Gödel sustentó su teoría por medio de razonamientos matemáticos. Su verdadera intención era demostrar que el llamado "argumento ontológico" sobre la existencia de Dios era válido.
Un argumento ontológico para la existencia de Dios es un razonamiento preconcebido que pretende probar la existencia de Dios utilizando únicamente la razón.
Con el fin de probar este teorema los científicos Bruno Woltzenlogel, de la Universidad Técnica de Viena y Crhistoph Benzmüller, de la Universidad Libre de Berlín, han probado -utilizando los avances que ofrece la informática- el teorema de Gödel.
Los científicos utilizaron como herramienta un MacBook (computadora portátil) para validar su respuesta matemáticamente.
Los resultados arrojaron que Gödel tenía razón. Su respuesta de que Dios existe es matemáticamente correcta. Crhistoph señaló que la prueba ontológica era algo inaccesible, y ahora se ha resuelto con la tecnología actual. Incluso, se pueden formalizar teoremas complicados con computadoras no profesionales, abriendo un abanico de posibilidades.
Los científicos llegaron a la conclusión de que "es totalmente increíble que el Teorema de Gödel se puede probar de forma automática en pocos segundos".
TE PUEDE INTERESAR:
- Cuál es el propósito de Dios en tu vida
