# Colin McLarty

#### Truman P. Handy Professor

## Contact

colin.mclarty@case.edu

216.368.2632

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

## About

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

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