Questions tagged [frames-and-locales]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
6 votes
1 answer

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 ...
Gro-Tsen's user avatar
  • 28.4k