Neel Krishnaswami's answer to Halting problem, uncomputable sets: common mathematical proof? on CSTheory points to references connecting the above results under the umbrella of category theory.
3 of 3
replaced http://cstheory.stackexchange.com/ with https://cstheory.stackexchange.com/
Suresh
- 5.4k
- 2
- 27
- 31