Henk Barendregt

Cet article est une ébauche concernant la logique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Henk Barendregt
Henk Barendregt à Prague en 2012
Biographie
Naissance
Voir et modifier les données sur Wikidata (76 ans)
AmsterdamVoir et modifier les données sur Wikidata
Nationalité
néerlandaiseVoir et modifier les données sur Wikidata
Formation
Activités
Mathématicien, informaticien, professeur d'universitéVoir et modifier les données sur Wikidata
Autres informations
A travaillé pour
Membre de
Directeurs de thèse
Dirk van Dalen (en), Georg KreiselVoir et modifier les données sur Wikidata
Site web
www.cs.ru.nl/~henkVoir et modifier les données sur Wikidata
Distinction
Prix Spinoza ()Voir et modifier les données sur Wikidata

modifier - modifier le code - modifier WikidataDocumentation du modèle

Hendrik Pieter (Henk) Barendregt, né en 1947 est un mathématicien néerlandais spécialisé dans la logique mathématique[1].

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[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].

Bibliographie

  • A Lambda Calculus Satellite, with Giulio Manzonetto, part of Mathematical logic and foundations, 2022, College Publications. (ISBN 978-1-84890-415-6)
  • Lambda Calculus with Types, with Wil Dekker and Richard Statman, part of Perspectives in Logic, 2013, Cambridge University Press. (ISBN 9780521766142)
  • The Lambda Calculus, its syntax and semantics, part of Mathematical logic and foundations, 2012 Republication, College Publications. (ISBN 978-1848900660)

Notes et références

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

Liens externes

  • Site officielVoir et modifier les données sur Wikidata
  • Ressources relatives à la rechercheVoir et modifier les données sur Wikidata :
    • Digital Bibliography & Library Project
    • Mathematics Genealogy Project
    • ORCID
  • Notices d'autoritéVoir et modifier les données sur Wikidata :
    • VIAF
    • ISNI
    • BnF (données)
    • IdRef
    • LCCN
    • GND
    • Belgique
    • Pays-Bas
    • Israël
    • NUKAT
    • Tchéquie
    • WorldCat
  • icône décorative Portail de la logique
  • icône décorative Portail de l'informatique théorique
  • icône décorative Portail du bouddhisme