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: 15:00.
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).
20.01.2025
Speaker: Manon Bischoff (Spektrum der Wissenschaft).
Title: News articles, Columns, Podcasts and TikTok: How to communicate math on different levels.
Time: 14:15
Abstract:
Math rarely makes headlines. Many people get scared when they think back to their high school math classes. And many people have no idea what research in mathematics is all about. That is why it is important to communicate math and to show that math can be fun and interesting. We will discuss different formats, styles and ways of communicating science and especially math to a broader audience. I am looking forward to a lively discussion!
Image copyright: Dirk Frettlöh.