As pointed out, Ethereum is not infinite, thus not a Turing machine, and therefore does not exhibit a "halting problem". There's a limit to the number of "cycl

As pointed out, Ethereum is not infinite, thus not a Turing machine, and therefore does not exhibit a "halting problem". There's a limit to the number of "cycles" spent on each program in proportion to how much funding they have. It's like a smaller version of the halting problem where you only have to say if a program will halt in five seconds or not. Turing machines are a theoretical construct, be careful when trying to reason about the real world based on them.