BB(5) is now known to equal 47176870, thanks to a collaboratively-made Coq proof that decides the halting problem for all 5-state Turing machines by case analysis of ~180 million equivalence…
Posters: davidad. davidad
11 likes recorded by the source corpus.
Topics: Math