Fraïssé

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 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.

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.[1] 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, 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.

Notes et références

  1. Cours de logique mathématique, Paris, Gauthier-Villars Éditeur, 3 vol., 1971-1975; introductions des deux premiers volumes
Ce document provient de « Roland Fra%C3%AFss%C3%A9 ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Fraïssé de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • 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 — Saltar a navegación, búsqueda Fraisse …   Wikipedia Español

  • Fraisse — Variante de Fraysse, nom porté en Auvergne. Voir Freixe …   Noms de famille

  • Fraisse — Pour les articles homonymes, voir Fraisse (homonymie).  Pour l’article homophone, voir Fraisses …   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

  • Fraisse-Cabardes — Fraisse Cabardès Pour les articles homonymes, voir Fraisse (homonymie). Fraisse Cabardès …   Wikipédia en Français

  • Fraisse-Sur-Agout — Pour les articles homonymes, voir Fraisse (homonymie). Fraisse sur Agout …   Wikipédia en Français

  • Fraisse-cabardès — Pour les articles homonymes, voir Fraisse (homonymie). Fraisse Cabardès …   Wikipédia en Français

  • Fraisse-sur-agout — Pour les articles homonymes, voir Fraisse (homonymie). Fraisse sur Agout …   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 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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”