Is the Goldbach Conjecture Finally Proven?

  • Context: Graduate 
  • Thread starter Thread starter praharmitra
  • Start date Start date
  • Tags Tags
    Conjecture Proof
Click For Summary

Discussion Overview

The discussion revolves around the Goldbach Conjecture, specifically whether it has been proven. Participants explore both the binary case (every even integer can be expressed as the sum of two primes) and the ternary case (every integer can be expressed as the sum of three primes), along with related conjectures and mathematical constructs.

Discussion Character

  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants note that there is currently no proof for the Goldbach Conjecture.
  • One participant mentions Vinogradov's result regarding the ternary case, suggesting that it holds for sufficiently large integers, but questions remain about the binary case.
  • Another participant argues that proving the binary case would also imply the ternary case, but acknowledges that the binary case is considered more challenging.
  • A conjecture is proposed that any even number can be represented as the difference of two prime numbers, with a mathematical framework provided to support this claim.
  • Some participants challenge the validity of approximations and request more formal proofs, indicating skepticism about the claims made without rigorous backing.
  • One participant presents a symmetrical construction involving twin primes and their sums and differences, suggesting a relationship between these concepts and the Goldbach Conjecture.
  • Further inquiries are made about the constructibility of certain even numbers using twin primes, indicating ongoing exploration of related mathematical questions.

Areas of Agreement / Disagreement

Participants express differing views on the relationship between the binary and ternary cases of the Goldbach Conjecture, as well as the validity of proposed proofs and approximations. The discussion remains unresolved, with no consensus on the status of the conjecture or the validity of the claims made.

Contextual Notes

Participants express uncertainty regarding the implications of various conjectures and the need for formal proofs. The discussion includes references to mathematical constructs that may not be universally accepted or understood.

  • #31
I have a question concerning Goldbach's Conjecture. First, it is easy to demonstrate that the sum of any two odd integers will always be even.
For example,
let an odd integer q=2k+1 and an odd integer p=2m+1
It then follows that q+p= 2(k+m+1) = 2n which is even.

Now, it is true that any prime number >2 is odd. So, couldn't you simply use this fact to prove a substantial amount of Goldbach's conjecture? I don't understand people who sit down and add two arbitrary primes >2 to find an even number as the sum thinking that they may find an exception to the conjecture, but they won't because of what I just proved.

I know that prime numbers don't have a neat little general form like 2k+1 or 2n, but they are a subgroup of the odd numbers. All prime numbers >2 are odd but not all odd numbers are prime. Primes >2 are odd simply by definition of a prime number.

Then after you prove that the only time you will get an even number as a sum by using the prime number 2 is when you add 2 to itself. I'm probably missing some subtle logical step, and if so, please enlighten me.

In conclusion, wouldn't it be simpler to focus on parity instead of the primality of numbers to prove the conjecture?
 
Physics news on Phys.org
  • #32
Hi, fibonacci235,
there are many ways of adding two primes and obtaining an even number. The point of the conjecture is, can *all* even numbers (> 2) be written as the sum of two primes? In other words, given *any* arbitrary even number greater than 2, say, 123456, why is it mandatory that there exists a prime "p" such that 123456-p is also prime? That's the problem.
 
  • #33
Dodo said:
Hi, fibonacci235,
there are many ways of adding two primes and obtaining an even number. The point of the conjecture is, can *all* even numbers (> 2) be written as the sum of two primes? In other words, given *any* arbitrary even number greater than 2, say, 123456, why is it mandatory that there exists a prime "p" such that 123456-p is also prime? That's the problem.

Ok, that does make more sense. Now, I understand why this is so hard to prove.
 
  • #34
Goldbach Conjecture is 2n = Prime (a+n)+ Prime (a-n), 1 is here prime


2 = (0+1)+(1-0)

4 = (1+2)+(2-1)

6 = (2+3)+(3-2)

8 = (3+4)+(4-3)

10= (2+5)+(5-2)

12= (1+6)+(6-1)

14 =(4+7)+(7-4)

16 =(3+8)+(8-3)

18 =(4+9)+(9-4)

20=(3+10)+(10-3)

22=(6+11)+(11-6)
.
.
.
2n=(a+n)+(n-a)

Proof:

(a+n) = 2n+(a-n)=2n-(n-a)

q.e.d.
 
  • #35
Forget proof, you don't even posit any argument at all that an 'a' with right properties exists. Listing that it does for N cases is irrelevant, unless you list all infinity cases. Certainly, there is no induction in your (total non) argument.
 
  • #36
Sievert said:
Goldbach Conjecture is 2n = Prime (a+n)+ Prime (a-n), 1 is here prime


2 = (0+1)+(1-0)

4 = (1+2)+(2-1)

6 = (2+3)+(3-2)

8 = (3+4)+(4-3)

10= (2+5)+(5-2)

12= (1+6)+(6-1)

14 =(4+7)+(7-4)

16 =(3+8)+(8-3)

18 =(4+9)+(9-4)

20=(3+10)+(10-3)

22=(6+11)+(11-6)
.
.
.
2n=(a+n)+(n-a)
Yes, there exist many numbers "a" that will fit here. What about "prime"?

Proof:

(a+n) = 2n+(a-n)=2n-(n-a)

q.e.d.[/QUOTE]
So, essentially, you are telling us that you do not know what a "proof" is.
 
  • #37
After this silliness, I'm locking the thread.
 

Similar threads

  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
6
Views
2K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 7 ·
Replies
7
Views
8K
  • · Replies 6 ·
Replies
6
Views
8K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
7K
  • · Replies 1 ·
Replies
1
Views
3K