Robert Feys
Jump to navigation
Jump to search
Robert Feys (19 December 1889 – 13 April 1961) was a Belgian logician and philosopher, who worked at the University of Leuven (Belgium).[1]
Feys was born in Mechelen,[1] and received his PhD in 1909 from the Institute of Philosophy, University of Leuven. In 1913 he was appointed Professor at the Université Saint-Louis, Brussels. But due to the War he enlisted in the Army. In 1919 he was appointed Professor at the Institute St. Gertrude in Nivelles. In 1929 he returned to the Université Saint-Louis, Brussels, and in 1944 he was appointed Professor at the University of Leuven.[1]
In 1958 Feys and Haskell B. Curry devised the type inference algorithm for the simply typed lambda calculus (Combinatory Logic).
Selected publications
- Haskell B. Curry, Robert Feys, and William Craig. Combinatory Logic. Amsterdam, North-Holland Pub. Co., 1958–72. ISBN 0-7204-2208-6
- Robert Feys, Dictionary of Symbols of Mathematical Logic. Amsterdam : North-Holland Pub. Co., 1973, 1969.
French
- Feys, Robert. "Les logiques nouvelles des modalités." Revue néo-scolastique de philosophie 40.56 (1937): 517–553.
- Feys, Robert. "Les systèmes formalisés des modalités aristotéliciennes." Revue philosophique de Louvain, 48.20 (1950): 478–509.
- Feys, Robert. Étude géologique du Carbonifère briançonnais (Hautes-Alpes), 1957. Vol. 6. Éditions Technip, 1963.
References
- ^ a b c De Raeymaeker, Louis. "In memoriam le chanoine Robert Feys." Revue Philosophique de Louvain 59.62 (1961): 371-374.
Categories:
- Articles with short description
- Short description is different from Wikidata
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with WorldCat Entities identifiers
- Articles with BNF identifiers
- Articles with BNFdata identifiers
- Articles with GND identifiers
- Articles with J9U identifiers
- Articles with LCCN identifiers
- Articles with NKC identifiers
- Articles with SUDOC identifiers
- 1889 births
- 1961 deaths
- Belgian logicians
- 20th-century Belgian philosophers
- Academic staff of the Old University of Leuven
- All stub articles
- Belgian scientist stubs
- European mathematician stubs
- European philosopher stubs
- Belgian academic biography stubs