Another issue: In section 4.1 you seem to be assuming that not only is the halting problem solved, but that all Turing machines halt (and therefore there is an

Another issue: In section 4.1 you seem to be assuming that not only is the halting problem solved, but that all Turing machines halt (and therefore there is an upper bound to how long all of them take to run).