|
|
|
|
|
|
by chriswarbo
977 days ago
|
|
|
Indeed, the value of BB(n) for each n is just a number; and it's easy to construct a TM which outputs some particular number. However, we don't know what those TMs are, for the same reason we don't know what those BB(n) numbers are. The same applies to more limited settings too, e.g. boolean questions like whether the Collatz conjecture holds: I know that one of the following programs calculates the right answer, but I don't know which: - PRINT "true"; HALT - PRINT "false"; HALT (Perhaps we should also allow `PRINT "independent of the given axioms"; HALT` as well!) |
|
|