Gödel's ontological proof
Gödel's ontological proof is a formal argument for God's existence by the mathematician Kurt Gödel (1906–1978). It is in a line of development that goes back to Anselm of Canterbury (1033–1109). St. ...