Difference between revisions
busy-beaver-6
Source +0 −0
… 20 unchanged lines
Revision 67 as rendered
Some 6-state machines behave like Collatz-type iterations, so deciding them may require solving problems that mathematics has not solved. It is a clean, checkable target where every step of progress is a certificate.
Related problems
- The original curation links this problem to Collatz conjecture; the argument for the link has not been written yet.