Figuring out the True Name of a thing, a mathematical formulation sufficiently precise that one can apply lots of optimization pressure without the formulation breaking down, is absolutely possible and does happen.
Precision feels pretty far from the true name of the important feature of true names, I am not quite sure what precision means, but on one definition, precision is the opposite of generality, and true names seem anti-precise. I am not saying precision is not a virtue, and it does seem like precision is involved. (like precision on some meta level maybe?)
The second half about robustness to optimization pressure is much closer, but still not right. (I think it is a pretty direct consequence of true names.) It is clearly not yet a true name in the same way that “It is robust to people trying to push it” is the not the true name of inertia.
Precision feels pretty far from the true name of the important feature of true names
You’re right, I wasn’t being sufficiently careful about the wording of a bolded sentence. I should have said “robust” where it said “precise”. Updated in the post; thankyou.
Also I basically agree that robustness to optimization is not the True Name of True Names, though it might be a sufficient condition.
I mostly agree with this post.
Precision feels pretty far from the true name of the important feature of true names, I am not quite sure what precision means, but on one definition, precision is the opposite of generality, and true names seem anti-precise. I am not saying precision is not a virtue, and it does seem like precision is involved. (like precision on some meta level maybe?)
The second half about robustness to optimization pressure is much closer, but still not right. (I think it is a pretty direct consequence of true names.) It is clearly not yet a true name in the same way that “It is robust to people trying to push it” is the not the true name of inertia.
You’re right, I wasn’t being sufficiently careful about the wording of a bolded sentence. I should have said “robust” where it said “precise”. Updated in the post; thankyou.
Also I basically agree that robustness to optimization is not the True Name of True Names, though it might be a sufficient condition.