Jump to content

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

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

Хендрик Питер (Хенк) Барендрегт (род. 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 .
  1. ^ Эрик Барендсен; Герман Геверс; Венанцио Капретта; Милад Ники, ред. (2007). Размышления о теории типов, лямбда-исчислении и разуме — очерки, посвященные Хенку Барендрегту по случаю его 60-летия . Университет Неймегена. ISBN  978-90-9022446-6 . Здесь: Предисловие , стр.5
  2. ^ «Хендрик Барендрегт» . Европейская академия. Архивировано из оригинала 28 марта 2019 года.
  3. ^ «Хенк Барендрегт» . Королевская Нидерландская академия искусств и наук. Архивировано из оригинала 21 мая 2020 года.
  4. ^ «Премия Спинозы NWO 2002» . Нидерландская организация научных исследований. 5 сентября 2014 года. Архивировано из оригинала 3 марта 2016 года . Проверено 30 января 2016 г.
  5. ^ «Выпускные экзамены в Эдинбургском кампусе - Новости | Университет Хериот-Ватт, Эдинбург» . www.hw.ac.uk. ​Проверено 24 марта 2016 г.
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 3cbc581d8ffc590e8bf1a2968bc2c999__1722540000
URL1:https://arc.ask3.ru/arc/aa/3c/99/3cbc581d8ffc590e8bf1a2968bc2c999.html
Заголовок, (Title) документа по адресу, URL1:
Henk Barendregt - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)