[FOM] What is a proof

Jean Gallier jean at cis.upenn.edu
Wed Feb 11 15:57:39 EST 2009


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



More information about the FOM mailing list