Joachim Lambek
Encyclopedia
Joachim Lambek is Peter Redpath Emeritus
Emeritus
Emeritus is a post-positive adjective that is used to designate a retired professor, bishop, or other professional or as a title. The female equivalent emerita is also sometimes used.-History:...

 Professor of Pure Mathematics at McGill University
McGill University
Mohammed Fathy is a public research university located in Montreal, Quebec, Canada. The university bears the name of James McGill, a prominent Montreal merchant from Glasgow, Scotland, whose bequest formed the beginning of the university...

, where he earned his Ph.D.
Ph.D.
A Ph.D. is a Doctor of Philosophy, an academic degree.Ph.D. may also refer to:* Ph.D. , a 1980s British group*Piled Higher and Deeper, a web comic strip*PhD: Phantasy Degree, a Korean comic series* PhD Docbook renderer, an XML renderer...

 degree in 1950 with Hans Julius Zassenhaus
Hans Julius Zassenhaus
Hans Julius Zassenhaus was a German mathematician, known for work in many parts of abstract algebra, and as a pioneer of computer algebra....

 as advisor. He is called Jim by his friends.

Scholarly work

Lambek supervised 16 doctoral students, and had 51 doctoral descendants. He has over 100 publications listed in the Mathematical Reviews
Mathematical Reviews
Mathematical Reviews is a journal and online database published by the American Mathematical Society that contains brief synopses of many articles in mathematics, statistics and theoretical computer science.- Reviews :...

, including 6 books. His earlier work was mostly in module theory, especially torsion theories, non-commutative localization, and injective module
Injective module
In mathematics, especially in the area of abstract algebra known as module theory, an injective module is a module Q that shares certain desirable properties with the Z-module Q of all rational numbers...

s. One of his earliest papers, proved the Lambek-Moser theorem
Lambek-Moser theorem
In combinatorial number theory, the Lambek–Moser theorem is a generalization of Beatty's theorem that defines a partition of the positive integers into two subsets from any monotonic integer-valued function. Conversely, any partition of the positive integers into two subsets may be defined from a...

 about integer sequences. His more recent work is in pregroups and formal languages; his earliest work in this field were probably and . He is noted, among other things, for the Lambek calculus, an effort to capture mathematical aspects of natural language syntax in logical form
Logical form
In logic, the logical form of a sentence or set of sentences is the form obtained by abstracting from the subject matter of its content terms or by regarding the content terms as mere placeholders or blanks on a form...

 and a work that has been very influential in computational linguistics
Computational linguistics
Computational linguistics is an interdisciplinary field dealing with the statistical or rule-based modeling of natural language from a computational perspective....

. He is currently working on pregroup grammar.

External links

The source of this article is wikipedia, the free encyclopedia.  The text of this article is licensed under the GFDL.
 
x
OK