My understanding is that you don’t solve the question “will it halt?” but will it halt in the time I’m given in the problem at hand.
That’s exactly what I meant by “you can approximate with a timeout”.
My understanding is that you don’t solve the question “will it halt?” but will it halt in the time I’m given in the problem at hand.
That’s exactly what I meant by “you can approximate with a timeout”.