𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Recursive Approximability of Real Numbers

✍ Scribed by Xizhong Zheng


Publisher
John Wiley and Sons
Year
2002
Tongue
English
Weight
359 KB
Volume
48
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis


A real number is recursively approximable if there is a computable sequence of rational numbers converging to it. If some extra condition to the convergence is added, then the limit real number might have more effectivity. In this note we summarize some recent attempts to classify the recursively approximable real numbers by the convergence rates of the corresponding computable sequences of rational numbers.


πŸ“œ SIMILAR VOLUMES


Primitive recursive real numbers
✍ Qingliang Chen; Kaile Su; Xizhong Zheng πŸ“‚ Article πŸ“… 2007 πŸ› John Wiley and Sons 🌐 English βš– 168 KB

## Abstract In mathematics, various representations of real numbers have been investigated. All these representations are mathematically equivalent because they lead to the same real structure – Dedekind‐complete ordered field. Even the effective versions of these representations are equivalent in

Sequential real number computation and r
✍ J. Raymundo Marcial-Romero; M. Andrew Moshier πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 195 KB

## Abstract In the first author's thesis [10], a sequential language, LRT, for real number computation is investigated. That thesis includes a proof that all polynomials are programmable, but that work comes short of giving a complete characterization of the expressive power of the language even fo

The Arithmetical Hierarchy of Real Numbe
✍ Xizhong Zheng; Klaus Weihrauch πŸ“‚ Article πŸ“… 2001 πŸ› John Wiley and Sons 🌐 English βš– 225 KB πŸ‘ 1 views
Non-constructive Properties of the Real
✍ Paul Howard; Kyriakos Keremedis; Jean E. Rubin; Adrienne Stanley; Eleftherios Ta πŸ“‚ Article πŸ“… 2001 πŸ› John Wiley and Sons 🌐 English βš– 159 KB πŸ‘ 1 views