Monthly Archives: July 2022

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

Posted on July 17, 2022 by Gil Kalai

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 | 14 Comments

ICM 2022: Langlands Day

Posted on July 13, 2022 by Gil Kalai

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 , , , | 1 Comment

ICM 2022 awarding ceremonies (1)

Posted on July 6, 2022 by Gil Kalai

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 | 7 Comments