Recent Comments
-
Recent Posts
- The Trifference Problem
- Greatest Hits 2015-2022, Part II
- Greatest Hits 2015-2022, Part I
- Tel Aviv University Theory Fest is Starting Tomorrow
- Alef’s Corner
- A Nice Example Related to the Frankl Conjecture
- Amazing: Justin Gilmer gave a constant lower bound for the union-closed sets conjecture
- Barnabás Janzer: Rotation inside convex Kakeya sets
- Inaugural address at the Hungarian Academy of Science: The Quantum Computer – A Miracle or Mirage
Top Posts & Pages
- TYI 30: Expected number of Dice throws
- Elchanan Mossel's Amazing Dice Paradox (your answers to TYI 30)
- The Trifference Problem
- Amazing: Justin Gilmer gave a constant lower bound for the union-closed sets conjecture
- Answer: Lord Kelvin, The Age of the Earth, and the Age of the Sun
- To cheer you up in difficult times 11: Immortal Songs by Sabine Hossenfelder and by Tom Lehrer
- Test your intuition 29: Diameter of various random trees
- Micha Perles' Geometric Proof of the Erdos-Sos Conjecture for Caterpillars
- Frankl's Conjecture for Large Families: Ilan Karpas' Proof
RSS
Monthly Archives: June 2021
To cheer you up in difficult times 27: A major recent “Lean” proof verification
“Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover.” (See Lean’s homepage and see here for an introduction to lean.) Kevin Buzzard’s blog … Continue reading
Posted in Algebra, Updates, What is Mathematics
Tagged Kevin Buzzard, Lean, Peter Scholze
5 Comments
To cheer you up in difficult times 26: Two real-life lectures yesterday at the Technion
After 16 months without lecturing to an audience in my same location, I gave yesterday two lectures at the Technion in front of a live audience (and some additional audience in remote locations). The main lecture was in COMSOC 2021, … Continue reading
Posted in Combinatorics, Convex polytopes, Economics, Games, Rationality
Tagged COMSOC 2021
Leave a comment