Roland Fraïssé
- Roland Fraïssé
-
Roland Fraïssé est un mathématicien (logicien) français, né en 1920 et mort le 30 mars 2008 à Marseille.
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 de 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 (en) que le jeu de Ehrenfeucht-Fraïssé (en) utilise pour vérifier l'équivalence élémentaire de deux structures de la théorie des modèles. Il a aussi introduit la notion de compenseur dans la théorie des ordres[1].
Il a été professeur à l'université de Provence où il a formé toute une génération de jeunes logiciens.
Sa présentation de la logique, très personnalisée, donne la priorité à la sémantique : selon lui, l'avancement de la logique se traduit par une absorption croissante de la syntaxe par la sémantique[2]. Ainsi, la sémantique serait à la syntaxe ce que la théorie des corps est aux méthodes ponctuelles de résolution des équations algébriques.
Quelques publications
- Sur une nouvelle classification des systèmes de relations, CRAS, vol. 230 (1950), p. 1022-1024[3]
- 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), p. 35-182
- Cours de logique mathématique, Paris, Gauthier-Villars, 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, Elsevier Science, 1986 ; rééd. 2000 (ISBN 978-0-44450542-2)
Notes et références
- ↑ Roland Fraïssé et Nik Lygeros, Petits posets : dénombrement, représentabilité par cercles et « compenseurs » , CRAS Sér. I Math. 313 (1991), no. 7, 417-420 [lire en ligne]
- ↑ Cours de logique mathématique, Paris, Gauthier-Villars Éditeur, 3 vol., 1971-1975 ; introductions des deux premiers volumes
- ↑ [lire en ligne]
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Roland Fraïssé de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Roland Fraïssé — (born 1920; died Marseille, March 30, 2008 [ [http://www.site.uottawa.ca/ lrakotom/rogics2008/RolandFraisse.html Rogics08 Deces de Roland Fraisse Message de Maurice Pouzet et Gerard Lopez] , accessed May 22, 2008.] ) was a French mathematical… … Wikipedia
Roland Fraïssé — (* 3. Dezember 1920; † 30. März 2008 in Marseille) war ein französischer Mathematischer Logiker, der sich mit der Theorie der Relationen und Modelltheorie beschäftigte. Fraïssé wurde 1950 an der Universität Paris promoviert mit einer Arbeit, in… … Deutsch Wikipedia
Roland Fraisse — Roland Fraïssé 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… … Wikipédia en Français
Fraïssé — Roland Fraïssé 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… … Wikipédia en Français
Fraisse — bzw. Fraïssé ist der Name folgender Personen: Édouard Fraisse (1880−1945), französischer Bildhauer und Medailleur Geneviève Fraisse (* 1948), französische Historikerin und Philosophin Paul Fraisse (1911−1996), französischer Psychologe Robert… … Deutsch Wikipedia
Fraisse (Homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Patronyme Geneviève Fraisse, historienne de la pensée féministe et philosophe française (1948 ) Paul Fraisse, psychologue français connu pour ses travaux… … Wikipédia en Français
Fraisse (homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Patronyme Édouard Fraisse, sculpteur, graveur et médailleur français. Geneviève Fraisse, historienne de la pensée féministe et philosophe française (1948… … Wikipédia en Français
Fraisse — For the logician, see Roland Fraïssé. French commune nomcommune=Fraisse région=Aquitaine département=Dordogne arrondissement=Bergerac canton=La Force insee=24191 cp=24130 maire= mandat= intercomm= longitude=0.308333333333 latitude=44.9305555556… … Wikipedia
Ehrenfeucht–Fraïssé game — In the mathematical discipline of model theory, the Ehrenfeucht Fraïssé game is a technique for determining whether two structures are elementarily equivalent. The main application of Ehrenfeucht Fraïssé games is in proving the inexpressibility… … Wikipedia
Ehrenfeucht-Fraïssé-Spiele — (EF Spiele) sind eine Beweistechnik der Modelltheorie. Durch EF Spiele lässt sich die Äquivalenz zweier Strukturen zeigen bzw. widerlegen. Strukturen dienen in der beschreibenden Komplexitätstheorie meist als Formalismus zur Beschreibung von… … Deutsch Wikipedia
