I agree with everything you wrote & don't think it is inconsistent with what I wrote. The "model-constructing machine" is itself purely an information-processin

I agree with everything you wrote & don't think it is inconsistent with what I wrote. The "model-constructing machine" is itself purely an information-processing machine, so embedding it inside a Turing machine is no problem.