Roland Fraïssé , logicien mathématicien français (décédé en 2008)
Roland Fraïssé ( français: [ʁɔlɑ̃ fʁajse] ; 12 mars 1920 - 30 mars 2008) était un mathématicien logicien français .
Fraïssé a obtenu son doctorat à l'Université de Paris en 1953. Dans sa thèse, Fraïssé a utilisé la méthode du va-et-vient pour déterminer si deux structures théoriques des modèles étaient élémentairement équivalentes. Cette méthode de détermination de l'équivalence élémentaire a ensuite été formulée sous le nom de jeu d'Ehrenfeucht-Fraïssé. Fraïssé a travaillé principalement dans la théorie des relations. Une autre de ses œuvres importantes fut la construction Fraïssé d'une limite Fraïssé de structures finies. Il a également formulé la conjecture de Fraïssé sur les plongements d'ordre et a introduit la notion de compensateur dans la théorie des posets. La majeure partie de sa carrière a été consacrée comme professeur à l'Université de Provence à Marseille, France.
1920mars, 12
Roland Fraïssé
Choisissez Une Autre Date
Evénements du 1920
- 19janv.
Ligue des Nations
Le Sénat des États-Unis vote contre l'adhésion à la Société des Nations. - 8mars
arabe
Le Royaume arabe de Syrie, le premier État arabe moderne à voir le jour, est établi. - 19mars
Traité de Versailles
Le Sénat des États-Unis rejette le traité de Versailles pour la deuxième fois (la première fois, c'était le 19 novembre 1919). - 28avr.
Union soviétique
L'Azerbaïdjan est rattaché à l'Union soviétique. - 25oct.
Sinn fein
Après 74 jours de grève de la faim à la prison de Brixton, en Angleterre, le lord-maire du Sinn Féin de Cork, Terence MacSwiney, décède.