ein Teilgebiet der Analysis, das sich damit befaßt, inwieweit die Beweise von Sätzen aus der Analysis in einer konstruktiven, berechenbaren Weise durchgeführt werden können (Berechnungstheorie).

Ein erster wichtiger Begriff in dieser Theorie ist der der berechenbaren Konvergenz. Eine Folge (α_i), i ∈ ℕ, heißt berechenbar konvergent, wenn es zu jedem positiven rationalen ε = p/q ein n₀ so gibt, daß \(|{\alpha }_{m}-{\alpha }_{n}|\lt \varepsilon \) für alle m, n ≥ n₀, und wenn zusätzlich gilt, daß die Funktion (p, q) ↦ n₀ berechenbar ist (berechenbare Funktion).

Eine reelle Zahl r heißt berechenbar, wenn es eine berechenbare rationale Zahlenfolge gibt, die berechenbar konvergiert, und deren Limes r ist. Beispiele für berechenbare reelle Zahlen sind e und π.

Da es aber überabzählbar viele reelle Zahlen gibt und nur abzählbar viele Berechnungsverfahren, kann nur eine abzählbar unendliche Teilmenge der reellen Zahlen berechenbar sein.