There will be a CIRCA seminar on 16th November, at 1pm in Theatre D of Maths.
Mun See Chang will speak on “Enriching Transformations for Dependently Typed Languages”.
Ursula Martin will speak on “The Social Machine of Mathematics”
Ursula’s abstract is: How does mathematics come about? In this talk I’ll look at what philosophers, social scientists and historians can tell us about what we are doing when we do mathematics, including recent work on explanation in mathematics, and on how mathematics has impact. I’ll also highlight new approaches to collaborative mathematics, computer supported formal proof, and AI-assisted proof, which challenge our understanding of what a proof might be.