OhMyGeek!
Misceláneos

Polémica en redes 2.0 por supuesta demostración informática de Dios

En agosto de este año los investigadores Christoph Benzmüller y Bruno Woltzenlogel, ambos europeos, publicaron un artí­culo donde prueban el argumento ontológico sobre la existencia de Dios del matemático Kurt Gödel en el repositorio cientí­fico Arxiv.org.

A mediados de octubre varios periódicos alemanes destacaron el trabajo de los investigadores, quienes habí­an demostrado dicho argumento con un simple ordenador personal, especí­ficamente, con un MacBook.

No obstante, recientemente las redes sociales han exagerado el alcance del estudio y algunos usuarios hasta han llegado a asegurar que Benzmüller y Woltzenlogel habí­an demostrado la existencia de Dios gracias a la informática, lo cual, claramente no fue lo que sucedió.

“El artí­culo no pretende haber demostrado la existencia de Dios ni nada parecido, solo consiste en una formalización y verificación del argumento ontológico dado por Gödel, y la gracia del asunto es que esto se ha conseguido usando sistemas computacionales”, aclaró a la agencia de noticias SINC Joan Bagaria, profesor de Lógica y Filosofí­a de la Ciencia en la Universidad de Barcelona.

En realidad, lo que los investigadores probaron fueron los argumentos de Gödel, quien definió a Dios como un ser que posee ciertas propiedades pero nunca explicó cuáles eran.

Kurt Gödel y Albert Einstein.
Kurt Gödel y Albert Einstein.

Gödel solo indicó unos axiomas razonables (aunque discutibles) que un “Dios” debe satisfacer, esos son los axiomas que se comprobaron gracias a la ayuda de una computadora, y no la existencia de nada, y mucho menos de un ser llamado “Dios”.

“Lo que han hecho estos autores es formalizar el resultado de Gödel en lenguajes informáticos apropiados, y luego utilizar paquetes de demostración automátizados para que una máquina demuestre ese resultado”, explicó el matemático Jorge López Abad, del ICMAT.

A pesar de lo que se comente en los medios y las redes sociales, los propios autores Benzmüller y Woltzenlogel subrayan que lo más importante de su trabajo es que abre nuevas perspectivas para estudiar teoremas de filosofí­a teórica asistida por computadoras.

Lee:  ¿Qué canal de YouTube transmitirá los Juegos Olímpicos Tokyo 2020?

Así­ las cosas, los PCs podrí­an ayudar en la construcción y chequeo riguroso de los argumentos lógicos de cualquier axioma filosófico.

Te interesará ver

Esta es la experiencia en video de gravedad cero en el espacio con Blue Origin

Felipe Ovalle

Blue Origin y Jeff Bezos lograron su primer vuelo al espacio en la nave New Shepard

Felipe Ovalle

Virgin Galactic y Richard Branson lograron su primer vuelo con tripulación completa

OhMyGeek!

¿Qué canal de YouTube transmitirá los Juegos Olímpicos Tokyo 2020?

Felipe Ovalle

El creador del antivirus McAfee, John McAfee, se suicidó en la cárcel

OhMyGeek!

Más de 1,6 millones de vacunas contra el COVID-19 han sido llevadas por aire en Chile

OhMyGeek!

Deja un comentario

También compártelo en:
Send this to a friend