koob.ru

Барендрегт Хенк. Книги онлайн

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

Хенк Барендрегт (Хендрик Питер Барендрегт, Hendrik Pieter (Henk) Barendregt, 18 декабря 1947) — нидерландский математик и логик, исследователь λ-исчисления и теории типов, автор λ-куба. Профессор, заведующий кафедрой оснований математики и информатики Университета Неймегена.

В 1952–1965 годы учился в образовательных учреждениях, использующих систему Монтессори. В 1967 году окончил Утрехтский университет по классу математической логики, получив степень магистра. В 1971 году под руководством Дирка ван Далена (нидерл. Dirk van Dalen) и Георга Крайзеля (нем. Georg Kreisel) защитил докторскую диссертацию (Ph. D.) по экстенсиональным моделям λ-исчисления и комбинаторной логики.

После защиты диссертации в 1971–1972 годах работал исследователем в Стэнфордском университете. С 1972 по 1986 год занимал профессорские должности в Утрехтском университете. С 1986 года — профессор Университета Неймегена, заведующий кафедрой оснований математики и информатики. В разное время работал на приглашённых позициях в Дармштадтском техническом университете, Швейцарской высшей технической школе Цюриха, Университете Карнеги — Меллон, Киотском университете, Сиенском университете.

Увлекается буддизмом и медитацией, публикует статьи о медитации в психологических и научно-популярных журналах.

Член редколлегий журналов 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).

Книги (1)

Ламбда-исчисление. Его синтаксис и семантика
Раздел: Разное

Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики,- так называемом ламбда-исчислении. Оно находит применение в теории доказательств, семантике языков программирования, алгебре, топологии, теории категорий. Изложение отличается полнотой и доступностью. Автор книги — известный голландский математик.

Для математиков разных специальностей, преподавателей, аспирантов и студентов университетов.

Добавить отзыв
Авторы сайта
Георгий Ефимов & Владимир Никонов
Библиотека «Куб»
Поддержать проектПодписаться