logoalt Hacker News

chtlyesterday at 6:34 PM1 replyview on HN

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


Replies

jychangtoday at 10:37 AM

You guys need a blog to chase these down.

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