FANDOM


Kurt Godel.jpg
Kurt Gödel
Información Biográfica
País Imperio Astro Hungaro.jpg
Imperio Astro Húngaro
Lugar

Brünn

F. de Nacimiento

28 de abril de 1906

Fallecimiento

14 de enero de 1978

Información Personal
Ocupación

Filósofo, matemático y lógico austriaco-estadounidense

Afiliación

Kurt Gödel, o Kurt Goedel, es reconocido como uno de los más importantes lógicos de todos los tiempos. Su trabajo ha tenido un gran impacto en el pensamiento científico y filosófico del siglo XX. Gödel intentó emplear la lógica y la teoría de conjuntos para comprender los fundamentos de la matemática[1].

Argumento ontológico sobre la existencia de Dios

Los argumentos ontológicos sobre la existencia de Dios son razonamientos que pretenden falazmente probar la existencia de este ser supremo empleando solo la razón. Inspirado por las propuestas medievales de San Anselmo de Canterbury, Gödel planteó en 1941 una versión lógico-modal (deducciones a partir de expresiones como “es necesario que” y “es posible que” para calificar la verdad de los juicios) con sus correspondientes axiomas, definiciones, corolarios y teoremas. Gödel nunca habló de la demostración hasta febrero de 1970, cuando pensaba que se acercaba la hora de su muerte.

El argumento ontológico gödeliano era conocido exclusivamente por pocos amigos del autor y quedó, después de su muerte, entre sus papeles inéditos: solamente en 1987 fue publicada en los Estados Unidos dentro de un volumen que recoge muchos escritos del matemático. Entre los motivos por los que Gödel no publicó en vida su Ontologisches Beweis, algunos estudiosos sostienen que se debió a temores de ser malinterpretado, o bien, de no ver su demostración apreciada por su valor lógico-formal sino interpretada como una desviación hacia el misticismo. Lo que a final de cuentas ocurrió[2].

Gödel definió a Dios como un ser que posee todas las propiedades ‘positivas’, y no entró en profundidad a explicar cuáles son pero indicó unos axiomas razonables (aunque discutibles) que deben satisfacer.

Los investigadores Christoph Benzmüller de la Universidad Libre de Berlín (Alemania) y Bruno Woltzenlogel de la Universidad Técnica de Viena (Austria) publicaron en agosto de 2013, en el repositorio científico Arxiv.org, un artículo donde prueban el argumento ontológico sobre la existencia de Dios de Kurt Gödel. Los fondos provinieron de la German Research Foundation[3].

Suponiendo que los resultados de su artículo sean correctos –y no hay ninguna razón a priori para suponer que no lo sean–, lo que se prueba es que si uno cree en los axiomas y acepta las definiciones, así como la interpretación de los operadores modales de necesidad y posibilidad, entonces uno debe creer también en la existencia de Dios, definido como aquel ser que posee todas las propiedades positivas, cosa que la Biblia y el Corán, en un análisis detallado, han demostrado que no lo es.

Polémica

A mediados de octubre de 2013 varios periódicos alemanes destacaron este trabajo y el hecho de que los autores lo habían conseguido con una computadora personal. Las redes sociales han exagerado el alcance del artículo y algunos usuarios aseguran que se ha demostrado la existencia de Dios con la informática.

Refutación

El artículo no pretende haber demostrado la existencia de Dios ni nada parecido, ya que 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. Lo mismo hubiera pasado si en vez de Dios, se hubiera tratado de demostrar la existencia de Gasparin.

Aún antes de la existencia del argumento de Gödel, el filósofo escocés David Hume produjo una refutación del argumento en virtud de la cual trataba de demostrar que nada puede probarse como existente a partir de un argumento racional a priori. En sus Dialogues concerning Natural Religion (Diálogos sobre la religión natural) escribió:

Es un absurdo evidente pretender demostrar un hecho como necesario, o pretender demostrarlo con cualesquiera argumentos a priori. Nada es demostrable salvo si su contrario implica una contradicción. Nada que sea distintivamente concebible implica una contradicción. Cualquier cosa que concebimos como existente igualmente la podemos concebir como inexistente. No hay, por tanto, ser alguno cuya inexistencia implique una contradicción. En consecuencia, no hay ser alguno cuya existencia sea demostrable a priori.

~David Hume; Dialogues concerning Natural Religion

En resumen, no hay argumentación capaz de garantizar la absoluta identidad entre existencia posible y existencia necesaria.

Benzmüller y Woltzenlogel han demostrado que la argumentación de Gödel era matemáticamente correcta. Sin embargo, los matemáticos están interesados ​​en subrayar que este trabajo tiene más que ver con la demostración de que una tecnología superior puede ayudar a la ciencia, que el hecho de que Dios exista o no. La prueba ontológica de la existencia de Dios de Gödel era más que cualquier otra cosa un buen ejemplo de algo inaccesible en las matemáticas o de la inteligencia artificial, que se ha resuelto con la tecnología actual. Han dejado claro que el razonamiento de Gödel, si se partía de los axiomas por él propuestos, en efecto llevaba a la conclusión o teorema al que él llegaba.

Referencias y ligas externas

  1. Wikipedia
  2. R.G. Timossi; Prove logiche dell'esistenza di Dio da Anselmo d'Aosta a Kurt Gödel. Storia critica degli argomenti ontologici, Marietti 1820, Genova-Milano 2005, pp.437-445.
  3. Formalization, Mechanization and Automation of Gödel's Proof of God's Existence por Christoph Benzmüller, Bruno Woltzenlogel Paleo (PDF) para descargar

¡Interferencia de bloqueo de anuncios detectada!


Wikia es un sitio libre de uso que hace dinero de la publicidad. Contamos con una experiencia modificada para los visitantes que utilizan el bloqueo de anuncios

Wikia no es accesible si se han hecho aún más modificaciones. Si se quita el bloqueador de anuncios personalizado, la página cargará como se esperaba.

También en FANDOM

Wiki al azar