CIRCA lunchtime seminar

Ursula Martin and Mun See Chang will speak at this lunchtime seminar on ‘The Social Machine of Mathematics'.

Abstract: 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.

Mun See's title: Enriching Transformations for Dependently Typed Languages

All welcome.