What it is about
You engage with philosophical and methodological foundations from areas of mathematics and computer science, e.g., computability, incompleteness, and intuitionistic logic / proof theory. In the end you can critically understand a selected topic and present the central questions.
What you will be able to do
- Understand methodological foundations
- Understand philosophical foundations
- Probe a topic from the module in depth
- Present results in written and oral form
What the module consists of
- Seminarformatindependent and joint reading; discussion and presentation of the contents
Teaching method
- Seminarenables independent and joint reading as well as exchange; instructors and students provide input