On Proof and Progress in Mathematics (1994)arxiv.org 2 pointsprimroot4 years ago1 commentSaveHideCopy link On HNComments−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.