Hi John,
I like your symmetric distinction of science and pure mathematics. Also it seems natural attach the question about knowability to the study of pattern as our main mental capability seems to be the recognition of pattern. Also very interesting is the distinction of algorithmic and non-algorithmic pattern. The non-algorithmic one you seem connect with random processes. I'm not sure if that is a to strong limitation. Although I couldn't come up with an other idea, what else non-algorithmic could mean.
My main critic in your approach is one that became clear to me in the course of a few discussions I had in this contest and that is a bit the topic of my essay. It is a critic on your conjuncture 1a: You postulate (at least implicitly) the existence of real world-patterns. And that they are isomorphic to the mathematical pattern. For me conjencture 1a is a pattern theoretic version of what I call naive or simplistic realism in my essay.
But the pattern version is much easier to criticize because it is used as a conjecture in all science and not only in fundamental physics, ,where it is much, much harder to criticize and even to think, the world could be otherwise. (This is what I try to show in my essay).
But what I mean by that? Let us take as example the classification of species. Certainly one can say, that there exist pattern, that favour some classification (although the pattern is never fully precise and without ambiguities). On the other hand, one could say that the classification (and the matching pattern) are somehow arbitrary, man made and serve different purposes depending on the field of inquiry: evolution, ethology, ecology, etc. You may say: but as far as these pattern can be found, they are objectively in nature. And have a corresponding mathematical pattern, that describes it. But the pattern to have a meaning and to be recognized as such, needs a context under which it becomes meaning full.
Somehow, I. have the feeling the pattern is imposed by us, as something functional and lies not in nature itself.
Does this make any sense to you?
Luca