Steve Awodey - Steve Awodey

Steve Awodey
StevenAwodey.jpg
Steve Awodey v roce 2011
narozený
Steven M. Awodey

( 05.09.1959 ) 5. července 1959 (věk 61)
Michigan
Alma mater University of Marburg
University of Chicago
Vědecká kariéra
Teze Logic in Topoi: Functorial Semantics for Higher-Order Logic   (1997)
Doktorští poradci Saunders Mac Lane
Ostatní akademičtí poradci William Walker Tait
webová stránka www .andrew .cmu .edu / user / awodey /

Steven M. Awodey ( / aʊ d i / , 1959) je americký matematik a filozof matematiky . Je profesorem filozofie a matematiky na Carnegie Mellon University .

Životopis

Awodey studoval matematiku a filozofii na univerzitě v Marburgu a na univerzitě v Chicagu . Získal titul Ph.D. z Chicaga pod vedením Saunders Mac Lane v roce 1997. Je aktivním výzkumným pracovníkem v oblasti teorie a logiky kategorií a také psal o filozofii matematiky . Je jedním z původců oboru teorie homotopických typů . V letech 2012–13 byl členem Matematické školy na Institutu pro vyšší studium .

Bibliografie

  • Gottfried Gabriel, ed. původního německého textu s úvodem a anotacemi (2004). Eric H. Reck; Steve Awodey (eds.). Fregeovy přednášky o logice: Carnap's Student Notes, 1910-1914 . Přeložil Eric H. Reck; Steve Awodey. Chicago: Open Court; xiv + 170 s. CS1 maint: používá parametr autorů ( odkaz ) CS1 maint: postscript ( odkaz )
  • Awodey, Steve (2010) [2006]. Teorie kategorie (2. vyd.). Oxford & New York: Oxford University Press. ISBN   978-0-19-9237-18-0 .

Reference

externí odkazy