Questions tagged [frames-and-locales]
The frames-and-locales tag has no usage guidance.
1
question
6
votes
1
answer
259
views
What is the power of the “anti-halting” oracle?
Let me first ask the question, and then, as it may seem a bit cryptic, explain how it comes up (and whence the “anti-halting oracle” in the title):
Notations: we write $\langle m,n\rangle$ for a ...
- 28.4k