Роберт Фейс

Роберт Фейс (19 декабря 1889 г. – 13 апреля 1961 г.) – бельгийский логик и философ , работавший в Лёвенском университете ( Бельгия ). ^[1]

Фейс родился в Мехелене [ ^1] и получил докторскую степень в 1909 году в Институте философии Университета Лёвена . В 1913 году он был назначен профессором в Университете Сен-Луи в Брюсселе . Но из-за войны он поступил на службу в армию. В 1919 году он был назначен профессором в Институте Св. Гертруды в Нивеле . В 1929 году он вернулся в Университет Сен-Луи в Брюсселе, а в 1944 году он был назначен профессором в Университете Лёвена. ^[1]

В 1958 году Фейс и Хаскелл Б. Карри разработали алгоритм вывода типов для простого типизированного лямбда-исчисления ( комбинаторной логики ).

• Хаскелл Б. Карри , Роберт Фейс и Уильям Крейг . Комбинаторная логика. Амстердам, North-Holland Pub. Co., 1958–72. ISBN  0-7204-2208-6
• Роберт Фейс, Словарь символов математической логики. Амстердам: North-Holland Pub. Co., 1973, 1969.

Французский

• Фейс, Роберт. «Новые логики модальностей». Неосколастическое обозрение философии 40.56 (1937): 517–553.
• Фейс, Роберт. «Формальные системы аристотелесных модальностей». Философское обозрение Лувена , 48.20 (1950): 478–509.
• Фейс, Роберт. Etude géologique du Carbonifère briançonnais (Верхние Альпы), 1957. Vol. 6. Издания Technip , 1963.

Эта статья о бельгийском ученом — заглушка . Вы можете помочь Википедии, дополнив ее.

• в
• т
• е

Эта статья о европейском математике — заглушка . Вы можете помочь Википедии, расширив ее.

• в
• т
• е