What Einstein did for Physics, Gödel did to Mathematics and Logic.
Gödel identified himself as a baptized Lutheran. Many academics are embarrassed to admit that Gödel might have been a true believer.
When people make claims that Gödel was a secret Christian, people in academia are quick to dismiss and make appeal to his biography how he denied this or that. You see, academia does not allow a man with a great mind to be a Christian as well.
Gödel wrote his mathematical proof for the existence of God. I suspect he did not publish it while he was alive for fear of being persecuted. However, it is in God's good providence that it was kept waiting until he passed away.
I pointed out in some Internet discussion of his Christian leanings and right away I was presented with disclaimer etc. etc.
It is funny that his wife Adele testified that her husband, while alive, would read the Bible every Sunday morning. That is why I said to the nay sayers - hey forget what this professor or official biographer wrote, if you want to know the man, ask his wife.
Lastly Gödel's quoted statements presupposed a Christian understanding of reality.
He said... "I only believe in apriori truths".
Well, where do you find apriori truths? How else if not from God who first declares them? Apriori truths are only found when God defines or declares them.