Ролан Фрейссе , французский математик-логик (р. 1920)
Ролан Фраиссе ( французский : [ʁɔlɑ̃ fʁajse] ; 12 марта 1920 г. - 30 марта 2008 г.) был французским математическим логиком.
Фраиссе получил докторскую степень в Парижском университете в 1953 году. В своей диссертации Фраиссе использовал метод «туда-сюда», чтобы определить, являются ли две теоретико-модельные структуры элементарно эквивалентными. Этот метод определения элементарной эквивалентности позже был сформулирован как игра Эренфойхта-Фрассе. Фрэссе работал в основном в области теории отношений. Другой его важной работой было построение Фраиссе предела Фраиссе конечных структур. Он также сформулировал гипотезу Фраиссе о вложениях порядка и ввел понятие компенсатора в теорию частично-упорядоченных множеств. Большую часть своей карьеры он провел в качестве профессора в Университете Прованса в Марселе, Франция.
2008 г.мар, 30
Роланд Фрейссе
Выбрать другую дату
События в 2008 году
- 11июн
Канадско-индейская система школ-интернатов
Премьер-министр Канады Стивен Харпер приносит исторические официальные извинения перед коренными народами Канады в связи с нарушениями в канадской школе-интернате для индейцев. - 7авг
Южная Осетия
Начало российско-грузинской войны за территорию Южной Осетии. - 29сен
Промышленный индекс Доу-Джонса
После банкротства Lehman Brothers и Washington Mutual промышленный индекс Доу-Джонса упал на 777,68 пункта, что стало самым большим снижением за один день в его истории. - 29окт
Северо-Западные авиалинии
Delta Air Lines объединяется с Northwest Airlines, создавая крупнейшую в мире авиакомпанию и сокращая количество традиционных перевозчиков США до пяти. - 10ноя
Феникс (космический корабль)
Спустя пять месяцев после посадки на Марс НАСА объявляет, что миссия «Феникс» завершена после потери связи с посадочным модулем.