BusyBeaver(6) Is Quite Large

Re:BusyBeaver(6) Is Quite Large by LPisGood on Saturday June 28, 2025 @07:29PM (#44409048)

BB(748) is a natural number, and _all_ natural numbers are computable.

[ Parent | on HN ]

Re:BusyBeaver(6) Is Quite Large by ted_dunning on Sunday June 29, 2025 @03:12AM (#44410922)

There is definitely a function f such that f() = n for all n ∈ ℕ.

But there is also a function g that you cannot prove whether g() = n.

Important distinction.

This means that somebody could claim that the value of BB(748) = n but you cannot be sure if they are correct (but you might be able to show they are wrong).

[ Parent | on HN ]