Talk:Uncountable

The proof doesn't work in binary. If $a_1 = \frac12 = 0.1$ and for $n > 1$ $a_n = \frac 1{2^{n+1}} = .00\ldots 1$, the number we get is $0.0111\ldots = 0.1$, a member of our list. Just because the form you get isn't on the list, doesn't mean the number itself isn't represented. You have to do it in some other base if you want the proof to work.

Also, in English, "dyadic rational."

Also, needs more wikification. The first time you use any mathematical term, there should be a link from it. --JBL 14:20, 5 November 2006 (EST)