Comment on On Proof and Progress in Mathematics (1994)Comments−primrootOP4y"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.
Comments
"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.