Hacker News new | ask | show | jobs
by cirosantilli 710 days ago
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.