Фраиссе, Ролан
Ро́лан Фраиссе́ (фр. Roland Fraïssé; 12 марта 1920[1][2], Брессюир[1] — 30 марта 2008[1], Марсель[1]) — французский математик и логик. Известен как один из пионеров развития теории отношений и создатель метода «туда-сюда», используемого в игре Эренфойхта — Фраиссе для проверки элементарной эквивалентности двух структур в теории моделей.
Биография
Фраиссе был одним из пионеров развития теории отношений. Сообщение во Французскую академию наук в 1950 году привело в 1953 году к защите докторской диссертации под названием «О некоторых классификациях систем отношений» (фр. Sur quelques classifications des systèmes de relations), подготовленной под руководством Рене де Посселя[3] и защищённой в Парижском университете. В этой работе он изобрёл метод «туда-сюда», который используется в игре Эренфойхта — Фраиссе для проверки элементарной эквивалентности двух структур в теории моделей. Он также ввёл понятие «компенсатора» в теории порядков[4].
Фраиссе был профессором в Университете Прованса, где подготовил целое поколение логиков[3]. Среди его учеников — Этьен Гранжан, который активно работал в Университете Кана.
В своём изложении логики Фраиссе отдавал приоритет семантике. По его мнению, развитие логики выражается во всё большем поглощении синтаксиса семантикой[5]. Таким образом, семантика относится к синтаксису так же, как теория полей — к точечным методам решения алгебраических уравнений.