Colin McLarty

Truman P. Handy Professor

Clark Hall 203

Other Information

Degree: Ph.D., M.A., Philosophy, Case Western Reserve University
B.S., Mathematics, Case Institute of Technology

Research: Logic, Philosophy of Logic, Philosophy of Mathematics, Philosophy of Science, Contemporary French Philosophy

Recent Talks

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.  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.

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.

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

Videos of Talks

Slides for Talks

Hilbert Contentual Math (Warwick University, March 2014.)

What does it take to prove X? (Warwick University, March 2014.)

Geometrically structured arithmetic (talk at Warwick)

What large scale structures add (talk at Warwick)

Unity represents the profound aspect (talk at Warwick)

Past Talks

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.

Alexander Brothendieck’s ‘incorrigible naivety’ in building worlds for mathematics. Congreso Colmbiano de Filosofia, Cali (Columbia) October 2010.

Foundations as truths which organize mathematics, Association for Symbolic Logic North American Annual Meeting, Berkeley, CA March 24-27, 2011.

Upcoming Talks



Minds, Brains, and Programs

First week reading assignments


用什么来证明 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.

Other articles:
Jean Benabou: Fibered Categories and the Foundation of Naive Category Theory
Vladimir Voevodsky: An Intuitive Introduction to Motivic Homotopy Theory
Barry Mazur: Number Theory as Gadfly
William Lawvere: Elementary Theory of the Category of Sets
Grothendieck Esquisse (French and English)
Marker, Book Review-Tame Topology and O-minimal Structures

Collection of other readings for the Roskilde Summer School
Categorical Foundations for Mathematics: Rough notes for Roskilde

Download / View CV