News for hackers. Stuff that matters.
Re:Rice’s Theorem: An interactive tutorial by danbruc on Friday November 25, 2022 @10:03PM (#33749472)
That misses the point. The discussion is about whether limiting a Turing machine to a finite but non-trivial tape length makes the halting problem tractable. That you can solve the halting problem in some cases - for example for while (true) { } or return 42; - has no bearing on this. The question is whether you can solve the hardest instances satisfying the constraints, not whether you can solve some easy instances.

There are no comments on this comment yet.