News for hackers. Stuff that matters.
Re:BusyBeaver(6) Is Quite Large by raincole on Sunday June 29, 2025 @05:22PM (#44416535)
Well, yes, my previous comment was sloppy. Of course it's also possible that 748 is such a high upper limit that we can add a lot of axioms to ZFC and BB(748) is still independent to it. We just don't know it.

There are no comments on this comment yet.