News for hackers. Stuff that matters.
Re:BusyBeaver(6) Is Quite Large by cvoss on Saturday June 28, 2025 @09:34PM (#44409666)
I think your mistake is your claim that BB(748) is a natural number. For you to know that, you would necessarily have to know an upper bound for the number of steps it takes for the BB-748 machine (whichever machine it is) to halt. But you definitely don't know that.

Related: It's incorrect to claim that each machine either halts or doesn't halt. To know that that dichotomy holds would require having a halting problem algorithm.

Re:BusyBeaver(6) Is Quite Large by drdeca on Sunday June 29, 2025 @12:02PM (#44414135)
I don’t know it in a constructive sense, sure.

It’s still true though. I’m not wrong.