Jump to content

Steve Awodey

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 100.6.43.241 (talk) at 05:20, 14 December 2021 (changed from "philosopher of mathematics" to "logician"). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Steve Awodey
Awodey in 2011
Born
Steven M. Awodey

(1959-07-05) July 5, 1959 (age 65)
Alma materUniversity of Marburg
University of Chicago
Known forModel theory of higher-order logic using the methods of category theory[1]
Type theory of higher-dimensional categories[2]
Scientific career
FieldsCategory theory, homotopy type theory
InstitutionsCarnegie Mellon University
ThesisLogic in Topoi: Functorial Semantics for Higher-Order Logic (1997)
Doctoral advisorsSaunders Mac Lane
Other academic advisorsWilliam Walker Tait
Websitewww.andrew.cmu.edu/user/awodey/

Steven M. Awodey[1] (/ˈdi/; born 1959) is an American mathematician and logician. He is a Professor of Philosophy and Mathematics at Carnegie Mellon University.

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.[3] He was a member of the School of Mathematics at the Institute for Advanced Study in 2012–13.[4]

Bibliography

  • Eric H. Reck; Steve Awodey, eds. (2004). Frege's Lectures on Logic: Carnap's Student Notes, 1910-1914. Translated by Eric H. Reck; Steve Awodey. Chicago: Open Court; xiv+170 p. {{cite book}}: Unknown parameter |authors= ignored (help)CS1 maint: postscript (link)
  • Awodey, Steve (2010) [2006]. Category Theory (2nd ed.). Oxford & New York: Oxford University Press. ISBN 978-0-19-9237-18-0.

References

  1. ^ a b Steven M. Awodey, Logic in Topoi – PhilPapers
  2. ^ Steve Awodey, Michael Warren, "Homotopy theoretic models of identity type", Mathematical Proceedings of the Cambridge Philosophical Society 146(1), 2009. arXiv:0709.0248.
  3. ^ Preliminary list of PSSL86 participants
  4. ^ Institute for Advanced Study: A Community of Scholars