Roland Fraïssé – Wikipédia, a enciclopédia livre

Roland Fraïssé
Nascimento Roland Jean Ernest Fraïssé
12 de março de 1920
Bressuire
Morte 30 de março de 2008 (88 anos)
8th arrondissement of Marseille
Cidadania França
Alma mater
Ocupação matemático, filósofo
Empregador(a) Universidade da Provença
Orientador(a)(es/s) René de Possel[1]

Roland Fraïssé (francês: [ʁɔlɑ̃ fʁajse]; Bressuire, 12 de março de 1920Marselha, 30 de março de 2008) foi um lógico matemático francês.

Fraïssé obteve um doutorado na Universidade de Paris em 1953. Em sua tese,[2][3] Fraïssé usou o método do vai-e-vem (back-and-forth method) para determinar se duas estruturas de modelos teóricos são equivalentes elementares. Este método de determinar equivalência elementar foi depois formulado como jogo de Ehrenfeucht–Fraïssé. Fraïssé trabalhou primariamente com teoria das relações. Outro de seu trabalhos fundamentais foi a construção de Fraïssé de um limite de Fraïssé de estruturas finitas. Ele também formulou a conjectura de Fraïssé sobre o embutimentos de ordem, e introduziu a noção de compensador em conjuntos parcialmente ordenados.[4]

Passou a maior parte de sua carreira como professor na Universidade de Provence Aix-Marseille, França.

Publicações selecionadas

[editar | editar código-fonte]
  • Sur quelques classifications des systèmes de relations, thesis, University of Paris, 1953; published in Publications Scientifiques de l'Université d'Alger, series A 1 (1954), 35–182.
  • Cours de logique mathématique, Paris: Gauthier-Villars Éditeur, 1967; second edition, 3 vols., 1971–1975; tr. into English and ed. by David Louvish as Course of Mathematical Logic, 2 vols., Dordrecht: Reidel, 1973–1974.
  • Theory of relations, tr. into English by P. Clote, Amsterdam: North-Holland, 1986; rev. ed. 2000.

Referências

  1. Roland Fraïssé (em inglês) no Mathematics Genealogy Project
  2. Sur une nouvelle classification des systèmes de relations, Roland Fraïssé, Comptes Rendus 230 (1950), 1022–1024.
  3. Sur quelques classifications des systèmes de relations, Roland Fraïssé, thesis, Paris, 1953; publicada em Publications Scientifiques de l'Université d'Alger, series A 1 (1954), 35–182.
  4. Petits posets : dénombrement, représentabilité par cercles et compenseurs, Roland Fraïssé and Nik Lygeros Comptes Rendus de l'Académie des Sciences, Série I 313 (1991), no. 7, 417—420