Re: My investigations into Godels Incompleteness Theorem


Daryl McCullough wrote:
John Jones says...

I need to know the nature of "correspondence". It seems to be crucial
to the enterprise.

It is crucial to the enterprise of *communication*. When
you want to express a sentence on a USENET newsgroup, you
must type a sequence of characters on your keyboard. So
there must be a correspondence between sentences and
character sequences.

You already know this, otherwise you wouldn't be attempting
to communicate using a keyboard.

--
Daryl McCullough
Ithaca, NY

It seems that "correspondence" is a single state that exhibits two
independent identities. I can therefore say that a sentence has both
sense and structure and that sense and structure are independent of
each other. So using your example, a sentence can have sense, and also
have keyboard character sequence or structure.

Godel says that a sentence has a string (which is arguable). Really, he
should not then go on to use the sense (theorem) of that sentence as if
it was the sentence itself.

.

Relevant Pages

  • Re: My investigations into Godels Incompleteness Theorem
    ... It is crucial to the enterprise of *communication*. ... must type a sequence of characters on your keyboard. ... character sequences. ...
    (sci.logic)
  • Enterprise Personal Firewall comments?
    ... I am looking for comments pertaining to the ENTERPRISE solutions that ... If the reader of this message is not the intended recipient, ... this communication is strictly prohibited. ...
    (Security-Basics)
  • Re: ZFC means?
    ... >Daryl McCullough wrote & Charlie-Boo says... ... >>>to enhance communication. ... in the case of sets, or reals, or elephants. ...
    (sci.logic)