On Sun, Apr 12, 2009 at 11:35 PM, Sean Hunt <ride...@gmail.com> wrote:
> Sean Hunt wrote:
>> I CFJ the statement {This statement is FALSE.}
> I CFJ the statement {Immediately after this case is assigned to a judge,
> the set of appropriate judgments for this case is a subset of {FALSE,
> UNDECIDABLE}.}Probably also UNDECIDABLE, but also not eligible to become a tortoise due to R2110's "not arising from that case itself" clause. Incidentally, this has been done before: the inspiration for that clause was CFJ 1787. -root
