isomorfismo computable

---

En la teoría de la computabilidad, dos conjuntos de números naturales son computablemente isomorfos o recursivamente isomorfos si existe una función computable biyectiva total con . ^{[ Se necesita más explicación ]} Según el teorema del isomorfismo de Myhill , ^[1] la relación de isomorfismo computable coincide con la relación de reducibilidad mutua uno a uno .${\displaystyle A;B\subseteq \mathbb {N} }$ ${\displaystyle f\colon \mathbb {N} \to \mathbb {N} }$${\ estilo de visualización f (A) = B}$

Dos numeraciones y se denominan isomorfas computables si existe una biyección computable tal que${\ estilo de visualización \nu}$${\ estilo de visualización \ mu}$${\ estilo de visualización f}$${\ estilo de visualización \ nu = \ mu \ circ f}$

---