3 ms·
What happens if you take the larger of a and b and run all the Turing machines for that many steps?
by Scarblac 1y ago
What happens if you take the larger of a and b and run all the Turing machines for that many steps?
- thaumasiotes 1y agoWhat are a and b?
- josephcsible 1y agoDoes it matter? My reading is basically "if you have two distinct candidates, isn't that a way to always disprove at least one of them?"
- Kranar 1y agoAmong all possible values of BB(n) for some fixed n, it's the smallest such value that is the true value. The issue is that there is no way within ZFC to determine which value is the smallest.