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

Irish Citizens Could Go to Prison for Just Shopping in Israel if This New Anti-Israel Law is Passed

Los Angeles Bans Travel to Alabama, Calling Pro-Life Law an "Act of Aggression"

FACT CHECK: Ilhan Omar Is Spreading a Big Lie About Recently Passed Pro-Life Heartbeat Bills

Put Down the Starbucks! This Coffee Co. Alternative Supports LIFE, and Also Helps Single Moms

Tearful Theresa May Resigns after Brexit Failure: "No Ill Will"

"Wall of Answered Prayer" to Make "Good News Contagious" in UK: Will Celebrate Christian Heritage and Inspire Nation to Pray

"Lost Tomb" of Famed Warrior King Robert the Bruce Interred in Ancient Scottish Church

HEALTH: Civil War Era Plant Medicines Blast Drug-Resistant Bacteria

President Trump and First Lady Visit Arlington Cemetery to Pay Their Respects to America's Fallen Soldiers

Local Business Keeps Flying Giant American Flag Despite $11k in Fines from North Carolina City Gov; and Their Petition is Growing

Navy's Famous Top Gun School 50th Anniversary: Founder Says God was His "Co-Pilot" While Creating Training Program; "I Prayed for the Gift of Discernment"

New York Times Reports "Religious Conservative" Wives are the Happiest: Social Media Completely Loses It

FBI Presents Award to Baptist Church for Fighting against Human Trafficking

Millennial Evangelicals More Likely To Attend Church Weekly Than Older Generations, Poll Finds

Catastrophic Tornado Devastates Capital of Missouri, Leaves at Least 3 Dead: More Tornadoes, Flooding Expected

5 Surprising, Diverse Public Figures Speak Out against the 'Equality Act': "We're Talking about Civil TYRANNY, Not Civil Rights"

"They're ridiculous": Rep. Jim Jordan Says Democrats Are Plotting a 'Coordinated Effort' to Try to Take Down President Trump

Americans "Outraged" That Taliban Sympathizer and Traitor John Walker Lindh to be Released Early From Prison

US Ambassador to Israel Compares President Trump and President Morales of Guatemala to "Joshua and Caleb"

"Deal of the Century" for Mid-East Peace to Be Unveiled in Bahrain