Re: Torkel Franzén is dead
- From: Aatu Koskensilta <aatu.koskensilta@xxxxxxxxx>
- Date: Wed, 14 Jun 2006 14:46:12 +0300
Timothy Murphy wrote:
I don't believe the term "self-referential" has any real meaning.
Sure it does. That the sentence "this sentence has five words" refers to itself is obvious, for example. The Gödel sentence of a theory T is also self-referential in a specific and clear sense; a Gödel sentence makes an assertion about a particular natural number, and that natural number is the code of the sentence itself.
--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)
"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.
- Follow-Ups:
- Re: Torkel Franzén is dead
- From: george
- Re: Torkel Franzén is dead
- From: david petry
- Re: Torkel Franzén is dead
- Prev by Date: Re: Torkel Franzén is dead
- Next by Date: Re: Torkel Franzén is dead
- Previous by thread: Re: completeness of predicate calculus
- Next by thread: Re: Torkel Franzén is dead
- Index(es):
Relevant Pages
|
