Knight writes, "The details of the mathematics involved in Gödel's ontological proof are complicated, but in essence the Austrian was arguing that, by definition, God is that for which no greater can be conceived. And while God exists in the understanding of the concept, we could conceive of Him as greater if He existed in reality. Therefore, He must exist.

"Even at the time, the argument was not exactly a new one. For centuries, many have tried to use this kind of abstract reasoning to prove the possibility or necessity of the existence of God. But the mathematical model composed by Gödel proposed a proof of the idea. Its theorems and axioms—assumptions which cannot be proven—can be expressed as mathematical equations. And that means they can be proven."

The two computer scientists are Christoph Benzmuller and Bruno Wolzenlogel Paleo.

Kurt Gödel was an Austrian-American mathematician, philosopher, and logician. He was born in 1906 in the Czech Republic. He died in Princeton, New Jersey in 1978, having befriended Albert Einstein and other notable scientists. After teaching at Princeton, Gödel was institutionalized, thinking his food was poisoned. Gödel is best known for his work in recursive axiomatic systems and incompleteness. From these systems scientist derived Gödel numbering. Additionally, Gödel was a Believer in God and sought various proofs for God's existence, one of which is the theorem the German scientists have recently verified... (Photo via ANS)

To receive daily emails from Breaking Christian News to your inbox CLICK HERE

Artemis II Mission Pilot: 'We Need Jesus; Whether Here on Earth or Orbiting the Moon'

Democrat Lawmaker Steps Down, Says Faith No Longer Aligns with Left's Agenda

Trump Administration Charges 9 in Massive Massachusetts Fraud Scheme

ICE Finally Detains Notorious Hamas Fundraiser Salah Sarsour; Decades of Terror Ties Exposed as AMP Leader Faces Deportation

Johnson, Thune Hatch Plan to Fund DHS and Launch a Second Reconciliation Push to End the Dem's Shutdown

Pentagon Briefed Trump on Plan to Seize Uranium from Hands of Iranian Terrorist Regime

President Trump Reassures Americans: Iran Operation Won't Be a Forever War

Pam Bondi OUT as Attorney General

Countdown for Historic Space Mission Artemis II Begins

Federal Judge Orders Trump Administration to Halt Construction on Privately Funded White House Ballroom; Trump Responds

Trump Rolls Out a Plan to Back Farmers amid Rising Costs, Pledging 'Golden Age'

Trump's Election Executive Order is Causing a Meltdown among Liberals

Another Illegal Alien Charged With Murder in Democrat Run Fairfax County, Virginia

US Forces Reach 12,000 Combat Flights, Debunk Fake News About Iran Operation

President Trump Addresses Nation Tonight, Signals End in Sight for Iran Conflict

Supreme Court Hears Arguments on Birthright Citizenship, as the CCP Exploits It to Sway US Elections

ICYMI: Iranian People March in DC in Support of Op Epic Fury and Trump; 'We Will Reclaim Our Country'

Trump's FDA Indicates Move Away from Testing on Dogs, Bunnies, Chimpanzees

Chicago Bulls Dump Player after His Criticism of Pride Month

Finally Confirmed: Michigan Synagogue Car Ramming Was 'Hezbollah-Inspired' Terror Attack