Computable analysis

In mathematics, computable analysis is the study of which parts of real analysis and functional analysis can be carried out in a computable manner. It is closely related to constructive analysis.

Basic results

The computable real numbers form a real closed field. The equality relation on computable real numbers is not computable, but for unequal computable real numbers the order relation is computable.

Computable real functions map computable real numbers to computable real numbers. The composition of computable real functions is again computable. Every computable real function is continuous.

See also

• Specker sequence

References

• Oliver Aberth (1980), Computable analysis, McGraw-Hill, 1980.
• Marian Pour-El and Ian Richards, Computability in Analysis and Physics, Springer-Verlag, 1989.
• Stephen G. Simpson (1999), Subsystems of second-order arithmetic.
• Klaus Weihrauch (2000), Computable analysis, Springer, 2000.

This mathematical logic-related article is a stub. You can help Wikipedia by expanding it.v · Categories: Mathematical logic stubs Mathematical constructivism Computability theory Computable analysis Wikimedia Foundation. 2010. Игры ⚽ Поможем написать реферат Computable Document Format Computaris Look at other dictionaries: Computable number — In mathematics, particularly theoretical computer science and mathematical logic, the computable numbers, also known as the recursive numbers or the computable reals, are the real numbers that can be computed to within any desired precision by a… …   Wikipedia Computable real function — In mathematical logic, specifically computability theory, a function is sequentially computable if, for every computable sequence of real numbers, the sequence is also computable. A function is effectively uniformly continuous if there exists a… …   Wikipedia Computable general equilibrium — (CGE) models are a class of economic models that use actual economic data to estimate how an economy might react to changes in policy, technology or other external factors. CGE models are also referred to as AGE (applied general equilibrium)… …   Wikipedia Computable function — Total recursive function redirects here. For other uses of the term recursive function , see Recursive function (disambiguation). Computable functions are the basic objects of study in computability theory. Computable functions are the formalized …   Wikipedia Computable measure theory — In mathematics, computable measure theory is a version of measure theory which deals with computable numbers, as opposed to real numbers which are used in standard measure theory. This mathematical analysis–related article is a stub. You can help …   Wikipedia Número computable — En matemáticas, especialmente en ciencia computacional teórica y lógica matemática, los números computables o recursivos son los números reales que pueden ser computados con la precisión que se desee por un algoritmo finito. Se puede llegar al… …   Wikipedia Español Mathematical analysis — Mathematical analysis, which mathematicians refer to simply as analysis, has its beginnings in the rigorous formulation of infinitesimal calculus. It is a branch of pure mathematics that includes the theories of differentiation, integration and… …   Wikipedia Constructive analysis — In mathematics, constructive analysis is mathematical analysis done according to the principles of constructive mathematics. This contrasts with classical analysis, which (in this context) simply means analysis done according to the (ordinary)… …   Wikipedia ICES Intertemporal Computable Equilibrium System — affects regional and world economies. The model has been developed at the Climate Change Modelling and Policy Research Programme of the Fondazione Eni Enrico Mattei – FEEM, a research institution in the field of sustainable development.… …   Wikipedia Philosophical analysis — (from Greek: Φιλοσοφική ανάλυση) is a general term for techniques typically used by philosophers in the analytic tradition that involve breaking down (i.e. analyzing) philosophical issues. Arguably the most prominent of these techniques is the… …   Wikipedia 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”