Henk barendregt

Henk barendregt Henk Barendregt 2012'de Prag'da Biyografi

Doğum	18 Aralık 1947 Amsterdam
Milliyet	Flemenkçe
Eğitim	Utrecht Üniversitesi
Aktiviteler	Matematikçi , bilgisayar bilimcisi , üniversite profesörü

Diğer bilgiler

İçin çalıştı	Nijmegen Radboud Üniversitesi , Nijmegen Radboud Üniversitesi (beri1986)
Alanlar	Matematiksel mantık , matematiğin temelleri
Üyesi	Royal Netherlands Academy of Arts and Sciences Academia Europaea (1992)
Tez yönetmenleri	Dirk van Dalen ( içinde ) , Georg Kreisel
İnternet sitesi	www.cs.ru.nl/~henk
Ayrım	Spinoza fiyatı (2002)

Hendrik Pieter (Henk) 1947 doğumlu Barendregt , matematiksel mantık konusunda uzmanlaşmış Hollandalı bir matematikçidir .

1986'dan beri Nijmegen'deki Radboud Üniversitesi'nde öğretmenlik yapmaktadır. Lambda-hesabı alanındaki çalışmaları , özellikle lambda küpünü yaratması ve tip teorisi ile tanınır .

O bir üyesi olmuştur Fen Hollanda Kraliyet Akademisi 1997 yılından bu yana ve alınan Spinoza Ödülü Aynı yıl 2002 yılında, o Şövalyesi seçildi Hollandalı Aslan Düzeni .

Matematiğin dışında, çalışmaları aynı zamanda bilinç , farkındalık ve Budist meditasyonunun klinik etkisine odaklanıyor .

Notlar ve referanslar

1. Nijmegen Radboud Üniversitesi web sitesinde biyografi
2. (in) "  Henk Barendregt  " , Royal Netherlands Academy of Arts and Sciences ( 28 Ağustos 2016'da erişildi )
3. (in) "  NWO Spinoza Ödülü 2002  ' , Hollanda Bilimsel Araştırma Örgütü5 Eylül 2014(erişim tarihi 28 Ağustos 2016 )
4. Henk Barendregt'in bilinç üzerine çalışmaya ayrılmış sayfası