Иоахим Ламбек - Joachim Lambek

Иоахим Ламбек
Ламбек Иоахим.jpg
Иоахим Ламбек в Филадельфии, май 2008 г.
Родившийся(1922-12-05)5 декабря 1922 г.
Лейпциг, Германия
Умер23 июня 2014 г.(2014-06-23) (91 год)
Монреаль
ГражданствоКанадский
Альма-матерУниверситет Макгилла
ИзвестенТеорема Ламбека – Мозера., Исчисление Ламбека, Переписка Карри – Ховарда – Ламбека, мультикатегории
НаградыПриз Джеффри-Уильямса (1988)[1]
Научная карьера
ПоляМатематика
УчрежденияКафедра математики и статистики
Университет Макгилла
ТезисA: Бикватернионные векторные поля над пространством Минковского B: Погружаемость полугруппы в группу (1950)
ДокторантГанс Цассенхаус
ДокторантыИсраэль Кляйнер (1967)
Уильям Шелтер (1972)

Иоахим «Джим» Ламбек FRSC (5 декабря 1922 г. - 23 июня 2014 г.)[2] был Питер Редпат Почетный Профессор чистой математики в Университет Макгилла, где он заработал Кандидат наук. степень в 1950 году с Ганс Цассенхаус как советник.

биография

Ламбек родился в Лейпциг, Германия, где он посетил Гимназия.[3] Он приехал в Англию в 1938 году как беженец на Детский транспорт.[2] Оттуда он был интернирован как враг пришелец и депортирован в исправительно-трудовой лагерь в Нью-Брансуик, Канада. Там он в свободное время начал обучение математике у Фрица Ротбергера, также интернированного, и написал Зачисление в школу McGill Junior осенью 1941 г.[3] Весной 1942 года он был освобожден и поселился в г. Монреаль, где он поступил на учебу в Университет Макгилла, получив диплом почести математика в 1945 г. и M.Sc. год спустя.[4] В 1950 году он защитил докторскую диссертацию в Ганс Цассенхаус стать первым Макгиллом Кандидат наук. по математике.

Ламбек стал доцентом в McGill; в 1963 году он стал профессором. Свой творческий отпуск 1965–66 он провел в Институт математических исследований в ETH Цюрих, куда Бено Экманн собрал группу исследователей, заинтересованных в алгебраическая топология и теория категорий, включая Билл Ловер. Там Ламбек переориентировал свои исследования на теорию категорий.[5]

Ламбек ушел на пенсию в 1992 году, но продолжил свою деятельность в Математический факультет Макгилла. В 2000 г. фестивальный сбор отмечая вклад Ламбека в математические структуры в Информатика был опубликован.[6] По случаю 90-летия Ламбека коллекция Категории и типы в логике, языке и физике был произведен в память о нем.[7]

Научная работа

Рассмотрена кандидатская диссертация Ламбека. векторные поля с использованием бикватернион алгебра над Пространство Минковского, а также полугруппа погружение в группа. Второй компонент был опубликован Канадский математический журнал.[8] Позже он вернулся в бикватернионы когда в 1995 году он написал книгу «Если бы Гамильтон победил: кватернионы в физике», в которой Риман-Зильберштейн бивектор для выражения электромагнитных уравнений в свободном пространстве.

Ламбек руководил 17 докторантами и по состоянию на 2020 год имеет 75 потомков.[9] Имеет более 100 публикаций, внесенных в список Математические обзоры, в том числе 6 книг. Его ранние работы были в основном в теория модулей, особенно теории кручения, некоммутативная локализация и инъективные модули. Одна из его самых ранних работ, Ламбек и Мозер (1954), доказал Теорема Ламбека – Мозера. о целочисленных последовательностях. В 1963 г. он опубликовал важный результат, теперь известный как теорема Ламбека, о символьные модули характеризующий плоскостность модуля.[10] Его более поздняя работа находится в предварительные группы и формальные языки; его самые ранние работы в этой области, вероятно, были Ламбек (1958) и Ламбек (1979). Он известен, среди прочего, за Исчисление Ламбека, попытка уловить математические аспекты синтаксиса естественного языка в логическая форма, и работа, которая оказала большое влияние на компьютерная лингвистика, а также для развития связей между типизированное лямбда-исчисление и декартовы закрытые категории (видеть Переписка Карри – Ховарда – Ламбека ). Его последние работы были на предгрупповая грамматика.

Избранные работы

Книги

Статьи

Рекомендации

  1. ^ «Лауреаты Премии Джеффри-Уильямса». Канадское математическое общество. Получено 1 ноября 2018.
  2. ^ а б "Иоахим Ламбек". Montreal Gazette. Legacy.com. 27 июня 2014 г.. Получено 31 октября 2018.
  3. ^ а б Дармон, Анри (2 декабря 2014 г.). Постановление о смерти почетного профессора Иоахима (Джима) Ламбека, факультет математики и статистики (PDF). Факультет естественных наук: собрание факультета. Монреаль: Университет Макгилла. п. 2.
  4. ^ Мюллер-Хойссен, Фолкерт; Палло, Жан Марсель; Сташеф, Джим, ред. (2012). Ассоциаэдры, решетки Тамари и родственные структуры. Успехи в математике. 299. Birkhäuser. п. 18. Дои:10.1007/978-3-0348-0405-9. ISBN  978-3-0348-0404-2. LCCN  2012942603.
  5. ^ Барр, Майкл (5 декабря 1997 г.). Благодарность Джиму Ламбеку в McGill. LambekFest. Монреаль.
  6. ^ Барр, Майкл; Скотт, П. Дж .; Сили, Р.А.Г., ред. (2000), Lambek Festschrift: математические структуры в информатике, Издательство Кембриджского университета, МИСТЕР  1770227
  7. ^ Касадио, Клаудиа; Коук, Боб; Мортгат, Майкл; Скотт, Филип, ред. (2014), Категории и типы в логике, языке и физике: эссе, посвященные Джиму Ламбеку по случаю его 90-летия, Springer-Verlag
  8. ^ Ламбек, Дж. (1951). «Погружаемость полугруппы в группу». Канадский математический журнал. 3: 34–43. Дои:10.4153 / CJM-1951-005-8.
  9. ^ Иоахим Ламбек на Проект "Математическая генеалогия" Отредактируйте это в Викиданных
  10. ^ Ламбек, Дж. (1964). «Модуль является плоским тогда и только тогда, когда его символьный модуль является инъективным». Канадский математический бюллетень. 7 (2): 237–243. Дои:10.4153 / CMB-1964-021-9. ISSN  0008-4395.

внешняя ссылка