Definition talk:Real Number

I've never seen the approach of constructing the real numbers in the interval $[0..1]$.

Why would you do that? The interval isn't closed under $+$. Unless you're suggesting working with $\Z \times [0..1)$? I'm not sure what you mean.

I always knew of the Cauchy, Dedekind and Stevin construction of $\R$ but looking at Wikipedia's sources there are many other approaches as well.

IMHO, I think PW should somehow show a recognition that these approaches exist (to be comprehensive) and then come back to it in the future. Unless of course anyone wants to do it. --Jshflynn (talk) 10:24, 16 January 2013 (UTC)