On the Formal Consistency of Theory and Experiment, with Applications to Problems in the Initial-Value Formulation of the Partial-Dierenti al Equations of Mathematical Physics