Хенк Барендрегт
Хендрик Питер (Хенк) Барендрегт (род. 18 декабря 1947, Амстердам ) [1] — голландский логик , известный своими работами в области лямбда-исчисления и теории типов .
Жизнь и работа
[ редактировать ]Барендрегт изучал математическую логику в Утрехтском университете , получив степень магистра в 1968 году и докторскую степень в 1971 году, оба с отличием , под руководством Дирка ван Далена и Георга Крейзеля . После постдокторской должности в Стэнфордском университете он преподавал в Утрехтском университете .
С 1986 года Барендрегт преподавал в Университете Радбауд в Неймегене , где сейчас возглавляет кафедру основ математики и информатики. Его исследовательская группа работает над конструктивной интерактивной математикой. Он также является адъюнкт-профессором Университета Карнеги-Меллона в Питтсбурге, США. Он был приглашенным научным сотрудником в Дармштадте , ETH Zürich , Сиене и Киото.
Барендрегт был избран членом Европейской академии в 1992 году. [2] В 1997 году Барендрегт был избран членом Королевской Нидерландской академии искусств и наук . [3] 6 февраля 2003 года Барендрегт был награжден Spinozapremie за 2002 год, высшей научной наградой Нидерландов. [4] В 2002 году он был посвящен в рыцари Ордена Нидерландского Льва .
Барендрегт получил почетную докторскую степень Университета Хериот-Ватт в 2015 году. [5]
Избранные публикации
[ редактировать ]- HP Барендрегт (1984). Лямбда-исчисление — его синтаксис и семантика . Исследования по логике и основам математики. Том. 103. Амстердам: Северная Голландия. ISBN 0-444-87508-5 . - См . исправления
- Ю. Тояма; Й. В. Клоп ; HP Барендрегт (1989). «Завершение прямой суммы леволинейных систем переписывания терминов (предварительный проект)». В Нахуме Дершовице (ред.). Техники и приложения переписывания, 3-й Межд. конф., РТА-89 . ЛНКС . Том. 355. Спрингер. стр. 477–491.
- HP Барендрегт (2001). «Вычисления и доказательства (приглашенная лекция)». В Мидделдорпе, А. (ред.). Техники и приложения переписывания, 12-й Межд. конф., РТА-01 . ЛНКС. Том. 2051. Спрингер.
- HP Барендрегт, В. Деккерс и Р. Статман (2013). Лямбда-исчисление с типами . Перспективы в логике. Издательство Кембриджского университета. ISBN 978-052-176-614-2 .
- Х. П. Барендрегт и Г. Манзонетто (2022). Спутник для лямбда-исчисления . Математическая логика и основы. Публикации колледжа. ISBN 978-1-84890-415-6 .
Ссылки
[ редактировать ]- ^ Эрик Барендсен; Герман Геверс; Венанцио Капретта; Милад Ники, ред. (2007). Размышления о теории типов, лямбда-исчислении и разуме — очерки, посвященные Хенку Барендрегту по случаю его 60-летия . Университет Неймегена. ISBN 978-90-9022446-6 . Здесь: Предисловие , стр.5
- ^ «Хендрик Барендрегт» . Европейская академия. Архивировано из оригинала 28 марта 2019 года.
- ^ «Хенк Барендрегт» . Королевская Нидерландская академия искусств и наук. Архивировано из оригинала 21 мая 2020 года.
- ^ «Премия Спинозы NWO 2002» . Нидерландская организация научных исследований. 5 сентября 2014 года. Архивировано из оригинала 3 марта 2016 года . Проверено 30 января 2016 г.
- ^ «Выпускные экзамены в Эдинбургском кампусе - Новости | Университет Хериот-Ватт, Эдинбург» . www.hw.ac.uk. Проверено 24 марта 2016 г.
Внешние ссылки
[ редактировать ]- Домашняя страница Барендрегта
- Профиль автора в базе данных zbMATH
- 1947 рождений
- Живые люди
- Голландские ученые-компьютерщики
- Математические логики
- Члены Европейской академии
- Члены Королевской Нидерландской академии искусств и наук
- Академический состав Университета Радбауд в Неймегене
- Лауреаты премии Спинозы
- Выпускники Утрехтского университета
- Ученые из Амстердама
- Академический состав Технического университета Дармштадта