Hacker News Reader

that is correct. the whole point is we can make practical real world tradeoffs and break out of the shackles of theoretical constraints.

But you aren't bounding the runtime of the thing. You are bounding the runtime of your abstract interpreter of the thing.

As someone points out, no system we use is really turing complete, since no system has truly infinite memory.

In most systems with finite memory, the halting problem is solvable anyway.

(this includes linear bounded automatons and deterministic/non-deterministic machines with finite memory).

It's just going to take a long ass time.

This is like saying that no programming language is Turing-complete since they are all implemented with finite memory.