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

Photo by Nothing Ahead on Pexels.com

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.

We are very thankful for the support by the DVMLG: Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften.