Difference between revisions of "1310: Goldbach Conjectures"

Explain xkcd: It's 'cause you're dumb.
Jump to: navigation, search
(Finished transcript)
(Explanation: Wikilinks)
Line 10: Line 10:
 
{{incomplete|Created by a BOT}}
 
{{incomplete|Created by a BOT}}
  
[[Wikipedia:Goldbach's conjecture|Goldbach's conjecture]], [[Wikipedia:Goldbach's weak conjecture|Goldbach's weak conjecture]], and the [[Wikipedia:Twin prime conjecture|twin prime conjecture]] are unsolved problems in mathematics relating to prime numbers, or numbers whose only factors are 1 and itself.
+
{{w|Goldbach's conjecture}}, {{w|Goldbach's weak conjecture}}, and the {{w|Twin prime|twin prime conjecture}} are unsolved problems in mathematics relating to prime numbers, or numbers whose only factors are 1 and itself.
  
 
A "strong" conjecture is typically a more restrictive form of the corresponding "weak" conjecture, with the "strong" conjecture typically implying the "weak" one, but not vice versa. For example, Goldbach's strong conjecture would imply Goldbach's weak conjecture, because any odd number greater than 5 can be expressed as 3 plus an even number greater than 2, which would itself be expressed as the sum of two prime numbers, resulting in a way to express the original odd number as the sum of three prime numbers (the two prime numbers that sum to the even number, and 3). The weak conjecture does not, however, imply the strong conjecture. This comic plays on the "strong" and "weak" naming of Goldbach's conjectures by extending it beyond the two famous ones to further degrees of strength or weakness.
 
A "strong" conjecture is typically a more restrictive form of the corresponding "weak" conjecture, with the "strong" conjecture typically implying the "weak" one, but not vice versa. For example, Goldbach's strong conjecture would imply Goldbach's weak conjecture, because any odd number greater than 5 can be expressed as 3 plus an even number greater than 2, which would itself be expressed as the sum of two prime numbers, resulting in a way to express the original odd number as the sum of three prime numbers (the two prime numbers that sum to the even number, and 3). The weak conjecture does not, however, imply the strong conjecture. This comic plays on the "strong" and "weak" naming of Goldbach's conjectures by extending it beyond the two famous ones to further degrees of strength or weakness.
Line 18: Line 18:
 
The title text refers to the twin prime conjecture, which states that there are an infinite number of pairs of primes that differ by 2.
 
The title text refers to the twin prime conjecture, which states that there are an infinite number of pairs of primes that differ by 2.
  
Randall's weak twin prime conjecture states that there are an infinite number of pairs of primes. This is clearly true. Per {{w|Euclid's theorem}}, there are an infinite number of primes. Unlike the actual twin prime conjecture (which specifies a distance of two), this conjecture does not specify a required distance. Thus, any pair from the infinite set of primes suffices. An example is 5 and 13.
+
[[Randall]]'s weak twin prime conjecture states that there are an infinite number of pairs of primes. This is clearly true. Per {{w|Euclid's theorem}}, there are an infinite number of primes. Unlike the actual twin prime conjecture (which specifies a distance of two), this conjecture does not specify a required distance. Thus, any pair from the infinite set of primes suffices. An example is 5 and 13.
  
His strong twin prime conjecture states that every prime is 2 less than another prime (although it might not look like a prime at first). An obvious counter-example is 7 and 9. 9 "might not look like a prime".
+
His strong twin prime conjecture states that every prime is 2 less than another prime (although it might not look like a prime at first). An obvious counter-example is 7 and 9. 9 "might not look like a prime".
 
    
 
    
 
The tautological prime conjecture states that it itself is true, while making no statement about primes. It is not, despite its name, a tautology. An example of a tautology would be "all primes are prime".
 
The tautological prime conjecture states that it itself is true, while making no statement about primes. It is not, despite its name, a tautology. An example of a tautology would be "all primes are prime".

Revision as of 13:27, 30 December 2013

Goldbach Conjectures
The weak twin primes conjecture states that there are infinitely many pairs of primes. The strong twin primes conjecture states that every prime p has a twin prime (p+2), although (p+2) may not look prime at first. The tautological prime conjecture states that the tautological prime conjecture is true.
Title text: The weak twin primes conjecture states that there are infinitely many pairs of primes. The strong twin primes conjecture states that every prime p has a twin prime (p+2), although (p+2) may not look prime at first. The tautological prime conjecture states that the tautological prime conjecture is true.

Explanation

Ambox notice.png This explanation may be incomplete or incorrect: Created by a BOT
If you can address this issue, please edit the page! Thanks.
Goldbach's conjecture, Goldbach's weak conjecture, and the twin prime conjecture are unsolved problems in mathematics relating to prime numbers, or numbers whose only factors are 1 and itself.

A "strong" conjecture is typically a more restrictive form of the corresponding "weak" conjecture, with the "strong" conjecture typically implying the "weak" one, but not vice versa. For example, Goldbach's strong conjecture would imply Goldbach's weak conjecture, because any odd number greater than 5 can be expressed as 3 plus an even number greater than 2, which would itself be expressed as the sum of two prime numbers, resulting in a way to express the original odd number as the sum of three prime numbers (the two prime numbers that sum to the even number, and 3). The weak conjecture does not, however, imply the strong conjecture. This comic plays on the "strong" and "weak" naming of Goldbach's conjectures by extending it beyond the two famous ones to further degrees of strength or weakness.

Goldbach's weak conjecture has been claimed to have been proven true, while Goldbach's strong conjecture remains unsolved. The two even weaker "conjectures" are obviously true, with the "extremely weak" conjecture not making a formal mathematical statement at all. The two strongest "conjectures" are so strong that they are obviously false.

The title text refers to the twin prime conjecture, which states that there are an infinite number of pairs of primes that differ by 2.

Randall's weak twin prime conjecture states that there are an infinite number of pairs of primes. This is clearly true. Per Euclid's theorem, there are an infinite number of primes. Unlike the actual twin prime conjecture (which specifies a distance of two), this conjecture does not specify a required distance. Thus, any pair from the infinite set of primes suffices. An example is 5 and 13.

His strong twin prime conjecture states that every prime is 2 less than another prime (although it might not look like a prime at first). An obvious counter-example is 7 and 9. 9 "might not look like a prime".

The tautological prime conjecture states that it itself is true, while making no statement about primes. It is not, despite its name, a tautology. An example of a tautology would be "all primes are prime".

Transcript

Goldbach Conjectures
Extremely weak
Numbers just keep going
Very weak
Every number greater than 7 is the sum of two other numbers
Weak
Every odd number greater than 5 is the sum of three primes
Strong
Every even number greater than 2 is the sum of two primes
Very strong
Every odd number is prime
Extremely strong
There are no numbers above 7


comment.png add a comment! ⋅ comment.png add a topic (use sparingly)! ⋅ Icons-mini-action refresh blue.gif refresh comments!

Discussion

If a bot can create the text I read here, we have made great strides in artificial intelligence. Probably a human editor forgot to change the "incomplete/incorrect" heading. Tenrek (talk) 05:53, 30 December 2013 (UTC)

You never know, AI has come a loong way. Davidy²²[talk] 06:39, 30 December 2013 (UTC)
Let's ask: Tepples, are you a bot? And 199.27.128.62, what about you? -- Hkmaly (talk) 10:09, 30 December 2013 (UTC)
Yes, I'm a bot. 199.27.128.62 21:42, 30 December 2013 (UTC)

I thought that {{incomplete|Created by a BOT}} means that the template was inserted by a BOT. 173.245.50.84 13:55, 30 December 2013 (UTC)

It does mean that. But as others edit the page, they should keep the "incomplete" reason up-to-date. I've changed it to "incomplete|surely not quite complete yet..." ;) Nealmcb (talk) 14:28, 30 December 2013 (UTC)
I will change this text template beginning at the Friday update when I'm back home. Happy NEW YEAR to everybody! --Dgbrt (talk) 15:16, 30 December 2013 (UTC)

It all seems to work except that the extremely strong seems to imply the opposite of the extremely weak Djbrasier (talk) 02:19, 31 December 2013 (UTC)

I think the mistake is in the implication of the very weak to the extremely weak version. In fact, if there is any connection between those two statements it is an implication that goes the other way round. If the extremely strong version is true, we are not looking at the natural numbers. Thus, "Every number greater than 7 is the sum of two other numbers." does not imply "Numbers just keep going.", at all. (Also this accounts for no numbers at all, so the very weak version would still be correct.) Then there is the case that the extremely strong version is false. An implication from something false to anything is always true. --173.245.53.200 07:30, 1 January 2014 (UTC)

---I disagree with this, as it is not incorrect to say that "numbers keep going towards seven" as there are an infinite number of numbers approaching 7. Also, the extremely weak conjecture could easily refer to numbers in the negative direction only. 173.245.54.61 (talk) (please sign your comments with ~~~~)

I always find it amusing that people assume that something phrased 'scientifically' is therefore right, whereas something phrased unscientifically (eg religious beliefs taken on faith) are automatically wrong. There seems to be an unexamined assumption that science is some magical dark art for uncovering infallible truths. Of course science is really just a methodological system for testing theories. Whenever I try to explain this concept, I try to come up with a general, untestable (non-scientific) assertion that is nonetheless true, alongside a very specific, repeatedly testable (falsifiable) assertion that is therefore eminently scientific, but which happens to be wrong. (Eg "it sometimes rains on Wednesday" and "it rains at least 100mm every Wednesday in Riyadh"). So for me this comic is a commentary on that principle - that the "strength" of a statement is only really impressive if it has also survived testing. Tarkov (talk) 10:47, 31 December 2013 (UTC)

The assumption is not "that science is some magical dark art for uncovering infallible truths" but that science works. Bitches. Also, the example you have given is quite bad considering that your first statement is so vague that it is essentially meaningless and apparently, what you want to say with your second statement is that falsifiable claims are falsifiable, which is pretty trivial. Finally, the statements that are phrased unscientifically are not assumed to be automatically wrong but they are impossible to be proven or disproven and are often worded so vaguely that nobody in the known universe knows just what the hell they are supposed to even mean. They are just empty phrases that carry no information whatsoever. --173.245.53.200 07:30, 1 January 2014 (UTC)

According to the strong twin prime conjecture, all positive numbers greater than one are prime, due to 2 and 3 both being prime and extrapolation on primes from there. Thus, this nearly proves the very strong Goldbach conjecture, excluding one. Should this be noted in the explanation? 108.162.237.4 02:08, 1 January 2014 (UTC)(Kyt)

I don't know if it's worth complicating things to bring the matter up. It's potentially more complicated than a simple error; in Goldbach's day, people still sometimes thought of 1 as a prime number (which simplifies his conjectures). —TobyBartels (talk) 18:00, 1 January 2014 (UTC)

This also reminds me of those psychological tests that ask how you feel about this and that. 108.162.226.228 15:02, 1 January 2014 (UTC)

Don't forget the first rule of tautology club. --141.101.98.236 18:07, 1 January 2014 (UTC)

Moved from explain

I disagree with this, as it is not incorrect to say that "numbers keep going towards seven" as there are an infinite number of numbers approaching 7. Also, the extremely weak conjecture could easily refer to numbers in the negative direction only. (Edited by some people.) --Dgbrt (talk) 18:18, 10 January 2014 (UTC)

"Therefore, the "extremely strong" conjecture could not possibly imply (however indirectly) the validity of the "extremely weak" conjecture, as it would if proved true."

It can be argued that since the "extremely strong" conjecture is obviously a contradiction (as in the logical sense, "a formula that's always false"), thereby, can imply any other formula. That is, if p is always false, then (p->q) for any q is always true. In this sense, if the "strong" version gets proved somehow, you get an inconsistent logical system, in which each and every formula can be proved as true, including those weaker forms. 108.162.215.56 13:03, 9 February 2014 (UTC)

This sentence is problematic: "The weak conjecture does not, however, imply the strong conjecture." "A does not imply B" technically means "A and not B" which, I'm sure, isn't what was meant. I added "in any evident way" which I think corrects it. 199.27.133.59 08:52, 10 July 2014 (UTC)

The paradoxical prime conjecture states that the paradoxical prime conjecture is false. --108.162.250.220 07:58, 12 October 2014 (UTC)

KYT's conjecture - prime numbers pattern

KYT's conjecture is described as follows:

a is a positive integer and is even, a>=8, b=a+18, a=c+D, c, D,E are prime numbers.

a=c+D b=c+E

E=D+18=b-c

There must be a prime number c that satisfies the two equations above. More examples are as follows:

10=3+7;5+5 28=5+23;11+17 46=3+43;5+41;17+29;23+23 64=3+61;5+59;11+53 ;17+47;23+41 82=3+79;11+71 ;23+59;29+53;41+41