Goldbach's Conjecture (Theorem?)

1. Jan 28, 2008

Skainstein

Goldbach's Conjecture (Theorem??)

Hi guys,

I just need to know if Goldbach's Conjecture has been demonstrated or not!

Thx! :D

2. Jan 28, 2008

Moridin

No mathematical proof yet. It is very upsetting.

3. Feb 8, 2008

al-mahed

are you trying to find a proof?

4. Feb 8, 2008

al-mahed

what about if we write the even numbers as a sum of the form 3a + 5b? N = 3a + 5b

consider gcd(3a,5b)=1, then "split" a and b obtaining a = a' + a", b = b' + b"

N = (3a' + 5b') + (3a" + 5b")

If we suceed to prove that one of these pairs (3a' + 5b') + (3a" + 5b"), when we test all the possible values for a', a", b' and b", are exactly two prime numbers, for every even number, the conjecture is proved.

Of course this is far way of a proof for the conjecture, but should give us another angle to think about the problem.

I made some observations but nothing pretty much beyond this point.

5. Feb 12, 2008

HallsofIvy

In other words you have just changed to a slight variation, which looks to me to be more complicated and harder to prove than the original. You do understand, don't you, that testing "all the possible values for a', a", b', and b" " is no more possible than checking every even number?

6. Feb 12, 2008

al-mahed

Let me try to explain a little bit better.

What I meant saying "all the possible values for a', a", b', and b" " is: try to find some property for a', b' such that 3a' + 5b' is a prime number when 3a" + 5b" is a prime number too. Of course, as I said, this is far way a proof, wich means that perhaps this is a dead-end. But this is not the same thing as "checking every even number".

Pick a even number, like 100.

100 = 3*5 + 5*17, then a=5 and b=17, lets split a and b in a'=3, a"=2, b'=8, b"=9

100 = (3*3 + 5*8) + (3*2 + 5*9)

of course gcd(a',b') = gcd(a'',b'') = 1 when both expressions are prime numbers, but this is a necessary condition, not enough (I dont know if the correct word in english is this...)

I was thinking on doing a kind of research to find the pairs of "a's" and "b's" of each expression such that their gcd() are both = 1, make a list, and try to find some pathern or property of the pairs with gcd()=1 when these pairs are prime numbers.

I know this is a little bit vague, but could be a start... perhaps that other conjecture or mine about the numbers of the p + 2^n form, when proved, could be useful

7. Feb 12, 2008

CRGreathouse

"Necessary but not sufficient" was the phrase you were looking for. But I don't think that's true -- what about (3*2 + 5*4) + (3*2 + 5*1) = 37? gcd(4, 2) is not 1, but 37 is prime. So the condition appears to be neither necessary nor sufficient.

8. Feb 12, 2008

al-mahed

sorry, my mistake, the correct is gcd(3a',5b') = gcd(3a'', 5b'') = 1, it is a necessary condition to both expression represents both prime numbers, but obviously it is not sufficient

9. Feb 12, 2008

al-mahed

another point: what I mean wans't that (3a' + 5b') + (3a'' + 5b'') = prime, instead I meant that 3a' + 5b' = prime and 3a'' + 5b'' = prime each of then

Call N = 3a + 5b an even number. When we split a and b, the question is: looking at the several pairs (3a' + 5b') + (3a'' + 5b'')*, such that gcd(3a',5b') = gcd(3a'', 5b'') = 1, obtained when we vary the "a's" and "b's", is there at least one of these pairs such that 3a' + 5b' and 3a'' + 5b'' are prime numbers?

* I call a pair (3a' + 5b') + (3a'' + 5b'')

10. Feb 12, 2008

CRGreathouse

Ah, I misunderstood you, sorry.

What are you saying then? Are you trying to use this to disprove the Goldbach conjecture by showing that there is an even number that cannot be split into coprime pairs (a, b), (a', b')? Are you trying to lessen the search space for experimental verification of a finite portion of the conjecture?

11. Feb 12, 2008

al-mahed

I don't believe that the conjecture is wrong. If it is wrong, showing that there is an even number such that it cannot be split into coprime pairs might prove that the conjecture is false, yes.

Unfortunally, I don't believe that such even number exist.

I was thinking on another aproach, a little vague yet...

12. Feb 12, 2008

CRGreathouse

I'm just saying that a proof requires something that's sufficient, not something that's necessary. Any further thoughts on the problem?

13. Feb 12, 2008

al-mahed

Ok, lets work a little bit more on our definitions.

if a given number n =3a+5b is such that gcd(3a,5b)=1, we cannot say that n is a prime number, right? for instance,

a=1 and b=11, gcd(3,55)=1 and n = 58,
a=12 and b=11, gcd(36,55)=1 and n = 91 = 7*13

then gcd(3a,5b)=1 is a necessary condition to n be a prime number, but not sufficient

Given a even number written of the form N = 3a + 5b

lets split this number like I said before in two other numbers m = 3a'+5b' and k = 3a''+5b'' such that N = m+k

if we prove that for an any N there is no m+k pairs such that gcd(3a',5b')=1 AND gcd(3a'',5b'')=1 then this is a proof that goldbach's conjecture is FALSE, since gcd(3a',5b')=1 AND gcd(3a'',5b'')=1 is a necessary condition to m AND k be prime numbers, since there is no prime numbers represented by 3a+5b such that gcd(3a,5b)>1 (note that all numbers >7 can be expressed in the 3a+5b form)

so this particular proof, in this particular case, requires a necessary condition, not a sufficient

14. Feb 12, 2008

Dragonfall

Has it not been proven that Goldbach's conjecture can not be proven in Peano arithmetic?

15. Feb 13, 2008

al-mahed

I don't know about it... you mean that someone have proved that Goldbach's conjecture is undecidable? If yes, the conjecture is true.

16. Feb 13, 2008

Dragonfall

I'm only guessing. There have been theorems about the natural numbers which are not provable in PA, but are provable in ZFC.

What do you mean by "If yes, the conjecture is true"?

17. Feb 13, 2008

CRGreathouse

I imagine the meaning was thus, as I was going to post a similar note:

Suppose the proposition "There exists no positive number n such that P(n)" for some predicate P. If the proposition is independent of Peano arithmetic (or some other framework, as long as the framework is strong enough to state the predicate P and express all natural numbers), then it cannot be disproved in that system by definition. But no natural number n exists that makes P(n) true, since if it did then the proposition could be disproved with the counterexample P(n).

18. Feb 13, 2008

al-mahed

I did search my notes about it, but unfortunally I lost the thing... I was just working on a approach about these ideas I had put here.

I noticed that almost all numbers such that gcd(3a,5b)=1 are primes or semi-primes (meaning two prime factors), but I don't know if I am wrong or not

This is important if there is some pattern, even statistical pattern, such that prime numbers are more closer (or near?) to semiprime numbers than other numbers, but I can't explain why without my notes

This is pretty much vague... if you have some insight about it reading this please post here (or tell me if you think that this will lead us to nowhere)

19. Feb 13, 2008

Hurkyl

Staff Emeritus
An attractive thought, but it doesn't work out.

The most obvious problem is that "Goldbach's conjecture is undecidable in PA" means that "PA + Goldbach's Conjecture is false" is a consistent theory!

The more subtle problem is that the following could be possible:
ZFC is able to prove a particular finite ordinal x is a counterexample to Goldbach's conjecture.
ZFC is able to prove that PA is incapable of proving that x is a counterexample.

or similarly
ZFC is able to prove a particular finite ordinal x is a counterexample to Goldbach's conjecture.
ZFC is able to construct another model of PA where the corresponding x is not a counterexample to Goldbach's conjecture.

I imagine even more pathological things could happen.

Last edited: Feb 13, 2008
20. Feb 13, 2008

CRGreathouse

Of course the reason I didn't post my original thoughts was that I was unable to properly cover all of the pathologies, and as the complexity rose I had trouble justifying it for a one-off answer to the question.

But I will admit it's hard to imagine these pathologies. It's like nonprinciple ultrafilters -- sure, ZFC has them, but you'll never run into one.