A conjecture is a mathematical statement proposed as true based on observation, heuristic argument, or partial evidence but lacking a rigorous proof. Conjectures often arise after patterns are noticed in examples or from attempts to generalize existing theorems. They occupy a central place in mathematical practice because they identify goals for proof or disproof and can shape research programs for decades.
Characteristics and status
Typical features of a conjecture include plausibility, testable consequences, and a clear logical form that allows formal proof or refutation. A conjecture may be:
- open (no proof or counterexample known),
- proven, after which it is called a theorem, or
- disproved by a counterexample.
Evidence supporting a conjecture can be computational checks, partial theorems, or probabilistic reasoning, but none of these substitutes for a proof.
History and examples
Throughout history conjectures have driven progress. Famous instances include statements like the Goldbach conjecture, the Riemann hypothesis, and the Collatz conjecture, which remain unresolved and continue to motivate research. Other conjectures such as Fermat's Last Theorem were eventually proved and became theorems, illustrating how conjectures can catalyze new techniques and collaborations.
Role in mathematics
Conjectures guide exploration, suggest new definitions and methods, and can unify disparate areas of mathematics. They also serve pedagogical roles, presenting accessible problems with deep implications. For further context on the mathematical setting in which conjectures arise, see mathematics.
Because conjectures are provisional, mathematicians use careful language when stating them, and the journey from conjecture to theorem or refutation often yields additional insights and auxiliary results that strengthen the discipline as a whole.