Welcome

I am a graduate student in philosophy specializing in logic at Stanford University. (Curriculum vitae.) I'm primarily interested in formal mathematics, a young interdisciplinary subject devoted to constructing formalizations of mathematical knowledge (especially logical and justificatory items, such as definitions, theorems, and proofs). I'm also interested in philosophy of mathematics, mathematical logic (especially proof theory), epistemology, and philosophy of science.

Publications

• “A formal proof of Euler's polyhedron formula”, to appear in Studies in Logic, Grammar and Rhetoric special issue on computer reconstruction of the body of mathematics.
• “Euler's polyhedron formula”, to appear in Formalized Mathematics.
• “The vector space of subsets of a set based on disjoint union”, to appear in Formalized Mathematics.
• “The rank+nullity theorem”, Formalized Mathematics 15(3), 2007, pp. 137–142.

Activities

I maintain several packages for the Fink project, especially packages for my favorite text editor emacs. I enjoy computer programming (I like LISP the most) and work on a handful of programming projects, such as mizar mode for emacs (an environment for working with formal mathematical texts that are written in the MIZAR language, which is my favorite formal language for mathematics).

Links

See my del.icio.us page for a tagged collection of my favorite links.

Last updated: December 17, 2008.