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.