Joachim Lambek - Joachim Lambek

Joachim Lambek
Lambek Joachim.jpg
Joachim Lambek ve Filadelfii, květen 2008
narozený(1922-12-05)5. prosince 1922
Lipsko, Německo
Zemřel23. června 2014(2014-06-23) (ve věku 91)
Montreal
Státní občanstvíkanadský
Alma materMcGill University
Známý jakoVěta Lambek – Moser, Lambekův počet, Korespondence Curry – Howard – Lambek, více kategorií
OceněníCena Jefferyho-Williamse (1988)[1]
Vědecká kariéra
PoleMatematika
InstituceKatedra matematiky a statistiky
McGill University
TezeA: Biquaternion Vectorfields over Minkowski's Space B: Ponoření poloskupiny do skupiny (1950)
Doktorský poradceHans Zassenhaus
DoktorandiIsrael Kleiner (1967)
William Schelter (1972)

Joachim "Jim" Lambek FRSC (5. prosince 1922 - 23. června 2014)[2] byl Peter Redpath Emeritní Profesor čisté matematiky na McGill University, kde získal své Ph.D. stupně v roce 1950 s Hans Zassenhaus jako poradce.

Životopis

Lambek se narodil v roce Lipsko, Německo, kde navštěvoval a Tělocvična.[3] Do Anglie přišel v roce 1938 jako uprchlík na Druh dopravy.[2] Odtamtud byl internován jako nepřátelský mimozemšťan a deportován do a vězeňský pracovní tábor v Nový Brunswick, Kanada. Tam začal ve svém volném čase matematické učení s Fritzem Rothbergerem, také interně, a napsal McGill Junior Imatrikulace na podzim 1941.[3] Na jaře 1942 byl propuštěn a usadil se Montreal, kde nastoupil na studium na McGill University a promoval s vyznamenání diplom z matematiky v roce 1945 a an M.Sc. o rok později.[4] V roce 1950 dokončil doktorát pod Hans Zassenhaus stává se McGill první Ph.D. v matematice.

Lambek se stal odborným asistentem na McGill; byl jmenován řádným profesorem v roce 1963. Svobodný rok 1965–66 strávil na VŠE Ústav pro matematický výzkum na ETH Curych, kde Beno Eckmann shromáždili skupinu výzkumníků, kteří se zajímali o algebraická topologie a teorie kategorií, počítaje v to Bill Lawvere. Tam Lambek přeorientoval svůj výzkum na teorii kategorií.[5]

Lambek odešel do důchodu v roce 1992, ale pokračoval ve své účasti na McGillovo oddělení matematiky. V roce 2000 slavnostní svátek slaví Lambekovy příspěvky k matematickým strukturám v počítačová věda byl publikován.[6] U příležitosti Lambkových 90. narozenin sbírka Kategorie a typy v logice, jazyce a fyzice byl vyroben jako pocta jemu.[7]

Učená práce

Lambekova disertační práce byla zkoumána vektorová pole za použití biquaternion algebra skončila Minkowského prostor, stejně jako poloskupina ponoření do a skupina. Druhá složka byla publikována Kanadský žurnál matematiky.[8] Později se vrátil do biquaternions když v roce 1995 přispěl „Pokud Hamilton zvítězil: Quaternions in Physics“, který vystavoval Riemann – Silberstein bivektor vyjádřit elektromagnetické rovnice volného prostoru.

Lambek dohlížel na 17 doktorandů a od roku 2020 má 75 doktorských potomků.[9] Má více než 100 publikací uvedených v seznamu Matematické recenze, včetně 6 knih. Jeho dřívější práce byla většinou v teorie modulů, zejména torzní teorie, nekomutativní lokalizace a injektivní moduly. Jeden z jeho prvních papírů, Lambek & Moser (1954), prokázal Věta Lambek – Moser o celočíselných sekvencích. V roce 1963 vydal důležitý výsledek, nyní známý jako Lambekova věta znakové moduly charakterizující plochost modulu.[10] Jeho novější práce jsou v předskupiny a formální jazyky; jeho nejranější práce v této oblasti byla pravděpodobně Lambek (1958) a Lambek (1979). On je známý, mimo jiné, pro Lambekův počet, snaha zachytit matematické aspekty syntaxe přirozeného jazyka v systému Windows logická forma a dílo, které mělo velký vliv výpočetní lingvistika, jakož i pro rozvoj spojení mezi zadaný lambda kalkul a kartézské uzavřené kategorie (vidět Korespondence Curry – Howard – Lambek ). Jeho poslední práce pokračovala předskupinová gramatika.

Vybraná díla

Knihy

  • Dobře, N. J.; Gillman, Leonard; Lambek, Joachim (1966). Kruhy kvocientů kroužků funkcí. McGill University Press. PAN  0200747.
  • Lambek, Joachim (2009) [1966]. Přednášky o kroužcích a modulech (3. vyd.). Blaisdell Publishing. ISBN  9780821849002. PAN  0206032.
  • Lambek, Joachim (1966). Dokončení kategorií. Seminární přednášky konané v roce 1966 v Curychu. Přednášky z matematiky, č. 24. Berlín, New York: Springer-Verlag. PAN  0209330.
  • Lambek, Joachim (1971). Torzní teorie, aditivní sémantika a kroužky kvocientů. Přednášky z matematiky. 177. Berlín, New York: Springer-Verlag. PAN  0284459.
  • Lambek, J.; Scott, P. J. (1986). Úvod do kategorické logiky vyšších řádů. Cambridge University Press. ISBN  978-0-521-35653-4. PAN  0856915.
  • Anglin, W. S .; Lambek, Joachim (1995). Dědictví Thales. Pregraduální texty z matematiky. Berlín, New York: Springer-Verlag. ISBN  978-0-387-94544-6. PAN  1369087.
  • Casadio, Claudia; Lambek, Joachim (2008). Výpočetní algebraické přístupy k přirozenému jazyku. Polimetrica. ISBN  978-88-7699-125-7.
  • Lambek, J. (2008). Od slova k větě: výpočetní algebraický přístup k gramatice. Polimetrica. ISBN  978-88-7699-117-2.

Články

Reference

  1. ^ „Příjemci ceny Jefferyho-Williamse“. Kanadská matematická společnost. Citováno 1. listopadu 2018.
  2. ^ A b „Joachim Lambek“. Montrealský věstník. Legacy.com. 27. června 2014. Citováno 31. října 2018.
  3. ^ A b Darmone, Henri (2. prosince 2014). Usnesení o emeritním úmrtí profesor Joachim (Jim) Lambek, katedra matematiky a statistiky (PDF). Přírodovědecká fakulta: Setkání fakulty. Montreal: McGill University. str. 2.
  4. ^ Müller-Hoissen, Folkert; Pallo, Jean Marcel; Stasheff, Jim, eds. (2012). Associahedra, Tamari Lattices a související struktury. Pokrok v matematice. 299. Birkhäuser. str. 18. doi:10.1007/978-3-0348-0405-9. ISBN  978-3-0348-0404-2. LCCN  2012942603.
  5. ^ Barr, Michael (5. prosince 1997). Ocenění Jima Lambeka v McGill. LambekFest. Montreal.
  6. ^ Barr, Michael; Scott, P. J .; Seely, R. A. G., eds. (2000), The Lambek Festschrift: matematické struktury v informatice, Cambridge University Press, PAN  1770227
  7. ^ Casadio, Claudia; Coeke, Bob; Moortgat, Michael; Scott, Philip, eds. (2014), Kategorie a typy v logice, jazyce a fyzice: Eseje věnované Jimu Lambkovi u příležitosti jeho 90. narozenin, Springer-Verlag
  8. ^ Lambek, J. (1951). Msgstr "Ponoření poloskupiny do skupiny". Kanadský žurnál matematiky. 3: 34–43. doi:10.4153 / CJM-1951-005-8.
  9. ^ Joachim Lambek na Matematický genealogický projekt Upravte to na Wikidata
  10. ^ Lambek, J. (1964). „Modul je plochý, právě když je jeho znakový modul injektivní“. Kanadský matematický bulletin. 7 (2): 237–243. doi:10.4153 / CMB-1964-021-9. ISSN  0008-4395.

externí odkazy