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

Trump Grants Federal Workers Two Additional Christmas Holidays

America Fest 2025: Erika Kirk Endorses 'My Husband's Friend' JD Vance for President

Brent Bozell Confirmed as US Ambassador to South Africa

Jury Quickly Convicts Judge Who Helped Illegal Migrant Escape ICE

Feds Estimate Somali-Linked Fraud in Walz's Minnesota Could Top $9 Billion

Trump SUSPENDS 'Green Card Lottery' after Program Let Brown University–MIT Shooting Suspect Enter the US

Brown, MIT Shooter Found Dead for Days in NH Storage Unit; Motive Still a Mystery

House Passes Bill to Criminalize Transgender Mutilation of Children

November Inflation Falls to 2.7%, Lower than Expected: 'This Is Good News for Wall Street; It’s Good News for Main Street'

MOVIEGUIDE's Review of the New Animated Film: DAVID

Massachusetts Drops Controversial Gender Ideology Mandate for Licensing Foster Care Parents

Nearly 40% of Women Suffer Severe Grief for Years after Abortion, Miscarriage: Study

Former Pfizer Vice President: COVID Shots Were 'Designed to Cause Injury,' Reduce Fertility

Dutch Sheets Shares a Warning from the US National Counterterrorism Center

Venezuela: Trump's Pressure Campaign and Maduro's Fury

President Trump Charts Accomplishments and Previews Future Policies during His Primetime Address

Secretary Hegseth and Franklin Graham Preach Gospel at Pentagon Christmas Service: 'Jesus Took Our Shame'

'Unsafe, Needless, Irreversible': HHS Sec. Kennedy Takes Sweeping Action to Reverse Biden-Era Policies on So-Called 'Gender Affirming Care'

Hobby Lobby Giving Away Half a Million Copies of Book Defending Biblical Christmas Story [Video]

Geothermal Blind Power Site Discovered in Nevada