Steve Awodey

Updated on Nov 24, 2023

Edit

Comment

Name Steve Awodey		Role Philosopher

Website www.andrew.cmu.edu/user/awodey/ Main interests Category theory, Logic, Philosophy of mathematics Areas of interest Philosophy of mathematics, Logic, Category theory Books Category Theory, Early Writings Education University of Chicago, University of Marburg 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.

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.

(Text) CC BY-SA