| abstract | - [[Soubor:Godel.jpg|thumb|Gödelova hlava měla prý silné gravitační pole]] Kurt Gödel byl slavný rakouský pseudomatematik, pseudologik a pseudopseudo. Narodil se v moravistánském hlavním městě Brně.
- 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ó. 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. 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.
|
