The legacy of Joachim Lambek

FoLLI Affiliated Meeting @ CLMPS, August 4, 2015

Organizers

Michael Moortgat, Utrecht University
Philip Scott, University of Ottawa

Confirmed speakers

Steve Awodey, Carnegie Mellon University
Wojciech Buszkowski, Adam Mickiewicz University, Poznan
Claudia Casadio, University of Chieti
Robin Cockett, University of Calgary
Bob Coecke, University of Oxford
Kosta Dosen, Mathematical Institute, Serbian Academy of Sciences and Arts
Michael Moortgat, Utrecht University
Glyn Morrill, Universitat Politecnica de Catalunya
Mehrnoosh Sadrzadeh, Queen Mary University of London
Philip Scott, University of Ottawa

Aim and scope

Joachim Lambek (Dec 5, 1922 РJune 23, 2014), for more than 60 years, has been a profoundly inspirational mathematician, with groundbreaking contributions to algebra, category theory, linguistics, theoretical physics, logic and proof theory. As part of the 15th Congress of Logic, Methodology and Philosophy of Science (CLMPS 2015), FoLLI organizes an Affiliated Meeting on the legacy of Joachim Lambek. Talks at the meeting will present current research in the various areas where the impact of Lambek’s work can be felt, and highlight some remarkable convergences of methods and techniques across these fields, linking category theory, deductive systems, and models of computation.

The meeting consists of two parts.

I. Foundations: logic, mathematics

The first part of the meeting is devoted to the impact of Jim Lambek’s foundational ideas on category theory, algebra, logic, proof theory and the theory of computation on current work in these areas.

II. Applications: physics, linguistics

In his latest book, From Rules of Grammar to Laws of Nature (2014), Jim Lambek’s interests in the application of mathematical ideas range from the grammatical analysis of natural languages to the use of quaternions in special relativistic quantum mechanics. The second part of the meeting is devoted to current work on resource-logical themes in theoretical physics and formal linguistics, and the connections between these two disciplines via shared categorical structures.