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
Germany

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
Monday
February 21
Introduction Computability
on Cantor Space
Tuesday
February 22
Naming Systems Computability
on the Real Numbers
Wednesday
February 23
Computability on Closed,
Open and Compact Sets
Excursion
Thursday
February 24
Spaces of
Continuous Functions
Analytic Functions
and Power Series
Friday
February 25
Computational
Complexity
Extensions
and other Approaches

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

Participants


This picture shows some participants of the tutorial

Contact

by letter:

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


by email:

[Email remove]


or one of the lecturers:

Klaus Weihrauch
Vasco Brattka
Peter Hertling

Registration

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.

Accommodation

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