Prueba ontológica de Gödel

Carta Poco común · N.º 98666

La prueba ontológica de Gödel es un argumento formal para la existencia de Dios propuesto por el matemático Kurt Gödel (1906-1978). Continúa una línea de desarrollo que viene desde Anselmo de Canterbury (1033-1109). El argumento ontológico de S. Anselmo, en su forma más resumida, es como sigue: «Dios, por definición, es lo más grande concebido. Dios existe en nuestro entendimiento. Si Dios existe en nuestro entendimiento, lo podríamos imaginar como el más grandioso por existir en la realidad. Por lo tanto, Dios tiene que existir». Una versión más elaborada fue dada por Gottfried Leibniz (1646–1716); esta es la versión que Gödel estudió e intentó aclarar con su argumentación.

Leer en Wikipedia