Henk Barendregt

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Henk Barendregt
Henk Barendregt at the Old Jewish Cemetery in Prague.jpg

Henk Barendregt à Prague en 2012

Biographie
Naissance
Nationalité
Formation
Activités
Autres informations
A travaillé pour
Domaine
Membre de
Directeurs de thèse
Dirk van Dalen (en), Georg KreiselVoir et modifier les données sur Wikidata
Site web
Distinction

Hendrik Pieter (Henk) Barendregt, né en 1947 est un mathématicien néerlandais spécialisé dans la logique mathématique[1]. Il enseigne à l'Université Radboud de Nimègue depuis 1986. Il est connu pour ses travaux sur le lambda-calcul, en créant notamment le lambda cube, et sur la théorie des types. Il est membre de l'Académie royale néerlandaise des arts et des sciences depuis 1997[2] et a reçu le Prix Spinoza en 2002[3]. La même année, Il est nommé chevalier de l'Ordre du Lion néerlandais. Ses travaux portent également sur la conscience, la pleine conscience et l'impact clinique de la méditation bouddhique[4].

Notes et références[modifier | modifier le code]

  1. Biographie sur le site de Université Radboud de Nimègue
  2. (en) « Henk Barendregt », Royal Netherlands Academy of Arts and Sciences (consulté le 28 août 2016)
  3. (en) « NWO Spinoza Prize 2002 », Netherlands Organisation for Scientific Research, (consulté le 28 août 2016)
  4. Page de Henk Barendregt consacrée aux travaux sur la conscience