Re: Applying Godel


I'm not quite sure what you mean by "apply" here. But given a
specification of a theory T of the right kind, the usual proofs of
Gödel's theorems in effect give instructions for producing Gödel
sentences that are undecided by T but true

ok..but when you follow those instructions ...what does a Godel
sentence actually look like...can you give me a specific example of 1
Godel sentence for 1 particular theory T, (say PA.)

and if that theory were to include G as a new axiom, to give T', how
does G' for T' differ from G for T.

could you write these two G's down side by side so I can get a look at
them.






.

Relevant Pages

  • Re: Cool from the sett
    ... full instructions for producing a particular fabric -- weight, drape, ...
    (alt.usage.english)
  • Training Pictures
    ... Access 2000 icons/pictures to list step by step ... instructions for a training manual I'm producing. ... pasting each step. ...
    (microsoft.public.word.drawing.graphics)
  • Re: Applying Godel
    ... Gödel's theorems in effect give instructions for producing Gödel ... -does G' for T' differ from G for T. ... Adding it as an axiom does nothing. ...
    (sci.logic)
  • Re: HORR - 10 sinkings in top 50
    ... All these Regatta and Head Secretaries, producing all these ... instructions, are sustained by the faith that somebody reads them ... Can you see the halo shining? ...
    (rec.sport.rowing)
  • Help Clarify Godel sentence
    ... Godel gives a recipe for constructing the Godel sentence: ... but..when you DO follow those instructions ...what then does the Godel ... Godel sentence for 1 particular theory T, ...
    (sci.logic)