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.
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.