Joaquín Lambek

Matemático canadiense (1922-2014)

Joachim "Jim" Lambek FRSC (5 de diciembre de 1922 - 23 de junio de 2014) ^{[2] fue un} matemático canadiense . Fue profesor emérito Peter Redpath de Matemáticas Puras en la Universidad McGill , donde obtuvo su doctorado en 1950 con Hans Zassenhaus como asesor.

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 penitenciario en New Brunswick , Canadá . Allí, en su tiempo libre, comenzó un aprendizaje de matemáticas con Fritz Rothberger, también en prácticas, y redactó el McGill Junior Matriculation en el otoño de 1941. ^[3] En la primavera de 1942, fue liberado y se instaló en Montreal , donde inició estudios. en la Universidad McGill, donde se graduó con honores en matemáticas en 1945 y una maestría un año después. ^[4] En 1950, completó su doctorado con Hans Zassenhaus convirtiéndose en el primer doctorado en matemáticas de McGill .

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 topología algebraica y 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ó 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 la informática . ^[6] Con motivo del 90 cumpleaños de Lambek, se publicó en su homenaje una colección Categorías y tipos de lógica, lenguaje y física . ^[7]

Trabajo escolar

La tesis doctoral de Lambek investigó campos vectoriales utilizando el álgebra de bicuaterniones 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 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 y Moser (1954), demostró el teorema de Lambek-Moser sobre secuencias de números enteros. En 1963 publicó un resultado importante, ahora conocido como 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 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 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 .

Trabajos seleccionados

Libros

• Lambek, Joaquín (2009) [1966]. Conferencias sobre anillos y módulos (3ª ed.). Publicación Blaisdell. ISBN 9780821849002. SEÑOR  0206032.
• Bien, Nueva Jersey ; Gillman, Leonard ; — (1966). Anillos de cocientes de anillos de funciones . Prensa de la Universidad McGill. SEÑOR  0200747.
• — (1966). Completaciones de categorías . Conferencias en seminario impartidas en 1966 en Zurich. Lecture Notes in Mathematics, núm. 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 conferencias de matemáticas. vol. 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 Tales. Textos de Pregrado 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 . Polimétrica. ISBN 978-88-7699-125-7.
• — (2008). De la palabra a la oración: un enfoque algebraico computacional de la gramática . Polimétrica. ISBN 978-88-7699-117-2.

Artículos

• Lambek, Joachim (1951), "La inmersión de un semigrupo en un grupo", Canadian Journal of Mathematics , 3 : 34–43, doi : 10.4153/CJM-1951-005-8 , S2CID  124979541
• —; 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 , S2CID  121506469
• — (1969). "Sistemas deductivos y categorías II. Construcciones estándar y categorías cerradas". Apuntes de conferencias de matemáticas . vol. 86. Berlín, Heidelberg: Springer Berlín Heidelberg. págs. 76-122. doi :10.1007/bfb0079385. ISBN 978-3-540-04605-9. ISSN  0075-8434.
• — (1972), "Biconmutadores de buenos inyectivos", 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 analiza 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, S2CID  62697835
• - (1995). "Si Hamilton hubiera prevalecido: Cuaterniones y Física". Inteligencia Matemática . 17 (4): 7–15. doi :10.1007/BF03024783. S2CID  120099630.Reimpreso en Wilson, Robin; Gris, Jeremy, eds. (2001). Conversaciones Matemáticas . Springer-Verlag . ISBN 978-1-4613-0195-0.
• —; Barr, Michael (2013), Elogio de los cuaterniones (PDF) , Universidad McGill

Ver también

• monoide cartesiano
• Michael K. Brame

Referencias

1. "Los ganadores del premio Jeffery-Williams". Sociedad Matemática Canadiense . Consultado el 1 de noviembre de 2018 .
2. "Joaquín Lambek". Gaceta de Montreal . Legacy.com. 27 de junio de 2014 . Consultado el 31 de octubre de 2018 .
3. Darmon, Henri (2 de diciembre de 2014). Resolución sobre el fallecimiento del profesor emérito Joachim (Jim) Lambek, Departamento de Matemáticas y Estadística (PDF) . Facultad de Ciencias: Reunión de Facultad. Montreal: Universidad McGill . pag. 2.
4. Müller-Hoissen, Folkert; Pallo, Jean Marcel; Stasheff, Jim, eds. (2012). Associahedra, celosías Tamari y estructuras relacionadas . Progreso en Matemáticas. vol. 299. Birkhäuser. pag. 18. doi :10.1007/978-3-0348-0405-9. ISBN 978-3-0348-0404-2. LCCN  2012942603.
5. Barr, Michael (5 de diciembre de 1997). Un reconocimiento a Jim Lambek en McGill. Festival de Lambek. Montréal.
6. Barr, Michael ; Scott, PJ; Seely, RAG, eds. (2000), The Lambek Festschrift: estructuras matemáticas en informática , Cambridge University Press , MR  1770227
7. Casadio, Claudia; Coeke, Bob; Moortgat, Michael; Scott, Philip, eds. (2014), Categorías y tipos de lógica, lenguaje y física: ensayos dedicados a Jim Lambek con motivo de su 90 cumpleaños , Springer-Verlag
8. Lambek, J. (1951). "La sumergibilidad de un semigrupo en un grupo". Revista Canadiense de Matemáticas . 3 : 34–43. doi : 10.4153/CJM-1951-005-8 . S2CID  124979541.
9. Joachim Lambek en el Proyecto de genealogía de matemáticas
10. Lambek, J. (1964). "Un módulo es plano si y sólo si su módulo de caracteres es inyectivo". Boletín de Matemáticas Canadiense . 7 (2): 237–243. doi : 10.4153/CMB-1964-021-9 . ISSN  0008-4395.

enlaces externos

• Perfil docente de Joachim Lambek en la Universidad McGill
• Festival de Lambek (80 aniversario)