Re:Rice’s Theorem: An interactive tutorial
by wizeman on Friday November 25, 2022 @10:40PM
(#33749663)
> Ok, but unless you stick with some fixed resource limit N forever, the problem is undecidable again.
Why do you believe that?
The existence of the cycle detection algorithms that I mentioned earlier don't assume any particular number N and yet they prove that the problem is decidable as long as N is assumed to be a finite number.
Why do you believe that?
The existence of the cycle detection algorithms that I mentioned earlier don't assume any particular number N and yet they prove that the problem is decidable as long as N is assumed to be a finite number.