Re:BusyBeaver(6) Is Quite Large
by throwaway81523 on Sunday June 29, 2025 @02:25AM
(#44410736)
The truth value of the continuum hypothesis is either 1 or 0 (at least from a platonistic perspective). But, it is proven to be independent of ZFC. No huge numbers involved, just a single bit whose value ZFC doesn't tell you.
[ Parent
| on HN ]
There are no comments on this comment yet.