chtl

45 ms·

1. 1.▲
   by chtl 11mo ago

   There is of course not currently any upper bound on BB(6). I find the question about a probvious upper bound more interesting - There is also not a probvious upper bound on BB(6), as this would require at least some understanding of the hig
2. 2.▲
   by chtl 1y ago

   Very many - I think the number is several thousand. Several sporadic 6-state machines have been solved, though, and there are currently about 2400(?) unsolved machines. Among these are several Cryptids, machines whose halting problem is kno