Abstract

Computable analysis studies computability and computational complexity of functions in Analysis. In this talk, some basic principles of this theory are presented.

1. Introduction
2. The representation approach (TTE)
3. Computability on Cantor space
4. Representations
5. Realization, induced effectivity
6. Examples of computable functions
7. Admissible representations
8. Computability in Physics, Church's Thesis
9. Other models of computation.




Information: