# Colin McLarty

#### The Truman P. Handy Professor of 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

### Slides for Talks

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

### SIE

Minds, Brains, and Programs

Carnap

First week reading assignments

### Publications

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

## Contact

colin.mclarty@case.edu

216.368.2632

Clark Hall 203

## Education

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