Wikisage, de vrije encyclopedie van de tweede generatie, is digitaal erfgoed

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.
rel=nofollow

Robert Feys: verschil tussen versies

Uit Wikisage
Naar navigatie springen Naar zoeken springen
(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 and Haskell B. Curry devised the type inference algorithm for the simply typed lambda calculus (Combinatory Logic I).
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 188913 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).

Q15490557 op Wikidata  Intertaalkoppelingen via Wikidata (via reasonator)

rel=nofollow
rel=nofollow