Joachim Lambek

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
Joachim Lambek
Lambek Joachim.jpg
Joachim Lambek in Philadelphia, May 2008
Born (1922-12-05)December 5, 1922
Leipzig, Germany
Died June 23, 2014(2014-06-23) (aged 91)
Citizenship Canadian
Known for Lambek–Moser theorem, Lambek calculus, Curry-Howard-Lambek correspondence, multicategories
Scientific career
Fields Mathematics
Institutions McGill University
Doctoral advisor Hans Zassenhaus

Joachim "Jim" Lambek (5 December 1922 – 23 June 2014[1]) 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.

Scholarly work[edit]

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, as well as for developing the connections between typed lambda calculus and cartesian closed categories (see Curry-Howard-Lambek correspondence). His last works were on pregroup grammar.

Selected works[edit]




  1. ^ Lambek, Joachim (27 June 2014). "Joachim Lambek obituary". The Gazette. Retrieved 24 July 2014. 
  • Casadio, Claudia; Coeke, Bob; Moortgat, Michael; Scott, Philip, eds. (2014), Categories and Types in Logic, Language, and Physics: Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, Springer-Verlag 

External links[edit]