ヨアヒム・ランベック

ヨアヒム・ランベック
ヨアヒム・ランベック、フィラデルフィア、2008 年 5 月
生まれる	( 1922-12-05 )1922年12月5日 ライプツィヒ、ドイツ
死亡	2014年6月23日(2014-06-23)（享年91歳） モントリオール
市民権	カナダ人
母校	マギル大学
知られている	ランベック・モーザーの定理、ランベック微積分学、カリー・ハワード・ランベック対応、マルチカテゴリー
受賞歴	ジェフリー・ウィリアムズ賞（1988年）[1]
科学者としてのキャリア
フィールド	数学
機関	マギル大学数学・統計学部
論文	A: ミンコフスキー空間上の双四元数ベクトル場 B: 半群の群への没入可能性 (1950)
博士課程の指導教員	ハンス・ザッセンハウス
博士課程の学生	イスラエル・クライナー(1967) ウィリアム・シェルター(1972)

ヨアヒム・「ジム」・ランベック （ 1922年12月5日 - 2014年6月23日）^[2]はカナダの数学者である。マギル大学のピーター・レッドパス名誉純粋 数学教授であり、 1950年にハンス・ザッセンハウスの指導の下、同大学で博士号を取得した。

ランベックはドイツのライプツィヒに生まれ、同地のギムナジウムに通った。^[3] 1938年に難民としてキンダートランスポートに乗ってイギリスに渡った。^{[2]そこから}敵国人として抑留され、カナダのニューブランズウィック州の労働収容所に移送された。そこで余暇を利用して、同じく抑留されていたフリッツ・ロスバーガーのもとで数学の徒弟制度を始め、1941年秋にはマギル大学ジュニア入学試験を書いた。 ^[3] 1942年春に釈放されてモントリオールに定住し、マギル大学に入学、1945年に数学の優等学位を取得し、 1年後には理学修士号を取得した。 ^{[4] 1950年、}ハンス・ザッセンハウスのもとで博士号を取得し、マギル大学初の数学博士号を取得した。

ランベックはマギル大学の助教授となり、1963年に教授となった。1965年から1966年にかけて、彼はスイス連邦工科大学チューリッヒ校の数学研究所で休職した。そこでは、ベノ・エックマンがビル・ローヴェアを含む代数的位相幾何学と圏論に関心を持つ研究者のグループを集めていた。そこでランベックは圏論へと研究の方向を転換した。^[5]

ランベックは1992年に退職したが、マギル大学数学科への関与は続けた。2000年には、コンピュータサイエンスにおける数学的構造へのランベックの貢献を称える記念論文集が出版された。^[6]ランベックの90歳の誕生日を記念して、彼に敬意を表して「論理、言語、物理学におけるカテゴリーと型」というコレクションが出版された。^[7]

ランベックの博士論文は、ミンコフスキー空間上の双四元数代数を用いたベクトル場と、群における半群の浸漬について研究した。2番目の要素は、Canadian Journal of Mathematicsに掲載された。^{[8]彼は後に}双四元数に戻り、1995年に「ハミルトンが勝っていたら:物理学における四元数」を寄稿し、自由空間の電磁気方程式を表現するためにリーマン-シルバーシュタイン双ベクトルを示した。

ラムベックは17人の博士課程の学生を指導し、2020年現在、75人の博士課程の子孫がいる。 ^{[9]彼は、6冊の著書を含む100を超える出版物を}Mathematical Reviewsに掲載している。彼の初期の仕事は主にモジュール理論、特に捩れ理論、非可換局所化、および入射モジュールに関するものであった。彼の最も初期の論文の1つであるLambek & Moser (1954) は、整数列に関するLambek–Moser定理を証明した。1963年に彼は、現在Lambekの定理として知られる、モジュールの平坦性を特徴付ける特性モジュールに関する重要な結果を発表した。 ^{[10]彼の最近の仕事は}前群と形式言語に関するもので、この分野での彼の初期の研究はおそらくLambek (1958) とLambek (1979) である。彼は、自然言語構文の数学的側面を論理形式で表現する試みであるラムベック計算や、計算言語学に大きな影響を与えた研究、また型付きラムダ計算とデカルト閉圏の関係を発展させたことで知られています (カリー・ハワード・ラムベック対応を参照)。彼の最後の研究は前群文法に関するものでした。

• ランベック、ヨアヒム (2009) [1966]. 環とモジュールに関する講義 (第 3 版). Blaisdell Publishing. ISBN 9780821849002MR  0206032 。
• Fine, NJ ; Gillman, Leonard ; — (1966).関数環の商環. McGill University Press. MR  0200747.
• — (1966).カテゴリーの完成. 1966年にチューリッヒで行われたセミナー講義. 数学の講義ノート、第24号. ベルリン、ニューヨーク: Springer-Verlag . MR  0209330.
• — (1971).ねじれ理論、加法意味論、商環。数学講義ノート。第177巻。ベルリン、ニューヨーク：Springer-Verlag。MR  0284459 。
• — ;スコット、PJ (1986)。高階カテゴリカル論理入門。ケンブリッジ大学出版局。ISBN 978-0-521-35653-4. MR  0856915。
• アングリン、WS; — (1995)。タレスの遺産。学部生向け数学テキスト。ベルリン、ニューヨーク：シュプリンガー・フェアラーク。ISBN 978-0-387-94544-6. MR  1369087。
• カサディオ、クラウディア; — (2008).自然言語への計算代数的アプローチ. ポリメトリカ. ISBN 978-88-7699-125-7。
• — (2008).単語から文へ: 文法への計算代数的アプローチ。ポリメトリカ。ISBN 978-88-7699-117-2。

• ランベック、ヨアヒム (1951)、「半群の群への浸漬可能性」、カナダ数学ジャーナル、3 :34–43、doi : 10.4153/CJM-1951-005-8、S2CID  124979541
• —; モーザー、L. (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)、「無限そろばんのプログラミング方法」、カナダ数学速報、4 (3): 295–302、doi : 10.4153/CMB-1961-032-6、S2CID  121506469
• — (1969). 「演繹体系とカテゴリー II. 標準構成と閉カテゴリー」.数学講義ノート. 第 86 巻. ベルリン、ハイデルベルク: 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、ISSN0021-8693  、MR0301052
• — (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編 (2001)に再録。Mathematical Conversations。Springer - Verlag。ISBN 978-1-4613-0195-0。
• —;バー、マイケル(2013)、「四元数の賛美」(PDF)、マギル大学

• デカルトモノイド
• マイケル・K・ブレイム

• マギル大学のヨアヒム・ランベック教授のプロフィール
• ランベック祭（80周年記念）