Roland Fraïssé ( francés: [ʁɔlɑ̃ fʁajse] ; 12 de marzo de 1920 - 30 de marzo de 2008 [1] ) fue un lógico matemático francés .
Roland Fraïssé | |
---|---|
Nació | Bressuire , Francia | 12 de marzo de 1920
Fallecido | 30 de marzo de 2008 Marsella , Francia | (88 años)
Nacionalidad | francés |
alma mater | Universidad de Paris |
Conocido por | Partidos de Ehrenfeucht – Fraïssé |
Carrera científica | |
Campos | Matemáticas |
Instituciones | Universidad de Provenza |
Tesis | Clasificaciones sur quelques de sistemas de relaciones (1953) |
Asesor de doctorado | René de Possel |
Fraïssé recibió su doctorado de la Universidad de París en 1953. En su tesis, [2] [3] Fraïssé utilizó el método de ida y vuelta para determinar si dos estructuras de teoría de modelos eran elementalmente equivalentes . Este método de determinar la equivalencia elemental se formuló más tarde como el juego Ehrenfeucht-Fraïssé . Fraïssé trabajó principalmente en teoría de relaciones . Otra de sus obras importantes fue la construcción Fraïssé de un límite Fraïssé de estructuras finitas. También formuló la conjetura de Fraïssé sobre las incrustaciones de orden e introdujo la noción de compensor en elteoría de posets . [4]
La mayor parte de su carrera la pasó como profesor en la Universidad de Provenza en Marsella , Francia.
Publicaciones Seleccionadas
- Sur quelques clasifications des systèmes de Relations , tesis, Universidad de París, 1953; publicado en Publications Scientifiques de l'Université d'Alger , serie A 1 (1954), 35–182.
- Cours de logique mathématique , París: Gauthier-Villars Éditeur, 1967; segunda edición, 3 vols., 1971-1975; tr. en inglés y ed. por David Louvish como Curso de lógica matemática , 2 vols., Dordrecht: Reidel, 1973-1974.
- Teoría de las relaciones , tr. al inglés por P. Clote, Amsterdam: North-Holland, 1986; Rvdo. ed. 2000.
Referencias
- ^ Rogics08 - Décès de Roland Fraïssé - Message de Maurice Pouzet et Gérard Lopez , consultado el 22 de mayo de 2008.
- ^ Sur une nueva clasificación de sistemas de relaciones , Roland Fraïssé, Comptes Rendus 230 (1950), 1022-1024.
- ^ Sur quelques clasifications des systèmes de Relations , Roland Fraïssé, tesis, París, 1953; publicado en Publications Scientifiques de l'Université d'Alger , serie A 1 (1954), 35–182.
- ↑ Petits posets: dénombrement, représentabilité par cercles et compenseurs, Roland Fraïssé y Nik Lygeros, Comptes Rendus de l'Académie des Sciences , Série I 313 (1991), no. 7, 417–420