Re: My investigations into Godels Incompleteness Theorem
- From: stevendaryl3016@xxxxxxxxx (Daryl McCullough)
- Date: 29 Sep 2006 15:34:51 -0700
John Jones says...
Daryl McCullough wrote:
....Let's try something much simpler. Consider the sentence
of arithmetic
0+0=0
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?
Before you switch the computer off, I say that the properties of a
string are not conferred on the sentence that is constructed out of it.
Where in what I wrote did I say anything about properties of a
string being "conferred on the sentence that is constructed out of it"?
I said:
"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?
--
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: Quine The Afterlife
- 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
|
Loading
