Thread: ? about .999~=1
View Single Post
CRGreathouse is offline
Dec31-06, 12:46 AM
Sci Advisor
HW Helper
P: 3,680
Quote Quote by Gib Z View Post
From that, I already know that I know more math than this guy does.
I think I found a better nonsense quote:

The fact that you can't compute the decimal expansion of a sum from the decimal expansions of its addends is a well known phenomenon that was noticed by Turing. In a fully constructive treatment of the real numbers, this is often stated by saying (informally) that not every positive real number has a decimal expansion. More precisely, there is no constructive proof that every positive real number has a decimal expansion (or at least we don't know of one).