Kurt Gödel was best known as a mathematician and secondarily known as an extreme eccentric. After his death, he became known for something else: creating an ontological proof of the existence of God. More