Re: Self-reference.

Article View: sci.logic

Article #630

#630

From: Torkel Franzen
Date: Thu, 28 Jan 1993 16:50

9 lines
1044 bytes

In article <1993Jan28.142508.15763@guinness.idbsu.edu> holmes@opal.idbsu.edu 
(Randall Holmes) writes:

   >Simple?!?

  Actually I canceled my article after looking at the article Bill quoted. 
My grumbling was misplaced, since that quote was just another self-reference!
The author was well aware of the mathematical uses of self-reference (in
the diagonal lemma etc).

Technical Details

Message-ID: <TORKEL.93Jan28175005@anhur.sics.se>

Path:

arc1-ca.pugleaf.net!sparky!uunet!europa.eng.gtefsd.com!emory!gatech!udel!bogus.sura.net!howland.reston.ans.net!paladin.american.edu!news.univie.ac.at!hp4at!mcsun!sunic!sics.se!torkel

References: <C1JHyx.C96@cantua.canterbury.ac.nz> <TORKEL.93Jan28035348@anhur.sics.se> <1993Jan28.142508.15763@guinness.idbsu.edu>

Show Full Headers

Complete Article Headers

Newsgroups: sci.logic,sci.math
Path: arc1-ca.pugleaf.net!sparky!uunet!europa.eng.gtefsd.com!emory!gatech!udel!bogus.sura.net!howland.reston.ans.net!paladin.american.edu!news.univie.ac.at!hp4at!mcsun!sunic!sics.se!torkel
From: torkel@sics.se (Torkel Franzen)
Subject: Re: Self-reference.
In-Reply-To: holmes@opal.idbsu.edu's message of Thu, 28 Jan 1993 14:25:08 GMT
Message-ID: <TORKEL.93Jan28175005@anhur.sics.se>
Sender: news@sics.se
Organization: Swedish Institute of Computer Science, Kista
References: <C1JHyx.C96@cantua.canterbury.ac.nz> <TORKEL.93Jan28035348@anhur.sics.se>
 <1993Jan28.142508.15763@guinness.idbsu.edu>
Date: Thu, 28 Jan 1993 16:50:05 GMT
Lines: 9

Reply to Parent Message