Projekte
Gödels Unvollständigkeitssätze (Reinhard Kahle, Lissabon/Tübingen)
Rekursion und Komplexität (Isabel Oitavem, Lissabon)
Ordinalanalysis (Wolfram Pohlers, Münster)
Automatisierte Beweisführung in der Automobilindustrie (Wolfgang Küchlin, Tübingen)
Evaluation
Allgemeine Dokumente
- Schedule zum Download (PDF)
- Einige Informationen zum Thema "What to know, what to do".
- Handout Gruppen - minimales Axiomensystem