Joachim_Lambek
Joachim “Jim” Lambek FRSC（1922年12月5日– 2014年6月23日）は、ドイツ生まれのカナダの数学者でした。彼はマギル大学の純粋数学のピーター・レッドパス名誉教授であり、そこで博士 号を取得しました。1950年にハンス・ザッセンハウスを顧問として学位を取得。
ジョアキム・ランベック
フィラデルフィアのジョアキムランベック、2008年5月
生まれる（1922-12-05）1922年12月5日
ライプツィヒ、
ドイツ
死亡しました
2014年6月23日（2014-06-23）（91歳）
モントリオール 市民権 カナダ人
母校
マギル大学
で知られている
ランベック-モーザーの定理、ランベック計算、カリー-ハワード-ランベック対応、マルチカテゴリ 賞 ジェフリー・ウィリアムズ賞（1988）
科学的キャリア
田畑
数学
機関
マギル大学数学統計学部
定説
A：ミンコウスキーの空間上の双四元数ベクトル場B：半群のグループへの没入性 （1950）
指導教官
ハンス・ザッセンハウス
博士課程の学生
イスラエル・クライナー（1967）ウィリアム・シェルター（1972）
コンテンツ
1 バイオグラフィー
2 学術研究
3 厳選された作品
3.1 本 3.2 記事
4 参考文献
5 外部リンク
バイオグラフィー
ランベックはドイツのライプツィヒで生まれ、体育館に通いました。彼は1938年にキンダートランスポートの難民としてイギリスにやってきた。そこから彼は敵国人として拘留され、カナダのニューブランズウィックにある刑務所のワークキャンプに強制送還された。そこで、彼は暇なときにフリッツ・ロスバーガーと数学の見習いを始め、1941年の秋にマギルジュニア入学を書きました。 1942年の春、彼は解放されてモントリオールに定住し、そこで研究に参加しました。マギル大学で、 1945年に名誉数学の学位を取得し、修士号を取得しました。一年後。 1950年に、彼はハンス・ザッセンハウスの下で博士号を取得し、マギルの最初の博士号を取得しました。数学で。
ランベックはマギル大学の助教授になりました。彼は1963年に教授に就任しました。1965年から66年にかけて、ベノ・エックマンが代数トポロジーと圏論に関心のある研究者のグループを集めたETHチューリッヒの数学研究所で1965年から66年にかけて過ごしました。そこでランベックは彼の研究を圏論に向け直した。
ランベックは1992年に引退しましたが、マギルの数学科で彼の関与を続けました。2000年に、コンピュータサイエンスの数学的構造へのランベックの貢献を祝う記念論文集が出版されました。ランベックの90歳の誕生日の際に、彼に敬意を表して、論理、言語、物理学のカテゴリとタイプのコレクションが作成されました。
学術研究
ランベックの博士論文では、ミンコフスキー空間上の双四元数代数を使用したベクトル場と、グループへの半群の浸漬を調査しました。2番目のコンポーネントは、Canadian JournalofMathematicsによって公開されました。その後、1995年に「ハミルトンが勝った場合：物理学の四元数」に貢献したとき、彼は双四元数に戻りました。これは、自由空間電磁方程式を表現するためのリーマン-シルバースタインバイベクトルを示しました。
ランベックは17人の博士課程の学生を監督し、2020年の時点で75人の博士課程の子孫がいます。彼は、6冊の本を含む100以上の出版物をMathematicalReviewsにリストしています。彼の初期の研究は主にモジュール理論、特にねじれ理論、非可換ローカリゼーション、および単射モジュールでした。彼の最も初期の論文の1つであるLambek＆Moser（1954）は、整数列に関するLambek-Moserの定理を証明しました。1963年に彼は、モジュールの平坦性を特徴付ける文字モジュールについて、現在ランベックの定理として知られている重要な結果を発表しました。彼の最近の仕事は、プレグループと形式言語です。この分野での彼の初期の作品は、おそらくランベック（1958）とランベック（1979）でした。彼は、とりわけ、ラムダ計算、論理形式で自然言語構文の数学的側面をキャプチャするための努力、計算言語学に非常に影響を与えてきた研究、および型付きラムダ計算間の接続を開発するために注目されていますおよびカルテシアンクローズドカテゴリ（カリー-ハワード-ランベック対応を参照）。彼の最後の作品はプレグループ文法に関するものでした。
厳選された作品編集
本
ランベック、ジョアキム（2009）。リングとモジュールに関する講義（第3版）。ブライスデル出版。ISBN 9780821849002。MR0206032 。_
ファイン、ニュージャージー; ギルマン、レオナルド; —（1966）。関数のリングの商のリング。マギル大学プレス。MR0200747 。_—（1966）。カテゴリの完了。1966年にチューリッヒで行われたセミナー講演。数学の講義ノート、No。24。ベルリン、ニューヨーク：Springer-Verlag。MR0209330 。_—（1971）。ねじれ理論、加法セマンティクス、および商の輪。数学の講義ノート。巻 177.ベルリン、ニューヨーク：Springer-Verlag。MR0284459 。_—; スコット、PJ（1986）。高次カテゴリロジックの概要。ケンブリッジ大学出版局。ISBN 978-0-521-35653-4。MR0856915 。_
Anglin、WS; —（1995）。タレスの遺産。数学の学部テキスト。ベルリン、ニューヨーク：Springer-Verlag。ISBN 978-0-387-94544-6。MR1369087 。_
カサディオ、クローディア; —（2008）。自然言語への計算代数的アプローチ。ポリメトリカ。ISBN 978-88-7699-125-7。—（2008）。単語から文へ：文法への計算代数的アプローチ。ポリメトリカ。ISBN 978-88-7699-117-2。
記事
Lambek、Joachim（1951）、「半群のグループへの没入性」、Canadian Journal of Mathematics、3：34–43、doi：10.4153 / CJM-1951-005-8、S2CID 124979541—; Moser、L.（1954）、 “Inverse and Complementary Sequences of Natural Numbers”、The American Mathematical Monthly、61（7）：454–458、doi：10.2307 / 2308078、ISSN 0002-9890、JSTOR 2308078、MR 0062777—（1958）、「The Mathematics of Sentence Structure」 （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.ベルリン、ハイデルベルク：スプリンガーベルリンハイデルベルク。pp。76–122。土井：10.1007/bfb0079385。ISBN 978-3-540-04605-9。ISSN0075-8434 。_—（1972）、 “Bicommutators of nice injectives”、Journal of Algebra、21：60–73、doi：10.1016 / 0021-8693（72）90034-8、ISSN 0021-8693、MR 0301052—（1972）、「ローカリゼーションと完了」、Journal of Pure and Applied Algebra、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）。「ハミルトンが勝った場合：クォータニオンと物理学」。数学的インテリジェンス。17（4）：7–15。土井：10.1007/BF03024783。S2CID120099630 。_ロビンのウィルソンで転載
。グレイ、ジェレミー、編 （2001）。数学的会話。Springer-Verlag。ISBN 978-1-4613-0195-0。—; Barr、Michael（2013）、In Praise of Quaternions （PDF）、マギル大学
参考文献
^ 「ジェフリーウィリアムズ賞の受賞者」。カナダ数学協会。
^ ab “ジョアキムランベック” 。モントリオールガゼット。Legacy.com。2014年6月27日。
^ ダーモン、アンリ（2014年12月2日）。名誉教授ヨアヒム（ジム）ランベック、数学統計学部の死に関する決議（PDF）。理学部：学部会議。モントリオール：マギル大学。p。2.2。
^ Müller-Hoissen、Folkert; パロ、ジャン・マルセル; スタシェフ、ジム、編 （2012）。結合多面体、タマリ束および関連構造。数学の進歩。巻 299.ビルクホイザー。p。18.土井：10.1007/978-3-0348-0405-9。ISBN 978-3-0348-0404-2。LCCN2012942603 。_ ^ バー、マイケル（1997年12月5日）。マギルでのジム・ランベックへの感謝。LambekFest。モントリオール。
^ バー、マイケル; スコット、PJ; どうやら、RAG、eds。（2000）、ランベック記念論文集：コンピュータサイエンスの数学的構造、ケンブリッジ大学出版局、MR 1770227 ^ カサディオ、クローディア; コーク、ボブ; Moortgat、Michael; スコット、フィリップ、編。（2014）、論理、言語、および物理学のカテゴリとタイプ：90歳の誕生日を記念してジムランベックに捧げられたエッセイ、Springer-Verlag
^ ランベック、J。（1951）。「半群のグループへの没入感」。Canadian JournalofMathematics。3：34–43。土井：10.4153/CJM-1951-005-8。S2CID124979541。_ ^ 数学遺伝学プロジェクトのジョアキムランベック
^ ランベック、J。（1964）。「モジュールは、その文字モジュールが単射である場合にのみフラットです」。CanadianMathematicalBulletin。7（2）：237–243。土井：10.4153/CMB-1964-021-9。ISSN0008-4395。_
外部リンク
マギル大学のJoachimLambekの教員プロフィール
ランベックフェスティバル（80周年）”