Йоахим Ламбек
Йоахим Ламбек | |
|---|---|
 Иоахим Ламбек в Филадельфии, май 2008 г. | |
| Рожденный | 5 декабря 1922 г. |
| Умер | 23 июня 2014 г. ( 91 год |
| Гражданство | Канадский |
| Альма-матер | Университет Макгилла |
| Известный | Теорема Ламбека–Мозера , исчисление Ламбека , соответствие Карри–Ховарда–Ламбека , мультикатегории |
| Награды | Премия Джеффри-Вильямса (1988) [1] |
| Научная карьера | |
| Поля | Математика |
| Учреждения | Кафедра математики и статистики Университет Макгилла |
| Диссертация | A: Векторные поля бикватернионов в пространстве Минковского B: Погружаемость полугруппы в группу (1950) |
| Докторантура | Ганс Зассенхаус |
| Докторанты | Исраэль Кляйнер (1967) Уильям Шелтер (1972) |
Иоахим «Джим» Ламбек FRSC (5 декабря 1922 г. - 23 июня 2014 г.) [2] был канадским математиком . Он был почетным профессором чистой математики Питера Редпата в Университете Макгилла получил степень доктора философии , где в 1950 году под руководством Ханса Зассенхауса в качестве консультанта.
Биография [ править ]
Ламбек родился в Лейпциге , Германия , где он посещал гимназию . [3] Он приехал в Англию в 1938 году как беженец на « Киндертранспорте» . [2] Оттуда он был интернирован как вражеский иностранец и депортирован в трудовой лагерь в Нью-Брансуике , Канада . Там он в свободное время начал заниматься математикой у Фрица Ротбергера, такжебыл интернирован и написал аттестат зрелости Макгилла . осенью 1941 года [3] Весной 1942 года он был освобожден и поселился в Монреале , где поступил в Университет Макгилла, получив диплом с отличием по математике в 1945 году и степень магистра год спустя. [4] В 1950 году он защитил докторскую диссертацию под руководством Ганса Зассенхауса, Макгилла став первым доктором философии по математике.
Ламбек стал доцентом Макгилла; в 1963 году он стал профессором. В 1965–66 годах он провел творческий отпуск в Институте математических исследований ETH Цюриха , где Бено Экман собрал группу исследователей, интересующихся алгебраической топологией и теорией категорий , включая Билла Ловера . Там Ламбек переориентировал свои исследования на теорию категорий. [5]
Ламбек вышел на пенсию в 1992 году, но продолжал работать на математическом факультете Макгилла . В 2000 году был опубликован festschrift, посвященный вкладу Ламбека в математические структуры в информатике . [6] По случаю 90-летия Ламбека сборник «Категории и типы в логике, языке и физике» . в его честь был выпущен [7]
Научная работа [ править ]
Докторская диссертация Ламбека исследовала векторные поля с использованием алгебры бикватернионов над пространством Минковского , а также погружение полугруппы в группу . Второй компонент был опубликован Canadian Journal of Mathematics . [8] Позже он вернулся к бикватернионам , когда в 1995 году он опубликовал статью «Если бы Гамильтон победил: кватернионы в физике», в которой продемонстрировал Римана-Зильберштейна бивектор для выражения электромагнитных уравнений в свободном пространстве.
Ламбек руководил 17 докторантами и по состоянию на 2020 год имеет 75 потомков докторантов. [9] Имеет более 100 публикаций, перечисленных в Mathematical Reviews , в том числе 6 книг. Его ранние работы были в основном посвящены теории модулей , особенно теориям кручения, некоммутативной локализации и инъективным модулям . В одной из его первых работ, Ламбека и Мозера (1954) , была доказана теорема Ламбека–Мозера о целочисленных последовательностях. В 1963 году он опубликовал важный результат, ныне известный как теорема Ламбека, о модулях характеров, характеризующих плоскостность модуля. [10] Его последние работы посвящены предгруппам и формальным языкам ; его самыми ранними работами в этой области, вероятно, были Ламбек (1958) и Ламбек (1979) . Он известен, среди прочего, исчислением Ламбека , попыткой охватить математические аспекты синтаксиса естественного языка в логической форме , а также работой, оказавшей большое влияние на компьютерную лингвистику , а также разработкой связей между типизированным лямбда-исчислением. и декартовы замкнутые категории (см. соответствие Карри-Ховарда-Ламбека ). Его последние работы были посвящены предгрупповой грамматике .
Избранные работы [ править ]
Книги [ править ]
- Ламбек, Иоахим (2009) [1966]. Лекции о кольцах и модулях (3-е изд.). Издательство Блейсделл. ISBN 9780821849002 . МР 0206032 .
- Файн, Нью-Джерси ; Гиллман, Леонард ; — (1966). Кольца частных колец функций . Издательство Университета Макгилла. МР 0200747 .
- — (1966). Пополнения категорий . Лекции на семинаре, прочитанные в 1966 году в Цюрихе. Конспекты лекций по математике, № 24. Берлин, Нью-Йорк: Springer-Verlag . МР 0209330 .
- — (1971). Теории кручения, аддитивная семантика и кольца частных . Конспект лекций по математике. Том. 177. Берлин, Нью-Йорк: Springer-Verlag . МР 0284459 .
- —; Скотт, Пи Джей (1986). Введение в категориальную логику высшего порядка . Издательство Кембриджского университета . ISBN 978-0-521-35653-4 . МР 0856915 .
- Энглин, штат Вашингтон; — (1995). Наследие Фалеса . Тексты для бакалавриата по математике . Берлин, Нью-Йорк: Springer-Verlag . ISBN 978-0-387-94544-6 . МР 1369087 .
- Касадио, Клаудия; - (2008). Вычислительно-алгебраические подходы к естественному языку . Полиметрика. ISBN 978-88-7699-125-7 .
- - (2008). От слова к предложению: вычислительно-алгебраический подход к грамматике . Полиметрика. ISBN 978-88-7699-117-2 .
Статьи [ править ]
- Ламбек, Иоахим (1951), «Погружаемость полугруппы в группу», Canadian Journal of Mathematics , 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), «Как запрограммировать бесконечные счеты», Canadian Mathematical Bulletin , 4 (3): 295–302, doi : 10.4153/CMB-1961-032-6 , S2CID 121506469
- — (1969). «Дедуктивные системы и категории II. Стандартные конструкции и закрытые категории». Конспект лекций по математике . Том. 86. Берлин, Гейдельберг: Springer Berlin Heidelberg. стр. 76–122. дои : 10.1007/bfb0079385 . ISBN 978-3-540-04605-9 . ISSN 0075-8434 .
- - (1972), «Бикоммутаторы хороших инъективных», Journal of Algebra , 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), «Математик смотрит на латинское спряжение», Theoretical Linguistics , 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. дои : 10.1007/BF03024783 . S2CID 120099630 . Перепечатано в Уилсон, Робин; Грей, Джереми, ред. (2001). Математические беседы . Спрингер-Верлаг . ISBN 978-1-4613-0195-0 .
- —; Барр, Майкл (2013), Похвала кватернионам (PDF) , Университет Макгилла
См. также [ править ]
Ссылки [ править ]
- ^ «Лауреаты премии Джеффри-Уильямса» . Канадское математическое общество . Проверено 1 ноября 2018 г.
- ↑ Перейти обратно: Перейти обратно: а б «Иоахим Ламбек» . Монреальский вестник . Legacy.com. 27 июня 2014 года . Проверено 31 октября 2018 г.
- ↑ Перейти обратно: Перейти обратно: а б Дармон, Анри (2 декабря 2014 г.). Резолюция о смерти почетного профессора Иоахима (Джима) Ламбека, факультет математики и статистики (PDF) . Факультет естественных наук: Встреча факультета. Монреаль: Университет Макгилла . п. 2.
- ^ Мюллер-Хойссен, Фолькерт; Палло, Жан Марсель; Сташефф, Джим, ред. (2012). Ассоциэдры, решетки Тамари и родственные структуры . Прогресс в математике. Том. 299. Биркхойзер. п. 18. дои : 10.1007/978-3-0348-0405-9 . ISBN 978-3-0348-0404-2 . LCCN 2012942603 .
- ^ Барр, Майкл (5 декабря 1997 г.). Благодарность Джиму Ламбеку из McGill . ЛамбекФест. Монреаль.
- ^ Барр, Майкл ; Скотт, ПиДжей; Сили, RAG, ред. (2000), Lambek Festschrift: математические структуры в информатике , Cambridge University Press , MR 1770227
- ^ Касадио, Клаудия; Кук, Боб; Моортгат, Майкл; Скотт, Филип, ред. (2014), Категории и типы в логике, языке и физике: очерки, посвященные Джиму Ламбеку по случаю его 90-летия , Springer-Verlag
- ^ Ламбек, Дж. (1951). «Погружаемость полугруппы в группу» . Канадский математический журнал . 3 : 34–43. дои : 10.4153/CJM-1951-005-8 . S2CID 124979541 .
- ^ Иоахим Ламбек в проекте «Математическая генеалогия»
- ^ Ламбек, Дж. (1964). «Модуль является плоским тогда и только тогда, когда его символьный модуль инъективен» . Канадский математический бюллетень . 7 (2): 237–243. дои : 10.4153/CMB-1964-021-9 . ISSN 0008-4395 .
Внешние ссылки [ править ]
- Профиль факультета Иоахима Ламбека в Университете Макгилла
- Фестиваль Ламбек (80 лет)
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |