You didn’t know, possibly, that when he thought we was dying, he showed the notebook to one of his colleagues, who copied out the proof:

In an unsanitized, politically incorrect (but factual) history, Selmer Bringsjord talks about how the tormented genius Kurt Gödel took up a quest that dated back a thousand years to prove the existence of God by formal logic. His original version didn’t quite work but his editor’s version passed an important logic test:

“When we go to Gödel, we skip over the modern advocates of this argument. It’s harsh—I’m just going to say it—from the standpoint of someone who’s reasonably well-versed in formal logic, I think it’s a bit of a doldrums, despite some of the attention, until Gödel does his thing.

Gödel does it formally and then some folks in Germany, doing automated reasoning, verified it a few years back. They verified the version that Dana Scott copied out of the notebook. That is, what they verify is that there is no doubt; it’s machine-verified proof. So now we’re left with just the truth of the premises and how we judge them.”

News, “Gödel and God: A surprising history” atMind Matters News

*Further reading:*

Faith is the most fundamental of the mathematical tools: An early twentieth century clash of giants showed that even mathematics depends on some unprovable assumptions. (Daniel Andrés Díaz-Pachón)

and

God’s existence is proven by science. Arguments for God’s existence can be demonstrated by the ordinary method of scientific inference. *(Michael Egnor)*