On Proof and Progress in Mathematics (1994)

"One effect of this highly social system of mathematics is the tendency of mathematicians to follow fads." This is a common complaint about programmers. Perhaps one could say this is another aspect of the Curry-Howard Correspondence.