Roland Fraïssé
Un article de Wikipédia, l'encyclopédie libre.
Roland Fraïssé est un mathématicien (logicien) français né en 1920, et décédé à Marseille le 30 mars 2008.
IL a été un des pionniers du développement de la « Théorie des relations ». Après une communication à l'Académie des Sciences Sur une nouvelle classification des systèmes de relations en 1950, il soutient sa thèse de doctorat devant l'Université de Paris en 1953 Sur quelques classifications des systèmes de relations, dans laquelle il a inventé la méthode du va-et-vient que le jeu de Ehrenfeucht-Fraïssé utilise pour vérifier l'équivalence élémentaire de deux structures de la théorie des modèles.
Il a été professeur à l'Université de Provence, où il a formé toute une génération de jeunes logiciens.
[modifier] Quelques publications
- Sur une nouvelle classification des systèmes de relations, in Comptes Rendus de l'Académie des Sciences, vol. 230 (1950), pp. 1022 à 1024.
- Sur quelques classifications des systèmes de relations, thèse de doctorat, Université de Paris, 1953; publiée dans Publications Scientifiques de l'Université d'Alger, série A1 (1954), pp. 35 à 182
- Cours de logique mathématique, Paris, Gauthier-Villars Éditeur, 1967; seconde édition, 3 vol., 1971-1975; traduit en Anglais et édité par David Louvish sous le titre Course of Mathematical Logic, 2 vol., Dordrecht, Reidel, 1973-1974.
- Theory of relations, traduit en Anglais par P. Clote, Amsterdam, North-Holland, 1986 ; nouvelle édition en 2000.
