=+An analysis of the question is a matter for mathematical logic, but one can see that there can be only countably many algorithms or finite sets of rules expressed in finite alphabets.

Let Y(a), Y{") ,... be the random variables of Theorem 7.1 for a particular