- Fields of mathematics
- >
- Mathematical analysis
- >
- Fields of mathematical analysis
- >
- Computable analysis

- Fields of mathematics
- >
- Mathematical logic
- >
- Computability theory
- >
- Computable analysis

- Fields of mathematics
- >
- Mathematical logic
- >
- Constructivism (mathematics)
- >
- Computable analysis

- Philosophy of mathematics
- >
- Mathematical logic
- >
- Computability theory
- >
- Computable analysis

- Philosophy of mathematics
- >
- Mathematical logic
- >
- Constructivism (mathematics)
- >
- Computable analysis

- Theoretical computer science
- >
- Theory of computation
- >
- Computability theory
- >
- Computable analysis

Computability in Analysis and Physics

Computability in Analysis and Physics is a monograph on computable analysis by Marian Pour-El and J. Ian Richards. It was published by Springer-Verlag in their Perspectives in Mathematical Logic serie

Computable analysis

In mathematics and computer science, computable analysis is the study of mathematical analysis from the perspective of computability theory. It is concerned with the parts of real analysis and functio

Specker sequence

In computability theory, a Specker sequence is a computable, monotonically increasing, bounded sequence of rational numbers whose supremum is not a computable real number. The first example of such a

Weihrauch reducibility

In computable analysis, Weihrauch reducibility is a notion of reducibility between multi-valued functions on represented spaces that roughly captures the uniform computational strength of computationa

Computable real function

In mathematical logic, specifically computability theory, a function is sequentially computable if, for every of real numbers, the sequence is also computable. A function is effectively uniformly cont

Effective Polish space

In mathematical logic, an effective Polish space is a complete separable metric space that has a . Such spaces are studied in effective descriptive set theory and in constructive analysis. In particul

Effective dimension

In mathematics, effective dimension is a modification of Hausdorff dimension and other fractal dimensions that places it in a computability theory setting. There are several variations (various notion

Computable measure theory

In mathematics, computable measure theory is the part of computable analysis that deals with effective versions of measure theory.

Modulus of convergence

In real analysis, a branch of mathematics, a modulus of convergence is a function that tells how quickly a convergent sequence converges. These moduli are often employed in the study of computable ana

© 2023 Useful Links.