Re: My investigations into Godels Incompleteness Theorem

John Jones says...

the sentence whose string representation is 5 characters
long, whose first character is "0", whose second character
is "+", whose third character is "0", whose fourth character
is "=", whose last character is "0"

Yes I understand that.

Then it follows that there is a property P of strings such that

For all sentences S, if the string corresponding to S has
property P, then S is a theorem of Peano Arithmetic.

But there is still correspondence in this example as indicated by
'whose'.

Of course. That's what mathematics is all about. You establish
correspondences between one type of object and another, and you
use the correspondence to derive facts about one object from facts
about another. We set up a correspondence between sticks and real
numbers (called "length") and then we use that correspondence
when we measure sticks.

That's what mathematics is all about.

--
Daryl McCullough
Ithaca, NY

.

Relevant Pages

  • Re: Most important QC of the year
    ... The odds on your strings having different lengths are ... The suggested LStrCmp is somewhat faster ... than _LStrEqual when the string lengths are the same but the first character ...
    (borland.public.delphi.non-technical)
  • rs232 uart: testbench vs real world, and the missing first letter.
    ... My first cleanup was to at least reduce the strings to something that ... The side effect being that the first character of the string got ... so I've been working with the testbench and the actual development ... the real world is missing the first letter. ...
    (comp.arch.fpga)
  • Re: about STREQ
    ... >where strings being compared differ very often in their first character, ... The more you "know" about the nature of the strings, ...
    (comp.lang.c)
  • Re: My investigations into Godels Incompleteness Theorem
    ... long, whose first character is "0", whose second character ... If you believe that there is some problem with this correspondence, ... argument against Godel is an appeal to this general claim. ... So your argument against Godel is invalid. ...
    (sci.logic)
  • Re: perl help..
    ... > I have a loop that is running through a number of strings.. ... In some strings the first character is ... > punctuation or a number so a simple substr to pick up the first position ...
    (uk.comp.os.linux)