Steve Awodey
From Wikipedia, the free encyclopedia
Nacimiento
1959
Míchigan (Estados Unidos)
Míchigan (Estados Unidos)
Nacionalidad
Estadounidense
Supervisor doctoral
Saunders Mac Lane y William W. Tait
| 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 | |
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.
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]
