Since the middle of the last century, mathematicians are more and more
desirous of attaining absolute rigor; they are right, and this tendency
will be more and more accentuated. In mathematics rigor is not
everything, but without it there is nothing. A demonstration which is
not rigorous is nothingness. I think no one will contest this truth. But
if it were taken too literally, we should be led to conclude that before
1820, for example, there was no mathematics; this would be manifestly
excessive; the geometers of that time understood voluntarily what we
explain by prolix discourse. This does not mean that they did not see it
at all; but they passed over it too rapidly, and to see it well would
have necessitated taking the pains to say it.
But is it always needful to say it so many times? Those who were the
first to emphasize exactness before all else have given us arguments
that we may try to imitate; but if the demonstrations of the future are
to be built on this model, mathematical treatises will be very long; and
if I fear the lengthenings, it is not solely because I deprecate
encumbering libraries, but because I fear that in being lengthened out,
our demonstrations may lose that appearance of harmony whose usefulness
I have just explained.
The economy of thought is what we should aim at, so it is not enough to
supply models for imitation. It is needful for those after us to be able
to dispense with these models and, in place of repeating an argument
already made, summarize it in a few words. And this has already been
attained at times. For instance, there was a type of reasoning found
everywhere, and everywhere alike. They were perfectly exact but long.
Then all at once the phrase 'uniformity of convergence' was hit upon and
this phrase made those arguments needless; we were no longer called upon
to repeat them, since they could be understood. Those who conquer
difficulties then do us a double service: first they teach us to do as
they at need, but above all they enable us as often as possible to avoid
doing as they, yet without sacrifice of exactness.
We have just seen by one example the importance of words in mathematics,
but many others could be cited. It is hard to believe how much a
well-chosen word can economize thought, as Mach says. Perhaps I have
already said somewhere that mathematics is the art of giving the same
name to different things. It is proper that these things, differing in
matter, be alike in form, that they may, so to speak, run in the same
mold. When the language has been well chosen, we are astonished to see
that all the proofs made for a certain object apply immediately to many
new objects; there is nothing to change, not even the words, since the
names have become the same.
Public-domain text, read in full here on John Shaqi.
Reviews
Reviews
No reviews yet
Be the first to share your thoughts on this work.
Elsewhere in the archive
Join the Discussion
Join the discussion
Sign in to leave a comment or review.
Sign InorCreate an account