Monthly Archives: April 2021

The probabilistic proof that 2^400-593 is a prime: a revolutionary new type of mathematical proof, or not a proof at all?

Posted on April 22, 2021 by Gil Kalai

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 →

Posted in Computer Science and Optimization, Controversies, Philosophy, What is Mathematics | Tagged , , | 18 Comments

With Avi at Suzanna

Posted on April 21, 2021 by Gil Kalai

To cheer you up even further a new story that breaks new ground about Avi Wigderson and me (and Laci Lovasz) and a couple more famous Isrealis. For another story about Avi and me see Layish. (I told both stories … Continue reading →

Posted in Taxi-and-other-stories | Tagged , , | 1 Comment

Meeting Michael H. at Rio

Posted on April 16, 2021 by Gil Kalai

After many years, to cheer you up in these difficult times, another story in our corner “taxi and other stories”.  Meeting Michael H. at Rio In my early years I used to guess how people looked by their names. I … Continue reading →

Posted in Taxi-and-other-stories, What is Mathematics | Tagged | 1 Comment