Computable real analysis (Weihrauch)

Layer 0 — Mathematicsin the recursion-theory subtree

Weihrauch 2000 'Computable Analysis'. Computability-on-reals via TTE Type-2-effectivity. Computable-functions on reals = continuous-functions. Bridges recursion + real-analysis.

Related concepts

Metric space (X, d)

Explore Computable real analysis (Weihrauch) on the interactive knowledge graph →