Yair Halberstadt comments on The halting problem is overstated

[Yair Halberstadt]

I agree with everything you just said, but in all of these cases the halting problem isn’t relevant, which is my key focus here.

[gjm]

Yup, that’s fair.