Go Back   The Landover Baptist Church Forum > Church Forums > Creation Science
Reload this Page Formalization, Mechanization and Automation of Godelís Proof of Godís Existence
Creation Science The origins of life and the earth from a creationist (Biblical) perspective.

Reply
 
Thread Tools Display Modes
(#1)
Old
Pastor J.C. Manning, M.D., Ph.D.'s Avatar
Pastor J.C. Manning, M.D., Ph.D. Pastor J.C. Manning, M.D., Ph.D. is offline
Pastor, Physician, Scholar and Financial Genius
Ask me about my unlimited-income opportunities! Invest with the Best!
True Christianô

Friend of Jesus Protected by JESUS Flat Earth True Christianô Heaven Bound Christian Love Real Americanô The Lordís Witness Wound TC Bravery Ex-Masturbator Super Soaker Baptism Award Ready for the Rapture Tell her once The Al E. Pistle Award for Excellence in Rebuking True Scientistô Teabag Patriot Tithing Manager 1st Year Bible College 2nd Year Bible College 3rd Year Bible College 4th Year Bible College Pastor of GOD Hands Off Christian Love True Christian Caucasian Persecuted Porn Resistant Trump of GOD BFF of Jesus Prayer Warrior Punched the most queers Crown of Glory 

 
Posts: 252
Join Date: Aug 2010
Location: Freehold, Iowa
Pastor J.C. Manning, M.D., Ph.D. has discarded the shackles of sin and is ready to participate in the Glorious RapturePastor J.C. Manning, M.D., Ph.D. has discarded the shackles of sin and is ready to participate in the Glorious RapturePastor J.C. Manning, M.D., Ph.D. has discarded the shackles of sin and is ready to participate in the Glorious RapturePastor J.C. Manning, M.D., Ph.D. has discarded the shackles of sin and is ready to participate in the Glorious RapturePastor J.C. Manning, M.D., Ph.D. has discarded the shackles of sin and is ready to participate in the Glorious RapturePastor J.C. Manning, M.D., Ph.D. has discarded the shackles of sin and is ready to participate in the Glorious RapturePastor J.C. Manning, M.D., Ph.D. has discarded the shackles of sin and is ready to participate in the Glorious RapturePastor J.C. Manning, M.D., Ph.D. has discarded the shackles of sin and is ready to participate in the Glorious RapturePastor J.C. Manning, M.D., Ph.D. has discarded the shackles of sin and is ready to participate in the Glorious RapturePastor J.C. Manning, M.D., Ph.D. has discarded the shackles of sin and is ready to participate in the Glorious RapturePastor J.C. Manning, M.D., Ph.D. has discarded the shackles of sin and is ready to participate in the Glorious Rapture
Default Formalization, Mechanization and Automation of GŲdel's Proof of God's Existence - 09-07-2013, 01:29 PM

Dear Friends,

For those in the world who mistakenly assume that science contradicts the existence of God, I present to you this scientifically 100% solid and indisputable proof that God's really exists.

I am aware there are a lot of Christians in the world who already figured this out, simply by reading the Holy Bible, but my hope is that this solid scientific proof will help those who so far have refused to take God's word seriously.

Yours in Christ,

Pastor J.C. Manning, M.D., Ph.D.

Summary: Goedel's ontological proof has been analysed for the first-time with an unprecedent degree of detail and formality with the help of higher-order theorem provers. The following has been done (and in this order): A detailed natural deduction proof. A formalization of the axioms, definitions and theorems in the TPTP THF syntax. Automatic verification of the consistency of the axioms and definitions with Nitpick. Automatic demonstration of the theorems with the provers LEO-II and Satallax. A step-by-step formalization using the Coq proof assistant. A formalization using the Isabelle proof assistant, where the theorems (and some additional lemmata) have been automated with Sledgehammer and Metis.

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Logic (math.LO)
MSC classes: 03Axx, 68T27, 68T30, 68T15
ACM classes: F.4.1; I.2.3; I.2.4
Cite as: arXiv:1308.4526 [cs.LO]





How to Study the Bible - About HELL! - The Miracles of Jesus - Biblical Facts - Scientific PROOF

THE BIBLE SAYS THERE IS ONLY ONE WAY TO HEAVEN!
Jesus said: "I am the way, the truth, and the life: no man cometh unto the Father, but by me." John 14:6

ONLY JESUS CAN SAVE YOU!

"That if thou shalt confess with thy mouth the Lord Jesus,
and shalt believe in thine heart that God hath raised him
from the dead, thou shalt be saved." Romans 10:9


1. Admit you are a worthless sinner. Romans 3:10
2. Be willing to turn from sin (repent). Acts 17:30
3. Believe that Jesus Christ died for you, was buried and
rose from the dead. Romans 10:9-10
4. Through prayer, invite Jesus into your life to become
your personal Savior, Boss, King and Lord. Romans 10:13
What to Pray:

Lord Jesus, I know that I have sinned against you.
I know that I am not perfect and that I can never
please you through my own efforts. I know that I
deserve to be judged according to my sins. And, I
know that I have absolutely nothing to offer you.

Lord Jesus, I ask you to forgive me. I do not rely
on myself but only on you and I receive you as
Lord of my life and as savior of my soul.
Lord Jesus, please save me!

Accepted Jesus as your Savior?
Now you need to:


1. Study your KJV Bible every day
to get to know Christ better.
2. Talk to God in prayer every day.
3. Be baptized, worship, fellowship,
and serve with other Christians
in a church where Christ is preached,
and the Bible is the final authority.
4. Tell others about Jesus Christ
until the day Jesus finally kills you.
Reply With Quote
(#2)
Old
Pastor Ed Lowman's Avatar
Pastor Ed Lowman Pastor Ed Lowman is offline
Southern Hospitality Exemplified
Always kind and loving
True Christianô

True Christianô Protected by JESUS 1st Year Bible College 2nd Year Bible College 3rd Year Bible College 4th Year Bible College Pastor of GOD Tithing Manager Pro-Life Porn Resistant Persecuted Friend of Jesus Teabag Patriot True Christian Caucasian Ready for the Rapture Christian Love Heaven Bound Super Soaker Baptism Award Real Americanô Flat Earth Tell her once Punched the most queers True Republican Sons of Liberty Batman Shooting Survivor Loves a GODLY Chic-Fil-A Flat Earth Guns, Guts and GLORY! Proud Niglet Sponsorer Kirk Cameron Fan Club Prayer Warrior Paula Deen Negro Support Group 

 
Posts: 1,823
Join Date: Sep 2011
Location: mostly at the Cracker Barrel
Pastor Ed Lowman will sit at the right hand of Jesus Himself come the Glory!Pastor Ed Lowman will sit at the right hand of Jesus Himself come the Glory!Pastor Ed Lowman will sit at the right hand of Jesus Himself come the Glory!Pastor Ed Lowman will sit at the right hand of Jesus Himself come the Glory!Pastor Ed Lowman will sit at the right hand of Jesus Himself come the Glory!Pastor Ed Lowman will sit at the right hand of Jesus Himself come the Glory!Pastor Ed Lowman will sit at the right hand of Jesus Himself come the Glory!Pastor Ed Lowman will sit at the right hand of Jesus Himself come the Glory!Pastor Ed Lowman will sit at the right hand of Jesus Himself come the Glory!Pastor Ed Lowman will sit at the right hand of Jesus Himself come the Glory!Pastor Ed Lowman will sit at the right hand of Jesus Himself come the Glory!
Default Re: Formalization, Mechanization and Automation of Godelís Proof of Godís Existence - 09-08-2013, 08:17 AM

Amazing. The faihtful keep finding proofs for God everywhere. This is more detailed than the stripped down Anselm-ized Ontological Argument taught to our Bible class...

* Every precisely stated proposition is either true or false.
* Any premise that implies or creates a contradiction is itself false and the reserve true (EX: All cats are black - All cats are NOT black).

With that in mind...

Premise 1 - If God exists in reality, then He is greater than a god in concept (because He is more powerful and can do more things than one that doesn't exist).
Premise 2 - If God exists in concept only, then it is the case that a concept must be stronger than the real God (since he does not exist).
Premise 3 - But it is the case that God in reality MUST logically be stronger than a god of imagination.

~ Therefore, if only to avoid self-contradiction, God must exist in reality!

AMEN!!!



Reply With Quote
(#3)
Old
Dr. Anthony J. Toole's Avatar
Dr. Anthony J. Toole Dr. Anthony J. Toole is offline
Forum Member
Forum Member

Heaven Bound Ready for the Rapture Real Americanô Friend of Jesus Flat Earth Pro-Life Donald Trump 2016! Mission to Messico Touched by Jesus Christian Love Protected by JESUS Teabag Patriot Alternative Facts 

 
Posts: 580
Join Date: Aug 2013
Location: France-istan
Dr. Anthony J. Toole will sit at the right hand of Jesus Himself come the Glory!Dr. Anthony J. Toole will sit at the right hand of Jesus Himself come the Glory!Dr. Anthony J. Toole will sit at the right hand of Jesus Himself come the Glory!Dr. Anthony J. Toole will sit at the right hand of Jesus Himself come the Glory!Dr. Anthony J. Toole will sit at the right hand of Jesus Himself come the Glory!Dr. Anthony J. Toole will sit at the right hand of Jesus Himself come the Glory!Dr. Anthony J. Toole will sit at the right hand of Jesus Himself come the Glory!Dr. Anthony J. Toole will sit at the right hand of Jesus Himself come the Glory!Dr. Anthony J. Toole will sit at the right hand of Jesus Himself come the Glory!Dr. Anthony J. Toole will sit at the right hand of Jesus Himself come the Glory!Dr. Anthony J. Toole will sit at the right hand of Jesus Himself come the Glory!
Default Re: Formalization, Mechanization and Automation of Godelís Proof of Godís Existence - 09-20-2013, 04:28 PM

I am reminded of Ecclesiastes 1:9 - there is no new thing under the Sun.

Wasn't it Descartes in the 16th Century who proved to the monkey-worshippers that God exists by virtue of having every property (including that of existence)? The only astonishing thing about this latest math proof is that it shows the deniers are still looking for a way out. Well there isn't. Check mate, atheists.
Reply With Quote
Reply

Bookmarks

Thread Tools
Display Modes

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off

Find Additional Forums Here



Powered by Jesus - vBulletin® Version 3.8.9
Copyright ©2000 - 2017, Jelsoft Enterprises Ltd.
vBulletin Skin developed by: vBStyles.com
Content Landover Baptist Forums © 1620, 2016 all rights reserved