ICM 2022. Kevin Buzzard: The Rise of Formalism in Mathematics
Combinatorics and more 2022-07-17
Summary:
In this post I would like to report on Kevin Buzzard’s spectacular lecture on moving mathematics toward formal mathematical proofs. The picture above is based on images from the other spectacular Saturday morning lecture by Laure Saint-Raymond. The issues raised … Continue reading →