I gave a talk last Fall with the controversial title "What is a proof" I thought FOM members might enjoy it (or at least, its funny parts): http://www.seas.upenn.edu/~jean/what-isa-proof.pdf For MAC users: http://www.seas.upenn.edu/~jean/what-isa-proof.zip Best, -- Jean Gallier