Teaching

• Philosophy of Mathematics, Teaching Assistant - LMU Munich, undergraduate level, 2022-23.

This course is an introduction to some philosophical issues concerning mathematics. The first meetings of this course will review three general philosophical accounts of mathematics that try to make sense of these general features of mathematics in a way that fits in with our understanding of the world and ourselves. In the rest of the course we will use these general accounts of mathematics to investigate more specific philosophical issues in mathematics. 

• Logic II, Teaching Assistant - LMU Munich, undergraduate level, 2022.

This course offers a rigorous introduction to the metatheory of classical first-order logic. Topics include soundness, completeness, compactness, Löwenheim–Skolem theorems, and undecidability. We will develop these results formally and reflect on their philosophical significance for logic, mathematics, and the foundations of formal reasoning.

• Philosophy of Mathematical Practice, Teaching Assistant - LMU Munich, graduate level, 2021-22.

The course examines a variety of issues in the philosophy of mathematics from a practice-oriented viewpoint: the status of axioms, the nature of proof, the role of pictures and diagrams, nondeductive methods, mathematical explanation, the development of mathematical concepts and the social epistemology of math.

• Logic II, Teaching Assistant - LMU Munich, undergraduate level, 2021.

This course offers a rigorous introduction to the metatheory of classical first-order logic. Topics include soundness, completeness, compactness, Löwenheim–Skolem theorems, and undecidability. We will develop these results formally and reflect on their philosophical significance for logic, mathematics, and the foundations of formal reasoning.