The Math Forum

Search All of the Math Forum:

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

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

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

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,495
Registered: 5/20/10
Re: A HARD FLAW in Godel's Proof
Posted: Nov 18, 2012 3:46 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Nov 18, 4:14 pm, George Greene <> wrote:
> On Nov 17, 10:10 pm, "INFINITY POWER" <> wrote:

> > STEP 1:  DEFINE a 2 parameter predicate DERIVE(THEOREM, DERIVATION)
> >   D contains a sequence of inference rules and substitutions
> >   and the final formula T in D is logically implied from the Axioms.

> This is NOT even what you MEANT to say.
> The WHOLE QUESTION is <<not>> whether T is or isn't logically implied by the
> axioms.
> That is HARD.  What is a SMALLER question and therefore
> EASY enough to make this doable

George I like your thinking here!

> is whether
> "the final formula T in D" is or isn't logically implied *BY*D*, by
> *THIS* derivation,
> by THIS sequence of inferences D.  Even IF THIS chain of reasoning D
> is WRONG, it could STILL be the case
> that T followed frOM THE AXIOMS, by A DIFFERENT sequence of inferences
> (different from D).
> Checking whether the final formula in the sequence is correctly
> is easy.  Checking whether there does or doesn't exist ANY old
> sequence-of-derived-inferences
> starting at some axioms and finishing with T is HARD, partly because
> the shortest such sequence might be
> MUCH MUCH longer than T.

DERIVES(T,<t1, t2, t3, t4,,,,T>)

is easy to program!
...As long as D is a given argument, for now.


- - - - - - - - - - - - - -
STEP 2: DEFINE a Godel Statement.
i.e. Godel Statement named G =
- - - - - - - - - - - - - -

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

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.