But, one will say, if raw experience can not legitimatize reasoning by recurrence, is it so of experiment aided by induction? We see successively that a theorem is true of the number 1, of the number 2, of the number 3 and so on; the law is evident, we say, and it has the same warranty as every physical law based on observations, whose number is very great but limited. But there is an essential difference. Induction applied to the physical sciences is always uncertain, because it rests on the belief in a general order of the universe, an order outside of us. Mathematical induction, that is, demonstration by recurrence, on the contrary, imposes itself necessarily, because it is only the affirmation of a property of the mind itself.
We can not... escape the conclusion that the rule of reasoning by recurrence is irreducible to the principle of contradiction. ...Neither can this rule come to us from experience... This rule, inaccessible to analytic demonstration and to experience, is the veritable type of the synthetic a priori judgment. On the other hand, we can not think of seeing in it a convention, as in some of the postulates of geometry. ...it is only the affirmation of the power of the mind which knows itself capable of conceiving the indefinite repetition of the same act when once this act is possible. The mind has a direct intuition of this power, and experience can only give occasion for using it and thereby becoming conscious of it.
The ones who are preoccupied by logic are above all; to read their works, one is tempted to believe they have advanced only step by step, after the manner of a Vauban who pushes on his trenches against the place besieged, leaving nothing to chance. The others are guided by intuition and, at the first stroke, make quick but sometimes precarious conquests, like bold cavalrymen of the advance guard.
0
⚖0
▼Source
source
quoted in Jacques Hadamard, An essay on the psychology of invention in the mathematical field (1954), pp. 106.
Thought must never submit, neither to a dogma, nor to a party, nor to a passion, nor to an interest, nor to a preconceived idea, nor to whatever it may be, save to the facts themselves, because, for thought, submission would mean ceasing to be.
0
⚖0
▼Source
source
Speech, University of Brussels (19 November 1909), during the festival for the 75th anniversary of the university's foundation; published in Œuvres de Henri Poincaré (1956), p. 152
Everyone is sure of this [that errors are normally distributed], Mr. Lippman told me one day, since the experimentalists believe that it is a mathematical theorem, and the mathematicians that it is an experimentally determined fact.