Re: My investigations into Godels Incompleteness Theorem
- From: stevendaryl3016@xxxxxxxxx (Daryl McCullough)
- Date: 29 Sep 2006 12:10:22 -0700
John Jones says...
Daryl McCullough wrote:
Godel says that a sentence has a string (which is arguable).
No, Godel doesn't talk about strings. I'm the one saying that,
and no, it's really not arguable.
Really, he should not then go on to use the sense (theorem)
of that sentence as if it was the sentence itself.
He doesn't do that. You are deeply confused about this.
Let's try something much simpler. Consider the sentence
of arithmetic
0+0=0
Under the usual interpretation of the symbols "0", "+",
and "=", that is a true sentence, and in fact, it
is a theorem of Peano Arithmetic. Do you agree?
Now, the above sentence corresponds to a string
that is 5 characters in length, and whose first
character is "0", whose second character is "+",
whose third character is "0", whose fourth character
is "=" and whose fifth character is "0". Do you
agree?
Okay, then here is an example of a property of strings:
is a string that is 5 characters in length, and
whose first character is "0", whose second character
is "+", whose third character is "0", whose fourth
character is "=" and whose fifth character is "0"
Let's call that property "P".
Here is a fact about property P:
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? If not, why not?
--
Daryl McCullough
Ithaca, NY
.
- Follow-Ups:
- Re: My investigations into Godels Incompleteness Theorem
- From: John Jones
- Re: My investigations into Godels Incompleteness Theorem
- References:
- Re: My investigations into Godels Incompleteness Theorem
- From: John Jones
- Re: My investigations into Godels Incompleteness Theorem
- Prev by Date: Re: My investigations into Godels Incompleteness Theorem
- Next by Date: Re: My investigations into Godels Incompleteness Theorem
- Previous by thread: Re: My investigations into Godels Incompleteness Theorem
- Next by thread: Re: My investigations into Godels Incompleteness Theorem
- Index(es):
Relevant Pages
|
