On Sat, 17 Nov 2007, Ed Murphy wrote: > Goethe wrote: > >> I don't suppose there's any way of just appending this to the arguments >> of the judgement I haven't appealed yet, is there... really wishing for >> concurring opinions here... > > I can always throw 'em into the database as gratuituous arguments.
Sure. I'm not going to appeal, regardless, given that we're all pretty much agreed that it's trivial to construct a a reasonable UNDECIDABLE argument :). I hadn't thought about the bug in the win rule. (Now it's resulted in a judgement of undecidable, but that CFJ was *previousy* appealed within the same week, don't ask me what happens). -Goethe
