![\"Falsa-polemica-por-la-demostracion-informatica-de-la-existencia-de-Dios-con-un-teorema-de-Goedel_image_380\"](\"https:\/\/www.eldigitaldeasturias.com\/noticias\/wp-content\/uploads\/2013\/10\/Falsa-polemica-por-la-demostracion-informatica-de-la-existencia-de-Dios-con-un-teorema-de-Goedel_image_380-360x285.jpg\")
SINC – Los investigadores Christoph Benzm\u00fcller de la Universidad Libre de Berl\u00edn (Alemania) y Bruno Woltzenlogel de la Universidad T\u00e9cnica de Viena (Austria) publicaron en agosto en el repositorio cient\u00edfico Arxiv.org un art\u00edculo donde prueban el argumento ontol\u00f3gico sobre la existencia de Dios del matem\u00e1tico Kurt G\u00f6del.<\/p>\n
A mediados de octubre varios peri\u00f3dicos alemanes destacaron este trabajo y el hecho de que los autores lo hab\u00edan conseguido con un sencillo ordenador personal. En los \u00faltimos d\u00edas las redes sociales han exagerado el alcance del estudio y algunos usuarios aseguran que se ha demostrado la existencia de Dios con la inform\u00e1tica.<\/p>\n
\u201cEl art\u00edculo no pretende haber demostrado la existencia de Dios ni nada parecido\u201d, aclara a SINC Joan Bagaria, profesor de L\u00f3gica y Filosof\u00eda de la Ciencia en la Universidad de Barcelona. \u201cConsiste en una formalizaci\u00f3n y verificaci\u00f3n del argumento ontol\u00f3gico dado por G\u00f6del, y la gracia del asunto es que esto se ha conseguido usando sistemas computacionales\u201d.<\/p>\n
Los argumentos ontol\u00f3gicos sobre la existencia de Dios son razonamientos que pretenden probar la existencia de este ser superior empleando solo la raz\u00f3n. Inspirado por las propuestas medievales de San Anselmo de Canterbury, G\u00f6del plante\u00f3 en los a\u00f1os 70 una versi\u00f3n l\u00f3gico-modal (deducciones a partir de expresiones como \u201ces necesario que\u201d y \u201ces posible que\u201d para calificar la verdad de los juicios) con sus correspondientes axiomas, definiciones, corolarios y teoremas.<\/p>\n
G\u00f6del defini\u00f3 a Dios como un ser que posee todas las propiedades \u2018positivas\u2019, y no entr\u00f3 en profundidad a explicar cu\u00e1les son pero indic\u00f3 unos axiomas razonables (aunque discutibles) que deben satisfacer. Estos son los que ahora confirma la pareja de cient\u00edficos.<\/p>\n
\u201cSuponiendo que los resultados de su art\u00edculo sean correctos \u2013y no hay ninguna raz\u00f3n a priori para suponer que no lo sean\u2013, lo que se prueba es que si uno cree en los axiomas y acepta las definiciones, as\u00ed como la interpretaci\u00f3n de los operadores modales de necesidad y posibilidad, entonces uno debe creer tambi\u00e9n en la existencia de Dios, definido como aquel ser que posee todas las propiedades positivas\u201d, explica Bagaria.<\/p>\n
\u00a1A calcular!<\/em><\/strong><\/p>\n El matem\u00e1tico Jorge L\u00f3pez Abad, del ICMAT, coincide: \u201cLo que han hecho estos autores es formalizar el resultado de G\u00f6del en lenguajes inform\u00e1ticos apropiados y luego utilizar paquetes de demostraci\u00f3n autom\u00e1tizados para que una m\u00e1quina demuestre ese resultado, pero las implicaciones filos\u00f3fico-religiosas las desconozco\u201d.<\/p>\n A pesar de lo que se comente en los medios y las redes sociales, los propios autores Benzm\u00fcller y Woltzenlogel subrayan que lo m\u00e1s importante de su trabajo es que \u201cabre nuevas perspectivas para una filosof\u00eda te\u00f3rica asistida por ordenador\u201d.<\/p>\n El art\u00edculo acaba as\u00ed: \u201cEl debate cr\u00edtico de los conceptos, las definiciones y los axiomas subyacentes sigue siendo una responsabilidad humana, pero el ordenador puede ayudar en la construcci\u00f3n y chequeo riguroso de los argumentos l\u00f3gicos. En el caso de controversias l\u00f3gico-filos\u00f3ficas, el ordenador puede verificar los argumentos en disputa y cumplir parcialmente lo que dec\u00eda Leibniz: Calculemus, \u00a1Vamos a calcular!\u201d.<\/p>\n","protected":false},"excerpt":{"rendered":" SINC – Los investigadores Christoph Benzm\u00fcller de la Universidad Libre de Berl\u00edn (Alemania) y Bruno Woltzenlogel de la Universidad T\u00e9cnica de Viena (Austria) publicaron en agosto en el repositorio cient\u00edfico Arxiv.org un art\u00edculo donde prueban el argumento ontol\u00f3gico sobre la existencia de Dios del matem\u00e1tico Kurt G\u00f6del. A mediados de octubre varios peri\u00f3dicos alemanes destacaron […]<\/p>\n","protected":false},"author":1,"featured_media":1132184,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[28],"tags":[],"class_list":["post-441109","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-sociedad"],"aioseo_notices":[],"aioseo_head":"\n\t\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t