Dr. Colin McLarty
Truman P. Handy Professor of Philosophy & Professor of Mathematics
Philosophy of Logic
Philosophy of Mathematics
Philosophy of Science
Contemporary French Philosophy
B.S. Mathematics, Case Institute of Technology
M.A. Philosophy, Case Western Reserve University
Ph.D. Philosophy, Case Western Reserve University
Alexander Brothendieck's 'incorrigible naivety' in building worlds for mathematics. Congreso Colmbiano de Filosofia, Cali (Columbia) October 2010.
Foundations as truths which organize mathematics, Paris, June 2010.
Talking about what functions "do", rather than what sets "are". Beijing University and Shanxi University) China July 2010.
Emmy Noether's first great mathematics, Yale Algebra Seminar, April 2010/ International Conference on the History of Modern Mathematics, Xi'an (China) July 2010.
Foundations as truths which organize mathematics, Association for Symbolic Logic North American Annual Meeting, Berkeley, CA March 24-27, 2011.
Grothendieck's cohomology founded on finite order arithmetic, Invited talk for the Assoc. Symb. Logic at the Joint Mathematics Meetings, San Diego, January 2013.
The two careers of Emmy Noether, European Math. Soc. and Danish Math. Soc.Joint Meeting, Aarhus Denmark, April 2013.
Proving Fermat's Last Theorem in PA: situation and prospects, invited talk for the Assoc. Symb. Logic North American Meeting, Waterloo Ontario, May 2013. Also Beijing Normal University, June 2013.
Proofs in Practice, invited for the international meeting of the Association for the Philosophy of Mathematical Practice, at the University of Illinois at Urbana-Champaign, October 2013.
Current scholarship on Henri Poincare, invited for the Fifth French PhilMath Workshop Clermont-Ferrand, Université Blaise Pascal, October 2013.
The role of universes in algebraic geometry and number theory, Infinity Conference, Centre de Recerca Matemàtica (CRM), Bellaterra, Barcelona, Spain, July 18-22, 2011.
Emmy Noether on Galois Theory, Société mathématiques de France celebration of the bicentennial of the birth of Evariste Galois, at the Institut Henri Poincaré, Paris. October 24-27, 2011.
Harvard-Radcliffe exploratory seminar on Folds, Networks, Fissures: Topological Thinking in Philosophy, Art and Literature, Boston, December 2-3, 2011
Knowing mathematics, versus absorbing it, for a workshop on explicit and tacit knowledge in mathematics at the Mathematisches Forschungsinstitut Oberwolfach, Germany, January 8-14 , 2012.
用什么来证明 Fermat 大定理? Grothendieck 与数论的逻辑
A Finite Order Arithmetic Foundation for Cohomology
Elementary Categories, Elementary Toposes(Oxford Logic Guides). Oxford University Press, 1996.
Categorical Philosophy and Foundations of Mathematics (forthcoming), Oxford University Press.
Click here to view articles
Collection of other readings for the Roskilde Summer School
Categorical Foundations for Mathematics: Rough notes for Roskilde
To contact, please email to: firstname.lastname@example.org
Clark Hall Room 211A. (216) 368-2632
Back to Faculty