Global Information Lookup Global Information

Joachim Lambek information


Joachim Lambek
Joachim Lambek in Philadelphia, May 2008
Born(1922-12-05)December 5, 1922
Leipzig, Germany
DiedJune 23, 2014(2014-06-23) (aged 91)
Montréal
CitizenshipCanadian
Alma materMcGill University
Known forLambek–Moser theorem, Lambek calculus, Curry–Howard–Lambek correspondence, multicategories
AwardsJeffery–Williams Prize (1988)[1]
Scientific career
FieldsMathematics
InstitutionsDepartment of Mathematics and Statistics
McGill University
Thesis A: Biquaternion Vectorfields over Minkowski's Space B: The Immersibility of a Semigroup into a Group  (1950)
Doctoral advisorHans Zassenhaus
Doctoral studentsIsrael Kleiner (1967)
William Schelter (1972)

Joachim "Jim" Lambek FRSC (5 December 1922 – 23 June 2014)[2] was a Canadian mathematician. He was Peter Redpath Emeritus Professor of Pure Mathematics at McGill University, where he earned his PhD degree in 1950 with Hans Zassenhaus as advisor.

  1. ^ "The recipients of the Jeffery-Williams Prize". Canadian Mathematical Society. Retrieved 1 November 2018.
  2. ^ Cite error: The named reference obit was invoked but never defined (see the help page).

and 20 Related for: Joachim Lambek information

Request time (Page generated in 0.8367 seconds.)

Joachim Lambek

Last Update:

Joachim "Jim" Lambek FRSC (5 December 1922 – 23 June 2014) was a Canadian mathematician. He was Peter Redpath Emeritus Professor of Pure Mathematics at...

Word Count : 1172

Categorial grammar

Last Update:

by Kazimierz Ajdukiewicz and in the 1950s by Yehoshua Bar-Hillel and Joachim Lambek. It saw a surge of interest in the 1970s following the work of Richard...

Word Count : 3695

Applied category theory

Last Update:

new results about the field. Samson Abramsky John C. Baez Bob Coecke Joachim Lambek Valeria de Paiva Gordon Plotkin Dana Scott David Spivak Categorical...

Word Count : 665

Register machine

Last Update:

noted above, furthered along by Zdzislaw Alexander Melzak [d] (1961), Joachim Lambek (1961) and Marvin Minsky (1961, 1967). The last five names are listed...

Word Count : 5163

Quaternion

Last Update:

analogue of the cube A more personal view of quaternions was written by Joachim Lambek in 1995. He wrote in his essay If Hamilton had prevailed: quaternions...

Word Count : 12662

Noncommutative logic

Last Update:

together with noncommutativity, this restriction is not necessary. Joachim Lambek proposed the first noncommutative logic in his 1958 paper Mathematics...

Word Count : 800

List of logicians

Last Update:

Kenneth Kunen (US, 1943–2020) Christine Ladd-Franklin (US, 1847–1930) Joachim Lambek (Canada, 1922–2014) Johann Heinrich Lambert (France/Germany, 1728–1777)...

Word Count : 1908

Foundations of mathematics

Last Update:

Quasi-empiricism in mathematics Mathematical thought of Charles Peirce Joachim Lambek (2007), "Foundations of mathematics", Encyc. Britannica Leon Horsten...

Word Count : 6198

Character module

Last Update:

properties of the original module. One of the main results discovered by Joachim Lambek shows that a module is flat if and only if the associated character...

Word Count : 922

Cartesian monoid

Last Update:

and projection operators. It was first formulated by Dana Scott and Joachim Lambek independently. A Cartesian monoid is a structure with signature ⟨ ∗...

Word Count : 194

Hans Zassenhaus

Last Update:

Columbus, Ohio on November 21, 1991. His doctoral students include Joachim Lambek. Hans Zassenhaus (1937), Lehrbuch der Gruppentheorie ("Textbook of group...

Word Count : 998

Simply typed lambda calculus

Last Update:

language of Cartesian closed categories (CCCs), as was first observed by Joachim Lambek. Given any CCC, the basic types of the corresponding lambda calculus...

Word Count : 4589

History of topos theory

Last Update:

theory. That this can be done cleanly is shown by the book treatment by Joachim Lambek and P. J. Scott. What results is essentially an intuitionistic (i.e...

Word Count : 1642

Biquaternion

Last Update:

algebra. Biquaternion algebra Hypercomplex number Hypercomplex analysis Joachim Lambek MacFarlane's use Quotient ring Hamilton 1850. Garling 2011, pp. 112...

Word Count : 3234

Deaths in June 2014

Last Update:

Japanese-American skateboarder (Z-Boys), brain aneurysm. Joachim Lambek, 91, German-born Canadian mathematician (Lambek–Moser theorem). Lee McBee, 63, American blues...

Word Count : 12144

Converse relation

Last Update:

(1990) Categories, Allegories, page 79, North Holland ISBN 0-444-70368-3 Joachim Lambek (2001). "Relations Old and New". In Ewa Orłowska; Andrzej Szalas (eds...

Word Count : 1725

Timeline of category theory and related mathematics

Last Update:

C*-categories 1986 Joachim Lambek–Phil Scott Influential book: Introduction to higher-order categorical logic 1986 Joachim Lambek–Phil Scott Fundamental...

Word Count : 273

Pregroup grammar

Last Update:

barked at the cat is grammatical: Pregroup grammars were introduced by Joachim Lambek in 1993 as a development of his syntactic calculus, replacing the quotients...

Word Count : 1889

Counter machine

Last Update:

abstract machine or 'automaton' which deals with linked structures." Joachim Lambek (1961, received 15 June 1961), How to Program an Infinite Abacus, Mathematical...

Word Count : 4601

Triple bar

Last Update:

Abstract Algebra (7th ed.), Cengage Learning, p. 16, ISBN 978-0-547-16509-7. Lambek, J.; Scott, P.J. (1986), Introduction to higher order categorical logic...

Word Count : 1017

PDF Search Engine © AllGlobal.net