Thomas Streicher - Thomas Streicher

Téma tohoto článku nemusí splňovat požadavky Wikipedie obecný pokyn k notabilitě. Pomozte prosím určit notabilitu citováním spolehlivé sekundární zdroje to jsou nezávislý tématu a poskytnout jeho významné pokrytí nad rámec pouhé triviální zmínky. Pokud nelze určit významnost, je pravděpodobné, že článek bude sloučeny, přesměrovánnebo smazáno. Najít zdroje: „Thomas Streicher“  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Února 2015) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

Thomas Streicher (narozen 1958) je německý matematik, který je profesorem Matematika na Technische Universität Darmstadt. V roce 1988 získal titul PhD University of Passau s poradcem Manfred Broy.

Práce

Mezi jeho výzkumné zájmy patří kategorická logika, teorie domény a Teorie typu Martin-Löf.

Ve společné práci s Martin Hofmann zkonstruoval model pro intenzionální Teorie typu Martin-Löf kde typy identity jsou interpretovány jako grupoidy. Jednalo se o první model s netriviálními typy identity, tj. Jiné než sady. Na základě této práce ^[1] byly studovány další modely s netriviálními typy identity, včetně teorie homotopy který byl navržen jako základ pro matematiku v Vladimír Voevodský výzkumný program Univalentní základy matematiky.

Spolu s Martinem Hofmannem obdržel rok 2014 LICS Test-of-Time Award pro článek „Groupoidní model vyvrací jedinečnost důkazů totožnosti“.

Bibliografie

• T. Streicher (1991), Sémantika teorie typů: výsledky správnosti, úplnosti a nezávislosti, Birkhäuser Boston. ISBN  3764335947
• M. Hofmann a T. Streicher (1996), Skupinová interpretace teorie typů, Sambin, Giovanni (ed.) a kol., Dvacet pět let konstruktivní teorie typů. Sborník z kongresu, Benátky, Itálie, 19. – 21. Října 1995.
• T. Streicher (2006), Doménově teoretické základy funkčního programování, World Scientific Pub Co Inc. ISBN  9812701427

Reference

externí odkazy

• Oficiální webové stránky na Technische Universität Darmstadt
• Thomas Streicher na Matematický genealogický projekt

Tento článek o německém matematikovi je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.