Free Republic
Browse · Search
Religion
Topics · Post Article

Skip to comments.

A Mathematical Proof for the Existence of the One God
Vivificat - From Contemplation to Action ^ | 5 May 2015 | ن Teófilo de Jesús ن (@vivificat)

Posted on 05/05/2015 10:17:51 AM PDT by Teófilo



Brothers and Sisters: Peace be with you.

Frequently, Internet atheistic aces challenge me to provide evidence and/or proof for the existence of God. Almost all the time the proof they demand is, on its face, absurd because it is empirical in way or the other and God, if they only knew what the word "God" is, lies beyond any empirical proof. No matter, they keep insisting and the silence of the impossible experiment is proof enough for them.

This post is not address to those narrow, sterile minds because they've closed themselves within and become impermeable to any argument. Their minds already closed to reason present an insurmountable obstacle to sober argument. The only thing left to do for them is to pray.

Instead, this proof, proposed  by the mathematician Kurt Gödel (1906–1978), is a mathematical expression of the ontological proof proposed by St. Anselm of Canterbury (1033–1109) and should appeal to the open-minded and logic-bound. Now, St. Anselm's argument goes like this:
God, by definition, is that for which no greater can be conceived. God exists in the understanding. If God exists in the understanding, we could imagine Him to be greater by existing in reality. Therefore, God must exist.
It is an argument that really bothers people and has been persistently attacked ever since, yet it keeps surfacing.

The Proof

Gödel utilized modal logic and distinguished between necessary truths and contingent truths.It goes like this:
Axiom 4 assumes that it is possible to single out positive properties from among all properties. Gödel comments that "Positive means positive in the moral aesthetic sense (independently of the accidental structure of the world)... It may also mean pure attribution as opposed to privation (or containing privation)." (Gödel 1995). Axioms 1, 2 and 3 can be summarized by saying that positive properties form a principal ultrafilter.
From these axioms and definitions and a few other axioms from modal logic, the following theorems can be proved:
Symbolically, it looks like this:



Now, in English

This is my blurb understanding of this proof in English:
If you understood what is meant by "God" you will instantly understand that he cannot not exist; God; objective, concrete existence is a mandatory predicate of the being "God".

Limitations

We need to be careful and hones regarding what this proof does and does not do. It would be intellectually dishonest to ascribe to Gödel's proof claims it doesn't make.
1. It does not prove the Triune nature of God as we Christians see Him;

2. It does not prove a Theistic (i.e. Christian, Jewish, or Islamic conceptions of God) conception of God; "God" can still be conceived in Deistic terms;

3. It makes no moral claims; it attaches no specific ethic or moral demands from God toward rational creatures.

4. It doesn't do away with panentheism ("'God' is in everything, but not everything is 'God'" type of belief)

5. It doesn't establish that the one God created the universe out of nothing.
What it does

What does Gödel's proof actually accomplishes?
1. It does away with theoretical atheism - the one embraced and screamed by today's "New Atheists"Atheist is proved to be an abstraction and not an accurate description of objective reality; the affirmation "There is No God" becomes meaningless in the real world, but perhaps meaningful in fictitious or imaginary worlds, confined there along with unicorns and the Flying Spaghetti Monster..

2. It rules out polytheism - belief in many gods.

3. It rules out  pantheism.
In the end...

Look, for reasons I explained above, Gödel's elaboration of St. Anselm's ontological proof will mollify Internet atheists. They will keep living as if God didn't exist, as dwarf versions of Nietzsche's supermen. They will live thus because that's what how they wish to live and admitting the existence of God would be inconvenient. They will go on demanding their empirical evidence without even bothering to understand why, when it comes to God, such evidence can't be had.

Of course, if they would bring themselves to understand what "God" is in the hierarchy of beings, they would understand why, and they would stumble open St. Anselm's and Gödel's proof and start the circle of affirmation and denial again, without bothering to think.

Now for us Christians, Gödel and St. Anselm created a threshold or vestibule to a temple inside which, in its sanctuary, we may find the one God and, in its Holy of Holies, we find God revealed in Jesus Christ.

The Holy of Holies is open for all of us. We must decide if we walk from the lobby into the sanctuary and then, into the Holy of Holies to meet Him in Person. He calls us to Himself, in fact. Will we heed His voice?

Future considerations

I think it might be possible to use this proof as a starting point for expressing St. Thomas Aquinas Five Arguments for the Existence of God, utilizing modal logic . However, that's beyond my capabilities for the moment. Perhaps some of you could do it? 

Source of Gödel's proof: Wikipedia.


TOPICS: Catholic; Skeptics/Seekers; Theology
KEYWORDS:
Navigation: use the links below to view more comments.
first previous 1-2021-4041-48 last
To: Gideon7
His conception cannot be labeled or captured in any finite set of symbols that fully describes Him.

 photo Prince_logo.svg_zpsagzgtz3v.png

The "Artist formerly known as Prince"

All kidding aside.

I actually understood some of what you posted.

If I may.

The fact that we "know" there are things we can't "Know" given the limitations of our "logical systems" AND what we do "Know" is wholly incomplete. Therefore, we can't use "Logic" as we know it, to explain everything.

41 posted on 05/05/2015 5:12:49 PM PDT by Zeneta (Thoughts in time and out of season.)
[ Post Reply | Private Reply | To 39 | View Replies]

To: ETL


"Well, the math certainly appears to be in order. "

--------------------------------------------------------------

Yes it does (and I double-checked it on my calculator before the battery went dead).


42 posted on 05/05/2015 5:18:33 PM PDT by Heart-Rest ("Woe to those who call evil good and good evil!" Isaiah 5:20)
[ Post Reply | Private Reply | To 7 | View Replies]

To: Zeneta

“The fact that we “know” there are things we can’t “Know” given the limitations of our “logical systems” AND what we do “Know” is wholly incomplete. Therefore, we can’t use “Logic” as we know it, to explain everything.”

Yes, and there are some mathematical proofs that prove that we will never be able to prove a specific conjecture.

So, coupled with Godels general incompleteness theorem. We have theorems which can be proved, theorems which can’t be proved, theorems that prove some theorems cant be proved, so are there theorems that prove that there are not theorems to prove some theorems, etc. etc......


43 posted on 05/05/2015 6:16:33 PM PDT by ForYourChildren (Christian Education [ RomanRoadsMedia.com - a Classical Christian Approach to Homeschool ])
[ Post Reply | Private Reply | To 41 | View Replies]

To: Zeneta
Thanks - you might also like Tim Keller
(Note: These are sermons based on his book - this is not the actual book, which I highly recommend)


The Reason for God MP3s by Tim Keller

Direct links to the audio files are below, or use the RSS Feed here.

44 posted on 05/05/2015 6:37:55 PM PDT by Heartlander (Prediction: Increasingly, logic will be seen as a covert form of theism. - Denyse OÂ’Leary)
[ Post Reply | Private Reply | To 33 | View Replies]

To: ForYourChildren

Yes, and there are some mathematical proofs that prove that we will never be able to prove a specific conjecture.


Incompleteness to say the least.

Yet, the default position among the secularist’s is to say, “just because we don’t know NOW, doesn’t mean we won’t ever know”. “That is science, after all”.

In the meantime, just accept what we do know even though it may be revised as we go along. No reason to fall into some “Faith system”.

Nevermind that in order to satisfy the real challenges they face, they have invoked any number of “theories” that are unprovable. Multi-worlds, Multi-Verse and any number of “alternate Reality” scenarios.

Why is it called “DARK MATTER”? or “DARK ENERGY”?

Because they have absolutely no CLUE.


45 posted on 05/05/2015 6:40:28 PM PDT by Zeneta (Thoughts in time and out of season.)
[ Post Reply | Private Reply | To 43 | View Replies]

To: Teófilo
If God exists in the understanding, we could imagine Him to be greater by existing in reality.

...Therefore He also exists in reality. Therefore He exists in the full sense. Good article. I'll index it on my profile for future reference. Thank you.

46 posted on 05/05/2015 8:44:56 PM PDT by annalex (fear them not)
[ Post Reply | Private Reply | To 1 | View Replies]

To: Zeneta
Is math abstract?

Yes.

Numbers and equations are universal concepts (Universals) that only exist in minds, except for one[ness], or unity, which is an essential characteristic of each and every individual thing.

We know that number does not inhere in individual things, because the same object can be considered to be 1 of 5 or 2 or 12, etc.

The (universal) concepts themselves (like "5") are not observable or measurable.

These universal concepts have been found to conform to external realities, and are believed by most people to be true regardless of time or place.

Since concepts exist in minds, eternal, universal concepts would have to be grounded in an eternal Mind.

47 posted on 05/06/2015 6:57:24 AM PDT by St_Thomas_Aquinas ( Isaiah 22:22, Matthew 16:19, Revelation 3:7)
[ Post Reply | Private Reply | To 38 | View Replies]

To: bjorn14

Clearly, we’re not talking about the certainty that comes from faith as infused by the Holy Spirit. That involves another set of distinct operations and consequences.

This is an exercise on how the natural mind, without the assistance of faith, can reason out the existence of God.

~Theo


48 posted on 05/06/2015 9:01:23 AM PDT by Teófilo (Visit Vivificat! - http://www.vivificat.org - A Catholic Blog of News, Commentary and Opinion)
[ Post Reply | Private Reply | To 30 | View Replies]


Navigation: use the links below to view more comments.
first previous 1-2021-4041-48 last

Disclaimer: Opinions posted on Free Republic are those of the individual posters and do not necessarily represent the opinion of Free Republic or its management. All materials posted herein are protected by copyright law and the exemption for fair use of copyrighted works.

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