If anyone is interested. This extension doesn’t seem to lead to anything of interest.
If we map continuum of UDASSA multiverses into [0;1) then Lebesgue measure of set of multiverses which run particular program is 1⁄2.
Let binary number 0.b1 b2 … bn … be representation of multiverse M if for all n: (bn=1 iff M runs program number n, and bn=0 otherwise).
It is easy to see that map of set of multiverses which run program number n is a collection of intervals [i/2^n;2i/2^n) for i=1..2^(n-1). Thus its Lebesgue measure is 2^(n-1)/2^n=1/2.
If anyone is interested. This extension doesn’t seem to lead to anything of interest.
If we map continuum of UDASSA multiverses into [0;1) then Lebesgue measure of set of multiverses which run particular program is 1⁄2.
Let binary number 0.b1 b2 … bn … be representation of multiverse M if for all n: (bn=1 iff M runs program number n, and bn=0 otherwise).
It is easy to see that map of set of multiverses which run program number n is a collection of intervals [i/2^n;2i/2^n) for i=1..2^(n-1). Thus its Lebesgue measure is 2^(n-1)/2^n=1/2.