Steve Awodey - Steve Awodey
Steve Awodey | |
|---|---|
 Steve Awodey em 2011
| |
| Nascer |
Steven M. Awodey
5 de julho de 1959 |
| Alma mater |
University of Marburg University of Chicago |
| Carreira científica | |
| Tese | Logic in Topoi: Functorial Semantics for Higher-Order Logic (1997) |
| Conselheiros de doutorado | Saunders Mac Lane |
| Outros conselheiros acadêmicos | William Walker Tait |
| Local na rede Internet | www |
Steven M. Awodey ( / aʊ d i / , nascido 1959) é um americano matemático e filósofo da matemática . Ele é professor de filosofia e matemática na Carnegie Mellon University .
Biografia
Awodey estudou matemática e filosofia na Universidade de Marburg e na Universidade de Chicago . Ele obteve seu Ph.D. de Chicago com Saunders Mac Lane em 1997. Ele é um pesquisador ativo nas áreas de teoria e lógica das categorias e também escreveu sobre filosofia da matemática . Ele é um dos criadores do campo da teoria dos tipos de homotopia . Ele foi membro da Escola de Matemática do Instituto de Estudos Avançados em 2012–13.
Bibliografia
- Gottfried Gabriel, ed. do texto original em alemão, com introdução e anotações (2004). Eric H. Reck; Steve Awodey (editores). Frege's Lectures on Logic: Carnap's Student Notes, 1910-1914 . Traduzido por Eric H. Reck; Steve Awodey. Chicago: Tribunal Aberto; xiv + 170 pág. CS1 maint: usa o parâmetro de autores ( link ) CS1 maint: postscript ( link )
- Awodey, Steve (2010) [2006]. Teoria das categorias (2ª ed.). Oxford e Nova York: Oxford University Press. ISBN 978-0-19-9237-18-0 .
Referências
links externos
- Connelly, James (novembro de 2005 - fevereiro de 2006). "Revisão das palestras de Frege sobre lógica " . The Bertrand Russell Society Quarterly .
- Birkedal, Lars (junho de 2007). "Revisão: STEVE AWODEY, Teoria da Categoria ". Studia Logica . 86 (1): 133–135. doi : 10.1007 / s11225-007-9053-x . JSTOR 40210743 . S2CID 29254475 .
- "Modelos naturais da teoria dos tipos - Steve Awodey" . YouTube . Instituto de Estudos Avançados. 12 de agosto de 2016.
- "Seminário de Fundações Univalentes - Steve Awodey" . YouTube . Instituto de Estudos Avançados. 17 de agosto de 2016.
- "Teoria e homotopia construtiva dos tipos - Steve Awodey" . YouTube . Instituto de Estudos Avançados. 30 de agosto de 2016.