>>7
Likewise, it's easy to see that the halting problem is irrelevant on real machines: as they have a limited storage capacity (let's say
n bits), they'll eventually halt (in at most
2n steps) or never will. On the other hand, given the current amounts of storage, that figure grows surprisingly large. In any case, the amount of information that can be universally stored is bound, so the halting problem is, for all practical purposes, already resolved.