This is also demonstrated quite well in machine learning with the test set. The target is test error, but you don't let algorithms optimize that directly and in

This is also demonstrated quite well in machine learning with the test set. The target is test error, but you don't let algorithms optimize that directly and instead they optimize against training error. Goodhart's law is a manifestation of over-fitting in social systems.