I have a feeling, that “computable” is the key word here. Does ROB implement some halting algorithm? If yes, therefore there are finite boundaries for A and B, right?
Computability is not important. I only meant to cut off possibilities like “ROB hands TABI 1 and ‘the number which is 0 if the goldbach conjecture is true and 2 otherwise’”
You can restrict yourself to arbitrary integers, and perhaps I should have
I have a feeling, that “computable” is the key word here. Does ROB implement some halting algorithm? If yes, therefore there are finite boundaries for A and B, right?
Computability is not important. I only meant to cut off possibilities like “ROB hands TABI 1 and ‘the number which is 0 if the goldbach conjecture is true and 2 otherwise’”
You can restrict yourself to arbitrary integers, and perhaps I should have