Hacker News new | ask | show | jobs
by elijaht 703 days ago
For the purpose of the busy beaver problem, your second and third cases are equivalent- it’s a beaver that does not halt. Therefore neither of them are BB(6). BB(6) is tautologically an integer