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.
[ Parent
| on HN ]
There are no comments on this comment yet.