Le 14 janvier a été désigné en 2019 Journée mondiale de la logique. Il s’agit du jour de la naissance d’Alfred Tarski (1901-1983), l’un des mathématiciens logiciens les plus importants du 20e siècle, fondateur de la théorie des modèles et de la sémantique formelle, mais aussi de la mort de Kurt Gödel (1906-1978), un autre logicien particulièrement connu pour son…Lire la suite14 janvier – Journée mondiale de la logique