And speaking of which, what kind of big number contest bans busy beaver? Srsly : <
A computable one. OP is not clear how his hypercomputer is solving the halting problem—does it have a ‘halts(s)’ function for programs that do not use ‘halts’ function, or what. The solution 2 in the OP is pretty much equivalent to the busy beaver, and it can not be done without use of halting oracle because some of those programs would loop forever, making the final print statement unreachable.
A computable one. OP is not clear how his hypercomputer is solving the halting problem—does it have a ‘halts(s)’ function for programs that do not use ‘halts’ function, or what. The solution 2 in the OP is pretty much equivalent to the busy beaver, and it can not be done without use of halting oracle because some of those programs would loop forever, making the final print statement unreachable.
Yup, that makes sense.