A Two-Layer Approach to the Computability and Complexity of Real Numbers

Branimir Lambov

December 2003


We present a new approach to computability of real numbers in which real functions have type-1 representations, which also includes the ability to reason about the complexity of real numbers and functions. We discuss how this allows efficient implementations of exact real numbers and also present a new real number system that is based on it.

Available as PostScript, PDF, DVI.


Last modified: 2004-02-12 by webmaster.