Scientists from Germany and Austria say they have proved a 20th century theorem that mathematics can be used to prove the existence of a higher being. Christoph Benzmueller of Berlin's Free University and Bruno Woltzenlogel Paleo of the Technical University in Vienna said they used a MacBook computer to test the theorem, developed in the last century by Austrian mathematician Kurt Goedel that, based on principles of modal logic, a higher being must exist, Germany's Der Spiegel reported Wednesday. The report said Goedel argued that, by definition, nothing greater than a supreme being can exist, and he proposed a mathematical model to prove the existing of such a power. Benzmueller and Paleo have shown Goedel's proof was mathematically correct. However, the mathematicians told Der Spiegel the significance of their proof of Goedel's axioms -- published on arXiv.org in a post titled "Formalization, Mechanization and Automation of Goedel's Proof of God's Existence" -- has less to do with proving God exists than with demonstrating was superior technology can help science achieve. "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," 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?" Benzmueller and Paleo said they think their work might have applications in developing artificial intelligence, among other fields.
GMT 09:14 2017 Wednesday ,18 October
Is facial recognition the stuff of sci-fi? Not in ChinaGMT 08:31 2017 Saturday ,23 September
Vision 2030 will take Saudi Arabia into the futureGMT 20:37 2017 Thursday ,07 September
NASA captures images of strong solar flaresGMT 20:39 2017 Wednesday ,30 August
United Technologies near deal to buy Rockwell Collins: reportGMT 13:41 2017 Saturday ,19 August
Eclipse-chasers trot the globe, addicted to Moon's shadowGMT 17:47 2017 Wednesday ,16 August
NASA: let's say something to Voyager 1 on 40th anniversary of launchGMT 16:41 2017 Friday ,11 August
Asteroid to shave past Earth on Oct 12: ESAGMT 21:32 2017 Tuesday ,18 July
Japanese engineers develop headset-less VR systemMaintained and developed by Arabs Today Group SAL.
All rights reserved to Arab Today Media Group 2021 ©
Maintained and developed by Arabs Today Group SAL.
All rights reserved to Arab Today Media Group 2021 ©
Send your comments
Your comment as a visitor