English Language & Usage Asked by abebebebahabe on July 29, 2020
One of the techniques for proving statements in mathematics is “mathematical induction” (wikipedia entry). Very informally and not precisely speaking, when conducting a proof using this technique, (1) one proves that the statement is true in the simplest possible case, then (2) one assumes that the statement is true for a more complex case, and then (3) one proves that the assumption from step 2 implies the validity of the statement for even more complex case.
The assumption from step 2 is called “induction hypothesis”. When executing step 3, one often reffers to this assumption. How should one refer to it? Is it
by induction hypothesis, ...
or
by the induction hypothesis, ...
?
In each of the wikipedia examples there is “the”, which I believe to be correct, since we are referring to a specific, concrete assumption that has been made. I’ve seen mathematical textbooks that use only this variant, but also ones that mix both variants; the same goes for research articles.
The wording
by induction hypothesis
is a common solecism found in many mathematical texts. The natural way to say it in English is:
by the induction hypothesis.
The grammatical analysis is that one is referring to a particular hypothesis, which would require the definite article. One might say grammatically
by hypothesis X, ...
that is, X being the name of a given hypothesis, or
by hypothesis, ...
and in the following give an instantiation of the hypothesis with other things in order to make a deduction.
It is ungrammatical to say 'We use induction hypothesis' or 'Induction hypothesis implies...'; 'induction hypothesis' by itself is not a proper NP.
However 'by induction hypothesis' is a common wording, half as common as 'by the induction hypothesis', so it must be a partially accepted idiom patterned after 'by induction'.
Answered by Mitch on July 29, 2020
Get help from others!
Recent Questions
Recent Answers
© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP