Wikisage is op 1 na de grootste internet-encyclopedie in het Nederlands. Iedereen kan de hier verzamelde kennis gratis gebruiken, zonder storende advertenties. De Koninklijke Bibliotheek van Nederland heeft Wikisage in 2018 aangemerkt als digitaal erfgoed.
- Wilt u meehelpen om Wikisage te laten groeien? Maak dan een account aan. U bent van harte welkom. Zie: Portaal:Gebruikers.
- Bent u blij met Wikisage, of wilt u juist meer? Dan stellen we een bescheiden donatie om de kosten te bestrijden zeer op prijs. Zie: Portaal:Donaties.
Robert Feys: verschil tussen versies
Geen bewerkingssamenvatting |
(link) |
||
| Regel 1: | Regel 1: | ||
'''Robert Feys''' ([[ | '''Robert Feys''' ([[Mechelen]], [[19 december]] [[1889]] – [[13 april]] [[1961]]) was een logicus en filosoof, professor aan de Katholieke Universiteit van Leuven. | ||
Feys behaalde in 1909 zijn doctoraat aan de faculteit Wijsbegeerte van de Leuvense Universiteit. Hij werd in 1913 tot professor benoemd aan de Université Saint-Louis in Brussel. Wegens de [[Eerste Wereldoorlog]] moest hij in het leger. In 1919 werd hij professor aan het Institut St. Gertrude te Nijvel. In 1929 keerde hij terug naar de Université Saint-Louis, en in 1944 werd hij professor in Leuven. | Feys behaalde in 1909 zijn doctoraat aan de faculteit Wijsbegeerte van de Leuvense Universiteit. Hij werd in 1913 tot professor benoemd aan de Université Saint-Louis in Brussel. Wegens de [[Eerste Wereldoorlog]] moest hij in het leger. In 1919 werd hij professor aan het Institut St. Gertrude te Nijvel. In 1929 keerde hij terug naar de Université Saint-Louis, en in 1944 werd hij professor in Leuven. | ||
In 1958 schreven Feys en Haskell B. Curry het [[type-inferentie]]-[[agoritme]] voor de eenvoudig getypeerde [[lambdacalculus]] ([[combinatorische logica]]). | In 1958 schreven Feys en Haskell B. Curry het [[type-inferentie]]-[[agoritme]] voor de eenvoudig getypeerde [[lambdacalculus]] ([[combinatorische logica]]). | ||
==Weblinks== | |||
*{{fr}} Louis De Raeymaeker, "[http://www.persee.fr/web/revues/home/prescript/article/phlou_0035-3841_1961_num_59_62_5080 In memoriam le chanoine Robert Feys]." ''Revue Philosophique de Louvain'' 59.62 (1961): 371-374. | |||
{{Wikidata|Q15490557}} | {{Wikidata|Q15490557}} | ||
{{Authority control|TYPE=p|VIAF=17290259|BNF=cb12311458t|Wikidata=Q15490557}} | {{Authority control|TYPE=p|VIAF=17290259|BNF=cb12311458t|Wikidata=Q15490557}} | ||
Versie van 25 nov 2014 17:10
Robert Feys (Mechelen, 19 december 1889 – 13 april 1961) was een logicus en filosoof, professor aan de Katholieke Universiteit van Leuven.
Feys behaalde in 1909 zijn doctoraat aan de faculteit Wijsbegeerte van de Leuvense Universiteit. Hij werd in 1913 tot professor benoemd aan de Université Saint-Louis in Brussel. Wegens de Eerste Wereldoorlog moest hij in het leger. In 1919 werd hij professor aan het Institut St. Gertrude te Nijvel. In 1929 keerde hij terug naar de Université Saint-Louis, en in 1944 werd hij professor in Leuven.
In 1958 schreven Feys en Haskell B. Curry het type-inferentie-agoritme voor de eenvoudig getypeerde lambdacalculus (combinatorische logica).
Weblinks
- (fr) Louis De Raeymaeker, "In memoriam le chanoine Robert Feys." Revue Philosophique de Louvain 59.62 (1961): 371-374.
Intertaalkoppelingen via Wikidata (via reasonator)