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
(schets (begindeel) van deze versie, Engelse Wikipedia) |
Geen bewerkingssamenvatting |
||
| Regel 2: | Regel 2: | ||
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 Feys | In 1958 schreven Feys en Haskell B. Curry het [[type-inferentie]]-[[agoritme]] voor de eenvoudig getypeerde [[lambdacalculus]] ([[combinatorische logica]]). | ||
{{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 18 nov 2014 19:41
Robert Feys (Leuven, 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).
Intertaalkoppelingen via Wikidata (via reasonator)