On Thursday, 22 October 2020 at 18:33:52 UTC, Ola Fosheim Grøstad wrote: > > In general, it is hard to tell if a computation is long-running > or unsolvable. You could even say ... it's undecidable :)