[zeroimpl]

There’s an important difference between Turing machines and computers: unlimited memory. For a computer with limited memory, of course you can determine whether a program halts, because if it doesn’t halt then eventually the state machine must loop back to a prior state.

I find this answer on quora to the question of why Turing machines are a good model to be insightful: https://qr.ae/pGGCmq