Sorry, what exactly do you mean by this? It sounds like you’re saying a question is only precisely formulated if it’s decidable, which seems way too strong. Do you mean something more like, it’s precisely formulated if it’s a mathematically-formulated question about the outputs of a UTM on a given class of inputs?
Sorry, what exactly do you mean by this? It sounds like you’re saying a question is only precisely formulated if it’s decidable, which seems way too strong. Do you mean something more like, it’s precisely formulated if it’s a mathematically-formulated question about the outputs of a UTM on a given class of inputs?