WikiDer > Роберт Фейс

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.

Рекомендации

  1. ^ а б c Де Реймэкер, Луи. "In memoriam le chanoine Роберт Фейс." Revue Philosophique de Louvain 59.62 (1961): 371-374.