论文标题
递归函数编码编号理论函数
A recursive function coding number theoretic functions
论文作者
论文摘要
我们表明存在一个固定的递归函数$ e $，使得对于所有功能，$ h \ colon \ mathbb {n} \ to \ mathbb {n} $，存在一个注入函数$ c_h \ colon \ colon \ colon \ colon \ mathbb {n} \ to \ to \ to \ mathbb {n} $ c _ $ c_ $ c_ $ c_（c）即，$ h = c_h^{ - 1} ec_h $。
We show that there exists a fixed recursive function $e$ such that for all functions $h\colon \mathbb{N}\to \mathbb{N}$, there exists an injective function $c_h\colon \mathbb{N}\to \mathbb{N}$ such that $c_h(h(n))=e(c_h(n))$, i.e., $h=c_h^{-1}ec_h$.
