"This procedure is the demonstration by recurrence. We first establish a theorem for n = 1; then we show that if it is true of n - 1, it is true of n, and thence conclude that it is true for all the whole numbers. ..Here then we have the mathematical reasoning par excellence, and we must examine it more closely. ...The essential characteristic of reasoning by recurrence is that it contains, condensed, so to speak, in a single formula, an infinity of syllogisms. ...to arrive at the smallest theorem [we] can not dispense with the aid of reasoning by recurrence, for this is an instrument which enables us to pass from the finite to the infinite. This instrument is always useful, for, allowing us to overleap at a bound as many stages as we wish, it spares us verifications, long, irksome and monotonous, which would quickly become impracticable. But it becomes indispensable as soon as we aim at the general theorem... In this domain of arithmetic,.. the mathematical infinite already plays a preponderant rĂ´le, and without it there would be no science, because there would be nothing general."
Quote Details
Added by wikiquote-import-bot
Unverified quote
0 likes
Original Language: English
Available Languages (1)
Sources
Henri Poincaré, Science and Hypothesis (1901) Ch. I. On the Nature of Mathematical Reasoning, Tr. (1905) George Bruce Halstead pp.10-12
https://en.wikiquote.org/wiki/Mathematical_induction
Revision History
No revisions have been submitted for this quote.
Categories
Mathematical induction
17 quotes on TrueQuotesView all quotes by Mathematical induction →
Related Quotes
"Few contemporaries were as profoundly read in the history of mathematics as was De Morgan. No subject was too insigni…"
"One who extended the theory of equations somewhat further than Vieta was Albert Girard... Like Vieta this ingenious a…"
"A more modern attempt to explain the fruitfulness of mathematical reasoning is that of Poincaré, who finds it all due…"
"It is absolutely certain that if a proposition is established by mathematical induction, it will never be disproved, …"
"The propositions of arithmetic, the... operations, for instance, which play such a fundamental rôle even in the most …"
"It is significant that we owe the first explicit formulation of the principle of recurrence to the genius of Blaise P…"
"Despite the age-long tyranny exercised by the Aristotelian logic... Of all argument forms, there is one which, viewed…"
"We can not... escape the conclusion that the rule of reasoning by recurrence is irreducible to the principle of contr…"
"But, one will say, if raw experience can not legitimatize reasoning by recurrence, is it so of experiment aided by in…"
"We could call it "proof from n to n + 1" or still simpler "passage to the next integer." Unfortunately, the accepted …"