On subrecursive representability of irrational numbers
Year: 2016
Type: article
Abstract: 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.
Source: Computability
DOI: 10.3233/com-160063
Author: Lars Kristiansen
Institution: University of Oslo
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2472462801