According to Der Spiegel, Gödel, who died in 1978 and reportedly enjoys a reputation among today's scientists as an "Einstein" in his own right, "left behind a tantalizing theory based on principles of modal logic that a higher being must exist."

In other words, Gödel believed God's existence could be proved mathematically.

Enter Benzmüller and Woltzenlogel, quoted as saying they used computers to formalize the complicated theorem. "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."

To receive daily emails from Breaking Christian News to your inbox CLICK HERE

Devout Jew Decides to Disprove Scripture by Reading the Bible; Is 'Blown Away' by What He Finds

South Dakota Passes Prenatal Development Education Bill

How Is a Free Cuba in the National Interest of the United States?

Trump Forges Alliance With Conservative Latin American Leaders at the 'Shield of the Americas' Summit

[Video] Trump Has Highest Own-Party Approval of Any 21st Century President, CNN Survey Shows

Noem Saga Grows More Bizarre as IG Accuses DHS of Blocking Investigations, Including One Involving Butler

Trump Says Only Iran Deal He Will Accept Is 'Unconditional Surrender'

'Don't Mess With Texas': 'Overwhelming' Push Back on Sharia Law in the Lone Star State

Update on Savannah Guthrie's Plans, Investigation into Nancy's Disappearance: She 'May Already Be Gone'

Austin's Liberal DA Makes Major Call About Officers Who Shot Suspected Terrorist that Killed 3, Injured Over a Dozen

Media Ignore Arrest of 14-Year Illegal Alien with 30 Arrests in Case of Virginia Bus Stop Stabbing Murder

Poll: 57 Percent of Americans Want All Illegal Migrants Sent Home

US Supreme Court Hands Unanimous Victory to Trump Administration on Asylum Cases

Pentagon Releases Identities of 6 US Soldiers Killed in Kuwait: 'They Laid Down Their Lives'

Hegseth: Iran Regime Is 'Toast' as Israel, US Broaden Strikes

Senator Fetterman Joins GOP to Block Iran War Powers Effort

President Trump Replaces Kristi Noem at DHS with Senator Markwayne Mullin

[Watch] After Fleeing the Regime Decades Ago, She Fights for a Free Iran and Exposes 'Islamic Radicalism'

'Madam President' Melania Trump Becomes First World Leader's Spouse to Chair UN Security Council

Former Indiana Music Teacher Wins Settlement after Being Forced to Resign for Not Using Trans Pronouns