Comment by rs86

This is about the possibility of proving certain things about the model, not about properties of any implementation. Properties include for example the relation between the amount and quality of data available for training and the accuracy of the model. If a model is proven to learn too slowly it costs more to train it. And some models might never approximate a target function.