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?

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 , , | 15 Comments

With Avi at Suzanna

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

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