On Jun 23, 2013, at 9:33 PM, woggle wrote: > I do not believe the truth value of "<undecidable> iff not <undecidable>" is > well-defined -- especially in the presence of the implicit Liar's Paradox > issue here -- so it would be most appropriate to interpret LIFF!L as also > UNDECIDABLE.
All right. That's an outcome I hadn't considered, but your judgement seems to be consistent under its own standards. —Machiavelli
