Very many - I think the number is several thousand. Several sporadic 6-state mac... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		chtl 3 months ago \| parent \| context \| favorite \| on: Determination of the fifth Busy Beaver value 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 months ago [–]

You guys need a blog to chase these down.

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact