Re: My investigations into Godels Incompleteness Theorem

John Jones says...

When you make a string you lose the sense of the of the sentence and
merely address individual signs. What you are claiming is that the
meaning of a sentence is exhibited in its string, which is simply not
true.

I did not say that. What I said was

For any sentence S in the language of arithmetic,
if the string corresponding to S has property P,
then S is a theorem.

Do you agree, or not? If not, give me a counterexample.

--
Daryl McCullough
Ithaca, NY

.

Relevant Pages

  • Re: Ada Popularity: Comparison of Ada/Charles with C++ STL (and Perl)
    ... Kevin Cline wrote: ... : Are you really claiming that you can think of: ... : procedure Insert (Word: in String) is ... really suffer from unnecessary verbosity. ...
    (comp.lang.ada)
  • Re: Katie Hopkins
    ... significance of those coloured bits of string yet, have you, eh? ... What with you claiming to know all about it, ... For whatever reason. ... You're the one who's always having the sly digs, ...
    (uk.media.tv.misc)
  • Re: Katie Hopkins
    ... significance of those coloured bits of string yet, have you, eh? ... What with you claiming to know all about it, ... For whatever reason. ... You're the one who's always having the sly digs, ...
    (uk.media.tv.misc)
  • Re: Katie Hopkins
    ... significance of those coloured bits of string yet, have you, eh? ... What with you claiming to know all about it, ... For whatever reason. ... Jeff ...
    (uk.media.tv.misc)
  • Re: Uncomputable numbers are all in your head
    ... have read on the posts people claiming that a denumerable infinite ... The correct theorem is that the set of infinite binary strings is ... that an infinite string is a natural number. ...
    (sci.logic)