Steve Awodey
mathématicien et philosophe américain
From Wikipedia, the free encyclopedia
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.
| Naissance | |
|---|---|
| Nationalité | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Directeurs de thèse |
Saunders Mac Lane, William W. Tait (en) |
Biographie
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
- 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]
