Роберт Фейс - Robert Feys
Роберт Фейс (19 декабря 1889 г. - 13 апреля 1961 г.) бельгийский логик и философ, которые работали в Левенский университет (Бельгия ).[1]
Фейс родился в Мехелен,[1] и получил докторскую степень в 1909 г. Институт философии Левенского университета. В 1913 году он был назначен профессором Университета Сен-Луи в Брюсселе. Но из-за войны его записали в армию. В 1919 году он был назначен профессором института Святой Гертруды в г. Nivelles. В 1929 году он вернулся в Университет Сен-Луи в Брюсселе, а в 1944 году он был назначен профессором Левенского университета.[1]
В 1958 г. Фейс и Хаскелл Б. Карри разработал вывод типа алгоритм для просто типизированное лямбда-исчисление (Комбинаторная логика).
Избранные публикации
- Хаскелл Б. Карри, Роберт Фейс и Уильям Крейг. Комбинаторная логика. Амстердам, паб Северная Голландия. Co., 1958–72. ISBN 0-7204-2208-6
- Роберт Фейс, Словарь символов математической логики. Амстердам: паб Северной Голландии. Ко., 1973, 1969.
Французский
- Фейс, Роберт. "Les logiques nouvelles des modalités". Revue néo-scolastique de Философия 40.56 (1937): 517–553.
- Фейс, Роберт. "Les systèmes formisés des modalités aristotéliciennes". Философское ревю Лувена, 48.20 (1950): 478–509.
- Фейс, Роберт. Étude géologique du Carbonifère briançonnais (Верхние Альпы), 1957. Vol. 6. Издания Technip, 1963.
Рекомендации
- ^ а б c Де Реймэкер, Луи. "In memoriam le chanoine Роберт Фейс." Revue Philosophique de Louvain 59.62 (1961): 371-374.
Авторитетный контроль  |
|---|
   | Эта статья о бельгийский ученый заглушка. Вы можете помочь Википедии расширяя это. |
 | Эта статья про европейца математик это заглушка. Вы можете помочь Википедии расширяя это. |
| Биография бельгийского философа заглушка. Вы можете помочь Википедии расширяя это. |