🚀 go-pugleaf

In article <3977@sdcc3.ucsd.EDU>,
ma188saa@sdcc3.ucsd.edu.UUCP (Steve Bloch) writes:
>Sorry; I'm falling into Russell-and-Whitehead, who avoided
>self-referential statements by making them inadmissible in the same
>way that I'm making Goedel inadmissible.

How can that be done?

"Any self-referring statement is inadmissible!"

Now, is that statement self-referring? Don't you need an appropriate
variant of Loeb's theorem ("any sentence which would be self-referring
if it were self-referring is self-referring") or its negation to decide
on that? And then: is this Loeb-variant self-referring? According to LV
(the Loeb-variant) itself, yes, but then ...

[Thanks, Ob(noxio), for introducing me to another subtlety of
self-reference - is uncle Doug (Hofstadter) on the net?]

So the main question remains: how can a non-decidable class of objects
be labeled inadmissible?
-- 
						Biep.  (biep@cs.vu.nl via mcvax)
	"Law" is the name given to a collection of rules describing
	how to act with people that do not follow the law.