Monthly Archives: July 2022

ICM 2022. Kevin Buzzard: The Rise of Formalism in Mathematics

In this post I would like to report on Kevin Buzzard’s spectacular lecture on moving mathematics toward formal mathematical proofs.  (Here are the slides.) The picture above is based on images from the other spectacular Saturday morning lecture by Laure … Continue reading

Posted in Computer Science and Optimization, ICM2022, Logic and set theory, Mathematics and Computers, Number theory, What is Mathematics | 11 Comments

ICM 2022: Langlands Day

ICM 2022 is running virtually and you can already watch all the videos of past lectures at the IMU You-Tube channel, and probably even if you are not among the 7,000 registered participants you can see them “live” on You-Tube … Continue reading

Posted in Algebra, ICM2022, Number theory | Tagged , , , | Leave a comment

ICM 2022 awarding ceremonies (1)

Hugo Duminil-Copin, June Huh, James Maynard and Maryna Viazovska were awarded the Fields Medal 2022 and Mark Braverman was awarded the Abacus Medal 2022. I am writing from Helsinki where I attended the meeting of the General Assembly of the … Continue reading

Posted in Academics, Algebra, Applied mathematics, Combinatorics, Computer Science and Optimization, Convexity, Geometry, ICM2022, Probability | 5 Comments