>There is nothing that these operations *are* as distinct from our many models thereof. Even computation is modeling.
I'm not sure what you mean here. When we "prove" things about computation, sure, models of computation are used. But computation happens in the physical world, real computers natural or man made (and finite in all respects) do the work. Since computation seems always to involve representations of something, we might say modeling is always involved?