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.
|
etiquetas: gödel , demostración , dios , lógica , modal 
