Генк Барендрегт (Гендрік Пітер Барендрегт, нід. Hendrik Pieter Barendregt нар. 18 грудня 1947, Амстердам, Нідерланди) — нідерландський математик і логік, дослідник λ-числення і теорії типів, автор λ-куба. Професор, завідувач кафедри основ математики та інформатики Університету Неймегена.
Генк Барендрегт | |
---|---|
![]() | |
Народився | 18 грудня 1947[1] (76 років) Амстердам, Нідерланди |
Країна | ![]() |
Діяльність | математик, інформатик, викладач університету |
Alma mater | Утрехтський університет |
Галузь | математична логіка[2] і Основи математики |
Заклад | Радбоуд університет Неймеген Радбоуд університет Неймеген[3] Утрехтський університет[4] |
Науковий ступінь | доктор філософії |
Науковий керівник | d і d |
Аспіранти, докторанти | d[5] d[5] d[5] d[5] d[5] d[5] d[5] d[5] d[5] d[5] d[5] d[5] d[5] d[5] d[5] d[5] d[5] d[5] d[5] d[5] d[5] d[5] d[5] d[5] d[5] d[5] d[5] d[5] d[5] d[5] |
Членство | Нідерландська королівська академія наук Європейська академія[6] |
Нагороди | d (2002) |
Особ. сторінка | cs.ru.nl/~henk/ |
Біографія
Народився 1947 року в Амстердамі. Протягом 1952—1965 років навчався в освітніх установах, що використовують систему Монтессорі. 1967 року закінчив Утрехтський університет за класом математичної логіки, отримавши ступінь магістра. 1971 року під керівництвом [nl] і [de] захистив докторську дисертацію (Ph. D.) з екстенсіональних моделей λ-числення і комбінаторної логіки.
Після захисту дисертації в 1971—1972 роках працював дослідником у Стенфордському університеті. Від 1972 до 1986 року обіймав професорські посади в Утрехтському університеті. Від 1986 року — професор Університету Неймегена, завідувач кафедри основ математики та інформатики. У різний час працював на запрошених посадах у Дармштадтському технічному університеті, Швейцарській вищій технічній школі Цюриха, Університеті Карнегі — Меллон, Кіотському університеті, Сієнському університеті.
Захоплюється буддизмом і медитацією, публікує статті про медитацію в психологічних і науково-популярних журналах.
Наукова і редакційна робота
Результати початку 1970-х років стосуються нормальних форм у λ-численні і їх можливості бути реалізованими в комбінаторній логіці. Праці другої половини 1970-х років присвячені питанням моделей λ-числення. Став відомим після виходу монографії «Лямбда-числення. Його синтаксис і семантика», яку двічі перевидано і перекладено російською і китайською мовами та вважають основною працею з безтипового λ-числення.
У 1980-і роки вивчав питання автоматичного доведення і взаємозв'язку математичного доведення з λ-численням і теорією типів (згодом концептуалізувані як ізоморфізм Каррі — Говарда). 1986 року після переходу в Університет Неймегена організував групу, що займалася питаннями формалізації математики, ідейно продовжувала роботи, які велися в рамках проєкту [en] Ніколаса де Брейна. У другій половині 1980-х вивчав типізовані варіанти λ-числення, з особливою увагою на взаємозв'язках між ними; запропонував λ-куб — графічну інтерпретацію восьми різних типів типізованого λ-числення, яка здобула популярність як у середовищі логіків, так і серед фахівців з основ інформатики та мов програмування.
Член редколегій журналів [en], [en], [en], [en].
Нагороди та спільноти
Член Європейської академії (1992). Академік Нідерландської королівської академії наук (1997).
2002 року відзначений орденом Нідерландського лева (лицар ордена). Того ж року відзначений від нідерландської урядової Організації наукових досліджень.
Бібліографія
- Henk Barendregt. The Lambda Calculus. Its syntax and semantics. — Амстердам : North Holland, 1981. — 622 с. — (Studies in Logic and the Foundations of Mathematics, vol. 103) — . — фундаментальна монографія з λ-числення, двічі перевидана (1984, 2012), перекладена китайською (1990) і російською (1985) мовами:
- Барендрегт, Хенк. Ламбда-исчисление. Его синтаксис и семантика. — М. : Мир, 1985. — 606 с. — 4800 прим.
- Henk Barendregt, Wil Dekkers, Richard Statman. Lambda Calculus With Types. — Кембридж : Cambridge University Press, 2010. — 703 с. — (Perspectives in Logic) — . — об'ємний виклад варіантів типізованого λ-числення, різних розширень і застосувань; задумана як продовження книги «Лямбда-числення. Його синтаксис і семантика». Перевидано 2013 року.
Основні публікації
- Henk Barendregt. Combinatory logic and the axiom of choice // Indagationes Mathematicae. — 1973. — Vol. 3, no. 76 (12 July). — P. 203—221.
- Henk Barendregt. A global representation of the recursive functions in the λ-calculus // [en]. — 1976. — No. 3.2 (12 July). — P. 225—242.
- Барендрегт Х. Бестиповое λ-исчисление // Справочная книга по математической логике / Под редакцией Дж. Барвайса. — М. : Наука, 1983. — Т. 4: Теория доказательств. — С. 278—318.
- Henk Barendregt, Adrian Rezus. Semantics for classical Automath and related systems // [en]. — 1983. — Vol. 59 (12 July). — P. 127—147. з джерела 20 травня 2021. Процитовано 20 травня 2021.
- Henk Barendregt. Lambda calculi with types // Handbook of Logic in Computer Science. — Оксфорд : Oxford University Press, 1992. — Vol. 2: Background: Computational Structures (12 July). — P. 117–309. — . — публікація, в якій уперше введено λ-куб.
Примітки
- http://www.cs.ru.nl/barendregt60/essays/preliminary/prelims.pdf
- Czech National Authority Database
- Schreuder O. Proeven van eigen cultuur, vijfenzeventig jaar Katholieke Universiteit Nijmegen 1923-1998 Deel II 1960-1998 — 1998. — 539 с. —
- Montenegro A. ORCID Public Data File 2023 — 2023. — doi:10.23640/07243.24204912.V1
- Математичний генеалогічний проєкт — 1997.
- https://www.ae-info.org/ae/User/Barendregt_Hendrik
- Henk Barendregt (25 вересня 2011). (PDF) (англ.). Архів оригіналу (PDF) за 9 березня 2014. Процитовано 9 березня 2014.
- Бенджамин Пирс. Типы в языках программирования / Пер. с англ.: Г. Бронников, А. Отт. — , 2011. — С. 76. — .
Посилання
- Сторінка Генка Барендрегта на сайті факультету основ математики та інформатики Університету Неймегена
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Genk Barendregt Gendrik Piter Barendregt nid Hendrik Pieter Barendregt nar 18 grudnya 1947 Amsterdam Niderlandi niderlandskij matematik i logik doslidnik l chislennya i teoriyi tipiv avtor l kuba Profesor zaviduvach kafedri osnov matematiki ta informatiki Universitetu Nejmegena Genk BarendregtNarodivsya18 grudnya 1947 1947 12 18 1 76 rokiv Amsterdam NiderlandiKrayina NiderlandiDiyalnistmatematik informatik vikladach universitetuAlma materUtrehtskij universitetGaluzmatematichna logika 2 i Osnovi matematikiZakladRadboud universitet Nejmegen Radboud universitet Nejmegen 3 Utrehtskij universitet 4 Naukovij stupindoktor filosofiyiNaukovij kerivnikd i dAspiranti doktorantid 5 d 5 d 5 d 5 d 5 d 5 d 5 d 5 d 5 d 5 d 5 d 5 d 5 d 5 d 5 d 5 d 5 d 5 d 5 d 5 d 5 d 5 d 5 d 5 d 5 d 5 d 5 d 5 d 5 d 5 ChlenstvoNiderlandska korolivska akademiya nauk Yevropejska akademiya 6 Nagorodid 2002 Osob storinkacs ru nl henk Genk Barendregt u VikishovishiBiografiyaNarodivsya 1947 roku v Amsterdami Protyagom 1952 1965 rokiv navchavsya v osvitnih ustanovah sho vikoristovuyut sistemu Montessori 1967 roku zakinchiv Utrehtskij universitet za klasom matematichnoyi logiki otrimavshi stupin magistra 1971 roku pid kerivnictvom nl i de zahistiv doktorsku disertaciyu Ph D z ekstensionalnih modelej l chislennya i kombinatornoyi logiki Pislya zahistu disertaciyi v 1971 1972 rokah pracyuvav doslidnikom u Stenfordskomu universiteti Vid 1972 do 1986 roku obijmav profesorski posadi v Utrehtskomu universiteti Vid 1986 roku profesor Universitetu Nejmegena zaviduvach kafedri osnov matematiki ta informatiki U riznij chas pracyuvav na zaproshenih posadah u Darmshtadtskomu tehnichnomu universiteti Shvejcarskij vishij tehnichnij shkoli Cyuriha Universiteti Karnegi Mellon Kiotskomu universiteti Siyenskomu universiteti Zahoplyuyetsya buddizmom i meditaciyeyu publikuye statti pro meditaciyu v psihologichnih i naukovo populyarnih zhurnalah Naukova i redakcijna robotaRezultati pochatku 1970 h rokiv stosuyutsya normalnih form u l chislenni i yih mozhlivosti buti realizovanimi v kombinatornij logici Praci drugoyi polovini 1970 h rokiv prisvyacheni pitannyam modelej l chislennya Stav vidomim pislya vihodu monografiyi Lyambda chislennya Jogo sintaksis i semantika yaku dvichi perevidano i perekladeno rosijskoyu i kitajskoyu movami ta vvazhayut osnovnoyu praceyu z beztipovogo l chislennya U 1980 i roki vivchav pitannya avtomatichnogo dovedennya i vzayemozv yazku matematichnogo dovedennya z l chislennyam i teoriyeyu tipiv zgodom konceptualizuvani yak izomorfizm Karri Govarda 1986 roku pislya perehodu v Universitet Nejmegena organizuvav grupu sho zajmalasya pitannyami formalizaciyi matematiki idejno prodovzhuvala roboti yaki velisya v ramkah proyektu en Nikolasa de Brejna U drugij polovini 1980 h vivchav tipizovani varianti l chislennya z osoblivoyu uvagoyu na vzayemozv yazkah mizh nimi zaproponuvav l kub grafichnu interpretaciyu vosmi riznih tipiv tipizovanogo l chislennya yaka zdobula populyarnist yak u seredovishi logikiv tak i sered fahivciv z osnov informatiki ta mov programuvannya Chlen redkolegij zhurnaliv en en en en Nagorodi ta spilnotiChlen Yevropejskoyi akademiyi 1992 Akademik Niderlandskoyi korolivskoyi akademiyi nauk 1997 2002 roku vidznachenij ordenom Niderlandskogo leva licar ordena Togo zh roku vidznachenij vid niderlandskoyi uryadovoyi Organizaciyi naukovih doslidzhen BibliografiyaHenk Barendregt The Lambda Calculus Its syntax and semantics Amsterdam North Holland 1981 622 s Studies in Logic and the Foundations of Mathematics vol 103 ISBN 0 444 87508 5 fundamentalna monografiya z l chislennya dvichi perevidana 1984 2012 perekladena kitajskoyu 1990 i rosijskoyu 1985 movami Barendregt Henk Lambda ischislenie Ego sintaksis i semantika M Mir 1985 606 s 4800 prim Henk Barendregt Wil Dekkers Richard Statman Lambda Calculus With Types Kembridzh Cambridge University Press 2010 703 s Perspectives in Logic ISBN 9780521766142 ob yemnij viklad variantiv tipizovanogo l chislennya riznih rozshiren i zastosuvan zadumana yak prodovzhennya knigi Lyambda chislennya Jogo sintaksis i semantika Perevidano 2013 roku Osnovni publikaciyiHenk Barendregt Combinatory logic and the axiom of choice Indagationes Mathematicae 1973 Vol 3 no 76 12 July P 203 221 Henk Barendregt A global representation of the recursive functions in the l calculus en 1976 No 3 2 12 July P 225 242 Barendregt H Bestipovoe l ischislenie Spravochnaya kniga po matematicheskoj logike Pod redakciej Dzh Barvajsa M Nauka 1983 T 4 Teoriya dokazatelstv S 278 318 Henk Barendregt Adrian Rezus Semantics for classical Automath and related systems en 1983 Vol 59 12 July P 127 147 z dzherela 20 travnya 2021 Procitovano 20 travnya 2021 Henk Barendregt Lambda calculi with types Handbook of Logic in Computer Science Oksford Oxford University Press 1992 Vol 2 Background Computational Structures 12 July P 117 309 ISBN 0 19 853761 1 publikaciya v yakij upershe vvedeno l kub Primitkihttp www cs ru nl barendregt60 essays preliminary prelims pdf Czech National Authority Database d Track Q13550863 Schreuder O Proeven van eigen cultuur vijfenzeventig jaar Katholieke Universiteit Nijmegen 1923 1998 Deel II 1960 1998 1998 539 s ISBN 90 5625 040 X d Track Q2034439d Track Q65769534 Montenegro A ORCID Public Data File 2023 2023 doi 10 23640 07243 24204912 V1 d Track Q123508386 Matematichnij genealogichnij proyekt 1997 d Track Q829984 https www ae info org ae User Barendregt Hendrik Henk Barendregt 25 veresnya 2011 PDF angl Arhiv originalu PDF za 9 bereznya 2014 Procitovano 9 bereznya 2014 Bendzhamin Pirs Tipy v yazykah programmirovaniya Per s angl G Bronnikov A Ott 2011 S 76 ISBN 978 5 7913 0082 9 PosilannyaStorinka Genka Barendregta na sajti fakultetu osnov matematiki ta informatiki Universitetu Nejmegena