Barendregt, Henk

Henk Barendregt ( Hendrik Pieter Barendregt , Niderl.  Hendrik Pieter Barendregt ; 1947. december 18. ) holland matematikus és logikus , a λ-számítás és a típuselmélet kutatója, a λ-kocka szerzője . professzor, a Nijmegeni Egyetem Matematikai és Informatikai Alapjai Tanszékének vezetője .

Életrajz

1947-ben született Amszterdamban . 1952-1965 között Montessori rendszert alkalmazó oktatási intézményekben tanult . 1967-ben szerzett diplomát az Utrechti Egyetemen matematikai logika szakon és mesterképzésben. 1971-ben Dirk van Dalen ( holland.  Dirk van Dalen ) és Georg Kreisel ( németül:  Georg Kreisel ) irányításával megvédte doktori disszertációját ( Ph.D. ) a λ-számítás és a kombinatorikus logika kiterjesztési modelljeiről .

Disszertációja megvédése után 1971-1972 között kutatóként dolgozott a Stanford Egyetemen . 1972 és 1986 között az Utrechti Egyetemen töltött be professzori tisztséget . 1986 óta - a Nijmegeni Egyetem professzora, a Matematikai és Informatikai Alapok Tanszékének vezetője. Különböző időpontokban meghívott pozíciókban dolgozott a Darmstadti Műszaki Egyetemen , az ETH Zürichben , a Carnegie Mellon Egyetemen , a Kiotói Egyetemen és a Siena Egyetemen .

Kedveli a buddhizmust és a meditációt , cikkeket közöl a meditációról pszichológiai és populáris tudományos folyóiratokban [2] .

Tudományos és szerkesztői munka

Az 1970-es évek elejétől származó eredmények a λ-számításban a normálformákra és a kombinatorikus logikában való megvalósíthatóságra vonatkoznak . Az 1970-es évek második felének munkái a λ-számítás modelljeinek kérdéseivel foglalkoznak. 1981 -ben szerzett hírnevet, miután megjelent a „Lambda Calculus. Szintaxisa és szemantikája”, amelyet kétszer újranyomtak és lefordítottak oroszra és kínaira, és a tipizálás nélküli λ-kalkulus alapvető művének nevezték [3] .

Az 1980-as években az automatikus bizonyítás kérdéseit, valamint a matematikai bizonyítás és a λ-számítás és a típuselmélet kapcsolatát tanulmányozta (ezt később Curry-Howard izomorfizmusként értelmezték ). 1986-ban, miután a Nijmegeni Egyetemre költözött, egy csoportot szervezett, amely a matematika formalizálásával foglalkozott, ideológiailag folytatva az Automath projekt Nicholas de Bruyne keretében végzett munkát . Az 1980-as évek második felében a λ-kalkulus gépelt változatait tanulmányozta, különös tekintettel a köztük lévő kapcsolatokra; 1991 -ben javasolta a λ-kockát  , nyolc különböző típusú λ-kalkulum grafikus értelmezését, amely mind a logikasok, mind a számítástechnika és programozási nyelvek alapjaival foglalkozó szakemberek körében népszerűvé vált .

Az Information and Computation , a Journal of Functional Programming , a Journal of Logic and Computation , a Logical Methods in Computer Science szerkesztőbizottságának tagja .

Díjak és közösségek

Az Európai Akadémia tagja (1992). A Holland Királyi Tudományos Akadémia akadémikusa (1997).

2002 - ben megkapta a Holland Oroszlán Rendjét (a Rend lovagja). Ugyanebben az évben megkapta a Spinoza-díjat  , a holland kormány Tudományos Kutatási Szervezete ( holland.  Nederlandse Organisatie voor Wetenschappelijk Onderzoek ) jelentős kitüntetését.

Bibliográfia

• Henk Barendregt. A lambda kalkulus. Szintaxisa és  szemantikája . - Amszterdam: Észak-Hollandia, 1981. - 622 p. – (Tanulmányok a logikából és a matematika alapjairól, 103. köt.). - ISBN 0-444-87508-5 .  — a λ-számításról szóló alapvető monográfia, kétszer újranyomva (1984, 2012), lefordítva kínai (1990) és orosz (1985) nyelvre: Barendregt, Henk. Lambda kalkulus. Szintaxisa és szemantikája . — M .: Mir , 1985. — 606 p. - 4800 példány. (Orosz)
• Henk Barendregt, Wil Dekkers, Richard Statman. Lambda kalkulus típusokkal  . - Cambridge : Cambridge University Press , 2010. - 703 p. - (Perspektívák a logikában). — ISBN 9780521766142 .  - a tipizált λ-kalkulus változatainak átfogó bemutatása, a különféle kiterjesztések és alkalmazások, amelyek a „Lambda Calculus. A szintaxisa és a szemantikája". 2013-ban újra kiadták.

Főbb publikációk

• Henk Barendregt. Kombinációs logika és a választás axiómája  (angol)  // Indagationes Mathematicae. - 1973. - 1. évf. 3 , sz. 76 . - P. 203-221 .
• Henk Barendregt. A rekurzív függvények globális reprezentációja a λ-számításban  (angol)  // Theoretical Computer Science . - 1976. - Nem. 3.2 . - P. 225-242 .
• Barendregt H. Typeless λ-calculus // Matematikai logika kézikönyve. / Szerk.: J. Barwise. — M. : Nauka, 1983. — T. 4: Bizonyításelmélet. - S. 278-318.
• Henk Barendregt, Adrian Rezus. Szemantika a klasszikus automatizáláshoz és a kapcsolódó rendszerekhez  (angol)  // Információ és vezérlés . - 1983. - 1. évf. 59 . - 127-147 . o .
• Henk Barendregt. Lambda kalkulusok típusokkal  (angol)  // S. Abramsky, Dov M. Gabbay és TSE Maibaum (szerkesztők) Handbook of Logic in Computer Science. - Oxford : Oxford University Press , 1992. - Vol. 2: Háttér: Számítási struktúrák . — P. 117–309 . — ISBN 0-19-853761-1 .  — az a kiadvány, ahol először mutatták be a λ-kockát.

Jegyzetek

1. ↑ http://www.cs.ru.nl/barendregt60/essays/preliminary/prelims.pdf
2. ↑ Henk Barendregt. Önéletrajz  (angol) (2011. szeptember 25.). Letöltve: 2014. március 9. Az eredetiből archiválva : 2014. március 9..
3. ↑ Benjamin Pierce. Típusok programozási nyelvekben / Per. angolból: G. Bronnikov, A. Ott. - Dobrosvet , 2011. - S. 76. - 656 p. — ISBN 978-5-7913-0082-9 .

Linkek

• cs.ru.nl/~henk/ - a Nijmegeni Egyetem Matematikai és Informatikai Alapok Karának hivatalos honlapja - Henk Barendregt oldala

Tematikus oldalak	Matematikai genealógia ORCID zbMATH Nyitva
Bibliográfiai katalógusokban BNF : 12482070f GND : 124647219 GTAA : 214816 ISNI : 0000 0001 0932 8983 J9U : 987007522461705171 LCCN : n80086451 NKC : ntk2013782542 NTA : 071630848 NUKAT : n98036420 SUDOC : 034022821 VIAF : 109291023 WorldCat VIAF : 109291023