I strongly agree that precision matters, but in no way does naming a concept after a person help with precision. Almost entirely orthogonal. What does help with precision is typed languages. You cannot use a term until you've precisely defined it in terms previously defined, which can be back-traced automatically by a computer to ones and zeroes. It must be a language both parseable by a human and a machine. At that point you have precision. That doesn't preclude using names as identifiers, but makes that largely irrelevant.

I strongly disagree that accessibility doesn't really matter. It always matters. Maybe not during draft time, but in the long run. There are strong economic incentives to make things less accessible for non-experts, but in no way does that help advance the field, or force experts to reduce elements to their most basics, it is just rent seeking.