El hombre, en busca de descubrir “al personaje más misterioso de los siglos por los siglos”, han tratado de realizar todo tipo de pruebas, para demostrar que Dios existe o que “Dios no existe”, pero ¿qué ocurre cuando un científico descubre que Dios existe? comienzan entonces “nuevas investigaciones para demostrar las teorías que podrían arrojar luz y descubrir quién es Dios”, ese fue el caso de dos científicos, quienes utilizaron sistemas de cómputo Apple, para descubrir una gran interrogante, ¿Existe Dios?

Nébula denominada el ‘ojo de Dios’ en el espacio NASA.

[laultimageneracion.com] – Dos aficionados de Apple, decidieron asumir que la teoría del Big Bang, la teoría que explica “que el universo explotó, y que a partir de ese momento se formó” tiene un “creador supremo”, para ello, tienen en sus manos el misterio de revelar que Dios existe, y dijeron tener las pruebas necesarias para demostrarlo.

Para lograr demostrarlo, se convencieron de utilizar la ayuda de un MacBook y llevar acabo un teorema que perteneció a Anselmo de Canterbury, un teorema es una forma de demostrar algo lógico, partiendo de otras reglas aceptadas o axiomas. El teorema de Anselmo de Canterbury fue asumido más tarde por un matemático austriaco de nombre Kurt Gödel, quien cree que “no hay manera de que exista algo que sea más grande que un ser supremo”.

A raíz de las investigaciones, los universitarios Christoph Benzmüller de la Universidad Free de Berlín, y Bruno Woltzenlogel Paleo de la Universidad Technical en Viena, tomaron en manos sus MacBook, para indicarle una serie de ecuaciones, que permitirían revelar la idea que sostuvo Gödel. La idea es que la computadora pueda confirmar lo que Gödel sostuvo en sus pensamientos, acerca de Dios.

Lo que los universitarios lograron realizar en la computadora se conoce como “la formalización, mecanización, y automatización de la prueba de la existencia de Dios de Gödel”, en donde lograron concluir que Kurt Gödel tenía razón acerca de su lógica, “el ser supremo existe” –Dios existe.

Aunque los resultados arrojados, están centrados en un término universitario y no tan comprensible al ser poco abstracto, a continuación una lectura que puede ser comprensible para quienes están relacionados con los términos.

Prueba ontológica de Gödel se analizó por primera vez, con grado de detalle sin precedentes, con la formalidad y la ayuda de demostradores de teoremas de orden superior. A continuación, se han hecho (Y en este orden): Una prueba detallada deducible natural. A la formalización de axiomas, definiciones y teoremas con los experimentadores LEO-II y Satallaz. Paso por paso, la formalización utilizó Coq como prueba de asistente. La formalización utilizó la prueba de asistente Isabelle, donde los teoremas (y algunos lemmata adicionales) se han automatizado con Sledgehammer y los Metis. Cnet

Algunos científicos han logrado creer, que existe “un ser supremo que hizo el universo”, pero aplicado a la lógica, se sabe que cuando un científico se refiere a la existencia de “un ser supremo”, no hay otro ser en el universo que reciba esa descripción, que no sea Dios mismo.