• Filter
  • Time
  • Show
Clear All
new posts

  • Formalization, Mechanization and Automation of Godel’s Proof of God’s Existence

    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

    Jesus said: "I am the way, the truth, and the life: no man cometh unto the Father, but by me." John 14:6


    "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.

  • #2
    Re: Formalization, Mechanization and Automation of Godel’s Proof of God’s Existence

    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!



    • #3
      Re: Formalization, Mechanization and Automation of Godel’s Proof of God’s Existence

      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.
      If I have seen further, it is by standing on the heads of others.