| ▲ | sfpotter 7 days ago | |
Interesting point about BB(n)... Is it known that BB(n) is finite for every n? | ||
| ▲ | skybrian 7 days ago | parent | next [-] | |
I believe it is by definition? The machines that don’t halt are filtered out. The trouble is how to do the filtering. | ||
| ▲ | Kranar 7 days ago | parent | prev [-] | |
Yes BB(n) is always a natural number which is by definition finite. | ||