Category Archives: Logic and set theory

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

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

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

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