by primroot on 7/2/22, 4:43 PM with 1 comments
by primroot on 7/2/22, 5:15 PM
"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.