Interrogatives, Recursion, and Incompleteness
We show that some natural, reasonable assumptions concerning interrogatives and answers yield the existence of recursive sets of sentences which are not sets of direct answers to any interrogative. Our results strengthen Harrah's incompleteness theorem. We also draw some epistemic consequences from our results.
recursion incompleteness logic of questions