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

Supreme Court Refuses to Block Texas Heartbeat Ban but Sets November 1 for Oral Arguments

'We Are Giving Forgiveness': Abducted Missionaries' Families Offer Radical Grace to Militant Captors Amid Deadly Uncertainty

Ron DeSantis Plans $5K Bonus for Unvaccinated Police to Relocate to Florida

Biden State Dept. Increases Number of Americans Left Behind in Afghanistan

Sudan's PM Held In Apparent Coup; General Declares Emergency

'The School has Just Been Happy': Concerned Fathers Form 'Dads on Duty' to Reduce Violence in LA High School

Alec Baldwin Speaks Out Following Fatal 'Prop Gun' Accident: 'My Heart Is Broken'

'God is Helping Us': $2.5M Raised to Build 'Eternal Wall of Answered Prayer' in UK

Rare Biblical 'Balm Of Gilead' Engraving Found On 2,000-Year-Old Seal In Jerusalem

CA to Ban New Gas-Powered Small Engines by 2024 in a Big Blow to Landscaping Businesses

Trump Launches New 'TRUTH Social' Platform to 'Stand up to the Tyranny of Big Tech'

Israel, UAE Planning to Land on the Moon Together; More Fruit from the Abraham Accords

'I Am a Living Example': Radio Host Dennis Prager Contracted COVID to Build Natural Immunity; Treated with HCQ, Ivermectin

In-N-Out Burger Won't Ask Customers for Jab Status: 'We Refuse to Become the Vaccination Police'

Condoleezza Rice Denounces Critical Race Theory; Says Parents Need a Say in Their Children's Education

Panama Caught 52 Al Qaeda Suspects Headed to USA as All-Time High of 1.7M People Flooded US Border

'Miraculous': They'd Planned His Funeral. Then He Woke Up from a COVID Coma

Groundbreaking: Nebraska AG Says Doctors Can Legally Prescribe Ivermectin, HCQ for COVID, Calls Out FDA, Fauci, Media for 'Fueling Confusion and Misinformation'

New York Judge Denies Visitation Rights to 3-Yr-Old's Father Based on 'Dangers' of Being Unvaxxed

Texas Passes Bill Protecting Fairness in Girls' Sports: 'A Women's Rights Issue'