Use of Conjectures in Conditional Proofs
Sometimes a conjecture is called a hypothesis when it is used frequently and repeatedly as an assumption in proofs of other results. For example, the Riemann hypothesis is a conjecture from number theory that (amongst other things) makes predictions about the distribution of prime numbers. Few number theorists doubt that the Riemann hypothesis is true (it is said that Atle Selberg was once a sceptic, and J. E. Littlewood always was). In anticipation of its eventual proof, some have proceeded to develop further proofs which are contingent on the truth of this conjecture. These are called conditional proofs: the conjectures assumed appear in the hypotheses of the theorem, for the time being.
These "proofs", however, would fall apart if it turned out that the hypothesis was false, so there is considerable interest in verifying the truth or falsity of conjectures of this type.
Read more about this topic: Conjecture
Famous quotes containing the words conjectures, conditional and/or proofs:
“Our conjectures pass upon us for truths; we will know what we do not know, and often, what we cannot know: so mortifying to our pride is the base suspicion of ignorance.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)
“Conditional love is love that is turned off and on....Some parents only show their love after a child has done something that pleases them. “I love you, honey, for cleaning your room!” Children who think they need to earn love become people pleasers, or perfectionists. Those who are raised on conditional love never really feel loved.”
—Louise Hart (20th century)
“Trifles light as air
Are to the jealous confirmation strong
As proofs of holy writ.”
—William Shakespeare (1564–1616)