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
(link) |
(toevoegen) |
||
| Regel 1: | Regel 1: | ||
'''Robert Feys''' ([[Mechelen]], [[19 december]] [[1889]] – [[13 april]] [[1961]]) was een logicus en filosoof, professor aan de Katholieke Universiteit van Leuven. | '''Robert Feys''' ([[Mechelen]], [[19 december]] [[1889]] – [[13 april]] [[1961]]) was een logicus en filosoof, professor aan de Katholieke Universiteit van Leuven. | ||
Op 16½-jarige leeftijd werd hij ingeschreven als student aan het Hoger Instituut voor Wijsbegeerte aan de Universiteit van Leuven. Hij behaalde in 1909 zijn doctoraat in de Wijsbegeerte. 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. Hij publiceerde dat jaar een verhandeling, genaamd ''Logistiek'', in de Standaard-Bibliotheek. Dit bleef geruime tijd de enige Nederlandstalige vakantiegeld in de formele logica. | |||
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== | ==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. | *{{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}} | ||
{{DEFAULTSORT:Feys, Robert}} | |||
Versie van 26 nov 2014 13:09
Robert Feys (Mechelen, 19 december 1889 – 13 april 1961) was een logicus en filosoof, professor aan de Katholieke Universiteit van Leuven.
Op 16½-jarige leeftijd werd hij ingeschreven als student aan het Hoger Instituut voor Wijsbegeerte aan de Universiteit van Leuven. Hij behaalde in 1909 zijn doctoraat in de Wijsbegeerte. 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. Hij publiceerde dat jaar een verhandeling, genaamd Logistiek, in de Standaard-Bibliotheek. Dit bleef geruime tijd de enige Nederlandstalige vakantiegeld in de formele 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, "In memoriam le chanoine Robert Feys." Revue Philosophique de Louvain 59.62 (1961): 371-374.
Intertaalkoppelingen via Wikidata (via reasonator)