English

A recursive function coding number theoretic functions

Discrete Mathematics 2022-07-11 v2 Formal Languages and Automata Theory Combinatorics

Abstract

We show that there exists a fixed recursive function ee such that for all functions h ⁣:NNh\colon \mathbb{N}\to \mathbb{N}, there exists an injective function ch ⁣:NNc_h\colon \mathbb{N}\to \mathbb{N} such that ch(h(n))=e(ch(n))c_h(h(n))=e(c_h(n)), i.e., h=ch1echh=c_h^{-1}ec_h.

Cite

@article{arxiv.2203.09311,
  title  = {A recursive function coding number theoretic functions},
  author = {Vesa Halava and Tero Harju and Teemu Pirttimäki},
  journal= {arXiv preprint arXiv:2203.09311},
  year   = {2022}
}