Yeah, but Gödel was legitimately crazy towards the end of his life. He ended up dying because he was too paranoid to eat!
This is one of the bizarre comforts I feel when I acknowledge that I will never be a math super-genius... the fact that there is a high correlation between math super-genius and "overflowing" to insanity. Godel, Nash...
I've noticed that you can roughly date logical proofs for God's existence by looking at how complicated and confusing they are: the newer the proof, the more epicycles get added.