[T]wo difficulties: (1) Can we transform psychologic time, which is qualitative, into a quantitative time? (2) Can we reduce to one and the same meas… - Henri Poincaré

Roemer used eclipses of the satellites of Jupiter, and sought how much the event fell behind its prediction. But... this prediction [is] made... by... astronomic laws; for instance Newton's... [T]he velocity of light... is adopted, such that the astronomic laws compatible with this value may be as simple as possible.

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.

The logical correctness of the arguments that lead from axioms to theorems is not the only thing we have to attend to. Do the rules of perfect logic constitute the whole of mathematics? As well say that the art of the chess-player reduces itself to the rules for the movement of the pieces. A selection must be made out of all the constructions that can be combined with the materials furnished by logic. The true geometrician makes this selection judiciously, because he is guided by a sure instinct, or by some vague consciousness of I know not what profounder and more hidden geometry, which alone gives a value to the constructed edifice.