A recursive function coding number theoretic functions

03/17/2022
by   Vesa Halava, et al.
0

We show that there exists a fixed recursive function e such that for all functions hℕ→ℕ, there exists an injective function c_hℕ→ℕ such that c_h(h(n))=e(c_h(n)), i.e., h=c_h^-1ec_h.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/26/2017

Recursive functions and existentially closed structures

The purpose of this paper is to clarify the relationship between various...
research
02/12/2016

Bouncing Towers move faster than Hanoi Towers, but still require exponential time

The problem of the Hanoi Tower is a classic exercise in recursive progra...
research
05/11/2018

Peres-Style Recursive Algorithms

Peres algorithm applies the famous von Neumann trick recursively to prod...
research
08/14/2019

Pointers in Recursion: Exploring the Tropics

We translate the usual class of partial/primitive recursive functions to...
research
05/27/2019

On Mappings on the Hypercube with Small Average Stretch

Let A ⊆{0,1}^n be a set of size 2^n-1, and let ϕ{0,1}^n-1→ A be a biject...
research
05/19/2020

Proving P!=NP in first-order PA

We show that it is provable in PA that there is an arithmetically defina...
research
02/20/2023

Tail recursion transformation for invertible functions

Tail recursive functions allow for a wider range of optimisations than g...

Please sign up or login with your details

Forgot password? Click here to reset