News for hackers. Stuff that matters.

A comment on BB(10) > Graham's Number. Parent comment

Re:BB(10) > Graham's Number by GolDDranks on Tuesday October 13, 2026 @11:41AM (#50073475)
The current "independent of ZF" upper bound seems to be BB(432).

Source: https://wiki.bbchallenge.org/wiki/Logical_independence

[ Parent | on HN ]

There are no comments on this comment yet.