Speakers. and. Topic.
- Neil Barton (Universität Konstanz): Mathematical Gettier cases.
- Paola Iannone (Loughborough University): Learning about proof with LEAN
- Bernhard Schröder (Universität Duisburg-Essen): How proofs are told. Linguistic aspects of proof texts.
- Athina Thoma (University of East Anglia): Students’ learning LEAN – Investigating strategies and knowledge using specific tasks.
- Keith Weber (Rutgers University): Presenting proofs to students: The difference between what students hear and what mathematicians are trying to convey.
schedule. 27. September 2021
Monday afternoon
German time (CEST)
15:00 : Proof telling: Linguistic aspects of proof texts
Bernhard Schröder | University of Duisburg Essen | Germany
15:30 : Mathematical Gettier Cases
Neil Barton | Germany
16:00 Break
16:30 : Learning Proof with LEAN
Paola Iannone | Loughborough University | United Kingdom
17:00 : Students’ learning LEAN – Investigating strategies and knowledge using specific tasks
Athina Thoma | University of East Anglia (UEA) | United Kingdom
17:30 : Presenting proofs to students: The difference between what students hear and what mathematicians are trying to convey.
Keith Weber | Rutgers University | United States

Registration.
Please register to the main conference to attend to the Affiliated Minisymposium, you can find details here:
https://www.uni-passau.de/en/dmv-oemg-jahrestagung-2021/registration/
Support.
