Steve Awodey
Steven M. Awodey [1] ( /ˈaʊdi/ ; nacido en 1959) es un matemático y lógico estadounidense. Es profesor de Filosofía y Matemáticas en la Universidad Carnegie Mellon.
| Steve Awodey | ||
|---|---|---|
 | ||
| Información personal | ||
| Nacimiento |
1959 Míchigan (Estados Unidos) | |
| Nacionalidad | Estadounidense | |
| Educación | ||
| Educado en | ||
| Supervisor doctoral | Saunders Mac Lane y William W. Tait | |
| Información profesional | ||
| Ocupación | Matemático, filósofo y profesor universitario | |
| Empleador | Universidad Carnegie Mellon | |
Biografía
Awodey estudió matemáticas y filosofía en la Universidad de Marburg y la Universidad de Chicago. Obtuvo su doctorado. de Chicago bajo Saunders Mac Lane en 1997. Es un investigador activo en las áreas de teoría de categorías y lógica, y también ha escrito sobre filosofía de las matemáticas. Es uno de los creadores del campo de la teoría de tipos de homotopía.[2] Fue miembro de la Escuela de Matemáticas del Instituto de Estudios Avanzados en 2012-2013.[3]
Bibliografía
- Eric H. Reck; Steve Awodey, eds. (2004). Frege's Lectures on Logic: Carnap's Student Notes, 1910-1914 (Eric H. Reck, trad.). Chicago: Open Court. pp. xiv+170 p.
- Awodey, Steve (2010). Category Theory (2nd edición). Oxford & New York: Oxford University Press. ISBN 978-0-19-9237-18-0.
Referencias
- Steven M. Awodey, Logic in Topoi – PhilPapers
- Preliminary list of PSSL86 participants
- «Institute for Advanced Study: A Community of Scholars». Archivado desde el original el 25 de noviembre de 2015. Consultado el 10 de enero de 2015.
Enlaces externos
- Connelly, James (November 2005 – February 2006). «Review of Frege's Lectures on Logic». The Bertrand Russell Society Quarterly. Archivado desde el original el 14 de junio de 2010. Consultado el 10 de febrero de 2014.
- Birkedal, Lars (June 2007). «Review: STEVE AWODEY, Category Theory». Studia Logica 86 (1): 133-135. doi:10.1007/s11225-007-9053-x.
- «Natural Models of Type Theory - Steve Awodey». YouTube. Institute for Advanced Study. 12 de agosto de 2016.
- «Univalent Foundations Seminar - Steve Awodey». YouTube. Institute for Advanced Study. 17 de agosto de 2016.
- «Constructive Type Theory and Homotopy - Steve Awodey». YouTube. Institute for Advanced Study. 30 de agosto de 2016.
Datos: Q7611834
Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.