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

Uit Wikisage
Versie door Mendelo (overleg | bijdragen) op 26 nov 2014 om 13:09 (toevoegen)
Naar navigatie springen Naar zoeken springen

Robert Feys (Mechelen, 19 december 188913 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

Q15490557 op Wikidata  Intertaalkoppelingen via Wikidata (via reasonator)

rel=nofollow
rel=nofollow