3 ms·
We don't need to know BB(748), just an upper bound on BB(748). ... which means we can't prove any upper bound on BB(748) within ZFC.
by dllthomas 3y ago
We don't need to know BB(748), just an upper bound on BB(748).
... which means we can't prove any upper bound on BB(748) within ZFC.