The Truman P. Handy Professor of Philosophy
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
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.
用什么来证明 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.
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
Clark Hall 203
Ph.D., M.A., Philosophy, Case Western Reserve University
B.S., Mathematics, Case Institute of Technology
Logic, Philosophy of Logic, Philosophy of Mathematics, Philosophy of Science, Contemporary French Philosophy