Steve Awodey

Steven M. Awodey ^{[ 1 ]} ( / ˈ aʊ d i / ; nacido en 1959) es un matemático y lógico estadounidense . Es profesor de Filosofía y Matemáticas en la Universidad Carnegie Mellon .

Biografía

Awodey estudió matemáticas y filosofía en la Universidad de Marburgo y en la Universidad de Chicago . Obtuvo su doctorado en Chicago bajo la dirección de 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 homotópicos . ^{[ 3 ]} Fue miembro de la Escuela de Matemáticas del Instituto de Estudios Avanzados en 2012-13. ^{[ 4 ]}

Awodey es hermano del difunto artista Marc Awodey . ^{[ 5 ]}^{[ 6 ]}

Eric H. Reck; Steve Awodey, eds. (2004). Lecciones de lógica de Frege: Apuntes de Carnap, 1910-1914 . Traducido por Eric H. Reck; Steve Awodey. Chicago: Open Court. pp. xiv+170 p.
Awodey, Steve (2010) [2006]. Teoría de categorías (2.ª ed.). Oxford y Nueva York: Oxford University Press. ISBN 978-0-19-9237-18-0.

^ ^a^b Steven M. Awodey, Lógica en Topoi – PhilPapers
^ Awodey, Steve; Warren, Michael (2009). "Modelos de teoría homotópica de tipo identidad". Actas Matemáticas de la Sociedad Filosófica de Cambridge . 146 (1): 45– 55. arXiv : 0709.0248 . doi : 10.1017/S0305004108001783 .
^ Lista preliminar de participantes de PSSL86
^ "Instituto de Estudios Avanzados: Una Comunidad de Académicos" . Archivado del original el 25/11/2015 . Consultado el 10/01/2015 .
^ Soychak, Paul (18 de octubre de 2012). "The Burlington Free Press" . Legacy.com .
^ "Elogio" . Marc Awodey . 5 de noviembre de 2015.

Connelly, James (noviembre de 2005 – febrero de 2006). «Reseña de las Lecciones de lógica de Frege » . The Bertrand Russell Society Quarterly . Archivado del original el 14 de junio de 2010. Consultado el 10 de febrero de 2014 .
Birkedal, Lars (junio de 2007). " Reseña: STEVE AWODEY, Category Theory ". Studia Logica . 86 (1): 133– 135. doi : 10.1007/s11225-007-9053-x . JSTOR 40210743. S2CID 29254475 .
"Modelos naturales de la teoría de tipos - Steve Awodey" . YouTube . Instituto de Estudios Avanzados. 12 de agosto de 2016.
"Seminario sobre Fundamentos Univalentes - Steve Awodey" . YouTube . Instituto de Estudios Avanzados. 17 de agosto de 2016.
"Teoría de tipos constructiva y homotopía - Steve Awodey" . YouTube . Instituto de Estudios Avanzados. 30 de agosto de 2016.