Joachim "Jim" Lambek (5 December 1922 – 23 June 2014) was a German-born Canadian
mathematician
A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems.
Mathematicians are concerned with numbers, data, quantity, mathematical structure, structure, space, Mathematica ...
. He was Peter Redpath
Emeritus
''Emeritus'' (; female: ''emerita'') is an adjective used to designate a retired chair, professor, pastor, bishop, pope, director, president, prime minister, rabbi, emperor, or other person who has been "permitted to retain as an honorary title ...
Professor of Pure Mathematics at
McGill University
McGill University (french: link=no, Université McGill) is an English-language public research university located in Montreal, Quebec, Canada. Founded in 1821 by royal charter granted by King George IV,Frost, Stanley Brice. ''McGill Universit ...
, where he earned his
PhD PHD or PhD may refer to:
* Doctor of Philosophy (PhD), an academic qualification
Entertainment
* '' PhD: Phantasy Degree'', a Korean comic series
* ''Piled Higher and Deeper
''Piled Higher and Deeper'' (also known as ''PhD Comics''), is a newsp ...
degree in 1950 with
Hans Zassenhaus
Hans Julius Zassenhaus (28 May 1912 – 21 November 1991) was a German mathematician, known for work in many parts of abstract algebra, and as a pioneer of computer algebra.
Biography
He was born in Koblenz in 1912.
His father was a historian and ...
as advisor.
Biography
Lambek was born in
Leipzig
Leipzig ( , ; Upper Saxon: ) is the most populous city in the German state of Saxony. Leipzig's population of 605,407 inhabitants (1.1 million in the larger urban zone) as of 2021 places the city as Germany's eighth most populous, as ...
,
Germany
Germany, officially the Federal Republic of Germany (FRG),, is a country in Central Europe. It is the most populous member state of the European Union. Germany lies between the Baltic and North Sea to the north and the Alps to the sou ...
, where he attended a
Gymnasium.
He came to England in 1938 as a
refugee
A refugee, conventionally speaking, is a displaced person who has crossed national borders and who cannot or is unwilling to return home due to well-founded fear of persecution. on the ''
Kindertransport
The ''Kindertransport'' (German for "children's transport") was an organised rescue effort of children (but not their parents) from Nazi-controlled territory that took place during the nine months prior to the outbreak of the Second Worl ...
''.
From there he was interned as an
enemy alien
In customary international law, an enemy alien is any native, citizen, denizen or subject of any foreign nation or government with which a domestic nation or government is in conflict and who is liable to be apprehended, restrained, secured and ...
and deported to a
prison work camp in
New Brunswick
New Brunswick (french: Nouveau-Brunswick, , locally ) is one of the thirteen Provinces and territories of Canada, provinces and territories of Canada. It is one of the three Maritime Canada, Maritime provinces and one of the four Atlantic Canad ...
,
Canada
Canada is a country in North America. Its ten provinces and three territories extend from the Atlantic Ocean to the Pacific Ocean and northward into the Arctic Ocean, covering over , making it the world's second-largest country by tota ...
. There, he began in his spare time a mathematical apprenticeship with Fritz Rothberger, also
interned, and wrote the
McGill Junior Matriculation in fall of 1941. In the spring of 1942, he was released and settled in
Montreal
Montreal ( ; officially Montréal, ) is the second-most populous city in Canada and most populous city in the Canadian province of Quebec. Founded in 1642 as '' Ville-Marie'', or "City of Mary", it is named after Mount Royal, the triple- ...
, where he entered studies at McGill University, graduating with an
honours
Honour (British English) or honor (American English; see spelling differences) is the idea of a bond between an individual and a society as a quality of a person that is both of social teaching and of personal ethos, that manifests itself as a ...
mathematics degree in 1945 and an
MSc a year later. In 1950, he completed his doctorate under
Hans Zassenhaus
Hans Julius Zassenhaus (28 May 1912 – 21 November 1991) was a German mathematician, known for work in many parts of abstract algebra, and as a pioneer of computer algebra.
Biography
He was born in Koblenz in 1912.
His father was a historian and ...
becoming McGill's first
PhD PHD or PhD may refer to:
* Doctor of Philosophy (PhD), an academic qualification
Entertainment
* '' PhD: Phantasy Degree'', a Korean comic series
* ''Piled Higher and Deeper
''Piled Higher and Deeper'' (also known as ''PhD Comics''), is a newsp ...
in mathematics.
Lambek became assistant professor at McGill; he was made a full professor in 1963. He spent his sabbatical year 1965–66 in at the
Institute for Mathematical Research at
ETH Zurich
(colloquially)
, former_name = eidgenössische polytechnische Schule
, image = ETHZ.JPG
, image_size =
, established =
, type = Public
, budget = CHF 1.896 billion (2021)
, rector = Günther Dissertori
, president = Joël Mesot
, a ...
, where
Beno Eckmann
Beno Eckmann (31 March 1917 – 25 November 2008) was a Swiss mathematician who made contributions to algebraic topology, homological algebra, group theory, and differential geometry.
Life
Born in Bern, Eckmann received his master's degree fro ...
had gathered together a group of researchers interested in
algebraic topology
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism, though usually most classif ...
and
category theory, including
Bill Lawvere
Bill(s) may refer to:
Common meanings
* Banknote, paper cash (especially in the United States)
* Bill (law), a proposed law put before a legislature
* Invoice, commercial document issued by a seller to a buyer
* Bill, a bird or animal's beak
Plac ...
. There Lambek reoriented his research into category theory.
Lambek retired in 1992 but continued his involvement at
McGill's mathematics department. In 2000 a
festschrift
In academia, a ''Festschrift'' (; plural, ''Festschriften'' ) is a book honoring a respected person, especially an academic, and presented during their lifetime. It generally takes the form of an edited volume, containing contributions from the ...
celebrating Lambek's contributions to mathematical structures in
computer science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includin ...
was published. On the occasion of Lambek's 90th birthday, a collection ''Categories and Types in Logic, Language, and Physics'' was produced in tribute to him.
Scholarly work
Lambek's PhD thesis investigated
vector fields using the
biquaternion
In abstract algebra, the biquaternions are the numbers , where , and are complex numbers, or variants thereof, and the elements of multiply as in the quaternion group and commute with their coefficients. There are three types of biquaternions co ...
algebra over
Minkowski space
In mathematical physics, Minkowski space (or Minkowski spacetime) () is a combination of three-dimensional Euclidean space and time into a four-dimensional manifold where the spacetime interval between any two events is independent of the ...
, as well as
semigroup
In mathematics, a semigroup is an algebraic structure consisting of a Set (mathematics), set together with an associative internal binary operation on it.
The binary operation of a semigroup is most often denoted multiplication, multiplicatively ...
immersion in a
group
A group is a number of persons or things that are located, gathered, or classed together.
Groups of people
* Cultural group, a group whose members share the same cultural identity
* Ethnic group, a group whose members share the same ethnic ide ...
. The second component was published by the
Canadian Journal of Mathematics
The ''Canadian Journal of Mathematics'' (french: Journal canadien de mathématiques) is a bimonthly mathematics journal published by the Canadian Mathematical Society.
It was established in 1949 by H. S. M. Coxeter and G. de B. Robinson. The ...
. He later returned to
biquaternion
In abstract algebra, the biquaternions are the numbers , where , and are complex numbers, or variants thereof, and the elements of multiply as in the quaternion group and commute with their coefficients. There are three types of biquaternions co ...
s when in 1995 he contributed "If Hamilton had prevailed: Quaternions in Physics", which exhibited the
Riemann–Silberstein bivector In mathematics, a bivector or 2-vector is a quantity in exterior algebra or geometric algebra that extends the idea of scalars and vectors. If a scalar is considered a degree-zero quantity, and a vector is a degree-one quantity, then a bivector can ...
to express the free-space electromagnetic equations.
Lambek supervised 17 doctoral students, and has 75 doctoral descendants as of 2020. He has over 100 publications listed in the
Mathematical Reviews
''Mathematical Reviews'' is a journal published by the American Mathematical Society (AMS) that contains brief synopses, and in some cases evaluations, of many articles in mathematics, statistics, and theoretical computer science.
The AMS also ...
, including 6 books. His earlier work was mostly in
module theory
In mathematics, a module is a generalization of the notion of vector space in which the field of scalars is replaced by a ring. The concept of ''module'' generalizes also the notion of abelian group, since the abelian groups are exactly the ...
, especially torsion theories, non-commutative localization, and
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. Specifically, if ''Q'' is a submodule ...
s. One of his earliest papers, , proved the
Lambek–Moser theorem
The Lambek–Moser theorem is a mathematical description of partitions of the natural numbers into two complementary sets. For instance, it applies to the partition of numbers into even and odd, or into prime and non-prime (one and the compos ...
about integer sequences. In 1963 he published an important result, now known as Lambek's theorem, on
character modules characterizing flatness of a module.
His more recent work is in
pregroups and
formal language
In logic, mathematics, computer science, and linguistics, a formal language consists of words whose letters are taken from an alphabet and are well-formed according to a specific set of rules.
The alphabet of a formal language consists of s ...
s; his earliest works in this field were probably and . He is noted, among other things, for the
Lambek calculus
Categorial grammar is a family of formalisms in natural language syntax that share the central assumption that syntactic constituents combine as functions and arguments. Categorial grammar posits a close relationship between the syntax and seman ...
, an effort to capture mathematical aspects of natural language syntax in
logical form
In logic, logical form of a statement is a precisely-specified semantic version of that statement in a formal system. Informally, the logical form attempts to formalize a possibly ambiguous statement into a statement with a precise, unambig ...
, and a work that has been very influential in
computational linguistics
Computational linguistics is an Interdisciplinarity, interdisciplinary field concerned with the computational modelling of natural language, as well as the study of appropriate computational approaches to linguistic questions. In general, comput ...
, as well as for developing the connections between
typed lambda calculus
A typed lambda calculus is a typed formalism (mathematics), formalism that uses the lambda-symbol (\lambda) to denote anonymous function abstraction. In this context, types are usually objects of a syntactic nature that are assigned to lambda term ...
and
cartesian closed categories
In category theory, a category is Cartesian closed if, roughly speaking, any morphism defined on a product of two objects can be naturally identified with a morphism defined on one of the factors. These categories are particularly important in ma ...
(see
Curry–Howard–Lambek correspondence). His last works were on
pregroup grammar.
Selected works
Books
*
*
*
*
*
*
*
*
Articles
*
*
*
*
*
*
*
*
* Reprinted in
*
References
External links
Faculty profile of Joachim Lambekat McGill University
Lambek festival(80th anniversary)
{{DEFAULTSORT:Lambek, Joachim
1922 births
2014 deaths
20th-century Canadian mathematicians
21st-century Canadian mathematicians
21st-century German mathematicians
Algebraists
Canadian logicians
Category theorists
Kindertransport refugees
German emigrants to Canada