Loading AI tools
Da Wikipédia, a enciclopédia livre
Roland Fraïssé (francês: [ʁɔlɑ̃ fʁajse]; Bressuire, 12 de março de 1920 – Marselha, 30 de março de 2008) foi um lógico matemático francês.
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] |
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.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.