Robert Feys - Robert Feys
Robert Feys (19. prosince 1889 - 13. dubna 1961) byl a belgický logik a filozof, který pracoval v Univerzita v Lovani (Belgie ).[1]
Feys se narodil v Mechelen,[1] a v roce 1909 získal titul PhD Filozofický institut, univerzita v Lovani. V roce 1913 byl jmenován profesorem na Université Saint-Louis v Bruselu. Ale kvůli válce narukoval do armády. V roce 1919 byl jmenován profesorem na ústavu St. Gertrude v Nivelles. V roce 1929 se vrátil na Université Saint-Louis v Bruselu a v roce 1944 byl jmenován profesorem na univerzitě v Lovani.[1]
V roce 1958 Feys a Haskell B. Curry vymyslel odvození typu algoritmus pro jednoduše zadaný lambda kalkul (Kombinovaná logika).
Vybrané publikace
- Haskell B. Curry, Robert Feys a William Craig. Kombinovaná logika. Amsterdam, North-Holland Pub. Co., 1958–72. ISBN 0-7204-2208-6
- Robert Feys, Slovník symbolů matematické logiky. Amsterdam: Hospoda North-Holland. Co., 1973, 1969.
francouzština
- Feys, Roberte. „Les logiques nouvelles des modalités.“ Revue néo-scolastique de philosophie 40.56 (1937): 517–553.
- Feys, Roberte. „Les systèmes formalisés des modalités aristotéliciennes.“ Revue philosophique de Louvain, 48.20 (1950): 478–509.
- Feys, Roberte. Étude géologique du Carbonifère briançonnais (Hautes-Alpes), 1957. Sv. 6. Éditions Technip, 1963.
Reference
- ^ A b C De Raeymaeker, Louis. "In memoriam le chanoine Robert Feys." Revue Philosophique de Louvain 59.62 (1961): 371-374.
Tento článek o a belgický vědec je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |
Tento článek o Evropanovi matematik je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |
Tato biografie belgického filozofa je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |