If we've proved that a number is an upper bound on BB(748), then running for tha...

dllthomas on Oct 17, 2023 | parent | context | favorite | on: BB(3, 3) is Hard

If we've proved that a number is an upper bound on BB(748), then running for that many steps without halting means it has also run BB(748) steps without halting.