The standard probability measure over countably many independent coin tosses (i.e., the probability that you get a prescribed prefix of length $v$ is $2^{v}$) is usually obtained via results in measure theory (at least, that's what I have seen). Is there a streamlined presentation out there that uses the least possible amount of results from measure theory (ideally, none) to show that this is indeed a valid probability measure?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

This version is due to Emile Borel ... Sequence of heads & tails encoded as 0s and 1s, then sequence is taken to represent a number in $[0,1]$ in its binary expansion. The measure is Lebesgue measure. So you still need to know that Lebesgue measure exists. 

