Goldbach's conjecture: Difference between revisions

Latest revision as of 19:08, 21 February 2010

Statement

The conjecture has the following equivalent forms:

Every even integer greater than $2$ is expressible as a sum of two (possibly equal) primes.
Every even integer greater than $4$ is expressible as a sum of two (possibly equal) odd primes.

A partition of an even integer as a sum of two primes is termed a Goldbach partition.

Relation with other facts and conjectures

Weaker conjectures and facts

Name of conjecture/fact	Statement	Status
Weak Goldbach conjecture	every odd integer greater than $7$ is expressible as the sum of three odd primes	corollary of generalized Riemann hypothesis
Vinogradov's theorem	every sufficiently large odd integer is expressible as the sum of three odd primes. Also finds that there are many such triples. The current bound of sufficiently large is approximately $e^{3100}\simeq 2\cdot 10^{1346}$	proved
Haselgrove's strengthening of Vinogradov's theorem	in the statement of Vinogradov's theorem, we can choose the three primes to be roughly equal	proved
Chaohua's strengthening of Vinogradov's theorem	numerically strengthens Haselgrove's statement	proved
Schnirelmann's theorem on Goldbach's conjecture	every even integer greater than $2$ is expressible as the sum of at most $300,000$ primes	proved
Chen's theorem on Goldbach's conjecture	every sufficiently large even integer is expressible as the sum of a prime number and a semiprime, i.e., a number that is either prime or is a product of two primes	proved

@@ Line 7: / Line 7: @@
 * Every even integer greater than <math>2</math> is expressible as a sum of two (possibly equal) primes.
 * Every even integer greater than <math>4</math> is expressible as a sum of two (possibly equal) odd primes.
+A partition of an even integer as a sum of two primes is termed a ''Goldbach partition''.
 ==Relation with other facts and conjectures==
-* [[Stronger than::Goldbach's weak conjecture]] is the statement that every odd integer greater than <math>5</math> is expressible as the sum of three odd primes. This is currently known to follow from the [[generalized Riemann hypothesis]].
+===Weaker conjectures and facts===
-* [[Stronger than::Vinogradov's theorem]] states that every ''sufficiently large'' odd integer is expressible as the sum of three odd primes. The current bound of sufficiently large is approximately <math>e^{3100} \simeq 2 \cdot 10^{1346}</math>.
-* [[Chaohua's strengthening of Vinogradov's theorem]] states that we can choose these odd primes to be roughly equal.
+{| class="sortable" border="1"
-* [[Stronger than::Schnirelmann's theorem on Goldbach's conjecture]]: This states that every even integer greater than <math>2</math> is expressible as the sum of at most <math>300,000</math> primes.
+! Name of conjecture/fact !! Statement !! Status
+|-
+| [[Stronger than::Weak Goldbach conjecture]] || every odd integer greater than <math>7</math> is expressible as the sum of three odd primes || corollary of [[generalized Riemann hypothesis]]
+|-
+| [[Stronger than::Vinogradov's theorem]] || every ''sufficiently large'' odd integer is expressible as the sum of three odd primes. Also finds that there are many such triples. The current bound of sufficiently large is approximately <math>e^{3100} \simeq 2 \cdot 10^{1346}</math> || proved
+|-
+| [[Haselgrove's strengthening of Vinogradov's theorem]] || in the statement of Vinogradov's theorem, we can choose the three primes to be ''roughly equal'' || proved
+|-
+| [[Chaohua's strengthening of Vinogradov's theorem]] || numerically strengthens Haselgrove's statement || proved
+|-
+| [[Stronger than::Schnirelmann's theorem on Goldbach's conjecture]] || every even integer greater than <math>2</math> is expressible as the sum of at most <math>300,000</math> primes || proved
+|-
+| [[Stronger than::Chen's theorem on Goldbach's conjecture]] || every sufficiently large even integer is expressible as the sum of a [[prime number]] and a [[semiprime]], i.e., a number that is either prime or is a product of two primes || proved
+|}