Talk:Goldbach's conjecture

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Goldbach equivalent to Lawson[edit]

The following argument should show that Lawson's conjecture is equivalent to Goldbach. Assume Goldbach, and let n be the given integer in Lawson. Then 2n is even, and there exists two primes p and q such that 2n=p+q. Assume p is less than or equal to q, and take l=(q-p)/2. Noting that n=(p+q)/2, observe that n-l=p, and n+l=q. Assume Lawson, and let 2n be the given even number in Goldbach. Then there is an l such that n-l=p and n+l=q are primes. Clearly, 2n=p+q. Also note that l need not be non zero, hence garyW's objection. If 2n=p+q and p is even, note that that requires q to be even, and 2n to be 4. Goldbach might be restated as, every even number greater than 4 is the sum of two odd primes, and Lawson might be given as every n larger than 3 has an l such that n-l and n+l are odd primes. — Preceding unsigned comment added by 67.5.135.253 (talkcontribs) 17:15, 24 April 2004‎

Proof: p,q odd primes ; n,l out of N with n>l

p*q = n²-l² = (n+l)(n-l) => p=(n-l) and q=(n+l)

=> (n+l)+(n-l) = 2n = p+q

For every (n+l) prime is (n-l) also prime. — Preceding unsigned comment added by 84.135.3.157 (talk) 13:09, 7 April 2014 (UTC)[reply]

You refer to Talk:Goldbach's conjecture/Archive 1#Lawson's Conjecture. It was added to the article by a "Bill Lawson" in 2003 [1] and quickly removed. I guess he named it after himself and I haven't found mention of it elsewhere. If the pair of primes is allowed to be two identical primes then it's trivially equivalent to Goldbach's conjecture as you show. It's a non-notable reformulation and shouldn't be mentioned in the article. PrimeHunter (talk) 13:50, 7 April 2014 (UTC)[reply]

Yeah and, you can have infinitely many equivalents, necessary conditions, etc. eg. Bertrand's postulate is a necessary condition for Goldbach, p+q=2n=n+n -> p-n=n-q, n>q>=3 implies 2n-3>=p>n . If n is prime, it implies that if 2n=n+n isn't the only partition of 2n into primes that an arithmetic of 3 primes exists, so disproving n+n being the only one for all but a finite number of cases, will be a base case for the Green-Tao Theorem. — Preceding unsigned comment added by 96.30.157.85 (talk) 23:11, 13 February 2019 (UTC)[reply]

Heuristic for primes adding to 2n3[edit]

Only if no solution exist to:

where

will no solution for exist. Roderick MacPhee (talk) 16:06, 1 June 2023 (UTC)[reply]

Inconsistency[edit]

The article is not totally consistent about Helfgott's supposed proof. 2A00:23CC:B59B:6B01:E914:3ED4:E410:C8A5 (talk) 15:38, 9 September 2023 (UTC)[reply]

I have rewritten the paragraph for clarifying the history of this paper. This history suggests that the first proof was incomplete, that the referee was unable to check the details of the proof, and thus asked for a revision without rejecting the paper. The number of revisions suggests that the demand of the referee revealed to Helfgott a gap in the proof that he is unable to fill. D.Lazard (talk) 16:37, 9 September 2023 (UTC)[reply]

Moved here until peer review available[edit]

An asymptotic proof has now been claimed by Agama and Gensel using their method of circle of partitions [1]

--Kmhkmh (talk) 04:48, 4 January 2024 (UTC)[reply]

References

  1. ^ Agama, Theophilus; Gensel, Berndt (2023-11-28). "The asymptotic binary Goldbach and Lemoine conjectures". arXiv:1709.05335 [math.NT].

Hmmm[edit]

This looks like a good alternate formulation of this conjecture Serouj2000 (talk) 14:51, 28 March 2024 (UTC)[reply]

This formula can rather easily be corrected for becomimg a correct formulation of Goldbach's conjectire. This would certainly not be a "good alternative", since, for most readers, reading prose is much easier than deciphering a cryptic formula. D.Lazard (talk) 16:28, 28 March 2024 (UTC)[reply]
Why is the qualifier in the statement?—Anita5192 (talk) 16:54, 28 March 2024 (UTC)[reply]
Because it is only for integers strictly bigger than 1, which isn't all of Serouj2000 (talk) 21:11, 28 March 2024 (UTC)[reply]
(edit conflict) This is probably the real open interval that is denoted Since the real numbers are out of scope here, "" should be replaced with "". Also, there is a confusion between "" (division operator) and "" (separator). These are the two points that need to be fixed for getting a correct formula. This is the work needed to understand notation that I called deciphering. D.Lazard (talk) 21:14, 28 March 2024 (UTC)[reply]
can be understood as all numbers bigger than 1, when I just mean the integers Serouj2000 (talk) 21:17, 28 March 2024 (UTC)[reply]
Is this better then:
Serouj2000 (talk) 21:29, 28 March 2024 (UTC)[reply]
What is the point of putting the conjecture into symbols?—Anita5192 (talk) 21:35, 28 March 2024 (UTC)[reply]
How about I ask you the same question but for theorems Serouj2000 (talk) 21:37, 28 March 2024 (UTC)[reply]
No version of this is better than a clear statement in mathematical English. People do not communicate mathematical ideas by this kind of cryptic formula, for good reason. --JBL (talk) 23:24, 28 March 2024 (UTC)[reply]
"Every integer bigger than 1 is either prime or the midpoint between two primes" same statement but in "mathematical English". Serouj2000 (talk) 09:22, 29 March 2024 (UTC)[reply]
This is a correct formulation, except for an ambuiguity: for most readers, "midpoint" may suggest that the points are different. But the main problem is that this is not the standard way of stating the conjecture. So, people who have already heard of the conjecture may be confused by not recognizing the statement they know. Also, if you are unable to provide a WP:reliable source for this statement, this statement results from your own WP:original research, and including it would go against basic Wikipedia policies. D.Lazard (talk) 10:57, 29 March 2024 (UTC)[reply]