Earlier quoted context omitted.
naming things is hard is one of the cultural difference between a computer-first logical mindset contrasted with the mathematics-first mindset the mathematics first mentality does not properly recognize the importance and the difficulty of having good names for things, whereas the computological view recognizes both: the importance and the difficulty
How many mathematicians do you know? All the mathematicians I know are interested in both notational and linguistic clarity.
another cultural difference is the kind of homework they hand out; the difference boils down to whether you hand over a printed (or printable) proof checked by reading through it, or a runnable program or script checked by running it