|
|
|
|
|
by jtolmar
961 days ago
|
|
The Nth Busy Beaver number lets you solve the halting problem for Turing Machines up to size N. Only a handful of them are known, for very small N, and they increase incredibly rapidly. For the most common version of the problem (S for 2-symbol machines), they go: 1, 6, 21, 107, some number greater than or equal to 47176870, and some number greater than 10⇈15 (that's up arrow notation on the last one). |
|