Recent Comments
-
Recent Posts
- Some News from a Seminar in Cambridge
- Subspace Designs, Unit and Distinct Distances, and Piercing Standard Boxes.
- Greg Kuperberg @ Tel Aviv University
- Israel AGT Day, Reichman University, March 5, 2023
- Alef’s Corner: Democracy (Israel, 2023)
- Absolutely Sensational Morning News – Zander Kelley and Raghu Meka proved Behrend-type bounds for 3APs
- The Trifference Problem
- Greatest Hits 2015-2022, Part II
- Greatest Hits 2015-2022, Part I
Top Posts & Pages
- Some News from a Seminar in Cambridge
- Absolutely Sensational Morning News - Zander Kelley and Raghu Meka proved Behrend-type bounds for 3APs
- Greg Kuperberg @ Tel Aviv University
- Quantum Computers: A Brief Assessment of Progress in the Past Decade
- To cheer you up in difficult times 7: Bloom and Sisask just broke the logarithm barrier for Roth's theorem!
- 'Gina Says'
- R(5,5) ≤ 48
- Answer: Lord Kelvin, The Age of the Earth, and the Age of the Sun
- The Argument Against Quantum Computers - A Very Short Introduction
RSS
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
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
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