On subrecursive representability of irrational numbers
Lars Bjørlykke Kristiansen · Computability · 2016
We consider various ways to represent irrational numbers by subrecursive functions: via Cauchy sequences, Dedekind cuts, trace functions, several variants of sum approximations and continued fractions. Let [Formula: see text] be a class of subrecursive functions. The set of irrational numbers that can be obtained with functions from [Formula: see text] depends on the representation. We compare the sets obtained by the different representations.