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

'Duck Dynasty' and the Robertson Family Are Coming Back to A&E; Here's What We Know

Hamas to Release Second Group of Hostages: 'Shiri Bibas and Her Little Children Were Kidnapped ALIVE. They Had Better Come Back Alive'

Robert Kennedy Jr. Praises President Trump's Order to Declassify RFK, JFK, and MLK Assassination Records (VIDEO)

BIG WIN: Trump to Halt Gain-of-Function Viral Research Via Executive Order, Per Report

President Trump's Education Department Details How It's Tackled Eliminating DEI From the Agency

Rubio Ends Transgender, Nonbinary Passports

'Strong and Clear Message': Illegal Aliens' Deportation Flights Begin

Trump Visiting Battered North Carolina Towns Still Suffering Months after Helene: 'They Need a Rebuilder-in-Chief'

'They Should Not Have Been Prosecuted': Trump Pardons Pro-Lifers Convicted Under FACE Act

A Renewed Fight for the Unborn: Thousands Rally in DC for 52nd March for Life [Video]

Trump's Executive Orders Pave the Way for the Church to 'Live Out Its Role': Experts

J6 Political Prisoners Released: Jake Lang Free from Prison after 4 Years and 5 Days in the 'DC Gulag' [Video]

'A Very Nice Letter': President Trump Reveals the Contents of Biden's Outgoing Letter to Him, Left in the Resolute Desk

Automaker to Reopen Illinois Jeep Plant, Produce Dodge Durango in Detroit after Meeting with Trump

Davos 2025: Javier Milei Slams 'Murderous Abortion Agenda,' Calls Gender Activists 'Pedophiles' [Video]

[Watch] President Trump Addresses Davos WEF Remotely

World Economic Forum: Davos Attendee Admits 'Trump Won' and Globalists Lost

Here Are Some of the Monsters Arrested by ICE Since Trump's Inauguration

CA Town Pushes Back against Newsom; City Council Votes Unanimously to Become a 'Non-Sanctuary City'

Rare Winter Storm Spreads Snow across the Deep South