Independence from ZFC

From BusyBeaverWiki
Revision as of 19:06, 28 April 2025 by Lucianchauvin (talk | contribs) (Created page with "'''Independence from ZFC''' refers to whether the computation of BB(n) is independent of ZFC.")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Independence from ZFC refers to whether the computation of BB(n) is independent of ZFC.