Skip to main content
8 events
when toggle format what by license comment
Apr 9, 2011 at 20:22 comment added Ostap Chervak Actually 0.12345678910111213141516... is proven normal only in base 10
Sep 26, 2010 at 10:22 comment added gowers On second thoughts, it does if you regard the problem as being "Prove that there exists a normal number." But then it's not obvious that proving that almost all real numbers are normal is easier than proving that 0.12345678910111213141516... is normal.
Sep 26, 2010 at 8:38 comment added gowers Proving that almost all real numbers are normal does not solve the problem of whether $\sqrt{2}$ is normal, so this isn't really an example of what the question asks for.
Apr 14, 2010 at 3:22 history edited John Stillwell CC BY-SA 2.5
Added second sentence
Apr 14, 2010 at 0:11 comment added John Stillwell Thanks, François. That will teach me always to proofread, even a single sentence!
Apr 14, 2010 at 0:05 comment added François G. Dorais (John, the original said "almost real numbers". I made the obvious correction.)
Apr 14, 2010 at 0:04 history edited François G. Dorais CC BY-SA 2.5
typo
Apr 14, 2010 at 0:01 history answered John Stillwell CC BY-SA 2.5