Projects
Gödel's Incompleteness Theorems (Reinhard Kahle, Lisbon/Tübingen)
Recursion and Complexity (Isabel Oitavem, Lisbon)
Ordinal Analysis (Wolfram Pohlers, Münster)
Automatic Reasoning in the Automobile Industry (Wolfgang Küchlin, Tübingen)
Evaluation
General documents
- Schedule for download (PDF)
- Here is some brief information about things to know and to do while staying in Göttingen.
- Handout groups - minimal axiomatisation