Joachim "Jim" Lambek FRSC (5 de diciembre de 1922 - 23 de junio de 2014) [2] fue profesor emérito de matemáticas puras Peter Redpath en la Universidad McGill , donde obtuvo su doctorado. Licenciada en 1950 con Hans Zassenhaus como asesor.
Joachim Lambek | |
---|---|
Nació | |
Fallecido | 23 de junio de 2014 | (91 años)
Ciudadanía | canadiense |
alma mater | Universidad McGill |
Conocido por | Teorema de Lambek-Moser , cálculo de Lambek , correspondencia Curry-Howard-Lambek , multicategorías |
Premios | Premio Jeffery-Williams (1988) [1] |
Carrera científica | |
Campos | Matemáticas |
Instituciones | Departamento de Matemáticas y Estadística Universidad McGill |
Tesis | A: Biquaternion Vectorfields sobre el espacio B de Minkowski: La inmersibilidad de un semigrupo en un grupo (1950) |
Asesor de doctorado | Hans Zassenhaus |
Estudiantes de doctorado | Israel Kleiner (1967) William Schelter (1972) |
Biografía
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 enemigo extranjero y deportado a un campo de trabajo de la prisión en New Brunswick , Canadá . Allí, comenzó en su tiempo libre un aprendizaje de matemáticas con Fritz Rothberger, también practicado, y escribió el 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 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-1966 en el Instituto de Investigaciones Matemáticas de la ETH de Zúrich , 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 jubiló en 1992 pero continuó participando en el departamento de matemáticas de McGill . En 2000 se publicó un festschrift celebrando las contribuciones de Lambek a las estructuras matemáticas en la informática . [6] Con motivo del 90 cumpleaños de Lambek, se produjo una colección Categorías y tipos en lógica, lenguaje y física en homenaje a él. [7]
Trabajo escolar
La tesis de doctorado de Lambek investigó campos vectoriales utilizando el álgebra de biquaternion sobre el espacio de Minkowski , así como la inmersión de semigrupo en un grupo . El segundo componente fue publicado por Canadian Journal of Mathematics . [8] Más tarde regresó a los biquaternions cuando en 1995 contribuyó "Si Hamilton hubiera prevalecido: Quaternions in Physics", que exhibió 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 trabajos, Lambek & Moser (1954) , demostró el teorema de Lambek-Moser sobre secuencias enteras. En 1963 publicó un resultado importante, ahora conocido como teorema de Lambek, sobre los módulos de caracteres que caracterizan la planitud de un módulo. [10] Su trabajo más reciente está en pregrupos y lenguajes 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 los 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 tipado y categorías cerradas cartesianas (ver correspondencia Curry-Howard-Lambek ). Sus últimos trabajos fueron sobre gramática pregrupal .
Trabajos seleccionados
Libros
- Lambek, Joachim (2009) [1966]. Conferencias sobre anillos y módulos (3ª ed.). Publicación Blaisdell. ISBN 9780821849002. Señor 0206032 .
- Fine, Nueva Jersey ; Gillman, Leonard ; - (1966). Anillos de cocientes de anillos de funciones . Prensa de la Universidad McGill. Señor 0200747 .
- - (1966). Terminaciones de categorías . Seminario de conferencias impartido en 1966 en Zürich. Lecture Notes in Mathematics, No. 24. Berlín, Nueva York: Springer-Verlag . Señor 0209330 .
- - (1971). Teorías de torsión, semántica aditiva y anillos de cocientes . Apuntes de clase en matemáticas. 177 . Berlín, Nueva York: Springer-Verlag . Señor 0284459 .
- -; Scott, PJ (1986). Introducción a la lógica categórica de orden superior . Prensa de la Universidad de Cambridge . ISBN 978-0-521-35653-4. Señor 0856915 .
- Anglin, WS; - (1995). La herencia de Thales . Textos de Licenciatura en Matemáticas . Berlín, Nueva York: Springer-Verlag . ISBN 978-0-387-94544-6. Señor 1369087 .
- Casadio, Claudia; - (2008). Enfoques algebraicos computacionales del lenguaje natural . Polimetrica. ISBN 978-88-7699-125-7.
- - (2008). De la palabra a la oración: un enfoque algebraico computacional de la gramática . Polimetrica. ISBN 978-88-7699-117-2.
Artículos
- Lambek, Joachim (1951), "La inmersibilidad de un semigrupo en un grupo", Canadian Journal of Mathematics , 3 : 34–43, doi : 10.4153 / CJM-1951-005-8
- -; Moser, L. (1954), "Secuencias inversas y complementarias de números naturales", The American Mathematical Monthly , 61 (7): 454–458, doi : 10.2307 / 2308078 , ISSN 0002-9890 , JSTOR 2308078 , MR 0062777
- - (1958), "Las matemáticas de la estructura de las oraciones" (PDF) , The American Mathematical Monthly , 65 (3): 154-170, doi : 10.2307 / 2310058 , ISSN 0002-9890 , JSTOR 1480361
- - (1961), "Cómo programar un ábaco infinito", Canadian Mathematical Bulletin , 4 (3): 295–302, doi : 10.4153 / CMB-1961-032-6
- - (1969). "Sistemas deductivos y categorías II. Construcciones estándar y categorías cerradas". Apuntes de clase en matemáticas . 86 . Berlín, Heidelberg: Springer Berlin Heidelberg. págs. 76-122. doi : 10.1007 / bfb0079385 . ISBN 978-3-540-04605-9. ISSN 0075-8434 .
- - (1972), "Bicommutators of nice injectives", Journal of Algebra , 21 : 60–73, doi : 10.1016 / 0021-8693 (72) 90034-8 , ISSN 0021-8693 , MR 0301052
- - (1972), "Localización y finalización", Journal of Pure and Applied Algebra , 2 (4): 343–370, doi : 10.1016 / 0022-4049 (72) 90011-4 , ISSN 0022-4049 , MR 0320047
- - (1979), "Un matemático observa la conjugación latina", Lingüística teórica , 6 (2): 221-234, doi : 10.1515 / thli.1979.6.1-3.221 , ISSN 0301-4428 , MR 0589163
- - (1995). "Si Hamilton hubiera prevalecido: cuaterniones y física". Intelligencer matemático . 17 (4): 7–15. Reimpreso en Wilson, Robin; Gray, Jeremy, eds. (2001). Conversaciones matemáticas . Springer-Verlag . ISBN 978-1-4613-0195-0.
- -; Barr, Michael (2013), Elogio de los cuaterniones (PDF) , Universidad McGill
Referencias
- ^ "Los destinatarios del premio Jeffery-Williams" . Sociedad Matemática Canadiense . Consultado el 1 de noviembre de 2018 .
- ^ a b "Joachim Lambek" . Gaceta de Montreal . Legacy.com. 27 de junio de 2014 . Consultado el 31 de octubre de 2018 .
- ^ a b Darmon, Henri (2 de diciembre de 2014). Resolución sobre la muerte del profesor emérito Joachim (Jim) Lambek, Departamento de Matemáticas y Estadística (PDF) . Facultad de Ciencias: Reunión de Profesores. Montreal: Universidad McGill . pag. 2.
- ^ Müller-Hoissen, Folkert; Pallo, Jean Marcel; Stasheff, Jim, eds. (2012). Associahedra, Tamari Lattices y estructuras relacionadas . Progreso en Matemáticas. 299 . Birkhäuser. pag. 18. doi : 10.1007 / 978-3-0348-0405-9 . ISBN 978-3-0348-0404-2. LCCN 2012942603 .
- ^ Barr, Michael (5 de diciembre de 1997). Un agradecimiento a Jim Lambek en McGill . LambekFest. Montreal.
- ^ Barr, Michael ; Scott, PJ; Seely, RAG, eds. (2000), The Lambek Festschrift: estructuras matemáticas en informática , Cambridge University Press , MR 1770227
- ^ Casadio, Claudia; Coeke, Bob; Moortgat, Michael; Scott, Philip, eds. (2014), Categorías y tipos en lógica, lenguaje y física: ensayos dedicados a Jim Lambek con motivo de su 90 cumpleaños , Springer-Verlag
- ^ Lambek, J. (1951). "La inmersión de un semigrupo en un grupo". Revista Canadiense de Matemáticas . 3 : 34–43. doi : 10.4153 / CJM-1951-005-8 .
- ^ Joachim Lambek en el Proyecto de genealogía matemática
- ^ Lambek, J. (1964). "Un módulo es plano si y sólo si su módulo de caracteres es inyectivo" . Boletín matemático canadiense . 7 (2): 237–243. doi : 10.4153 / CMB-1964-021-9 . ISSN 0008-4395 .
enlaces externos
- Perfil de la facultad de Joachim Lambek en la Universidad McGill
- Festival Lambek (80 aniversario)