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 théorème d’incomplétude.
Pantopique(s) lié(s) :
1900-1925mathématique
