Roland Fraïssé , lógico matemático francés (m. 2008)
Roland Fraïssé ( francés: [ʁɔlɑ̃ fʁajse] ; 12 de marzo de 1920 - 30 de marzo de 2008) fue un lógico matemático francés.
Fraïssé recibió su doctorado en la Universidad de París en 1953. En su tesis, Fraïssé usó el método de ida y vuelta para determinar si dos estructuras de teoría de modelos eran elementalmente equivalentes. Este método para determinar la equivalencia elemental se formuló más tarde como el juego Ehrenfeucht-Fraïssé. Fraïssé trabajó principalmente en la teoría de las relaciones. Otra de sus obras importantes fue la construcción de Fraïssé de un límite de Fraïssé de estructuras finitas. También formuló la conjetura de Fraïssé sobre incrustaciones de orden e introdujo la noción de compensador en la teoría de posets. La mayor parte de su carrera la pasó como profesor en la Universidad de Provenza en Marsella, Francia.
1920mar., 12
Roland Fraisse
Elige Otra Fecha
Eventos en el 1920
- 19ene.
Liga de las Naciones
El Senado de los Estados Unidos vota en contra de unirse a la Sociedad de Naciones. - 8mar.
árabe
Se establece el Reino Árabe de Siria, el primer estado árabe moderno en existir. - 19mar.
Tratado de Versalles
El Senado de los Estados Unidos rechaza el Tratado de Versalles por segunda vez (la primera vez fue el 19 de noviembre de 1919). - 28abr.
Unión Soviética
Azerbaiyán se agrega a la Unión Soviética. - 25oct.
Partido Sinn Fein
Después de 74 días de huelga de hambre en la prisión de Brixton, Inglaterra, muere el alcalde de Cork del Sinn Féin, Terence MacSwiney.