Subscribe free to our newsletters via your
. 24/7 Space News .




TIME AND SPACE
Researchers say they used MacBook to prove Goedel's God theorem
by Staff Writers
Berlin (UPI) Oct 23, 2013


disclaimer: image is for illustration purposes only

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.

.


Related Links
Understanding Time and Space






Comment on this article via your Facebook, Yahoo, AOL, Hotmail login.

Share this article via these popular social media networks
del.icio.usdel.icio.us DiggDigg RedditReddit GoogleGoogle








TIME AND SPACE
Celebrating the legacy of ESA's Planck mission
Paris (ESA) Oct 22, 2013
From the tiniest fraction of a second after the Big Bang to the evolution of stars and galaxies over 13.8 billion years, ESA's Planck space telescope has provided new insight into the history of our Universe. Although science observations are now complete, the legacy of the Planck mission lives on. Planck was launched in 2009 and spent 4.5 years scanning the sky to study the evolution of c ... read more


TIME AND SPACE
Crowdfunded Lunar Spacecraft Reaches Funding Milestone

LADEE Continues To Settle Into Operational Lunar Orbit

NASA's moon landing remembered as a promise of a 'future which never happened'

Russia could build manned lunar base

TIME AND SPACE
Mars Crater May Actually Be Ancient Supervolcano

Scientists discover how the atmosphere of Mars turned to stone

Mars Rover Opportunity Heads Uphill

India sets November 5 for Mars mission launch

TIME AND SPACE
US firm offers 30 kilometer-high balloon ride

NASA strives to tame 'big data' flowing in from dozens of missions

Chinese no longer banned from NASA astronomy meet

'Pillownauts' spend 3 weeks in bed as part of astronaut studies

TIME AND SPACE
China Moon Rover A New Opportunity To Explore Our Nearest Neighbor

Is China Challenging Space Security

NASA's China policy faces mounting pressure

Ten Years of Chinese Astronauts

TIME AND SPACE
Cygnus cargo craft leaves international space station

Cygnus cargo craft readies to leave space station

Aerojet Rocketdyne Thrusters Help Cygnus Spacecraft Berth at the International Space Station

First CASIS Funded Payloads Berthed to the ISS

TIME AND SPACE
Gaia launch delayed several months

Takeoff of Proton LV with US satellite may be put off until Oct 25

Technical glitch will delay launch of European space mission

Astrium awarded three new contracts by ESA for Ariane 6 and Ariane 5 ME launchers

TIME AND SPACE
Count of discovered exoplanets passes the 1,000 mark

Iowa research team see misaligned planets in distant system

Astronomer see misaligned planets in distant system

Water discovered in remnants of extrasolar rocky world orbiting white dwarf

TIME AND SPACE
Suez Environnement sees skies clearing for waste disposal

NASA Laser Communication System Sets Record with Data Transmissions to and from Moon

NSF Awards $12 Million to SDSC to Deploy "Comet" Supercomputer

Rice scientists create a super antioxidant




The content herein, unless otherwise known to be public domain, are Copyright 1995-2014 - Space Media Network. AFP, UPI and IANS news wire stories are copyright Agence France-Presse, United Press International and Indo-Asia News Service. ESA Portal Reports are copyright European Space Agency. All NASA sourced material is public domain. Additional copyrights may apply in whole or part to other bona fide parties. Advertising does not imply endorsement,agreement or approval of any opinions, statements or information provided by Space Media Network on any Web page published or hosted by Space Media Network. Privacy Statement