WikiDer > Tomas Streicher

Thomas Streicher

Tomas Streicher (1958 yilda tug'ilgan) - professor bo'lgan nemis matematikasi Matematika da Technische Universität Darmstadt. U doktorlik dissertatsiyasini 1988 yilda Passau universiteti maslahatchi bilan Manfred Broy.

Ish

Uning ilmiy qiziqishlari shu jumladan qat'iy mantiq, domen nazariyasi va Martin-Lyof turi nazariyasi.

Bilan birgalikda ishlashda Martin Xofmann u uchun namuna qurdi intensiv Martin-Lyof turi nazariyasi qayerda hisobga olish turlari deb talqin etiladi guruhlar. Bu ahamiyatsiz bo'lmagan identifikatsiyalash turlariga ega bo'lgan birinchi model edi, ya'ni to'plamlar. Ushbu ish asosida [1] trivial bo'lmagan identifikatsiya turlariga ega bo'lgan boshqa modellar, shu jumladan o'rganildi homotopiya turi nazariyasi matematika uchun asos sifatida taklif qilingan Vladimir Voevodskiytadqiqot dasturi Matematikaning noyob asoslari.

Martin Hofmann bilan birgalikda u 2014 yilni oldi LICS-of-Time mukofoti "Groupoid modeli shaxsni tasdiqlovchi dalillarni rad etadi" maqolasi uchun.

Bibliografiya

  • T. Strayxer (1991), Turlar nazariyasining semantikasi: to'g'rilik, to'liqlik va mustaqillik natijalari, Birkäuser Boston. ISBN 3764335947
  • M. Xofmann va T. Strayxer (1996), Turlar nazariyasining gruppoid talqini, Sambin, Jovanni (tahr.) va boshq., Yigirma besh yillik konstruktiv tip nazariyasi. Kongress materiallari, Venetsiya, Italiya, 1995 yil 19-21 oktyabr.
  • T. Streichher (2006), Funktsional dasturlashning domen-nazariy asoslari, World Scientific Pub Co Inc. ISBN 9812701427

Adabiyotlar

  1. ^ Avodi, Stiv (2010). "Turlar nazariyasi va gomotopiya". arXiv:1010.1810.

Tashqi havolalar