The Seminar takes place on Mondays at 14:15, usually in Seminar Room C of the Mathematikon.
Schedule
04.11.2024
Speaker: Gihan Marasingha (University of Exeter)
Title: Teaching proof to new undergraduates with the Lean interactive theorem prover
Time: 14:15
Abstract:
I will speak about the use of the interactive theorem prover Lean to teach proof and introductory pure mathematics to undergraduate mathematics students, with a focus on my experiences and observations at a UK university. The talk discusses the challenges common to new students, how Lean can help by clarifying the notion of proof and giving students instant feedback. I will address the difficulties involved in teaching with Lean.
16.12.2024 – HEGL Christmas Activity🎄🎉☃️
Time: 3 PM.
Place: In the Foyer of the Mathematikon.
In the spring of 2023, D. Smith, J. Myers, C. Kaplan and C. Goodman-Strauss solved a mathematical problem that had been open for decades: Is it possible to tile the plane aperiodically with tiles of just one type, i.e. to cover the plane without gaps and without overlapping so that the pattern never repeats itself, no matter how the tiles are laid.
For the 2025 HEGL Christmas Activity, we will create an Einstein parquet as large as possible using many self-designed tiles. Further information on how to participate can be found here. On December 16th, we will gather around cake and cookies and lay the tiles together! Everybody is welcome to join and spend a moment with us. We will also engage in other mathematical activities, such as the folding of Bascetta stars. Make sure you stop by!
Picture: David Smith, Joseph Samuel Myers, Craig S. Kaplan, Chaim Goodman-Strauss (CC BY-SA 4.0).