News

Does God Exist? Apple MacBook Helps Computer Scientist Prove God's Existence

By Staff Writer | October 31, 2013 02:56 PM EDT

'Scientists prove God exists' is a headline that may have captured far greater eyeballs than Miley Cyrus' Halloween costume (of course the audiences could belong to separate demographic segments).

Like Us on Facebook

Two scientists cum researchers, Christoph Benzmüller of Berlin's Free University and Bruno Woltzenlogel Paleo of the Technical University in Vienna, worked on Kurt Godel's theorem to prove the existence of God in mathematical terms. Apple MacBook helped them to formalize Godel's theorem that lead to the formal evidence of God's existence.

Kurt Godel was a famous Austrian mathematician who had put forward the theory that God is an entity for which there is no greater being, and assuming that he existed in reality, then he is greater than all other being around him. God's existence is at the core of the theorem.

Godel based his theorem on the principles of modal logic. A very abstract, Godel's 'God' theorem was left unfinished because of his death in 1978. Christoph Benzmüller and Woltzenlogel Paleo used an Apple MacBook to generate an algorithm that converted Godel's abstract concepts into a series of mathematical equations.

The research project, called the '"Formalization, Mechanization and Automation of Gödel's Proof of God's Existence," is taken as an example of how powerful computers, such as Apple MacBook can help prove complex theorems quickly and accurately.

Talking to Spiegel Online, Christoph Benzmüller said, '"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.' 

He added that he did not expect the news of God's scientifically verified existence will gain so much attention, and praises Godel's theorem for being crisp and to-the-point.

He also believes that such a breakthrough as proving an abstract concept (like God's existence) scientifically with the help of competent and fast computers (in this case, Apple MacBook) can help develop the field of Artificial Intelligence.   

 

 

Tagged :  world news

Featured

Hot Issues 03.04.15 | 09:31AM EST

EXO Top Forbes Korea List Of Most Powerful Korean Celebrities Despite Recent Lineup Changes

Partially due to the success of 'Overdose,' EXO jumped up from their 5th place position in last year's ranking to take the number one spot on the Forbes list, beating out other idol groups, actors, and athletes.

Exclusive 03.03.15 | 03:00PM EST

Profile Of A K-Pop Fan: Why EXO's ‘Black Pearl’ Is As Good As It Gets For For Alabama High School Student Jelanie Albino

“EXO is so talented, they can sing any song with their powerful voices,” says 16-year-old Alabama K-pop fan Jelanie Albino.

Weekly Wrap Up 03.03.15 | 08:59AM EST

February 2015 K-Pop Releases You May Have Missed

February saw a lot of new K-pop releases, some of which are making charts in Korea but not getting a lot of love overseas. Here are some can't-miss songs from Naul, Kris Leone, Block B's Zico, Lee Jin Ah, and more.

Issues 03.02.15 | 02:16PM EST

Suicide Of Baby Kara's Sojin Fuels Critical Discussion Of K-Pop Idol Working Conditions

The K-pop trainee lifestyle and working conditions in the Korean music industry have come under fire once again after a high profile suicide involving Ahn Sojin, a member of Baby Kara.

KpopStarz Is Looking For Enthusiastic Entertainment Contributors Reach Millions On The Web.
Real Time Analytics