Loading AI tools
mathématicien néerlandais De Wikipédia, l'encyclopédie libre
Hendrik Pieter (Henk) Barendregt, né en 1947 est un mathématicien néerlandais spécialisé dans la logique mathématique[1].
Cet article est une ébauche concernant la logique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeurs de thèse |
Dirk van Dalen (en), Georg Kreisel |
| Site web | |
| Distinction |
Prix Spinoza () |
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[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.
Hors des mathématiques, ses travaux portent également sur la conscience, la pleine conscience et l'impact clinique de la méditation bouddhique[4].
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
