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

Branimir Lambov

Abstract


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.

Full Text:

PDF


DOI: http://dx.doi.org/10.7146/brics.v10i50.21822
This website uses cookies to allow us to see how the site is used. The cookies cannot identify you or any content at your own computer.
OK


ISSN: 0909-0878 

Hosted by the State and University Library and Aarhus University Library