New answers tagged


The answer is no; interestingly, the problem is harder to state satisfactorily in my opinion than it is to resolve! Roughly speaking, the subtlety which complicates the posing of the problem is that the "context of computation" is more complicated than the distinctions we want to make. Below I'll refer frequently to the arithmetical hierarchy, and ...

Top 50 recent answers are included