Steve Awodey
Steve Awodey | |
---|---|
![]() Steve Awodey in 2011 | |
Born | Steven M. Awodey July 5, 1959 |
Alma mater | University of Marburg University of Chicago |
Scientific career | |
Thesis | Logic in Topoi: Functorial Semantics for Higher-Order Logic (1997) |
Doctoral advisors | Saunders Mac Lane |
Other academic advisors | William Walker Tait |
Website | www |
Steven M. Awodey[1] (/ˈaʊdi/; born 1959) is an American mathematician and philosopher of mathematics. He is a Professor of Philosophy and Mathematics at Carnegie Mellon University.
Biography[]
Awodey studied mathematics and philosophy at the University of Marburg and the University of Chicago. He earned his Ph.D. from Chicago under Saunders Mac Lane in 1997. He is an active researcher in the areas of category theory and logic, and has also written on the philosophy of mathematics. He is one of the originators of the field of homotopy type theory.[3] He was a member of the School of Mathematics at the Institute for Advanced Study in 2012–13.[4]
Bibliography[]
- Gottfried Gabriel, ed. of the original German text, with introduction and annotations (2004). Eric H. Reck; Steve Awodey (eds.). Frege's Lectures on Logic: Carnap's Student Notes, 1910-1914. Translated by Eric H. Reck; Steve Awodey. Chicago: Open Court; xiv+170 p.CS1 maint: uses authors parameter (link) CS1 maint: postscript (link)
- Awodey, Steve (2010) [2006]. Category Theory (2nd ed.). Oxford & New York: Oxford University Press. ISBN 978-0-19-9237-18-0.
References[]
- ^ Jump up to: a b Steven M. Awodey, Logic in Topoi – PhilPapers
- ^ Steve Awodey, Michael Warren, "Homotopy theoretic models of identity type", Mathematical Proceedings of the Cambridge Philosophical Society 146(1), 2009. arXiv:0709.0248.
- ^ Preliminary list of PSSL86 participants
- ^ Institute for Advanced Study: A Community of Scholars
External links[]
- Connelly, James (November 2005 – February 2006). "Review of Frege's Lectures on Logic". The Bertrand Russell Society Quarterly.
- Birkedal, Lars (June 2007). "Review: STEVE AWODEY, Category Theory". Studia Logica. 86 (1): 133–135. doi:10.1007/s11225-007-9053-x. JSTOR 40210743. S2CID 29254475.
- "Natural Models of Type Theory - Steve Awodey". YouTube. Institute for Advanced Study. August 12, 2016.
- "Univalent Foundations Seminar - Steve Awodey". YouTube. Institute for Advanced Study. August 17, 2016.
- "Constructive Type Theory and Homotopy - Steve Awodey". YouTube. Institute for Advanced Study. August 30, 2016.
Categories:
- American logicians
- 20th-century American mathematicians
- 21st-century American mathematicians
- Philosophers of mathematics
- Living people
- University of Marburg alumni
- University of Chicago alumni
- Institute for Advanced Study visiting scholars
- Carnegie Mellon University faculty
- 1959 births