nLab
exact real computer arithmetic

Contents

Idea

Exact real computer arithmetic refers to treatment of real number arithmetic on computers to finite (necessarily) but arbitrary precision. This is in contrast with what is called floating-point arithmetic? which uses just one fixed finite approximation of the real numbers by natural numbers.

Exact real computer arithmetic essentially implements what in mathematical computability theory is known as the type-II theory (in contrast to the “type-I” theory of partial recursive functions acting just on natural numbers). The formal mathematical definition of computable function (analysis) is the core topic of constructive analysis/exact analysis.

References

Discussion of implementation of exact real computer arithmetic includes

  • Peter Potts, Abbas Edalat, Exact real computer arithmetic, 1997 pdf

Discussion relating to computability theory, Type Two Theory of Effectivity and constructive analysis/computable analysis includes

A collection of further references is listed at

Last revised on March 9, 2014 at 09:25:23. See the history of this page for a list of all contributions to it.