The science of pure mathematics, in its modern developments, may claim to be the most original creation of the human spirit. Another claimant for this position is music. But we will put aside all rivals, and consider the ground on which such a claim can be made for mathematics. The originality of mathematics consists in the fact that in mathematical science connections between things are exhibited which, apart from the agency of human reason, are extremely unobvious. Thus the ideas, now in the minds of contemporary mathematicians, lie very remote from any notions which can be immediately derived by perception through the senses; unless indeed it be perception stimulated and guided by antecedent mathematical knowledge. This is the thesis which I proceed to exemplify.
Suppose we project our imagination backwards through many thousands of years, and endeavour to realise the simple-mindedness of even the greatest intellects in those early societies. Abstract ideas which to us are immediately obvious must have been, for them, matters only of the most dim apprehension. For example take the question of number. We think of the number 'five' as applying to appropriate groups of any entities whatsoever-to five fishes, five children, five apples, five days. Thus in considering the relations of the number 'five' to the number 'three,' we are thinking of two groups of things, one with five members and the other with three members.
But we are entirely abstracting from any consideration of any particular entities, or even of any particular sorts of entities, which go to make up the membership of either of the two groups. We are merely thinking of those relationships between those two groups which are entirely independent of the individual essences of any of the members of either group. This is a very remarkable feat of abstraction; and it must have taken ages for the human race to rise to it. During a long period, groups of fishes will have been compared to each other in respect to their multiplicity, and groups of days to each other. But the first man who noticed the analogy between a group of seven fishes and a group of seven days made a notable advance in the history of thought. He was the first man who entertained a concept belonging to the science of pure mathematics. At that moment it must have been impossible for him to divine the complexity and subtlety of these abstract mathematical ideas which were waiting for discovery. Nor could he have guessed that these notions would exert a widespread fascination in each succeeding generation.
There is an erroneous literary tradition which represents the love of mathematics as a monomania confined to a few eccentrics in each generation. But be this as it may, it would have been impossible to anticipate the pleasure derivable from a type of abstract thinking which had no counterpart in the then-existing society. Thirdly, the tremendous future effect of mathematical knowledge on the lives of men, on their daily avocations, on their habitual thoughts, on the organization of society, must have been even more completely shrouded from the foresight of those early thinkers. Even now there is a very wavering grasp of the true position of mathematics as an element in the history of thought. I will not go so far as to say that to construct a history of thought without profound study of the mathematical ideas of successive epochs is like omitting Hamlet from the play which is named after him. That would be claiming too much. But it is certainly analogous to cutting out the part of Ophelia. This simile is singularly exact. For Ophelia is quite essential to the play, she is very charming - and a little mad. Let us grant that the pursuit of mathematics is a divine madness of the human spirit, a refuge from the goading urgency of contingent happenings.
When we think of mathematics, we have in our mind a science devoted to the exploration of number, quantity, geometry, and in modern times also including investigation into yet more abstract concepts of order, and into analogous types of purely logical relations. The point of mathematics is that in it we have always got rid of the particular instance, and even of any particular sorts of entities. So that for example, no mathematical truths apply merely to fish, or merely to stones, or merely to colours. So long as you are dealing with pure mathematics, you are in the realm of complete and absolute abstraction. All you assert is, that reason insists on the admission that, if any entities whatever have any relations which satisfy such-and-such purely abstract conditions, then they must have other relations which satisfy other purely abstract conditions.
Mathematics is thought moving in the sphere of complete abstraction from any particular instance of what it is talking about. So far is this view of mathematics from being obvious, that we can easily assure ourselves that it is not, even now, generally understood. For example, it is habitually thought that the certainty of mathematics is a reason for the certainty of our geometrical knowledge of the space of the physical universe. This is a delusion which has vitiated much philosophy in the past, and some philosophy in the present.