Name Steve Awodey | Role Philosopher | |
 | ||
Website www.andrew.cmu.edu/user/awodey/ Areas of interest Philosophy of mathematics, Logic, Category theory Books Category Theory, Early Writings Similar People Vladimir Voevodsky, Saunders Mac Lane, Rudolf Carnap, Jeremy Avigad, Gottlob Frege | ||
Steve awodey mac lane and carnap s logical syntax of language
Steve Awodey (; born 1959) is a Professor of Philosophy and Mathematics at Carnegie Mellon University.
Contents
- Steve awodey mac lane and carnap s logical syntax of language
- Constructive type theory and homotopy steve awodey
- Biography
- References
Constructive type theory and homotopy steve awodey
Biography
Awodey studied mathematics and philosophy at the University of Marburg and the University of Chicago. He earned his Ph.D. from Chicago under Saunders Mac Lane in 1997. He is an active researcher in the areas of category theory and logic, and has also written on the philosophy of mathematics. He is one of the originators of the field of homotopy type theory. He was a member of the School of Mathematics at the Institute for Advanced Study in 2012–13.
References
Steve Awodey Wikipedia(Text) CC BY-SA