DIOS Y GÖDEL

Ha vuelto a ser noticia la demostración ontológica del matemático Kurt Gödel (1906–1978) de la existencia de Dios. Se trata de un simple ejercicio de lógica modal que Gödel realizó en 1941 sin mayor interés desde el punto de vista teológico. Su idea era corregir el gran problema de la demostración de San Anselmo. Aunque Gödel era creyente, no era practicante, por lo que nunca habló de la demostración hasta febrero de 1970, cuando pensaba que se acercaba la hora de su muerte. Le enseñó la demostración a su alumno Dana Scott, filósofo y matemático, quien hizo una copia para poderla publicar, pero Gödel no se lo permitió. Tras su muerte, Scott publicó dos versiones de la demostración en 1987 (de hecho, Gödel atesoraba varias).

Desde entonces se han publicado muchas otras versiones que refinan los detalles de la demostración. ¿Se trata de una demostración “correcta” de la existencia de Dios? Obviamente se trata de una demostración matemática correcta en la lógica modal S5, pero cada persona tiene una idea diferente de lo que es Dios. En esta demostración no hay contenido teológico. Quizás algunos filósofos puedan quedar satisfechos, pero en general poca gente lo estará. Incluso si el argumento es correcto en todos sus aspectos, como no se especifica qué es una “atribución pura” para una propiedad positiva, bien se podría haber demostrado que alguna ecuación matemática que rige el universo es lo semejante-a-Dios que necesariamente existe.