Cilindrificación

---

En la teoría de la computabilidad, una cilindrificación es una construcción que asocia una numeración cilíndrica a cada numeración . El concepto fue introducido por primera vez por Yuri L. Ershov en 1973.

Dada una numeración , la cilindrificación se define como${\ estilo de visualización \nu}$ ${\ estilo de visualización c (\ nu)}$

donde es la función de emparejamiento de Cantor .${\displaystyle \langle n,k\rangle}$

---