Joachim Lambek- Joachim Lambek

Joachim Lambek
Lambek Joachim.jpg
Joachim Lambek in Philadelphia, Mai 2008
Geboren ( 1922-12-05 )5. Dezember 1922
Leipzig , Deutschland
Ist gestorben 23. Juni 2014 (2014-06-23)(91 Jahre)
Montreal
Staatsbürgerschaft kanadisch
Alma Mater McGill Universität
Bekannt für Lambek-Moser-Theorem , Lambek-Kalkül , Curry-Howard-Lambek-Korrespondenz , Multikategorien
Auszeichnungen Jeffery-Williams-Preis (1988)
Wissenschaftlicher Werdegang
Felder Mathematik
Institutionen Fakultät für Mathematik und Statistik
McGill University
These A: Biquaternion-Vektorfelder über Minkowskis Raum B: Die Immersibilität einer Halbgruppe in eine Gruppe  (1950)
Doktoratsberater Hans Zassenhaus
Doktoranden Israel Kleiner (1967)
William Schelter (1972)

Joachim "Jim" Lambek FRSC (5. Dezember 1922 – 23. Juni 2014)​ war Peter Redpath Emeritus Professor of Pure Mathematics an der McGill University , wo er seinen Ph.D. Abschluss 1950 bei Hans Zassenhaus als Berater.

Biografie

Lambek wurde geboren Leipzig , Deutschland , wo er besuchte Gymnasium . 1938 kam er als Flüchtling mit dem Kindertransport nach England . Von dort wurde er als feindlicher Ausländer interniert und in ein Arbeitslager in New Brunswick , Kanada, deportiert . Dort begann er in seiner Freizeit eine mathematische Lehre bei Fritz Rothberger, ebenfalls interniert, und schrieb im Herbst 1941 die McGill Junior Immatrikulation . Im Frühjahr 1942 wurde er entlassen und ließ sich in Montreal nieder , wo er ein Studium bei McGill begann Universität und schloss 1945 mit einem Honours- Abschluss in Mathematik und einem M.Sc. ein Jahr später. 1950 promovierte er bei Hans Zassenhaus und wurde McGills erster Ph.D. in Mathematik.

Lambek wurde Assistenzprofessor bei McGill; 1963 wurde er zum ordentlichen Professor ernannt. Sein Sabbatjahr 1965–66 verbrachte er am Institut für Mathematische Forschung der ETH Zürich , wo Beno Eckmann eine Gruppe von Forschern versammelt hatte, die sich für algebraische Topologie und Kategorientheorie interessierten , darunter Bill Lawvere . Dort richtete Lambek seine Forschungen auf die Kategorientheorie um.

Lambek ging 1992 in den Ruhestand, setzte aber sein Engagement in der Mathematikabteilung von McGill fort . Im Jahr 2000 wurde eine Festschrift veröffentlicht, die Lambeks Beiträge zu mathematischen Strukturen in der Informatik feiert . Zu Lambeks 90. Geburtstag wurde zu seiner Hommage eine Sammlung Kategorien und Typen in Logik, Sprache und Physik produziert.

Wissenschaftliche Arbeit

Lambeks Doktorarbeit untersuchte Vektorfelder unter Verwendung der Biquaternionenalgebra über dem Minkowski-Raum sowie Halbgruppenimmersion in einer Gruppe . Die zweite Komponente wurde vom Canadian Journal of Mathematics veröffentlicht . Später kehrte er zu Biquaternionen zurück, als er 1995 einen Beitrag zu "If Hamilton had obsiegt: Quaternions in Physics" beisteuerte, der den Riemann-Silberstein- Bivektor zeigte , um die elektromagnetischen Freiraumgleichungen auszudrücken.

Lambek betreute 17 Doktoranden und hat 75 Doktoranden (Stand 2020). Er hat über 100 Publikationen in den Mathematical Reviews gelistet , darunter 6 Bücher. Seine früheren Arbeiten beschäftigten sich hauptsächlich mit Modultheorie , insbesondere Torsionstheorien, nicht-kommutativer Lokalisierung und injektiven Modulen . Eine seiner frühesten Arbeiten, Lambek & Moser (1954) , bewies das Lambek-Moser-Theorem über ganzzahlige Folgen. 1963 veröffentlichte er ein wichtiges Ergebnis, das heute als Lambek-Theorem bekannt ist, über Zeichenmodule, die die Flachheit eines Moduls charakterisieren. Seine neuere Arbeit ist in Vorgruppen und formalen Sprachen ; seine frühesten Arbeiten auf diesem Gebiet waren wahrscheinlich Lambek (1958) und Lambek (1979) . Er ist unter anderem für den Lambek-Kalkül bekannt , ein Versuch, mathematische Aspekte der Syntax natürlicher Sprache in logischer Form zu erfassen , und eine Arbeit, die in der Computerlinguistik sehr einflussreich war , sowie für die Entwicklung der Verbindungen zwischen typisiertem Lambda-Kalkül und kartesische geschlossene Kategorien (siehe Curry-Howard-Lambek-Korrespondenz ). Seine letzten Arbeiten waren über die Vorgruppengrammatik .

Ausgewählte Werke

Bücher

  • Lambek, Joachim (2009) [1966]. Vorlesungen über Ringe und Module (3. Aufl.). Blaisdell-Verlag. ISBN 9780821849002. MR  0.206.032 .
  • Gut, New Jersey ; Gillmann, Leonard ; — (1966). Ringe von Quotienten von Ringen von Funktionen . McGill University Press. MR  0.200.747 .
  • — (1966). Vervollständigungen von Kategorien . Seminarvorträge 1966 in Zürich. Skript zur Vorlesung Mathematik, Nr. 24. Berlin, New York: Springer-Verlag . MR  0.209.330 .
  • — (1971). Torsionstheorien, additive Semantik und Quotientenringe . Vorlesungsnotizen in Mathematik. 177 . Berlin, New York: Springer-Verlag . MR  0.284.459 .
  • —; Scott, PJ (1986). Einführung in die kategoriale Logik höherer Ordnung . Cambridge University Press . ISBN 978-0-521-35653-4. MR  0.856.915 .
  • Anglin, WS; — (1995). Das Erbe von Thales . Bachelortexte in Mathematik . Berlin, New York: Springer-Verlag . ISBN 978-0-387-94544-6. MR  1.369.087 .
  • Casadio, Claudia; — (2008). Computeralgebraische Ansätze zur natürlichen Sprache . Polimetrica. ISBN 978-88-7699-125-7.
  • — (2008). Vom Wort zum Satz: ein computeralgebraischer Ansatz zur Grammatik . Polimetrica. ISBN 978-88-7699-117-2.

Artikel

Verweise

Externe Links