On Fri, Oct 24, 2008 at 3:49 PM, Ed Murphy <[EMAIL PROTECTED]> wrote: > "This sentence is false" would be the canonical UNDECIDABLE. Gnarly > type paradoxes should also be UNDECIDABLE, I think.
Should be, but I can see no reason why FLOYD would not be equally appropriate for a gnarly paradox. -root
