[math problem review] could the Halting Problem be solved with a finite-tape Turing machine instead of one with infinite tape?
The halting problem defined with an infinite tape is not decidable.
But with a finite tape it is decidable:
https://github.com/arkenidar/turingvm_halting_busybeavers.java
https://github.com/arkenidar/turingvm_halting_busybeavers.js
BTW can a physic...