Moshe Vardi: What is Theoretical Computer Science?

“Time for Peace” (זמן לשלום), Lyrics: Amnon Abutbul, Yair Dalal, Fathi Kasem; Melody: Amnon Abutbul. Performing Shlomit Aharon and Yevgeni Shapovalov. This year I had the rare event that the new Jewish year coincides with my birthday, and “time for … Continue reading →

There are very many irrational numbers but proving irrationality of a specific number is not a common event. A few weeks ago Frank Calegari, Vesselin Dimitrov, and Yunqing Tang posted a paper that proved the irrationality of  . In fact … Continue reading →

Viterbo conjecture – refuted Claude Viterbo’s 2000 volume-capacity conjecture asserts that the Euclidean (even dimensional) ball maximizes  (every) symplectic capacity  among convex bodies of the same volume. In the recent paper A Counterexample to Viterbo’s Conjecture, Pazit Haim-Kislev and Yaron … Continue reading →

TYI56 asked the following question of Timothy Chow: You have fifteen boxes labelled with the English letters from A to O. Two identical prizes are placed in two (distinct) boxes chosen at random. Andrew’s  search order is  ABCDEFGHIJKLMNO. Barbara’s search … Continue reading →

To me and to many mathematicians in Israel, the Annual meeting of the Israeli Mathematical Union is a dear event and we try to take part. (Here we briefly described the 2017 meeting in Acre, and here the 2014 meeting … Continue reading →