Computers Can Do That?

So asked Homer Simpson. I'm wondering if this doesn't prove more (and less) than the article is admitting. In other words does it only (apparently) prove the existence of a "Necessary Being" which is only the first of several logical steps on the road to finding the Father of Jesus and us all?

Scientists Use Computer to Mathematically Prove Gödel God Theorem - SPIEGEL ONLINE.

(Via Reddit Catholicism.)