Ruprecht-Karls-UniversitätHeidelberg
Startseite der Universität Startseite der Fakulttät Mathematisches Institut


Programm
 
 
14.15 Uhr Begrüßung durch den Dekan der Fakultät für Mathematik und Informatik,
Prof. Dr. Wolf Beiglböck

14.20 Uhr Professor Petr Hájek
Tschechische Akademie der Wissenschaften, Prag
Computability and Fuzzy Logic

15.15 Uhr Professor Gerald E. Sacks
Harvard University und MIT, Cambridge
Bounding Theorems

16.00 Uhr Pause

16.30 Uhr Professor Azriel Levy
Hebrew University, Jerusalem
An Overview of Classical Independence Proofs in Set Theory

17.00 Uhr Professor Stanley S. Wainer
University of Leeds
Inductive Definitions over Predicative Arithmetic

ab 19.00 Uhr Empfang und gemeinsames Abendessen im Haus Buhl, Hauptstraße 232/234

Die Vorträge finden im Ehemaligen Senatssaal, Neue Universität (Hörsaalgebäude, Eingang Universitätsplatz) statt.

Vom Heidelberger Hauptbahnhof aus gelangt man mit den Buslinien 41 und 42 zum Universitätsplatz. Die Busse verkehren alle 10 Minuten.

Detaillierte Anfahrtsbeschreibungen finden sich auf den Seiten der Universität.