A recursive function coding number theoretic functions
Vesa HalavaTero HarjuTeemu Pirttimäki
所有作者
Vesa HalavaTero HarjuTeemu Pirttimäki
文献摘要
We show that there exists a fixed recursive function e such that for all
functions h:N→N, there exists an injective
function ch:N→N such that ch(h(n))=e(ch(n)),
i.e., h=ch−1ech.