[Scarblac]

What happens if you take the larger of a and b and run all the Turing machines for that many steps?

[Kranar]

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]

What are a and b?

[josephcsible]

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?"