Two computer scientists proved that God exists using a MacBook to formalize mathematician Kurt Gödel's theorem that alleges a Superior Being must exist.

When Gödel died in 1978, he left behind a theory based on principles of modal logic arguing that God is that for which no greater can be conceived.

"And while God exists in the understanding of the concept, we could conceive of him as greater if he existed in reality. Therefore, he must exist," the theory denotes.

Using an ordinary MacBook computer, Christoph Benzmüller of Berlin's Free University and Bruno Woltzenlogel Paleo of the Technical University of Vienna, have shown Gödel's proof was mathematically correct.

"It's totally amazing that from this argument led by Gödel, all this stuff can be proven automatically in a few seconds or even less on a standard notebook," Benzmüller told Spiegel Online.

"I didn't know it would create such a huge public interest but (Gödel's ontological proof) was definitely a better example than something inaccessible in mathematics or artificial intelligence," he added. "It's a very small, crisp thing, because we are just dealing with six axioms in a little theorem. ... There might be other things that use similar logic. Can we develop computer systems to check each single step and make sure they are now right?"