Il y a un mois a été organisée la première journée mondiale de la logique.
Il y a eu des célébrations dans environ 60 localités dont le monde entier
dont
Varsovie, Calcutta, la Mecque, St Petersbourg, Athènes, Berlin, le Vatican,
Montréal, Rio de Janeiro.

L'article suivant décrit ces activités, les tenants et les aboutissants
d'une telle journée:
1st World Logic Day: 14 January 2019
https://link.springer.com/article/10.1007/s11787-019-00221-5

Le 14 janvier c'est le jour de la mort de Gödel et de la naissance de Tarski
"The collected papers" de Tarski (4 volumes) viennent juste d'être
ré-édités par Birkhäuser:
https://www.springer.com/us/book/9783319953656
Nous sommes entrain de préparer un cinquième volume qui contiendra des
documentes inédits et des lettres.

Dans le livre "The Lvov-Warsaw School - Past and Present" récemment  publié
par Birkhäuser
https://link.springer.com/book/10.1007/978-3-319-65430-0
il y a trois articles consacrés à  Tarski:
Alfred Tarski: Auxiliary Notes on His Legacy,  Jan Zygmunt
https://link.springer.com/chapter/10.1007/978-3-319-65430-0_31
Alfred Tarski (1901–1983),  Jan Wolenski
https://link.springer.com/chapter/10.1007/978-3-319-65430-0_27
Tarski’s Influence on Computer Science,  Solomon Feferman
https://link.springer.com/chapter/10.1007/978-3-319-65430-0_29

Jean-Yves Beziau - Rédacteur-en-Chief
Logica Universalis (Journal)
Studies in Universal Logic (Collection de livres)
Birkhäuser / Springer Nature, Bâle, Suisse

--
Pour toute question, la FAQ de la liste se trouve ici:  
https://www.vidal-rosset.net/
        
        
        
        
        
        
        
        
        
        
        
        
        
        

Répondre à