Recent Comments

Recent Posts
 Let me tell you about three of my recent papers
 Mathematical news to cheer you up
 To Cheer You Up in Difficult Times 28: Math On the Beach (Alef’s Corner)
 To cheer you up in difficult times 27: A major recent “Lean” proof verification
 To cheer you up in difficult times 26: Two reallife lectures yesterday at the Technion
 To Cheer You Up in Difficult times 24: Borodin’s colouring conjecture!
 To cheer you up in difficult times 25: some mathematical news! (Part 2)
 To cheer you up in difficult times 23: the original handwritten slides of Terry Tao’s 2015 Einstein Lecture in Jerusalem
 Alef Corner: ICM2022
Top Posts & Pages
 Let me tell you about three of my recent papers
 Mathematical news to cheer you up
 To cheer you up in difficult times 27: A major recent "Lean" proof verification
 The Argument Against Quantum Computers  A Very Short Introduction
 TYI 30: Expected number of Dice throws
 Around Borsuk's Conjecture 1: Some Problems
 A sensation in the morning news  Yaroslav Shitov: Counterexamples to Hedetniemi's conjecture.
 An interview with Noga Alon
 The Race to Quantum Technologies and Quantum Computers (Useful Links)
RSS
Category Archives: Philosophy
The probabilistic proof that 2^400593 is a prime: a revolutionary new type of mathematical proof, or not a proof at all?
Avi Wigderson gave a great CS colloquium talk at HUJI on Monday (a real auditorium talk with an audience of about 200 people). The title of the talk was The Value of Errors in Proofs – a fascinating journey from … 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
To cheer you up in difficult times 4: Women In Theory present — I will survive
An amazing video (Update, May18 2020). I failed to explain what WIT is and this may have caused some misunderstanding. Here is a description from the Simons Institute site. “The Women in Theory (WIT) Workshop is intended for graduate and … Continue reading
Avi Wigderson’s: “Integrating computational modeling, algorithms, and complexity into theories of nature, marks a new scientific revolution!” (An invitation for a discussion.)
The cover of Avi Wigderson’s book “Mathematics and computation” as was first exposed to the public in Avi’s Knuth Prize videotaped lecture. (I had trouble with 3 of the words: What is EGDE L WONK 0? what is GCAAG?GTAACTC … Continue reading
Test Your Intuition 33: The Great Free Will Poll
Free will is defined (following Wikipedea) as the ability of humans to choose between different possible courses of action unimpeded. But you may take your favorite definition of free will. Philosophers (and others) have debated the definition of “free will” and the question if humans … Continue reading
Poznań: Random Structures and Algorithms 2013
Michal Karonski (left) who built Poland’s probabilistic combinatorics group at Poznań, and a sculpture honoring the Polish mathematicians who first broke the Enigma machine (right, with David Conlon, picture taken by Jacob Fox). Update: Here is a picture from 2015, while … Continue reading
Posted in Combinatorics, Conferences, Open problems, Philosophy, Probability
Tagged Poznan, RSA
3 Comments
Why is Mathematics Possible: Tim Gowers’s Take on the Matter
In a previous post I mentioned the question of why is mathematics possible. Among the interesting comments to the post, here is a comment by Tim Gowers: “Maybe the following would be a way of rephrasing your question. We know … Continue reading
Posted in Open discussion, Philosophy, What is Mathematics
Tagged Foundations of Mathematics, Open discussion, Philosophy, Tim Gowers
22 Comments
Why is mathematics possible?
Spectacular advances in number theory Last weeks we heard about two spectacular results in number theory. As announced in Nature, Yitang Zhang proved that there are infinitely many pairs of consecutive primes which are at most 70 million apart! This is a sensational achievement. … Continue reading
The Privacy Paradox of Rann Smorodinsky
The following paradox was raised by Rann Smorodinsky: Rann Smorodinsky’s Privacy Paradox Suppose that you have the following onetime scenario. You want to buy a sandwich where the options are a roast beef sandwich or an avocado sandwich. Choosing … Continue reading