Euler the Mathemagician

Date: 28th February 2020
Time: 14:30-15:00
Location: IF 2.33

Title:  Euler the Mathemagician
Speaker: Imogen Morris

As practice for the 3 minute thesis competition, I will give a description of my thesis in terms accessible to ordinary people, with one slide and aiming for 3 minutes. I will motivate my work on formalising some of Euler’s proofs and give a description of infinitely-small and infinitely-large numbers as well as explaining some of the process of formalisation.