Category Archives: Logic and set theory

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

This question from Tim Gowers will certainly cheeer you up! and test your intuition as well!

Posted on October 18, 2020 by Gil Kalai

I've rolled a die and not looked at it yet. The statement, "If the number I rolled equals 2+2 then it equals 5," is … — Timothy Gowers (@wtgowers) October 18, 2020 Here is a tweet from Tim Gowers  It … Continue reading →

Posted in Logic and set theory, Philosophy, Probability | Tagged | 12 Comments

Thilo Weinert: Transfinite Ramsey Numbers

Posted on February 28, 2017 by Gil Kalai

This is first of three posts kindly written by Thilo Weinert Recently Gil asked me whether I would like to contribute to his blog and I am happy to do so. I enjoy both finite and infinite combinatorics and it … Continue reading →

Posted in Combinatorics, Guest blogger, Logic and set theory | Tagged | 3 Comments