Independence from ZFC: Difference between revisions
Jump to navigation
Jump to search
Created page with "'''Independence from ZFC''' refers to whether the computation of BB(n) is independent of ZFC." |
(No difference)
|
Revision as of 19:06, 28 April 2025
Independence from ZFC refers to whether the computation of BB(n) is independent of ZFC.