«Two scientists have formalized a theorem regarding the existence of God penned by mathematician Kurt Gödel. But the God angle is somewhat of a red herring — the real step forward is the example it sets of how computers can make scientific progress simpler.»
Kurt Gödel also claimed that 1) If the system is consistent, it cannot be complete; 2) The consistency of the axioms cannot be proven within the system. He constructed a formula that claims that it is unprovable in a given formal system. If it were provable, it would be false, which contradicts the idea that in a consistent system, provable statements are always true. Thus there will always be at least one true but unprovable statement.
I’ts not easy being Kurt. :)