Free Republic
Browse · Search
Religion
Topics · Post Article

When Gödel died in 1978, he left behind a tantalizing theory based on principles of modal logic -- that a higher being must exist. 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.

That is where Christoph Benzmüller of Berlin's Free University and his colleague, Bruno Woltzenlogel Paleo of the Technical University in Vienna, come in. Using an ordinary MacBook computer, they have shown that Gödel's proof was correct -- at least on a mathematical level -- by way of higher modal logic. Their initial submission on the arXiv.org research article server is called "Formalization, Mechanization and Automation of Gödel's Proof of God's Existence."

1 posted on 10/24/2013 5:12:05 PM PDT by Alex Murphy
[ Post Reply | Private Reply | View Replies ]


To: Alex Murphy

Proof that God exists came 33 years ago.............

http://www.youtube.com/watch?v=PsDe-8cOSYY


2 posted on 10/24/2013 5:16:21 PM PDT by GrandJediMasterYoda (What do we want? Time travel. When do we want it? It's irrelevant.)
[ Post Reply | Private Reply | To 1 | View Replies ]

To: Alex Murphy

Kurt Gödel was The Man.


3 posted on 10/24/2013 5:17:54 PM PDT by Vince Ferrer
[ Post Reply | Private Reply | To 1 | View Replies ]

To: Alex Murphy

A mathematical expression sophisticated enough to be sentient.


4 posted on 10/24/2013 5:32:36 PM PDT by Excellence (All your database are belong to us.)
[ Post Reply | Private Reply | To 1 | View Replies ]

To: Alex Murphy

‘I refuse to prove that I exist,’ says God, ‘for proof denies faith, and without faith I am nothing.’

‘But,’ says Man, ‘This mathematics proves you exist, and so therefore, by your own arguments, you don’t. QED.’

‘Oh dear,’ says God, ‘I hadn’t thought of that,’ and promptly disappears in a puff of logic.

‘Oh, that was easy,’ says Man, and for an encore goes on to prove that black is white and gets himself killed on the next zebra crossing.


7 posted on 10/24/2013 5:40:09 PM PDT by null and void (I'm betting on an Obama Trifecta: A Nobel Peace Prize, an Impeachment, AND a War Crimes Trial...)
[ Post Reply | Private Reply | To 1 | View Replies ]

To: Alex Murphy

I take it that this is not a man Obama would hire for his website?


8 posted on 10/24/2013 5:40:13 PM PDT by Hardraade (http://junipersec.wordpress.com/2013/10/04/nicolae-hussein-obama/)
[ Post Reply | Private Reply | To 1 | View Replies ]

To: Alex Murphy
As someone once said of the ontological proof of God's existence, you can almost see the rabbit being put into the hat. I think Aquinas did a better job with his Five Ways.
12 posted on 10/24/2013 6:24:52 PM PDT by JoeFromSidney ( book, RESISTANCE TO TYRANNY, available from Amazon.)
[ Post Reply | Private Reply | To 1 | View Replies ]

To: Alex Murphy

What software did they use? java? C#? Mathematica? Is there a download I can try at home?


13 posted on 10/24/2013 6:35:12 PM PDT by posterchild
[ Post Reply | Private Reply | To 1 | View Replies ]

To: Alex Murphy

Philosophically such proofs cannot be real for a simple reason. Abstracts, such as mathematics, only describe reality; they do not define reality.

You may paint the prettiest, most accurate picture of an apple ever made, but it remains just a picture, not the apple itself.


15 posted on 10/24/2013 7:10:24 PM PDT by yefragetuwrabrumuy (Welfare is the new euphemism for Eugenics.)
[ Post Reply | Private Reply | To 1 | View Replies ]

To: Alex Murphy

God exists. Things do not just spontaneously create everything out of nothing, there are no self-creating effects, there is always a cause. Only God fits a self-creating cause. Information and codes prove an intelligence in DNA.

You either know He exists and know Him, you know He exists but don’t know Him, you just don’t know, you don’t care, or you know He exists but wish He didn’t exist.


17 posted on 10/24/2013 7:27:40 PM PDT by Secret Agent Man (Gone Galt; Not averse to Going Bronson.)
[ Post Reply | Private Reply | To 1 | View Replies ]

Free Republic
Browse · Search
Religion
Topics · Post Article


FreeRepublic, LLC, PO BOX 9771, FRESNO, CA 93794
FreeRepublic.com is powered by software copyright 2000-2008 John Robinson