← Back to context Comment by Scarblac 8 months ago What happens if you take the larger of a and b and run all the Turing machines for that many steps? 3 comments Scarblac Reply Kranar 8 months ago Among 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. thaumasiotes 8 months ago What are a and b? josephcsible 8 months ago Does 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 8 months ago Among 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.
thaumasiotes 8 months ago What are a and b? josephcsible 8 months ago Does 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?"
josephcsible 8 months ago Does 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?"
Among 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.
What are a and b?
Does 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?"