Showing 1–1 of 1 results for author: Pirttimäki, T

A recursive function coding number theoretic functions

Authors: Vesa Halava, Tero Harju, Teemu Pirttimäki

Abstract: 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$. 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$. △ Less

Submitted 8 July, 2022; v1 submitted 17 March, 2022; originally announced March 2022.

MSC Class: 03D20; 68Q45; 68R01; 68R10