Timeline for Particular problem solved by solving a more general problem.
Current License: CC BY-SA 2.5
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 |