Two Apple fanboys have used their Macbook to formalise a theorem regarding the existence of God penned by mathematician Kurt Gödel.
According to the German daily Die Welt, the real idea of the work was to use computers to make scientific progress simpler.
While they used Gödel's theorem, they were more interested in developing superior technology. After all, Apple fanboys do not care about the nature of existence, or non-existence of a supreme being when they have have a Macbook to look at.
Gödel probably knows the answer now anyway. He croaked in 1978, and he left behind a tantalising theory based on principles of modal logic that a higher being must exist.
Needless to say there was maths involved but he said that by definition, God must be 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. We could probably come up with a similar argument for the existance of rice pudding, or high performance computing and that is actually the idea.
Christoph Benzmüller of Berlin's Free University and his colleague, Bruno Woltzenlogel Paleo of the Technical University in Vienna decided to use their sacred MacBook to show that Gödel's proof was correct. At least he got his numbers right.
They have posted a submission on the arXiv.org research article server with the catchy title "Formalization (sic), Mechanization (sic) and Automation of Gödel's Proof of God's Existence."
Benzmüller told Spiegel it was amazing that this stuff can be proven automatically in a few seconds or even less on a standard notebook.
Benzmüller said that it is now possible that computer systems can check each single step of a theorem and sure it is right.
The scientists believe their work could have many practical applications in areas such as artificial intelligence and the verification of software and hardware.
But the use of computers to reduce the burden on mathematicians is not welcomed by all in the field. In fact a American mathematician Doron Zeilberger had to list the name Shalosh B. Ekhad on his scientific papers since the 1980s as a collaborator because he did not want people to be put off because Ekhad was a computer.
Meanwhile a statement from God said that Steve Jobs was dead and could not prove the existence of anything.