Hendrik Pieter (Henk) Barendregt, né en 1947 est un mathématicien néerlandais spécialisé dans la logique mathématiqueBiographie sur le site de Université Radboud de Nimègue.
Biographie Il enseigne à l'Université Radboud de Nimègue depuis 1986. Il est connu pour ses travaux en lambda-calcul, en créant notamment le lambda cube, et en théorie des types.
Il est membre de l'Académie royale néerlandaise des arts et des sciences depuis 1997 et a reçu le Prix Spinoza en 2002. La même année, il est nommé chevalier de l'Ordre du Lion néerlandais.
Hors des mathématiques, ses travaux portent également sur la conscience, la pleine conscience et l'impact clinique de la méditation bouddhiquePage de Henk Barendregt consacrée aux travaux sur la conscience.
Bibliographie A Lambda Calculus Satellite, with Giulio Manzonetto, part of Mathematical logic and foundations, 2022, College Publications. Lambda Calculus with Types, with Wil Dekker and Richard Statman, part of Perspectives in Logic, 2013, Cambridge University Press. The Lambda Calculus, its syntax and semantics, part of Mathematical logic and foundations, 2012 Republication, College Publications.
Notes et références
Liens externes
Catégorie:Mathématicien néerlandais du XXe siècle Catégorie:Logicien néerlandais Catégorie:Naissance en décembre 1947 Catégorie:Personnalité néerlandaise liée à l'informatique Catégorie:Membre de l'Académie royale néerlandaise des arts et des sciences Catégorie:Professeur à l'université Radboud de Nimègue Catégorie:Étudiant de l'université d'Utrecht Catégorie:Lauréat du prix Spinoza Catégorie:Mathématicien néerlandais du XXIe siècle Catégorie:Personnalité en logique mathématique