News for hackers. Stuff that matters.

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

Re:BusyBeaver(6) Is Quite Large by josephcsible on Wednesday July 02, 2025 @10:35AM (#44444265)
Sure, you don't know whether BB(x) < b or BB(x) > b for that reason, but wouldn't you still know BB(x) ≠ b, and isn't that good enough?
[ Parent | on HN ]

There are no comments on this comment yet.