This seems neat. The immediate question I have is whether this scheme assigns logical probabilities only to an infinite sequence, rather than to individual elements.
[Assuming that the limit exists. (One is restricted to a certain class of selection rules that don’t contain much information about π, or else one could just pick only the fives of π, or only the threes, and the limit would not exist.)]
But I suppose I’ll just have to commit idle speculation until further posts are released :)
This seems neat. The immediate question I have is whether this scheme assigns logical probabilities only to an infinite sequence, rather than to individual elements.
[Assuming that the limit exists. (One is restricted to a certain class of selection rules that don’t contain much information about π, or else one could just pick only the fives of π, or only the threes, and the limit would not exist.)]
But I suppose I’ll just have to commit idle speculation until further posts are released :)