German and Austrian scientists claim that they can prove a 20th century theorem about correlating mathematics and a higher being. What is even more interesting is that the researchers highlighted they can do so using Apple's MacBook.
Christoph Benzmueller from Berlin's Free University along with Bruno Woltzenlogel Paleo of the Technical University in Vienna claimed they used a MacBook to work with the theorem. They used the device for computations and to test the theorem by Austrian mathematician Kurt Goedel.
The theorem states that based on principles of modal logic, there should exist a higher being. Germany's Der Spiegel reported about the "breakthrough" research last week. According to the report, Mr Goedel argued that based on definition, there is nothing greater compared to the existence of a supreme being.
The Austrian mathematician developed a mathematical model to prove this. His proposal involved using computations to provide the existence of a higher power. Mr Benzmueller and Mr Paleo claimed that they have proof Mr Goedel's model was correct mathematically.
Nonetheless, the mathematicians expressed that proving the model correct cannot be directly correlated to the existence of God. Their computations, found on arXiv.org on the publication titled: "Formalization, Mechanization and Automation of Goedel's Proof of God's Existence," proved Mr Goedel's axioms.
The mathematical model has minimal to do with providing evidence for God's existence. Rather, the model can serve more as proof of what superior technology can do and achieve - it can be similar to stating that a higher being is at work.
"I didn't know it would create such a huge public interest but [Goedel's ontological proof] was definitely a better example than something inaccessible in mathematics or artificial intelligence," Mr Benzmueller said.
"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?," he added.
Mr Benzmueller expressed his amusement as to how it is possible to check every step of the theorem and prove their validity in a matter of seconds using Apple's MacBook.
Mr Benzmueller and Mr Paleo also discussed how their research can help in creating and realizing artificial intelligence. Nonetheless, it may still be a long way to go before the technology will be ideal to use.
To contact the editor, e-mail: