Henk barendregt

Henk barendregt Henk Barendregt la Praga în 2012 Biografie

Naștere	18 decembrie 1947 Amsterdam
Naţionalitate	Olandeză
Instruire	Universitatea Utrecht
Activități	Matematician , informatician , profesor universitar

Alte informații

Lucrat pentru	Universitatea Radboud din Nijmegen , Universitatea Radboud din Nijmegen (din1986)
Zone	Logica matematică , fundamentele matematicii
Membru al	Academia Regală de Arte și Științe din Olanda Academia Europaea (1992)
Directorii tezei	Dirk van Dalen ( în ) , Georg Kreisel
Site-ul web	www.cs.ru.nl/~henk
Distincţie	Preț Spinoza (2002)

Hendrik Pieter (Henk) Barendregt , născut în 1947 este un matematician olandez specializat în logică matematică .

Preda la Universitatea Radboud din Nijmegen din 1986. Este cunoscut pentru munca sa în lambda-calcul , creând în special cubul lambda și în teoria tipurilor .

Este membru al Academiei Regale Olandeze de Arte și Științe din 1997 și a primit Premiul Spinoza în 2002. În același an, a fost numit Cavaler al Ordinului Leului Olandez .

În afara matematicii, lucrarea sa se concentrează, de asemenea, pe conștiință , atenție și impactul clinic al meditației budiste .

Note și referințe

1. Biografie pe site-ul Universității Radboud din Nijmegen
2. (în) „  Henk Barendregt  ” , Royal Netherlands Academy of Arts and Sciences (accesat la 28 august 2016 )
3. (în) "  Premiul Spinoza NWO 2002  " , Organizația Olandeză pentru Cercetare Științifică5 septembrie 2014(accesat la 28 august 2016 )
4. Pagina lui Henk Barendregt dedicată lucrării asupra conștiinței