My intuition tells me that no Turing machine that terminates for all unbounded inputs can run "much longer than" a busy-beaver turing machine. However, the numbers that describe how long BBs can run are .. quite large. The numbers might as well be infinite in any practical sense.
1 comment
[ 3.6 ms ] story [ 14.0 ms ] thread