Our readingWhat is a korrent?
Excessive optimization for one or two mathematical goals can cause previously aligned goals of mathematics to diverge.
Drawn from what Terence Tao said
Subjectmathematics
What this subject means
mathematics Doing mathematics: proof, conjecture, and what mathematicians want that other fields do not.
Mental modelsWhen a measure becomes a target, Trade-offs