Joachim Lambek | |
---|---|
Joachim Lambek in Philadelphia, May 2008
|
|
Born |
Leipzig, Germany |
December 5, 1922
Died | June 23, 2014 | (aged 91)
Citizenship | Canadian |
Fields | Mathematics |
Institutions | McGill University |
Doctoral advisor | Hans Zassenhaus |
Known for | Lambek–Moser theorem, Lambek calculus |
Joachim "Jim" Lambek (5 December 1922 – 23 June 2014) was Peter Redpath Emeritus Professor of Pure Mathematics at McGill University, where he earned his Ph.D. degree in 1950 with Hans Zassenhaus as advisor.
Lambek supervised 16 doctoral students, and has 51 doctoral descendants. He has over 100 publications listed in the Mathematical Reviews, including 6 books. His earlier work was mostly in module theory, especially torsion theories, non-commutative localization, and injective modules. One of his earliest papers, (Lambek & Moser 1954) proved the Lambek-Moser theorem about integer sequences. His more recent work is in pregroups and formal languages; his earliest work in this field were probably (Lambek 1958) and (Lambek 1979). He is noted, among other things, for the Lambek calculus, an effort to capture mathematical aspects of natural language syntax in logical form and a work that has been very influential in computational linguistics. His last works were on pregroup grammar.