From Wikipedia, the free encyclopedia
Two numberings and are called computably isomorphic if there exists a computable bijection so that
Computably isomorphic numberings induce the same notion of computability on a set.
- Rogers, Hartley, Jr. (1987), Theory of recursive functions and effective computability (2nd ed.), Cambridge, MA: MIT Press, ISBN 0-262-68052-1, MR 886890.
|P ≟ NP||This theoretical computer science–related article is a stub. You can help Wikipedia by expanding it.|
|This mathematical logic-related article is a stub. You can help Wikipedia by expanding it.|