Loading AI tools
нидерландский математик и логик Из Википедии, свободной энциклопедии
Хенк Барендрегт (Хендрик Питер Барендрегт, нидерл. Hendrik Pieter Barendregt; родился 18 декабря 1947 года) — нидерландский математик и логик, исследователь λ-исчисления и теории типов, автор λ-куба. Профессор, заведующий кафедрой оснований математики и информатики Университета Неймегена.
| Хенк Барендрегт | |
|---|---|
| нидерл. Hendrik Pieter Barendregt | |
 Барендрегт в Праге (2012) | |
| Дата рождения | 18 декабря 1947[1] (76 лет) |
| Место рождения | Амстердам |
| Страна | |
| Род деятельности | математик, специалист в области информатики, преподаватель университета |
| Научная сфера | Основания математики, математическая логика |
| Место работы | Университет Неймегена |
| Альма-матер | Утрехтский университет |
| Учёная степень | |
| Научный руководитель | Дирк ван Дален[вд] и Георг Крайзель[вд] |
| Известен как | Исследователь λ-исчисления, автор λ-куба |
| Награды и премии | Премия Спинозы (2002) |
| Сайт | cs.ru.nl/~henk/ |
 Медиафайлы на Викискладе | |
Родился в 1947 году в Амстердаме. В 1952—1965 годы учился в образовательных учреждениях, использующих систему Монтессори. В 1967 году окончил Утрехтский университет по классу математической логики, получив степень магистра. В 1971 году под руководством Дирка ван Далена (нидерл. Dirk van Dalen) и Георга Крайзеля (нем. Georg Kreisel) защитил докторскую диссертацию (Ph. D.) по экстенсиональным моделям λ-исчисления и комбинаторной логики.
После защиты диссертации в 1971—1972 годах работал исследователем в Стэнфордском университете. С 1972 по 1986 год занимал профессорские должности в Утрехтском университете. С 1986 года — профессор Университета Неймегена, заведующий кафедрой оснований математики и информатики. В разное время работал на приглашённых позициях в Дармштадтском техническом университете, Швейцарской высшей технической школе Цюриха, Университете Карнеги — Меллон, Киотском университете, Сиенском университете.
Увлекается буддизмом и медитацией, публикует статьи о медитации в психологических и научно-популярных журналах[2].
Результаты начала 1970-х годов относятся к нормальным формам в λ-исчислении и реализуемости в комбинаторной логике. Труды второй половины 1970-х годов посвящены вопросам моделей λ-исчисления. Известность получил в 1981 году после выхода монографии «Ламбда-исчисление. Его синтаксис и семантика», дважды переиздававшейся и переведённой на русский и китайский языки и отмечаемой как основополагающий труд по бестиповому λ-исчислению[3].
В 1980-е годы изучал вопросы автоматического доказательства и взаимосвязи математического доказательства с λ-исчислением и теорией типов (впоследствии концептуализированные как изоморфизм Карри — Ховарда). В 1986 году после перехода в Университет Неймегена организовал группу, занимающуюся вопросами формализации математики, идейно продолжающую работы, которые велись в рамках проекта Automath[англ.] Николаса де Брёйна. Во второй половине 1980-х изучал типизированные варианты λ-исчисления, с особым вниманием к взаимосвязям между ними; в 1991 году предложил λ-куб — графическую интерпретацию восьми различных типов типизированного λ-исчисления, снискавшую популярность как в среде логиков, так и среди специалистов по основаниям информатики и языкам программирования.
Член редколлегий журналов Information and Computation[англ.], Journal of Functional Programming[англ.], Journal of Logic and Computation[англ.], Logical Methods in Computer Science[англ.].
Член Европейской академии (1992). Академик Нидерландской королевской академии наук (1997).
В 2002 году удостоен ордена Нидерландского льва (рыцарь ордена). В том же году получил Премию Спинозы — крупную премию от нидерландской правительственной Организации научных исследований (нидерл. Nederlandse Organisatie voor Wetenschappelijk Onderzoek).
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
