Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math

Topic: A HARD FLAW in Godel's Proof
Replies: 7   Last Post: Dec 8, 2012 2:27 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Graham Cooper

Posts: 4,348
Registered: 5/20/10
Re: A HARD FLAW in Godel's Proof
Posted: Nov 17, 2012 11:55 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Nov 18, 1:10 pm, "INFINITY POWER" <infin...@limited.com> wrote:
> THINKING CAPS ON!
> ARGUE LOGICALLY!
> ASSUME ANYTHING!
> ROLLBACK ASSUMPTIONS LATER ON <<!
>
> STEP 1:  DEFINE a 2 parameter predicate DERIVE(THEOREM, DERIVATION)
>
> DERIVE(T,D) is TRUE IFF
>   D contains a sequence of inference rules and substitutions
>   and the final formula T in D is logically implied from the Axioms.
>
> - - - - - - - - - - - - - -
>
> STEP 2:  DEFINE a Godel Statement.
>
> i.e.  Godel Statement named G =
>     ALL(M)  ~DERIVE(G,M)
>
> - - - - - - - - - - - - - -
>
> STEP 3:  IS G A THEOREM?
>
> ASSUME: YES G IS A THEOREM
>     DERIVE(   G:ALL(M)~DERIVE(G,M)  , D )
>
> - - - - - - - - - - - - - -
>
> STEP 4:  UNIFY THE QUERY TO THE AXIOMS TO GET THE ANSWER
>
>   GOAL :       DERIVE(  G:ALL(M)~DERIVE(G,M)   , D )
>   SUBGOAL :    G:ALL(M)~DERIVE(G,M)
>
>   (SUBGOALs are a Derivation Process that calculate reverse D in the trace)
>
> - - - - - - - - - - - - - - -
>
> STEP 5:  REMOVE THE QUANTIFIER
>
>   G:~EXIST(M)DERIVE(G,M)
>   G: ~DERIVE(G,M)
>
> M is a variable and Existential by Double Variable Instantiation Rule of
> UNIFY().
>
> - - - - - - - - - - - - - - -
>


INSERT A STEP:

STEP 6a

G: ~DERIVE(G, [G | M] )

G is the HEAD of M by definition. (either 1st or last element)
M are the REMAINING TAIL of deductions back to the axioms.

[G <- <M>]
[G <- N <- <O>]
...
[G <- N <- P <- ... <- AXIOMS ]

Now M is strictly FREE as it doesn't contain G as an element in it's
deduction list.

and 6a reduces to 6 below.




>
> STEP 6:  M IS A FREE VARIABLE
>
>   G: ~DERIVE(G,M)
>
> is a null statement that will return
>
> SUBGOAL:  M?
>
> i.e. When parsed by a clever logic compiler, Godel's Statement will return a
> Query in response
>
> [PROVER]- "Why is sentence G not derivable?"
>
> Herc
>
> --
> if( if(t(S),f(R)) , if(t(R),f(S)) ).
>     if it's sunny then it's not raining
> ergo
>        if it's raining then it's not sunny






Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.