Роберт Фейс
Роберт Фейс (19 декабря 1889 — 13 апреля 1961) — бельгийский логик и философ , работавший в Левенском университете ( Бельгия ). [1]
Фейс родился в Мехелене , [1] и получил докторскую степень в 1909 году в Институте философии Левенского университета . В 1913 году он был назначен профессором Университета Сен-Луи в Брюсселе . Но из-за войны он записался в армию. В 1919 году он был назначен профессором Института Святой Гертруды в Нивеле . В 1929 году он вернулся в Университет Сен-Луи в Брюсселе, а в 1944 году был назначен профессором Левенского университета. [1]
В 1958 году Фейс и Хаскелл Б. Карри разработали алгоритм вывода типа для просто типизированного лямбда-исчисления ( комбинаторная логика ).
Избранные публикации
[ редактировать ]- Хаскелл Б. Карри , Роберт Фейс и Уильям Крейг . Комбинаторная логика. Амстердам, Паб Северная Голландия. Компания, 1958–72. ISBN 0-7204-2208-6
- Роберт Фейс, Словарь символов математической логики. Амстердам: Паб Северной Голландии. Ко., 1973, 1969.
Французский
- Фейс, Роберт. «Новая логика модальностей». Неосхоластический обзор философии 40.56 (1937): 517–553.
- Фейс, Роберт. «Формализованные системы аристотелевских модальностей». Revue Philosophique de Louvain , 48.20 (1950): 478–509.
- Фейс, Роберт. Геологическое исследование каменноугольного периода Бриансонне (Верхние Альпы), 1957. Том. 6. Издания Technip , 1963.
Ссылки
[ редактировать ]- ^ Jump up to: а б с Реймекер, Луис. « Памяти каноника Роберта Фейса ». Философское обозрение Лувена 59.62 (1961): 371–374.
| Международный | |
|---|---|
| Национальный | |
| Другой | |
   | о бельгийском ученом незавершена . Эта статья Вы можете помочь Википедии, расширив ее . |
 | статья о европейском математике незавершена Эта . Вы можете помочь Википедии, расширив ее . |