Steve Awodey
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Directeurs de thèse |
Saunders Mac Lane, William W. Tait (en) |
Steven M. Awodey[1] (/ˈaʊdi/ ; né en 1959) est un mathématicien et logicien américain. Il est professeur de philosophie et de mathématiques à l'université Carnegie-Mellon.
Biographie
[modifier | modifier le code]Awodey étudie les mathématiques et la philosophie à l'université de Marbourg et à l'université de Chicago. Il soutient son doctorat à Chicago sous la direction de Saunders Mac Lane en 1997. Ses recherches portent sur la théorie des catégories et la logique mais il écrit également sur la philosophie des mathématiques. Il est l'un des initiateurs du domaine de la théorie homotopique des types[2]. En particulier, il est l'un des trois organisateurs principaux – avec Thierry Coquand et Vladimir Voïevodski – d'une année spéciale sur ce thème à l'Institute for Advanced Study de Princeton en 2012-2013[3].
Bibliographie
[modifier | modifier le code]- Frege's Lectures on Logic: Carnap's Student Notes, 1910-1914 (trad. Steve Awodey et Eric H. Reck), Chicago, Open Court, , xiv+170 p. (ISBN 978-0812695465)[4]
- Steve Awodey, Category Theory, Oxford & New York, Oxford University Press, coll. « Oxford Logic Guides », , 2e éd., 336 p. (ISBN 978-0-19-9237-18-0)[5]
Références
[modifier | modifier le code]- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Steve Awodey » (voir la liste des auteurs).
- Steven M. Awodey, Logic in Topoi – PhilPapers
- Preliminary list of PSSL86 participants
- « Institute for Advanced Study: A Community of Scholars » [archive du ] (consulté le )
- James Connelly, « Review of Frege's Lectures on Logic », The Bertrand Russell Society Quarterly, novembre 2005 – février 2006 (lire en ligne, consulté le ).
- Lars Birkedal, « Review: STEVE AWODEY, Category Theory », Studia Logica, vol. 86, no 1, , p. 133-135 (DOI 10.1007/s11225-007-9053-x, JSTOR 40210743, S2CID 29254475).
Liens externes
[modifier | modifier le code]
- Ressources relatives à la recherche :
- Conférences de Steve Awodey sur la théorie homotopique des types :
- « Natural Models of Type Theory - Steve Awodey », YouTube, Institute for Advanced Study,
- « Univalent Foundations Seminar - Steve Awodey », YouTube, Institute for Advanced Study,
- « Constructive Type Theory and Homotopy - Steve Awodey », YouTube, Institute for Advanced Study,
