Teaching material

Course notes

• An Introduction to Mathematical Logic
• Unprovability in Mathematics: A First Course on Ordinal Analysis
• Impredicativity and Trees with Gap Condition: A Second Course on Ordinal Analysis

wümax Maths Camp for Highschool Students

• Introductory Lecture on Goodstein Sequences (in German)
• Exercises on Goodstein Sequences (in German)
• Talk on the Limits of Proofs and Computations (in German)