2012-04-06 17:05:26+00:00 how is "problem X is undecidable" a positive result? I'd ask if something *is* decidable. arxiv.org/abs/0806.1602