undefined | Better HN

0 pointsScarblac0y ago0 comments

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

0 comments

3 comments · 2 top-level

thaumasiotes0y ago· 1 in thread

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

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.

j / k navigate · click thread line to collapse