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

Louisiana House Passes Bill That Requires All Schools Receiving State Funds to Display the Ten Commandments Inside Classrooms

NPR Suspends Editor Who Blew Whistle on Left-Wing Takeover of Newsroom

Sri Lanka: Pro-Family Activists Successfully Derail Effort to Turn Country Pro-LGBT, But Now There's a New Fight in Parliament over Broad 'Gender' Bills

50,000 Join Polish March for Life in the Midst of Government Push to Overturn Abortion Ban

Hamas Remains Obstacle to Gaza Ceasefire, Israel Has Moved in a 'Significant Way,' US Says

Wow. Joe Biden Approved Iran's Assault on Israel 'Within Certain Limits'

'Unjust Scam': Trump Says He Will Likely Miss Son Barron's Graduation Due to 'Conflicted and Corrupt' Judge

Maine Governor Allows National Popular Vote Legislation to Become Law

Election Integrity: Trump, Mike Johnson Back Bill Assuring Only US Citizens Vote in Elections

Fox News Host Lawrence Jones Delivers Powerful Gospel Message: I'm 'Proud to Be a Believer'

California Mom Wants Child Castrated Without Father's Consent

Trans Higher Schooler Places Second in 200m Girls' Varsity Track in Oregon; Would Have Placed 61st among Male Athletes

Biden Admin Pressures Guatemala into Pulling Out of Pro-Life Declaration against 'Right' to Abortion

Prayer Paved the Way for Arizona's Pro-Life Win

Supreme Court Will Hear Arguments on Thursday That Could Overturn Convictions of Hundreds of J6 Protesters

'Hush Money' Criminal Case against Trump Is 'Bogus.' Legal Expert Explains Why

Surprise: John Fetterman Breaks With Biden's Approach to Iran Attacks

Israel's War Cabinet Weighs Counter-Strike for Iran Missile Attack as White House Pushes Diplomacy

American Evangelicals among 'the Last Ones Standing with Israel'

IDF Poised at Gaza Border, Braced for Iran Attack as US Warns Americans to Stay Near Israeli Cities