Steve Awodey - Steve Awodey

Steve Awodey
StevenAwodey.jpg
Steve Awodey en 2011
Nació
Steven M. Awodey

( 07/05/1959 ) 5 de julio de 1959 (61 años)
Michigan
alma mater Universidad de Marburg
Universidad de Chicago
Carrera científica
Tesis Lógica en Topoi: semántica funcional para lógica de orden superior   (1997)
Consejeros de doctorado Saunders Mac Lane
Otros asesores académicos William Walker Tait
Sitio web www .andrew .cmu .edu / user / awodey /

Steven M. Awodey ( / aʊ d i / ; nacido en 1959) es un americano matemático y filósofo de las matemáticas . 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 Marburg y la Universidad de Chicago . Obtuvo su Ph.D. de Chicago con 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 . Fue miembro de la Escuela de Matemáticas del Instituto de Estudios Avanzados en 2012-2013.

Bibliografía

  • Gottfried Gabriel, ed. del texto original en alemán, con introducción y anotaciones (2004). Eric H. Reck; Steve Awodey (eds.). Conferencias de Frege sobre lógica: notas de estudiantes de Carnap, 1910-1914 . Traducido por Eric H. Reck; Steve Awodey. Chicago: Open Court; xiv + 170 p. CS1 maint: utiliza el parámetro de autores ( enlace ) CS1 maint: postscript ( enlace )
  • 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 .

Referencias

enlaces externos