Хенк Барендрегт

Голландский логик (родился в 1947 г.)

Хенк Барендрегт во время своего визита в Прагу в апреле 2012 г.

Хендрик Питер (Хенк) Барендрегт (родился 18 декабря 1947 года, Амстердам ) ^[1] — голландский логик , известный своими работами в области лямбда-исчисления и теории типов .

Жизнь и работа

Барендрегт изучал математическую логику в Утрехтском университете , получив степень магистра в 1968 году и степень доктора философии в 1971 году, обе с отличием , под руководством Дирка ван Далена и Георга Крайзеля . После постдокторской должности в Стэнфордском университете он преподавал в Утрехтском университете .

С 1986 года Барендрегт преподает в Университете Радбауд в Неймегене , где сейчас занимает кафедру основ математики и компьютерных наук. Его исследовательская группа работает над конструктивной интерактивной математикой. Он также является приглашенным профессором в Университете Карнеги-Меллона в Питтсбурге, США. Он был приглашенным ученым в Дармштадте , ETH Zürich , Сиене и Киото.

В 1992 году Барендрегт был избран членом Academia Europaea. ^[2] В 1997 году Барендрегт был избран членом Королевской Нидерландской академии искусств и наук . ^[3] 6 февраля 2003 года Барендрегт был награжден премией Spinozapremie за 2002 год, высшей научной наградой в Нидерландах. ^[4] В 2002 году он был посвящен в рыцари Ордена Нидерландской юности .

В 2015 году Барендрегт получил почетную докторскую степень от Университета Хериот-Уотт. ^[5]

Избранные публикации

• HP Barendregt (1984). Лямбда-исчисление — его синтаксис и семантика . Исследования по логике и основаниям математики. Том 103. Амстердам: Северная Голландия. ISBN 0-444-87508-5.— См. исправления
• Y. Toyama; JW Klop ; HP Barendregt (1989). "Окончание прямой суммы систем переписывания левых линейных терминов (предварительный проект)". В Nachum Dershowitz (ред.). Rewriting Techniques and Applications, 3rd Int. Conf., RTA-89 . LNCS . Vol. 355. Springer. pp. 477–491.
• HP Barendregt (2001). "Вычисления и доказательства (приглашенная лекция)". В Middeldorp, A. (ред.). Rewriting Techniques and Applications, 12th Int. Conf., RTA-01 . LNCS. Vol. 2051. Springer.
• Х. П. Барендрегт, В. Деккерс и Р. Статман (2013). Лямбда-исчисление с типами . Перспективы в логике. Издательство Кембриджского университета. ISBN 978-052-176-614-2.
• HP Barendregt и G. Manzonetto (2022). Спутник исчисления лямбда . Математическая логика и основы. Колледжские публикации. ISBN 978-1-84890-415-6.

Ссылки

1. Эрик Барендсен; Герман Гейверс; Венанцио Капретта; Милад Ники, ред. (2007). Размышления о теории типов, лямбда-исчислении и разуме — эссе, посвященные Хенку Барендрегту по случаю его 60-летия. Университет Неймегена. ISBN 978-90-9022446-6.Здесь: Предисловие, стр.5
2. "Hendrik Barendregt". Academia Europaea. Архивировано из оригинала 28 марта 2019 года.
3. "Хенк Барендрегт". Королевская Нидерландская академия искусств и наук. Архивировано из оригинала 21 мая 2020 года.
4. "NWO Spinoza Prize 2002". Нидерландская организация научных исследований. 5 сентября 2014 г. Архивировано из оригинала 3 марта 2016 г. Получено 30 января 2016 г.
5. "Выпускные в Эдинбургском кампусе - Новости | Университет Хериот-Уотт в Эдинбурге". www.hw.ac.uk . Получено 24.03.2016 .

Внешние ссылки

• Домашняя страница Barendregt
• Профиль автора в базе данных zbMATH