Joachim "Jim" Lambek FRSC (5 de diciembre de 1922 - 23 de junio de 2014) [2] fue un matemático canadiense nacido en Alemania . Fue profesor emérito Peter Redpath de matemáticas puras en la Universidad McGill , donde obtuvo su doctorado. grado en 1950 con Hans Zassenhaus como asesor.
Lambek nació en Leipzig , Alemania , donde asistió a un gimnasio . [3] Llegó a Inglaterra en 1938 como refugiado en el Kindertransport . [2] Desde allí fue internado como extranjero enemigo y deportado a un campo de trabajo penitenciario en New Brunswick , Canadá . Allí, en su tiempo libre, comenzó un aprendizaje matemático con Fritz Rothberger, también internado, y escribió McGill Junior Matriculation en el otoño de 1941. [3] En la primavera de 1942, fue liberado y se estableció en Montreal ., donde ingresó a los estudios en la Universidad McGill, graduándose con honores en matemáticas en 1945 y un M.Sc. Un año después. [4] En 1950, completó su doctorado con Hans Zassenhaus convirtiéndose en el primer doctorado de McGill. en matemáticas.
Lambek se convirtió en profesor asistente en McGill; fue nombrado profesor titular en 1963. Pasó su año sabático 1965–66 en el Instituto de Investigación Matemática de ETH Zurich , donde Beno Eckmann había reunido a un grupo de investigadores interesados en la topología algebraica y la teoría de categorías , incluido Bill Lawvere . Allí, Lambek reorientó su investigación hacia la teoría de categorías. [5]
Lambek se retiró en 1992 pero continuó su participación en el departamento de matemáticas de McGill . En 2000 se publicó un festschrift que celebraba las contribuciones de Lambek a las estructuras matemáticas en informática . [6] Con motivo del 90 cumpleaños de Lambek, se produjo una colección de Categorías y Tipos en Lógica, Lenguaje y Física en homenaje a él. [7]
La tesis doctoral de Lambek investigó los campos vectoriales utilizando el álgebra bicuaternión sobre el espacio de Minkowski , así como la inmersión de semigrupos en un grupo . El segundo componente fue publicado por el Canadian Journal of Mathematics . [8] Más tarde volvió a los bicuaterniones cuando en 1995 contribuyó con "Si Hamilton hubiera prevalecido: cuaterniones en física", que exhibía el bivector de Riemann-Silberstein para expresar las ecuaciones electromagnéticas del espacio libre.
Lambek supervisó a 17 estudiantes de doctorado y tiene 75 descendientes de doctorados a partir de 2020. [9] Tiene más de 100 publicaciones enumeradas en Mathematical Reviews , incluidos 6 libros. Su trabajo anterior fue principalmente en teoría de módulos , especialmente teorías de torsión, localización no conmutativa y módulos inyectivos . Uno de sus primeros artículos, Lambek & Moser (1954) , demostró el teorema de Lambek-Moser sobre secuencias enteras. En 1963 publicó un resultado importante, ahora conocido como el teorema de Lambek, sobre módulos de caracteres que caracterizan la planitud de un módulo. [10] Su trabajo más reciente es en pregrupos ylenguajes formales ; sus primeros trabajos en este campo fueron probablemente Lambek (1958) y Lambek (1979) . Se destaca, entre otras cosas, por el cálculo de Lambek , un esfuerzo por capturar aspectos matemáticos de la sintaxis del lenguaje natural en forma lógica , y un trabajo que ha sido muy influyente en la lingüística computacional , así como por desarrollar las conexiones entre el cálculo lambda tipificado . y categorías cerradas cartesianas (ver correspondencia Curry-Howard-Lambek ). Sus últimos trabajos fueron sobre gramática pregrupal .