Upcoming talks:
| Tue 7 Jul 2026, 16:30: Dirk Pattinson (Australian National University) TBA |
| TBA ____________________________________ Invited by Prof. Helmut Schwichtenberg |
| Theresienstr. 39, München. Room A 027 |
| Thu 23 Jul 2026, 16:30: Kotaro Komatsu (University of Tsukuba) Introducing students to explorative aspects of proving in mathematical activity |
| Proving is a fundamental activity in mathematics, and its teaching has been widely discussed in mathematics education research. A central theme in this body of research concerns the transition from making or evaluating a conjecture to proving it, with proof construction often viewed as the ultimate goal of mathematical activity. However, proving also involves ongoing processes that extend beyond proof construction, including the revision and generalisation of proved statements. In this talk, I discuss these relatively understudied, explorative aspects of proving through two illustrative cases: one relates to Lakatos-style mathematical activity involving proofs and refutations in a secondary school context, and the other focuses on proof by mathematical induction at the undergraduate level. I also discuss implications for task design aimed at introducing explorative proving to students. ____________________ Invited by Prof. Stefan Ufer |
| Theresienstr. 39, München. Room A 027 |
All lectures are on Tuesdays at 4:30 pm in lecture hall A027 unless otherwise noticed.
Looking for past events? You may find them in the Munich Mathematical Calendar.