The Philosopher
Joachim Lambek
The face
The background
- Nationality:
- Canadian
- Branchs:
- Mathematics, Logic, Linguistics, Computer Science, Category theory, Algebraic topology, Module Theory, Formal Languages, Pregroup Grammar
- Period:
- 20th century
The synopsis
Joachim 'Jim' Lambek was a Canadian mathematician, born on December 5, 1922, in Leipzig, Germany, and passed away on June 23, 2014, in Montréal. He was a Peter Redpath Emeritus Professor of Pure Mathematics at McGill University. Lambek's academic journey began in Germany, but he became a refugee in England and was later interned in Canada. During his internment, he began a mathematical apprenticeship. He eventually settled in Montreal, pursued studies at McGill University, and earned his PhD in 1950 under Hans Zassenhaus, becoming McGill's first mathematics PhD graduate. He rose through the academic ranks at McGill, becoming a full professor in 1963. A sabbatical year in Zurich led him to reorient his research towards category theory. Lambek retired in 1992 but remained active in his department. His scholarly work spanned various fields, including module theory, torsion theories, non-commutative localization, and injective modules. He is particularly noted for the Lambek calculus, which applies mathematical logic to natural language syntax, and for establishing connections between typed lambda calculus and cartesian closed categories (the Curry-Howard-Lambek correspondence). His later work focused on pregroups and pregroup grammar. He supervised numerous doctoral students and had a prolific publication record, including several books. In recognition of his contributions, a festschrift was published in 2000, and a tribute collection was released on his 90th birthday. He was awarded the Jeffery–Williams Prize in 1988.
The works
A: Biquaternion Vectorfields over Minkowski's Space B: The Immersibility of a Semigroup into a Group
The immersibility of a semigroup into a group
Inverse and Complementary Sequences of Natural Numbers
The Mathematics of Sentence Structure
Lectures on rings and modules
Rings of quotients of rings of functions
Completions of categories
Torsion theories, additive semantics, and rings of quotients
A mathematician looks at Latin conjugation
Introduction to Higher Order Categorical Logic
If Hamilton had prevailed: Quaternions and Physics
The heritage of Thales
Computational Algebraic Approaches to Natural Language
From word to sentence: a computational algebraic approach to grammar
In Praise of Quaternions