Re: Goedel's undecidable G

Peter_Smith wrote:
>
> The Godel sentence is formed (in one version) by substituting into a
> certain open wff U(x) the standard numeral for the Godel number of that
> open wff.
>
> So even if we could fairly readily write down U(x) over a few dozen
> pages, its Godel number at least on Godel's own scheme will be
> horrendous (vastly more than the number of particles in the known
> universe),

Thanks. That was my worry, though I had not realized it was quite
_that_ bad.

> so writing down Godel sentence which embeds the standard
> numeral SSS...S0 with that number of occurrences of the successor
> function will be .... erm ...difficult!
>
> Which just dramatically makes the point that the size of "the" Godel
> sentence here is evidently entirely dependent on the scheme of
> Godel-coding that we use.

--
I don't know who you are Sir, or where you come from,
but you've done me a power of good.
.

Relevant Pages

  • Re: Godel up the junction
    ... The Godel sentence is not a mathematical statement. ... standard mathematical GRAMMAR as the Godel proof, ... that object is not found in mathematics: ...
    (sci.logic)
  • Re: Goedel - interesting problem?
    ... A Godel statement for a theory T may or may not be true. ... are models of T (or of the axioms specifying T) ... we may or may not know that a true Godel sentence is true. ...
    (sci.logic)
  • Re: Goedels undecidable G
    ... The Godel sentence is formed by substituting into a ... certain open wff Uthe standard numeral for the Godel number of that ... its Godel number at least on Godel's own scheme will be ... so writing down Godel sentence which embeds the standard ...
    (sci.logic)
  • Re: Partial order, lattice, and boolean algebra completenness question.
    ... So how do you go about proving a Godel sentence which is true but not ... the definition at the top of the quote is questionable. ...
    (sci.math)
  • Re: Goedels undecidable G
    ... >> The Godel sentence is formed by substituting into a ... >> open wff. ... its Godel number at least on Godel's own scheme will be ... >> so writing down Godel sentence which embeds the standard ...
    (sci.logic)