Steve'a Awodey'a

Steve Awodey
Awodey w 2011 roku
Urodzić się	Stevena M. Awodeya ( 05.07.1959 ) 5 lipca 1959 Michigan
Alma Mater	Uniwersytet w Marburgu Uniwersytet w Chicago
Znany z	Modelowa teoria logiki wyższego rzędu z wykorzystaniem metod teorii kategorii Teoria typów kategorii wyższych wymiarów
Kariera naukowa
Pola	Teoria kategorii , teoria typów homotopii
Instytucje	Carnegie Mellon University
Praca dyplomowa	Logika w toposach: semantyka funkcjonalna dla logiki wyższego rzędu (1997)
Doradcy doktoranci	Saundersa MacLane'a
Inni doradcy akademiccy	Williama Walkera Taita
Strona internetowa	www .andrew .cmu .edu /user /awodey /

Steven M. Awodey ( / aʊ d i / ; ur. 1959) matematyk to amerykański i logik . Jest profesorem filozofii i matematyki na Uniwersytecie Carnegie Mellon .

Biografia

Awodey studiował matematykę i filozofię na Uniwersytecie w Marburgu i Uniwersytecie w Chicago . Uzyskał tytuł doktora. z Chicago pod kierunkiem Saundersa Mac Lane'a w 1997. Jest aktywnym badaczem w dziedzinie teorii kategorii i logiki , a także pisze o filozofii matematyki . Jest jednym z twórców dziedziny teorii typów homotopii . Był członkiem School of Mathematics w Institute for Advanced Study w latach 2012–13.

Bibliografia

• Gottfried Gabriel, wyd. oryginalnego tekstu niemieckiego, ze wstępem i adnotacjami (2004). Erica H. Recka; Steve Awodey (red.). Wykłady Frege'a z logiki: notatki studenckie Carnapa, 1910-1914 . Przetłumaczone przez Erica H. Recka; Steve'a Awodey'a. Chicago: Sąd otwarty; XIV+170 s. {{ cite book }} : CS1 maint: postscript ( link ) CS1 maint: używa parametru autorów ( link )
•   Awodey, Steve (2010) [2006]. Teoria kategorii (wyd. 2). Oksford i Nowy Jork: Oxford University Press. ISBN 978-0-19-9237-18-0 .

Linki zewnętrzne

• Connelly, James (listopad 2005 - luty 2006). „Przegląd wykładów Fregego z logiki ” . Kwartalnik Towarzystwa Bertranda Russella . Zarchiwizowane od oryginału w dniu 14.06.2010 . Źródło 2014-02-10 .
•    Birkedal, Lars (czerwiec 2007). „Recenzja: STEVE AWODEY, teoria kategorii ”. Studium Logiki . 86 (1): 133–135. doi : 10.1007/s11225-007-9053-x . JSTOR 40210743 . S2CID 29254475 .
• „Naturalne modele teorii typów - Steve Awodey” . YouTube . Instytut Studiów Zaawansowanych. 12 sierpnia 2016 r.
• „Seminarium Univalent Foundations - Steve Awodey” . YouTube . Instytut Studiów Zaawansowanych. 17 sierpnia 2016 r.
• „Konstruktywna teoria typów i homotopia - Steve Awodey” . YouTube . Instytut Studiów Zaawansowanych. 30 sierpnia 2016 r.