Emanuel Rutten

Can Mathematics Prove The Existence Of God?

A recent Patheos article talks about two computer scientists who claim to have applied state-of-the-art software to show that Kurt Gödel's "mathematical proof" for the existence of God is entirely correct.