1st World Logic Day, 14 January 2019 - Report on the Celebrations
One month ago was organized the 1st World Logic Day. It was celebrated in about 60 locations all over the world including Warsaw, Kolkata, Mecca, St Petersburg, Athens, Berlin, Vatican, Montréal, Rio de Janeiro, as reported in the following paper in open access: 1st World Logic Day: 14 January 2019 https://link.springer.com/article/10.1007/s11787-019-00221-5 As explained, January 14 is the day of death of Gödel and birth of Tarski. The collected papers of Tarski (4 volumes) have just been re-edited by Birkhäuser: https://www.springer.com/us/book/9783319953656 We will release soon a 5th volume with unpublished documents and letters. In the recent published Birkhäuser book The Lvov-Warsaw School - Past and Present https://link.springer.com/book/10.1007/978-3-319-65430-0 there are three papers about Tarski: Alfred Tarski: Auxiliary Notes on His Legacy, by Jan Zygmunt https://link.springer.com/chapter/10.1007/978-3-319-65430-0_31 Alfred Tarski (1901–1983), by Jan Wolenski https://link.springer.com/chapter/10.1007/978-3-319-65430-0_27 Tarski’s Influence on Computer Science, by Solomon Feferman https://link.springer.com/chapter/10.1007/978-3-319-65430-0_29 Jean-Yves Beziau - Editor-in-Chief Logica Universalis (Journal) Studies in Universal Logic (Book Series) Birkhäuser / Springer Nature, Basel, Switzerland
participants (1)
-
jean-yves beziau