Steven M. Awodey [ 1 ] ( / ˈ aʊ di / ; geboren 1959) ist ein US-amerikanischer Mathematiker und Logiker . Er ist Professor für Philosophie und Mathematik an der Carnegie Mellon University .

Biographie

Awodey studierte Mathematik und Philosophie an der Universität Marburg und der Universität Chicago . Er promovierte 1997 in Chicago bei Saunders Mac Lane. Er forscht aktiv auf den Gebieten der Kategorientheorie und Logik und hat auch zur Philosophie der Mathematik publiziert . Er zählt zu den Begründern der Homotopietypentheorie . [ 3 ] Von 2012 bis 2013 war er Mitglied der School of Mathematics am Institute for Advanced Study . [ 4 ]

Privatleben

Awodey ist der Bruder des verstorbenen Künstlers Marc Awodey . [ 5 ] [ 6 ]

Bibliographie

  • Eric H. Reck; Steve Awodey (Hrsg.). (2004). Freges Vorlesungen über Logik: Carnaps Studentennotizen, 1910–1914 . Übersetzt von Eric H. Reck und Steve Awodey. Chicago: Open Court. XIV + 170 S.
  • Awodey, Steve (2010) [2006]. Kategorientheorie (2. Aufl.). Oxford & New York: Oxford University Press. ISBN 978-0-19-9237-18-0Die

Referenzen

  1. ^ a b Steven M. Awodey, Logik in Topoi – PhilPapers
  2. ^ Awodey, Steve; Warren, Michael (2009). „Homotopietheoretische Modelle vom Identitätstyp“. Mathematical Proceedings of the Cambridge Philosophical Society . 146 (1): 45–55 . arXiv : 0709.0248 . doi : 10.1017/S0305004108001783 .
  3. ^ Vorläufige Liste der PSSL86-Teilnehmer
  4. ^ „Institut für Höhere Studien: Eine Gemeinschaft von Wissenschaftlern“ . Archiviert vom Original am 25.11.2015 . Abgerufen am 10.01.2015 .
  5. ^ Soychak, Paul (18.10.2012). „The Burlington Free Press“ . Legacy.com .
  6. ^ „Nachruf“ . Marc Awodey . 05.11.2015.