Permutations and Copi mats, Chidenguele, Mozambique
Je vais traiter, d’un point de vue personnel, la naissance et les premiers développements de la théorie des modèles pendant la période qui s’étend de sa naissance vers 1870, avec les travaux de Peirce, jusqu’au théorème de Morley vers 1965. J’insisterai particulièrement sur l’aspect « algèbre universelle » et j’essaierai de dégager comment la notion de définissabilité a fait évoluer cette théorie jusqu’à une science complexe pouvant apporter de nouvelles idées au reste des mathématiques.
Lorsque vers 1654 Pascal considère le triangle arithmétique, il ne se contente pas de dresser l’inventaire d’applications déjà anciennes, ni d’étendre son usage aux jeux de hasard. Son recueil de traités est aussi le lieu où se confrontent deux manières successives de résoudre les mêmes problèmes : soit par lecture du triangle, soit par des calculs dont le triangle est exclu.Or, du point de vue de la preuve, le recueil donne à voir ces solutions sans triangle comme un second mouvement, une conclusion....
Článek je věnován památce Pierse Bohla (1865-1921), lotyšského matematika a šachisty, jehož mnohé výsledky předběhly svoji dobu a zůstaly tehdejší matematickou komunitou často nedoceněny. Kromě uvedení základních životopisných údajů komentuje tento text jeho dnes již všeobecně uznávaný přínos do několika oblastí matematické analýzy, zejména pak vět o pevném bodě a teorie kvaziperiodických funkcí. Hlavní inspirací pro sepsání tohoto článku byl však jiný Bohlův výsledek, tentokrát z oblasti teorie...