3 ms·
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 m
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 known to be mathematically hard
- jychang 1y agoYou guys need a blog to chase these down. If nothing else, it’ll inspire the next generation of mathematicians.