Misceláneos Otros temas

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.

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.

Noticias relacionadas

¿En qué beneficia a Chile la ampliación del Data Center de Google?

Equipo OhMyGeek!

HP dice que tiene la impresora 3D de metal más avanzada

Equipo OhMyGeek!

Tener mala conectividad o Internet afecta tus relaciones personales

Equipo OhMyGeek!

Este invaluable objeto resistió a las llamas de Museo Nacional de Brasil

Felipe Ovalle

Informan que nuevo brote de cólera en Chile no es mortal

Javier Troncoso

Un peligro inminente: Huracán Lane ahora es categoría 5

Javier Troncoso

Deja un comentario



Send this to a friend