Euler the Mathemagician

Date: 28th February 2020

Time: 14:30-15:00

Location: IF 2.33

Talks

Title:  Euler the Mathemagician
Speaker: Imogen Morris
Abstract:

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.