Хенк Барендрегт
Голландский логик (родился в 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
Взято с "https://en.wikipedia.org/w/index.php?title=Henk_Barendregt&oldid=1238060126"