Иоахим Ламбек
Канадский математик (1922–2014)
Иоахим Ламбек
Иоахим Ламбек в Филадельфии, май 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 Matriculation осенью 1941 года . [3] Весной 1942 года он был освобожден и поселился в Монреале , где он поступил на учебу в Университет Макгилла, который окончил с отличием в 1945 году и получил степень магистра наук годом позже. [4] В 1950 году он закончил докторскую диссертацию под руководством Ганса Цассенхауза, став первой докторской диссертацией Макгилла по математике.

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

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

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

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

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

Избранные произведения

Книги

Статьи

  • Ламбек, Иоахим (1951), «Погружимость полугруппы в группу», Канадский журнал математики , 3 : 34–43 , doi : 10.4153/CJM-1951-005-8 , S2CID  124979541
  • —; Мозер, Л. (1954), «Обратные и дополнительные последовательности натуральных чисел», The American Mathematical Monthly , 61 (7): 454– 458, doi :10.2307/2308078, ISSN  0002-9890, JSTOR  2308078, MR  0062777
  • — (1958), «Математика структуры предложения» (PDF) , The American Mathematical Monthly , 65 (3): 154– 170, doi :10.2307/2310058, ISSN  0002-9890, JSTOR  1480361
  • — (1961), «Как запрограммировать бесконечный счет», Канадский математический вестник , 4 (3): 295–302 , doi : 10.4153/CMB-1961-032-6 , S2CID  121506469
  • — (1969). «Дедуктивные системы и категории II. Стандартные конструкции и закрытые категории». Lecture Notes in Mathematics . Vol. 86. Berlin, Heidelberg: Springer Berlin Heidelberg. pp.  76– 122. doi :10.1007/bfb0079385. ISBN 978-3-540-04605-9. ISSN  0075-8434.
  • — (1972), «Бикоммутаторы хороших инъективов», Журнал алгебры , 21 : 60–73 , doi : 10.1016/0021-8693(72)90034-8 , ISSN  0021-8693, MR  0301052
  • — (1972), «Локализация и завершение», Журнал чистой и прикладной алгебры , 2 (4): 343–370 , doi : 10.1016/0022-4049(72)90011-4 , ISSN  0022-4049, MR  0320047
  • — (1979), «Математик смотрит на латинское спряжение», Теоретическая лингвистика , 6 (2): 221– 234, doi :10.1515/thli.1979.6.1-3.221, ISSN  0301-4428, MR  0589163, S2CID  62697835
  • — (1995). «Если бы Гамильтон победил: кватернионы и физика». Mathematical Intelligencer . 17 (4): 7– 15. doi :10.1007/BF03024783. S2CID  120099630.Перепечатано в Wilson, Robin; Gray, Jeremy, eds. (2001). Mathematical Conversations . Springer-Verlag . ISBN 978-1-4613-0195-0.
  • —; Барр, Майкл (2013), Похвала кватернионам (PDF) , Университет Макгилла

Смотрите также

Ссылки

  1. ^ "Лауреаты премии Джеффри-Уильямса". Канадское математическое общество . Получено 1 ноября 2018 г.
  2. ^ ab "Joachim Lambek". Montreal Gazette . Legacy.com. 27 июня 2014 г. Получено 31 октября 2018 г.
  3. ^ ab Darmon, Henri (2 декабря 2014 г.). Резолюция о смерти почетного профессора Иоахима (Джима) Ламбека, кафедра математики и статистики (PDF) . Факультет естественных наук: Заседание факультета. Монреаль: Университет Макгилла . стр. 2.
  4. ^ Мюллер-Хойссен, Фолкерт; Палло, Жан Марсель; Сташефф, Джим, ред. (2012). Ассоциаэдры, решетки Тамари и родственные структуры . Прогресс в математике. Т. 299. Биркхойзер. стр. 18. doi :10.1007/978-3-0348-0405-9. ISBN 978-3-0348-0404-2. LCCN  2012942603.
  5. ↑ Барр, Майкл (5 декабря 1997 г.). Благодарность Джиму Ламбеку в Макгилле. LambekFest. Монреаль.
  6. ^ Барр, Майкл ; Скотт, П. Дж.; Сили, Р. А. Г., ред. (2000), The Lambek Festschrift: математические структуры в информатике , Cambridge University Press , MR  1770227
  7. ^ Касадио, Клаудия; Коек, Боб; Муртгат, Майкл; Скотт, Филип, ред. (2014), Категории и типы в логике, языке и физике: эссе, посвященные Джиму Ламбеку по случаю его 90-летия , Springer-Verlag
  8. ^ Ламбек, Дж. (1951). «Погружимость полугруппы в группу». Канадский журнал математики . 3 : 34– 43. doi : 10.4153/CJM-1951-005-8 . S2CID  124979541.
  9. ^ Иоахим Ламбек в проекте «Генеалогия математики»
  10. ^ Ламбек, Дж. (1964). «Модуль является плоским тогда и только тогда, когда его модуль характера является инъективным». Канадский математический бюллетень . 7 (2): 237– 243. doi : 10.4153/CMB-1964-021-9 . ISSN  0008-4395.
  • Профиль профессора Иоахима Ламбека в Университете Макгилла
  • Фестиваль Ламбек (80 лет)
Retrieved from "https://en.wikipedia.org/w/index.php?title=Joachim_Lambek&oldid=1191689908"