Joachim Lambek - Joachim Lambek

Joachim Lambek
Lambek Joachim.jpg
Joachim Lambek na Filadélfia, maio de 2008
Nascer ( 05-12-1922 )5 de dezembro de 1922
Leipzig , Alemanha
Faleceu 23 de junho de 2014 (23/06/2014)(91 anos)
Montreal
Cidadania canadense
Alma mater Universidade McGill
Conhecido por Teorema de Lambek-Moser , cálculo de Lambek , correspondência Curry-Howard-Lambek , multicategorias
Prêmios Prêmio Jeffery – Williams (1988)
Carreira científica
Campos Matemática
Instituições Departamento de Matemática e Estatística
McGill University
Tese A: Campos de vetores de biquaternion sobre o espaço de Minkowski B: A imersibilidade de um semigrupo em um grupo  (1950)
Orientador de doutorado Hans Zassenhaus
Alunos de doutorado Israel Kleiner (1967)
William Schelter (1972)

Joachim "Jim" Lambek FRSC (5 de dezembro de 1922 - 23 de junho de 2014) foi Peter Redpath Professor Emérito de Matemática Pura na Universidade McGill , onde obteve seu Ph.D. licenciado em 1950 com Hans Zassenhaus como orientador.

Biografia

Lambek nasceu em Leipzig , Alemanha , onde frequentou um Gymnasium . Ele veio para a Inglaterra em 1938 como refugiado no Kindertransport . De lá, ele foi internado como um estrangeiro inimigo e deportado para um campo de trabalho da prisão em New Brunswick , Canadá . Lá, ele começou em suas horas vagas um aprendizado matemático com Fritz Rothberger, também internado, e escreveu o McGill Junior Matriculation no outono de 1941. Na primavera de 1942, ele foi libertado e se estabeleceu em Montreal , onde iniciou seus estudos na McGill University, graduando-se com honras em matemática em 1945 e um M.Sc. um ano depois. Em 1950, ele completou seu doutorado com Hans Zassenhaus, tornando-se o primeiro Ph.D. de McGill . Na matemática.

Lambek tornou-se professor assistente na McGill; ele foi nomeado professor titular em 1963. Ele passou seu ano sabático de 1965 a 1966 no Instituto de Pesquisa Matemática da ETH Zurique , onde Beno Eckmann reuniu um grupo de pesquisadores interessados ​​em topologia algébrica e teoria das categorias , incluindo Bill Lawvere . Lá Lambek reorientou sua pesquisa para a teoria das categorias.

Lambek se aposentou em 1992, mas continuou seu envolvimento no departamento de matemática da McGill . Em 2000, foi publicado um festschrift celebrando as contribuições de Lambek às estruturas matemáticas da ciência da computação . Por ocasião do 90º aniversário de Lambek, uma coleção Categorias e Tipos em Lógica, Linguagem e Física foi produzida em homenagem a ele.

Trabalho acadêmico

A tese de doutorado de Lambek investigou campos vetoriais usando a álgebra do biquaternion sobre o espaço de Minkowski , bem como a imersão de semigrupos em um grupo . O segundo componente foi publicado pelo Canadian Journal of Mathematics . Ele mais tarde retornou aos biquaternions quando, em 1995, contribuiu com "Se Hamilton tivesse prevalecido: Quaternions in Physics", que exibia o bivetor Riemann-Silberstein para expressar as equações eletromagnéticas do espaço livre.

Lambek supervisionou 17 alunos de doutorado e tinha 75 descendentes de doutorado em 2020. Ele tem mais de 100 publicações listadas nas Revisões Matemáticas , incluindo 6 livros. Seu trabalho anterior foi principalmente na teoria dos módulos , especialmente teorias de torção, localização não comutativa e módulos injetivos . Um de seus primeiros artigos, Lambek & Moser (1954) , provou o teorema de Lambek-Moser sobre sequências inteiras. Em 1963, ele publicou um resultado importante, agora conhecido como teorema de Lambek, sobre módulos de caracteres que caracterizam a planura de um módulo. Seu trabalho mais recente é em pré - grupos e linguagens formais ; seus primeiros trabalhos neste campo foram provavelmente Lambek (1958) e Lambek (1979) . Ele é conhecido, entre outras coisas, pelo cálculo de Lambek , um esforço para capturar aspectos matemáticos da sintaxe da linguagem natural de forma lógica e um trabalho que tem sido muito influente na lingüística computacional , bem como para desenvolver as conexões entre cálculo lambda digitado e categorias cartesianas fechadas (ver correspondência Curry – Howard – Lambek ). Seus últimos trabalhos foram sobre gramática pré - grupo .

Trabalhos selecionados

Livros

  • Lambek, Joachim (2009) [1966]. Aulas teóricas sobre anéis e módulos (3ª ed.). Publicação de Blaisdell. ISBN 9780821849002. MR  0206032 .
  • Bem, NJ ; Gillman, Leonard ; - (1966). Anéis de quocientes de anéis de funções . McGill University Press. MR  0200747 .
  • - (1966). Conclusões de categorias . Aulas de seminários dados em 1966 em Zurique. Lecture Notes in Mathematics, No. 24. Berlin, New York: Springer-Verlag . MR  0209330 .
  • - (1971). Teorias de torção, semântica aditiva e anéis de quocientes . Notas de aula em matemática. 177 . Berlim, Nova York: Springer-Verlag . MR  0284459 .
  • -; Scott, PJ (1986). Introdução à lógica categórica de ordem superior . Cambridge University Press . ISBN 978-0-521-35653-4. MR  0856915 .
  • Anglin, WS; - (1995). A herança da Thales . Textos de Graduação em Matemática . Berlim, Nova York: Springer-Verlag . ISBN 978-0-387-94544-6. MR  1369087 .
  • Casadio, Claudia; - (2008). Abordagens algébricas computacionais para a linguagem natural . Polimetrica. ISBN 978-88-7699-125-7.
  • - (2008). Da palavra à frase: uma abordagem algébrica computacional à gramática . Polimetrica. ISBN 978-88-7699-117-2.

Artigos

Referências

links externos