A recursive function coding number theoretic functions
Vesa Halava, Tero Harju, Teemu Pirttim\"aki

TL;DR
The paper demonstrates the existence of a fixed recursive function that can encode any number-theoretic function through a specific conjugation, revealing a universal recursive coding scheme.
Contribution
It introduces a universal recursive function that can represent any number-theoretic function via an injective conjugation, advancing the understanding of recursive function coding.
Findings
Existence of a fixed recursive function e with universal coding properties
Construction of injective functions c_h for all h
Representation of any h as conjugate of e via c_h
Abstract
We show that there exists a fixed recursive function such that for all functions , there exists an injective function such that , i.e., .
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputability, Logic, AI Algorithms · Advanced Topology and Set Theory · Analytic Number Theory Research
