# prime pairs

by nnnnnnnn
Tags: pairs, prime
 P: 65 There is (as far as I know) no proof-for or against- that there are infinately many prime pairs such as 3, 5 or 29, 31... Anyway, is it intuitive to assume that there should be infinitely many pairs just b/c of the fact that there are infinitely many numbers? or does this have nothing to do with it?
 Math Emeritus Sci Advisor Thanks PF Gold P: 38,900 Well, "intuitive" is not a very good "mathematics" term! Is it "intuitive to assume" that there are infinitely many even primes b/c of the fact that there are infinitely many numbers.
 P: 65 Its funny that you say that because talking about math is the only time I would say intuitive... Anyways, I cant think of a good example but I can think of an example: in a class for real numbers I had to prove that 1>0. I knew this to be true because it was intuitive but it was tricky to prove...
HW Helper
P: 9,398

## prime pairs

You can't prove that 1>0, unless you assume certain things.....
 Sci Advisor HW Helper P: 9,428 My intuition is that there are indeed infinitely many prime pairs, but it is based on nothing I can describe clearly. I.e. to me it would just be odd for there to exist a largest prime pair. There is a tendency of mathematical facts to be "natural" and not so odd. To me at least it would seem less surprizing or odd for there to be an infinite number of prime pairs. I.e. for there to be a largest one, I would thionk there needs to be a "reason" for that. Whereas if there are infinitely many, then there is no special one, and that is more expected to me. But all mathematicians have different intuition, so no one need agree with me.
 Sci Advisor HW Helper P: 1,996 You're right that it's currently unkown whether or not there are infinitely many prime pairs. There is the twin prime conjecture which claims that the number of prime pairs less than x is asymptotic to $Cx(\log{x})^{-2}$, where the C is explicit (about 1.32..). There are heuristic arguments to support this, but of course no one can prove it yet. There's a partial victory by J.R. Chen which implies there are either infinitely many prime pairs, or there are infinitely many primes p where p+2 is the product of two primes (possibly both are true).
P: 65
 Quote by matt grime You can't prove that 1>0, unless you assume certain things.....
thats not the point but we were working with real numbers so didn't need to assume anything- just to follow the established rules...
 Sci Advisor HW Helper P: 9,428 I like shmoe's asymptotic formula. it gives substance to a prediction there are infinitely many. I.e. if one has actual data up to a few billion billion billion........ or so, that there is a pattern to the density of prime pairs, then it seems believable that the density will not suddenyl go to zero after some point.
 Sci Advisor HW Helper P: 9,428 try this: in the spirit of proving that 1>0, prove that any function f defined on the real numbers and satisfying f(x+y) = f(x)f(y), (think exponential function), is either identically zero, or always positive.
 Sci Advisor HW Helper P: 1,996 Billions and billions of data points can look convincing, but can really come back to bite you in number theory. Like Merten's conjecture (that $|\sum_{n\leq x}\mu(n)|\leq x^{1/2}$ where $\mu$ is the mobius function), or the conjecture that the prime counting function is strictly bounded above by the logarithmic integral. Both were proven false, but the first counterexamples are huge (afaik, none are known explicitly in either case, just some scary upper bounds). These are a bit different then the twin primes though, I don't think there was really much to support these false conjectures besides computations. The twin prime conjecture has other convincing evidence.
 Emeritus Sci Advisor PF Gold P: 16,101 I love this theorem: the Frivolous theorem of Arithmetic.
P: n/a
 Quote by Hurkyl I love this theorem: the Frivolous theorem of Arithmetic.
What the...
P: 509
 Quote by Icebreaker What the...
Let b be the natural number such that b + n for any natural n is considered to be a very, very, very large number. Let B be the set of all naturals less than or equal to b. Then the cardinality of B is finite, while the cardinality of the complement of B within the set of all naturals is the same as the cardinality of the set of all naturals. QED.
P: n/a
 http://mathworld.wolfram.com/StrongL...llNumbers.html "The first strong law of small numbers (Gardner 1980, Guy 1988ab, Guy 1990) states 'There aren't enough small numbers to meet the many demands made of them.' " "The second strong law of small numbers (Guy 1990) states that 'When two numbers look equal, it ain't necessarily so.' "
What the...
 P: 30 Actually I think we can prove there are infinitely many prime pairs. But I'm very rusty on formal proofs, so maybe one of you experts could formalize on what I'm saying will work. There are three types of primes: (a) 2 and 3, (b) those which operated on by mod(6) = 5, and (c) those which under mod (6) = 1. In other words, every multiple of six, 6n, has a pair of potential primes at 6n +/- 1, as noticed by eratosthenes. However, no one seems to have used modular arithmetic as I suggest in my paper http://www.chass.utoronto.ca/french/...rticle7en.html to separate the primes above 3 into two series, equalling 1 and 5 in mod6, or, you could think of them as equalling 7 and 5 in mod6. There is no interdependency between the primeness of the terms of the two series, 6n+1 and 6n-1, and both series display the only candidates for primeness, and contain all primes, and all their members -are- primes unless factorizable by an inferior member of the same series. See the new "modulus 6 clock spiral" which I propose to replace Ulam's spiral, in the article, and you'll see what I mean. Peter
 Sci Advisor HW Helper P: 1,996 Considering primes mod 6, and indeed primes in more general arithmetic progressions, is an old concept. That all prime pairs (except 3 and 5) are of the form 6n-1, 6n+1 is nothing new either, nor does it show there are infinitely many prime pairs. It just tells you (vaguely) where to look for them. "...and all their members -are- primes unless factorizable by an inferior member of the same series." This is false, 25=1 mod 6 but 25=5*5, and 5 is not 1 mod 6. The other way is true, if n=5 mod 6 and n is composite then it has a prime divisor congruent to 5 mod 6 (though it may have prime divisors congruent to 1 mod 6 as well)
 Emeritus Sci Advisor PF Gold P: 16,101 Looking at primes of various modulo classes is done, and not just modulo 6. You've made a mistake, BTW -- A number of the form 6n+1 can have all of its nontrivial factors of the form 6m-1. (e.g. 25) Also, A number of the form 6n-1 can have factors of the form 6m+1.
HW Helper
P: 1,996
 Quote by marteinson http://www.chass.utoronto.ca/french/...rticle7en.html
I've only skimmed some of it, an excerpt:

"Conversely, it can easily be demonstrated that each of the three even series on the spiral can be generated by some combination of two primes, either both in the five o'clock series, both in the seven o'clock series, or one in each, without exception, using simple modular arithemtic. I leave the formally correct proof to real mathematicians, however."

There are certain things that you can wave away with "can easily be demonstrated". Goldbach's conjecture is not one of them.