News for hackers. Stuff that matters.

A comment on BusyBeaver(6) Is Quite Large. Parent comment

Re:BusyBeaver(6) Is Quite Large by ajkjk on Saturday June 28, 2025 @02:46PM (#44407086)
That is the standard argument for why BB is uncomputable for general n, but it's not the same as why BB(n) would be independent of ZFC for fixed n.
[ Parent | on HN ]

There are no comments on this comment yet.