Los científicos usan cálculos matemáticos para probar que Dios es real



Parece que los científicos han confirmado supuestamente la existencia de “Dios” después de “probar” la teoría de un matemático que sugiere que un “PODER SUPERIOR” existe.


 

Según dos científicos, pueden haber demostrado, de una vez y por todas, que existe una fuerza divina allá afuera, después de confirmar las complejas ecuaciones matemáticas.

Alrededor de 1941, el matemático Kurt Gödel creó una teoría larga y compleja basada en la LÓGICA MODAL. Denominada prueba ontológica de Gödel, presupone la noción de propiedades positivas y negativas, y prueba la existencia necesaria de un objeto al que se aplica cada propiedad positiva, pero ninguna propiedad negativa.

La teoría de Gödel se basa en ecuaciones matemáticas que son muy sofisticadas, pero como la mayoría de las cosas en la historia, se basan en modelos mucho más antiguos.

La prueba ontológica de Gödel es una versión moderna del argumento ontológico de la existencia de Dios de San Anselmo de Canterbury (1033-1109), monje benedictino que fue arzobispo de Canterbury desde 1093 hasta su muerte.

Su argumento, en resumen, es el siguiente: “Por definición, Dios es aquello de lo cual nada más grande puede ser concebido. Si tal ser no existe (entonces un ser mayor, llamemoslo, un ser que no puede ser concebido, y que exista) puede ser concebido. Pero esto sería absurdo: nada puede ser mayor que un ser que no puede ser concebido, así que existe un ser mayor que no puede concebirse, es decir, Dios.

La esencia es que no se puede concebir un poder mayor que Dios, y si se le cree como un concepto entonces él o ella puede existir en la realidad.

Muchas de las demostraciones, como las escritas arriba, se basan en asignar al concepto de “Dios” una propiedad máxima. La demostración de Gödel, por otra parte, trata de utilizar un argumento mínimo, por lo que se centra en la “esencia” de las propiedades positivas que caracterizan a Dios.

El argumento ontológico de Gödel tal como fue interpretado por Anderson, 1990:

Definición 1: x es como Dios si y sólo si x tiene como propiedades esenciales aquellas y sólo aquellas propiedades que son positivas

Definición 2: A es una esencia de x si y sólo si para cada propiedad B, x tiene B necesariamente si y sólo si A implica B

Definición 3: x necesariamente existe si y sólo si cada esencia de x es necesariamente ejemplificada

Axioma 1: Si una propiedad es positiva, entonces su negación no es positiva.

Axioma 2: Cualquier propiedad implicada por, es decir, estrictamente implícita por una propiedad positiva es positiva

Axioma 3: La propiedad de ser semejante a Dios es positiva

Axioma 4: Si una propiedad es positiva, entonces es necesariamente positiva

Axioma 5: La existencia necesaria es positiva

Axioma 6: Para cualquier propiedad P, si P es positivo, entonces siendo necesariamente P es positivo.

Teorema 1: Si una propiedad es positiva, entonces es consistente, es decir, posiblemente ejemplificada.

Corolario 1: La propiedad de ser semejante a Dios es consistente.

Teorema 2: Si algo es semejante a Dios, entonces la propiedad de ser semejante a Dios es una esencia de esa cosa.

Teorema 3: Necesariamente, se ejemplifica la propiedad de ser semejante a Dios.

La prueba ontológica de Gödel en la notación matemática.

Fácil, ¿verdad?

Bueno, dos científicos de la computación pueden haber demostrado que tales ecuaciones de ecuación complicadas se suman, y Dios es real.

Los dos informáticos sostienen que no estaban tratando directamente de probar -ni desmentir- la existencia de Dios, sino sólo mostrar el poder de sus computadoras.

Hablando a Spiegel Online, Christoph Benzmüller de la Universidad Libre de Berlín, quien dirigió los cálculos junto con Bruno Woltzenlogel Paleo de la Universidad Técnica de Viena, dijo:

“Es totalmente sorprendente que a partir de este argumento dirigido por Gödel, todas estas cosas se pueden probar automáticamente en unos segundos o incluso menos en un portátil estándar.

“No sabía que crearía un interés público tan grande, pero [la prueba ontológica de Gödel] era definitivamente un mejor ejemplo que algo inaccesible en matemáticas o en inteligencia artificial …

“Es una cosa muy pequeña y nítida, porque estamos tratando con seis axiomas en un pequeño teorema.

-Puede que haya otras cosas que usen una lógica similar.

En última instancia, es improbable que la formalización de la prueba ontológica de Gödel gane a muchos ateos, y tampoco es probable que consuele a los verdaderos creyentes.


Imagen destacada: Getty

Referencia:

Ontological ArgumentsStanford Encyclopedia of Philosophy.

Formalization, Mechanization and Automation of Gödel’s Proof of God’s Existence