Remix.run Logo
EvgeniyZh 4 days ago

So how many sporadics would be left if we run the same on 6-state TM?

chtl 4 days ago | parent [-]

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 3 days ago | parent [-]

You guys need a blog to chase these down.

If nothing else, it’ll inspire the next generation of mathematicians.