Re:BusyBeaver(6) Is Quite Large
by Straw on Monday June 30, 2025 @06:23PM
(#44428568)
It likely comes from the smallest machine that someone has been able to construct that can diagonalize over all proofs in ZFC, or something similar.
[ Parent
| on HN ]
There are no comments on this comment yet.