Steve Awodey
Template:Short description Script error: No such module "Template wrapper".Script error: No such module "Check for conflicting parameters". Steven M. Awodey[1] (/ˈaʊdi/; born 1959) is an American mathematician and logician. 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.[2] He was a member of the School of Mathematics at the Institute for Advanced Study in 2012–13.[3]
Personal life
Awodey is the brother of late artist Marc Awodey.[4][5]
Bibliography
- Page Module:Citation/CS1/styles.css has no content.Eric H. Reck; Steve Awodey, eds. (2004). Frege's Lectures on Logic: Carnap's Student Notes, 1910-1914. Translated by Eric H. Reck; Steve Awodey. Chicago: Open Court. pp. xiv+170 p.
- Page Module:Citation/CS1/styles.css has no content.Awodey, Steve (2010) [2006]. Category Theory (2nd ed.). Oxford & New York: Oxford University Press. ISBN 978-0-19-9237-18-0.
References
Page Template:Reflist/styles.css has no content.
- ^ Steven M. Awodey, Logic in Topoi – PhilPapers
- ^ Preliminary list of PSSL86 participants
- ^ Page Module:Citation/CS1/styles.css has no content."Institute for Advanced Study: A Community of Scholars". Archived from the original on 2015-11-25. Retrieved 2015-01-10.
- ^ Page Module:Citation/CS1/styles.css has no content.Soychak, Paul (2012-10-18). "The Burlington Free Press". Legacy.com.
- ^ Page Module:Citation/CS1/styles.css has no content."Eulogy". Marc Awodey. 2015-11-05.
External links
- Page Module:Citation/CS1/styles.css has no content.Connelly, James (November 2005 – February 2006). "Review of Frege's Lectures on Logic". The Bertrand Russell Society Quarterly. Archived from the original on 2010-06-14. Retrieved 2014-02-10.
- Page Module:Citation/CS1/styles.css has no content.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.
- Page Module:Citation/CS1/styles.css has no content."Natural Models of Type Theory - Steve Awodey". YouTube. Institute for Advanced Study. August 12, 2016.
- Page Module:Citation/CS1/styles.css has no content."Univalent Foundations Seminar - Steve Awodey". YouTube. Institute for Advanced Study. August 17, 2016.
- Page Module:Citation/CS1/styles.css has no content."Constructive Type Theory and Homotopy - Steve Awodey". YouTube. Institute for Advanced Study. August 30, 2016.
Lua error in package.lua at line 80: module 'Module:Authority control/config' not found.
