Иоахим Ламбек - Joachim Lambek
Иоахим Ламбек | |
---|---|
Родился |
|
5 декабря 1922 г.
Умер | 23 июня 2014 г. |
(91 год)
Гражданство | Канадский |
Альма-матер | Университет Макгилла |
Известен | Теорема Ламбека-Moser , Ламбек исчисление , Карри-Говард-Ламбек переписка , multicategories |
Награды | Приз Джеффри-Уильямса (1988) |
Научная карьера | |
Поля | Математика |
Учреждения |
Департамент математики и статистики Университета Макгилла |
Тезис | A: Бикватернионные векторные поля над пространством Минковского B: Погружаемость полугруппы в группу (1950) |
Докторант | Ганс Цассенхаус |
Докторанты |
Исраэль Кляйнер (1967) Уильям Шелтер (1972) |
Иоахим «Джим» Ламбек FRSC (5 декабря 1922 - 23 июня 2014) был Питером Редпатом Почетным профессором чистой математики в Университете Макгилла , где он получил докторскую степень. в 1950 году под руководством Ганса Цассенхауса в качестве консультанта.
биография
Ламбек родился в Лейпциге , Германия , где он учился в гимназии . Он приехал в Англию в 1938 году в качестве беженца на Детском транспорте . Оттуда он был интернирован как вражеский инопланетянин и депортирован в исправительно-трудовой лагерь в Нью-Брансуике , Канада . Там он в свободное время начал обучение математике у Фрица Ротбергера, также интернированного, и осенью 1941 года написал заявление о зачислении в школу Макгилла. Весной 1942 года он был освобожден и поселился в Монреале , где поступил на учебу в Макгилла. Университет, который окончил с отличием по математике в 1945 году и получил степень магистра наук. год спустя. В 1950 году он защитил докторскую диссертацию под руководством Ханса Цассенхауза, став первым доктором философии Макгилла. по математике.
Ламбек стал доцентом в McGill; он был сделан ординарным профессором в 1963 году он провел свой академический 1965/66 год в в Институте математических исследований в ETH Zurich , где Бено Eckmann собрались вместе группу исследователей , заинтересованных в алгебраической топологии и теории категорий , в том числе Билл Ловера . Там Ламбек переориентировал свои исследования на теорию категорий.
Ламбек ушел на пенсию в 1992 году, но продолжал работать на математическом факультете Макгилла . В 2000 году был опубликован фестивальный сборник, посвященный вкладу Ламбека в математические структуры в информатике . По случаю 90-летия Ламбека в его честь был выпущен сборник « Категории и типы в логике, языке и физике» .
Научная работа
В диссертации Ламбека изучались векторные поля с использованием алгебры бикватернионов над пространством Минковского , а также полугрупповое погружение в группу . Второй компонент был опубликован Канадским математическим журналом . Позже он вернулся к бикватернионам, когда в 1995 году написал книгу «Если бы Гамильтон победил: кватернионы в физике», в которой был показан бивектор Римана – Зильберштейна для выражения электромагнитных уравнений в свободном пространстве.
Ламбек руководил 17 докторантами, и по состоянию на 2020 год у него 75 докторантов. У него более 100 публикаций, перечисленных в Mathematical Reviews , в том числе 6 книг. Его ранние работы были в основном в теории модулей , особенно теории кручения, некоммутативной локализации и инъективных модулей . Одна из его самых ранних работ, Lambek & Moser (1954) , доказала теорему Ламбека – Мозера о целочисленных последовательностях. В 1963 году он опубликовал важный результат, известный теперь как теорема Ламбека, о модулях характеров, характеризующих плоскостность модуля. Его более поздние работы написаны на предварительных группах и на формальных языках ; его самые ранние работы в этой области, вероятно, были Lambek (1958) и Lambek (1979) . Он известен, среди прочего, за исчисление Ламбека , попытку зафиксировать математические аспекты синтаксиса естественного языка в логической форме и работу, которая оказала большое влияние на вычислительную лингвистику , а также за развитие связей между типизированным лямбда-исчислением. и декартовы замкнутые категории (см. соответствие Карри – Ховарда – Ламбека ). Его последние работы были по предгрупповой грамматике .
Избранные работы
Книги
- Ламбек, Иоахим (2009) [1966]. Лекции по кольцам и модулям (3-е изд.). Blaisdell Publishing. ISBN 9780821849002. Руководство по ремонту 0206032 .
- Хорошо, Нью-Джерси ; Гиллман, Леонард ; - (1966). Кольца частных колец функций . Издательство Университета Макгилла. Руководство по ремонту 0200747 .
- - (1966). Пополнения категорий . Лекции семинара, прочитанные в 1966 году в Цюрихе. Конспект лекций по математике, № 24. Берлин, Нью-Йорк: Springer-Verlag . Руководство по ремонту 0209330 .
- - (1971). Теории кручения, аддитивная семантика и кольца частных . Конспект лекций по математике. 177 . Берлин, Нью-Йорк: Springer-Verlag . Руководство по ремонту 0284459 .
- -; Скотт, П.Дж. (1986). Введение в категориальную логику высшего порядка . Издательство Кембриджского университета . ISBN 978-0-521-35653-4. Руководство по ремонту 0856915 .
- Энглин, WS; - (1995). Наследие Фалеса . Тексты для бакалавриата по математике . Берлин, Нью-Йорк: Springer-Verlag . ISBN 978-0-387-94544-6. Руководство по ремонту 1369087 .
- Касадио, Клаудиа; - (2008). Вычислительные алгебраические подходы к естественному языку . Polimetrica. ISBN 978-88-7699-125-7.
- - (2008). От слова к предложению: вычислительно-алгебраический подход к грамматике . Polimetrica. ISBN 978-88-7699-117-2.
Статьи
- Ламбека, Йоахим (1951), "О погруженность полугруппы в группу", Canadian Journal математики , 3 : 34-43, DOI : 10,4153 / CJM-1951-005-8
- -; Moser, Л. (1954), "Обратные и комплементарные последовательности натуральных чисел", Американский Математический Месячный , 61 (7): 454-458, DOI : 10,2307 / 2308078 , ISSN 0002-9890 , JSTOR 2308078 , MR 0062777
- - (1958), "Математика Структура предложения" (PDF) , Американский Математический Месячный , 65 (3): 154-170, DOI : 10,2307 / 2310058 , ISSN 0002-9890 , JSTOR 1480361
- - (1961), "Как программировать бесконечную арифметику", Canadian математического вестник , 4 (3): 295-302, DOI : 10,4153 / CMB-1961-032-6
- - (1969). «Дедуктивные системы и категории II. Типовые конструкции и закрытые категории». Конспект лекций по математике . 86 . Берлин, Гейдельберг: Springer Berlin Heidelberg. С. 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 , МР 0301052
- - (1972), "Локализация и завершение", Журнал теоретической и прикладной алгебры , 2 (4): 343-370, DOI : 10,1016 / 0022-4049 (72) 90011-4 , ISSN 0022-4049 , МР 0320047
- - (1979), "Математик смотрит на Латинском сопряжении", Теоретическая лингвистика , 6 (2): 221-234, DOI : 10,1515 / thli.1979.6.1-3.221 , ISSN 0301-4428 , MR 0589163 , S2CID 62697835
- - (1995). «Если бы Гамильтон победил: кватернионы и физика». Математический интеллигент . 17 (4): 7–15. DOI : 10.1007 / BF03024783 . S2CID 120099630 .Перепечатано в Уилсон, Робин; Грей, Джереми, ред. (2001). Математические беседы . Springer-Verlag . ISBN 978-1-4613-0195-0.
- -; Барр, Майкл (2013), В честь кватернионов (PDF) , Университет Макгилла
использованная литература
внешние ссылки
- Профиль факультета Иоахима Ламбека в Университете Макгилла
- Фестиваль Ламбек (80-летие)