Оглавление
Иоахим Ламбек
-
Биография Йоахима Ламбека
- Канадский математик, родился в Германии, в 1938 году стал беженцем, интернирован и депортирован в Канаду.
- Получил образование в университете Макгилла, защитил докторскую диссертацию в 1950 году.
- Работал ассистентом профессора, стал профессором в 1963 году, занимался исследованиями в области теории категорий.
- Вышел на пенсию в 1992 году, продолжил работу в университете Макгилла.
-
Научная работа
- Исследовал векторные поля и погружение полугрупп в группу, опубликовал важные результаты в теории модулей.
- Известен за “исчисление Ламбека” и работы по предгруппам и формальным языкам.
- Внес вклад в компьютерную лингвистику и разработку связей между типизированным лямбда-исчислением и декартовыми замкнутыми категориями.
-
Избранные работы
- Опубликовал книги и статьи, включая теорему Ламбека и теорему Ламбека-Мозера.
- В последние годы занимался предгрупповой грамматикой.
-
Публикации
- Имеет более 100 публикаций, включая 6 книг.
Полный текст статьи: