Look round this universe. What an immense profusion of beings, animated and organized, sensible and active! You admire this prodigious variety and fecundity. But inspect a little more narrowly these living existences, the only beings worth regarding. How hostile and destructive to each other! How insufficient all of them for their own happiness! How contemptible or odious to the spectator! The whole presents nothing but the idea of a blind Nature, inpregnated by a great vivifying principle, and pouring forth from her lap, without discernment or parental care, her maimed and abortive children.

The actual evolution of mathematical theories proceeds by a process of induction strictly analogous to the method of induction employed in building up the physical sciences; observation, comparison, classification, trial, and generalisation are essential in both cases. Not only are special results, obtained independently of one another, frequently seen to be really included in some generalisation, but branches of the subject which have been developed quite independently of one another are sometimes found to have connections which enable them to be synthesised in one single body of doctrine. The essential nature of mathematical thought manifests itself in the discernment of fundamental identity in the mathematical aspects of what are superficially very different domains. A striking example of this species of immanent identity of mathematical form was exhibited by the discovery of that distinguished mathematician … Major MacMahon, that all possible Latin squares are capable of enumeration by the consideration of certain differential operators. Here we have a case in which an enumeration, which appears to be not amenable to direct treatment, can actually be carried out in a simple manner when the underlying identity of the operation is recognised with that involved in certain operations due to differential operators, the calculus of which belongs superficially to a wholly different region of thought from that relating to Latin squares.

Thought-economy is most highly developed in mathematics, that science which has reached the highest formal development, and on which natural science so frequently calls for assistance. Strange as it may seem, the strength of mathematics lies in the avoidance of all unnecessary thoughts, in the utmost economy of thought-operations. The symbols of order, which we call numbers, form already a system of wonderful simplicity and economy. When in the multiplication of a number with several digits we employ the multiplication table and thus make use of previously accomplished results rather than to repeat them each time, when by the use of tables of logarithms we avoid new numerical calculations by replacing them by others long since performed, when we employ determinants instead of carrying through from the beginning the solution of a system of equations, when we decompose new integral expressions into others that are familiar,—we see in all this but a faint reflection of the intellectual activity of a Lagrange or Cauchy, who with the keen discernment of a military commander marshalls a whole troop of completed operations in the execution of a new one.

What, in fact, is mathematical discovery? It does not consist in making new combinations with mathematical entities that are already known. That can be done by anyone, and the combinations that could be so formed would be infinite in number, and the greater part of them would be absolutely devoid of interest. Discovery consists precisely in not constructing useless combinations, but in constructing those that are useful, which are an infinitely small minority. Discovery is discernment, selection.