Tutorial on
Computable Analysis

A compact course on computable analysis will be offered at Hagen, Germany, during

February 21-25, 2000,

by the theoretical computer science group:

Prof. Dr. Klaus Weihrauch
Theoretische Informatik I
FernUniversität Hagen
D-58084 Hagen

About computable analysis

All over the world numerous computers are used for real number computation. They evaluate real functions, find zeroes of functions, determine eigenvalues and integrals and solve differential equations, and so they perform or at least are expected to perform computations on sets like the set of real numbers, the set of open subsets of real numbers or the set of differentiable real functions. The increasing demand for reliable as well as fast software in scientific computation and engineering requires a sound and broad foundation. Computable analysis is the mathematical theory of those functions on the real numbers and other sets from analysis, which can be computed by machines. It connects the two classical disciplines analysis/numerical analysis and computability/complexity theory combining in particular the central concepts of limit and approximation on the one hand and of machine models and computation on the other hand. Computable analysis may serve as an additional framework for numerical analysis and all other disciplines which need an exact concept of computation for real functions.

Though computable analysis started in the early years of computability theory, the field is still in its infancy. It has a great potential for further development, since there are numerous challenging open problems, many basic questions have not yet been studied systematically and only occasionally its concepts have been applied to advanced problems.

At present computable analysis appears as a juxtaposition of several approaches producing a number of very interesting results but developing more or less independently. Therefore, for the interested newcomer the situation is bewildering and learning the state of the art is a laborious undertaking.

About the tutorial

This tutorial will give a self-contained introduction which will focus on the representation based approach to computable analysis. In this approach computability is defined explicitly on infinite strings and transferred to other sets like the real numbers by means of representations, where infinite strings are used as names of abstract objects. The following topics will be treated, among others: computability on infinite strings, representations of objects via infinite strings and relative computability via representations, computability over the real numbers, computability on closed or open sets, computability on spaces of continuous functions, computational complexity. In order to make the workshop as efficient as possible, lectures will alternate with exercises and discussions. It is aimed at graduate students and researchers in computer science or mathematics who are interested in an introduction to computable analysis. Only basic knowledge in analysis, computability theory and complexity theory will be assumed.

Time table

Morning Session
8:30 to 12:00
Afternoon Session
14:00 to 17:30
February 21
Introduction Computability
on Cantor Space
February 22
Naming Systems Computability
on the Real Numbers
February 23
Computability on Closed,
Open and Compact Sets
February 24
Spaces of
Continuous Functions
Analytic Functions
and Power Series
February 25
and other Approaches

All lectures take place in room number F 09, Informatikzentrum, Feithstraße 142, FernUniversität Hagen, D-58097 Hagen


This picture shows some participants of the tutorial


by letter:

Prof. Dr. Klaus Weihrauch
Theoretische Informatik I
FernUniversität Hagen
D-58084 Hagen

by email:

[Email remove]

or one of the lecturers:

Klaus Weihrauch
Vasco Brattka
Peter Hertling


There will be only a small fee of DM 30,-. For registration please send an email or a letter to the contact address given above.


Here you can find a

List of hotels in Hagen

The hotels in "Hagen-Nord" are quite close to the university; e.g. Birkenhof (20 min. by feet) and Zum Bauernhaus (3 min. by feet). Please ask us in time if you need help with finding accommodation. (For students a limited number of reasonably priced accommodations is available.)

Further Information

Start |  Introduction |  Members |  Events |  Links
© 1997-2000 Vasco Brattka, FernUniversität Hagen