Is there definitive proof of the existence of God?
When Kurt Gödel, one of the greatest mathematicians of the 20th century, died in 1978 he left mysterious notes filled with logical symbols. Towards the end of his life a rumour circulated that this enigmatic genius was engaged in a secret project that was not directly relevant to his usual mathematical work. According to the rumour, he had tried to develop a logical proof of the existence of God.