3 comments

[ 4.7 ms ] story [ 15.9 ms ] thread
(comment deleted)
The problem was called "Antihydra" by discoverers. This could mean that we might never be able to determine BB(6), and that it might be undecidable.
(comment deleted)