# Conjecture versus Theorem

Mathematicians use the idea of proof to make a distinction between a 'conjecture' and a 'theorem', which bears a superficial resemblance to the OED's distinction between the two senses of 'theory'. A conjecture is a proposition that looks true but has never been proved. It will become a theorem when it has been proved. A famous example is the Goldbach Conjecture, which states that any even integer can be expressed as the sum of two primes. Mathematicians have failed to disprove it for all even numbers up to 300 thousand million million million, and common sense would happily call it Goldbach's Fact. Nevertheless it has never been proved, despite lucrative prizes being offered for the achievement, and mathematicians rightly refuse to place it on the pedestal reserved for theorems. If anybody ever finds a proof, it will be promoted from Goldbach's Conjecture to Goldbach's Theorem, or maybe X's Theorem where X is the clever mathematician who finds the proof.

## Notes:

in mathematics and how it applies to scientific "theory".

Folksonomies: mathematics theory conjecture theorem

Taxonomies:
/science/mathematics (0.681771)
/science/mathematics/arithmetic (0.489060)
/science/mathematics/geometry (0.321323)

Keywords:
conjecture (0.915036 (positive:0.421190)), Goldbach Conjecture (0.807213 (neutral:0.000000)), superficial resemblance (0.653328 (negative:-0.646699)), theorem (0.598306 (neutral:0.000000)), mathematicians (0.588591 (negative:-0.433405)), famous example (0.575135 (neutral:0.000000)), clever mathematician (0.573192 (neutral:0.000000)), common sense (0.572438 (neutral:0.000000)), proof (0.524539 (neutral:0.000000)), distinction (0.442179 (negative:-0.646699)), theory (0.390301 (neutral:0.000000)), OED (0.325406 (negative:-0.646699)), proposition (0.310438 (positive:0.421190)), senses (0.300344 (negative:-0.646699)), integer (0.300053 (neutral:0.000000)), sum (0.300016 (neutral:0.000000)), primes (0.299923 (neutral:0.000000)), theorems (0.299561 (neutral:0.000000)), idea (0.298238 (neutral:0.000000)), anybody (0.295688 (neutral:0.000000)), mathematics (0.293643 (neutral:0.000000)), achievement (0.288717 (positive:0.346415)), prizes (0.284396 (positive:0.346415))

Entities:
Goldbach:Person (0.867306 (neutral:0.000000)), OED:Organization (0.351905 (negative:-0.646699))

Concepts:
Mathematics (0.943891): dbpedia | freebase | opencyc
Prime number (0.573631): dbpedia | freebase | opencyc
Theorem (0.551705): dbpedia | freebase
Number theory (0.409069): dbpedia | freebase | opencyc
Goldbach's conjecture (0.402399): dbpedia | freebase | yago
Names of large numbers (0.391000): dbpedia | freebase | yago
Conjecture (0.379884): dbpedia | freebase
Theory (0.374837): dbpedia | freebase  The Greatest Show on Earth: The Evidence for Evolution
Books, Brochures, and Chapters>Book:  Dawkins, Richard (2010-08-24), The Greatest Show on Earth: The Evidence for Evolution, Free Press, Retrieved on 2011-05-19
Folksonomies: evolution science