Ролан Фрейссе , французский логик-математик (ум. 2008 г.)
Ролан Фраиссе ( французский : [ʁɔlɑ̃ fʁajse] ; 12 марта 1920 г. - 30 марта 2008 г.) был французским математическим логиком.
Фраиссе получил докторскую степень в Парижском университете в 1953 году. В своей диссертации Фраиссе использовал метод «туда-сюда», чтобы определить, являются ли две теоретико-модельные структуры элементарно эквивалентными. Этот метод определения элементарной эквивалентности позже был сформулирован как игра Эренфойхта-Фрассе. Фрэссе работал в основном в области теории отношений. Другой его важной работой было построение Фраиссе предела Фраиссе конечных структур. Он также сформулировал гипотезу Фраиссе о вложениях порядка и ввел понятие компенсатора в теорию частично-упорядоченных множеств. Большую часть своей карьеры он провел в качестве профессора в Университете Прованса в Марселе, Франция.
1920 г.мар, 12
Роланд Фрейссе
Выбрать другую дату
События в 1920 году
- 19янв
Лига Наций
Сенат США голосует против вступления в Лигу Наций. - 8мар
араб
Основано Сирийское арабское королевство, первое современное арабское государство. - 19мар
Версальский договор
Сенат США во второй раз отклоняет Версальский договор (первый раз — 19 ноября 1919 г.). - 28апр
Советский Союз
Азербайджан присоединился к Советскому Союзу. - 25окт
Шинн Фейн
После 74-дневной голодовки в Брикстонской тюрьме, Англия, Шинн Фейн, лорд-мэр Корка, Теренс МакСвини умирает.