Classification of the Computable Approximations by Divergence Boundings1

https://doi.org/10.1016/j.entcs.2006.08.019Get rights and content
Under a Creative Commons license
open access

Abstract

A real number is called computably approximable if there is a computable sequence of rational numbers which converges to it. To investigate the complexity of computably approximable real numbers, we can consider the converging speed of the sequences. In this paper we introduce a natural way to measure the converging speed by counting the jumps of certain size appeared after certain stages. The number of this big jumps can be bounded by a bounding function. For different choice of bounding functions, we introduce various classes of real numbers with different approximation quality and discuss their mathematical properties as well as computability theoretical properties.

Keywords

Computable real number
Computable approximation
Converging speed
Hierarchy

Cited by (0)

1

This work is supported by DFG (446 CHV 113/240/0-1) and NSFC (10420130638).