Thread: ? about .999~=1
View Single Post
CRGreathouse
CRGreathouse is offline
#43
Dec31-06, 05:32 PM
Sci Advisor
HW Helper
P: 3,680
Quote Quote by Hurkyl View Post
You guys aren't being fair. IIRC, his math is quite sound. His only problem is an equivocation fallacy -- he is invoking alternative treatments of the notion of "real number", when everybody else is using the term in its standard meaning.
Actually, I rather agree that most of what he says appears sound, and much of the remainder could be salvaged with some rigor. Certainly I have no problem with people exploring alternate systems.

But saying that Turing proved that not all reals have decimal expansions... that's just crazy talk.