Re:Have any long-suspected irrational numbers turned out to ...
by Strilanc on Tuesday September 16, 2014 @11:18AM
(#8324909)
If you can compute a number's digits (i.e. approximate it), then you can see if they start repeating or not. If you compute a billion digits and they don't repeat yet, and you have no reason to expect the number to be a fraction with a huge denominator, then a good conjecture is that the number is irrational and vice versa when there is repetition. You'll be right more often than not.
(Of course, like many heuristics this one is easily exploitable by an adversary trying to make you give the wrong answer. And clearly this is not a proof, just a rule of thumb where you expect to be wrong now and then but not usually.)
Re:Have any long-suspected irrational numbers turned out to ...
by emeraldd on Tuesday September 16, 2014 @09:15AM
(#8324284)
The only thing that computers add is the ability to prove that a number is not rational to a larger number of decimal places than a human working on their own could or any other technique that requires brute force calculation on a large scale.
Re:Have any long-suspected irrational numbers turned out to ...
by GFK_of_xmaspast on Tuesday September 16, 2014 @12:03PM
(#8325170)
Go read Kuperberg's answer where he mentions Borwein&Borwein (the one with 51 upvotes)
Re:Have any long-suspected irrational numbers turned out to ...
by mcherm on Wednesday September 17, 2014 @09:25AM
(#8329793)
Oh, that's REALLY interesting!
I admit I was surprised that "Most (but not all) interesting numbers admit a polynomial-time algorithm to compute their digits." But this is a really good reason why computers would make a difference.
Re:Have any long-suspected irrational numbers turned out to ...
by marcosdumay on Tuesday September 16, 2014 @09:13AM
(#8324274)
It's not much easier to prove it. But when you can quickly compute the first few billion digits, you can just look for repetitions and conjecture that a number is rational.
Really? I can't think of any way in which computers make it easier to distinguish rational from irrational numbers. What is it that I am missing?