4 ms·
On Proof and Progress in Mathematics (1994)
- primroot 4y ago"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.