But the proof of self-evident propositions may seem, to the uninitiated, a somewhat frivolous occupation. To this we might reply that it is often by no means self-evident that one obvious proposition follows from another obvious proposition; so that we are really discovering new truths when we prove what is evident by a method which is not evident. But a more interesting retort is, that since people have tried to prove obvious propositions, they have found that many of them are false. Self-evidence is often a mere will-o'-the-wisp, which is sure to lead us astray if we take it as our guide. For instance, nothing is plainer than that a whole always has more terms than a part, or that a number is increased by adding one to it. But these propositions are now known to be usually false. Most numbers are infinite, and if a number is infinite you may add ones to it as long as you like without disturbing it in the least. One of the merits of a proof is that it instils a certain doubt as to the result proved; and when what is obvious can be proved in some cases, but not in others, it becomes possible to suppose that in these other cases it is false.
The great master of the art of formal reasoning, among the men of our own day, is an Italian, Professor Peano, of the University of Turin.[12] He has reduced the greater part of mathematics (and he or his followers will, in time, have reduced the whole) to strict symbolic form, in which there are no words at all. In the ordinary mathematical books, there are no doubt fewer words than most readers would wish. Still, little phrases occur, such as therefore, let us assume, consider, or hence it follows. All these, however, are a concession, and are swept away by Professor Peano. For instance, if we wish to learn the whole of Arithmetic, Algebra, the Calculus, and indeed all that is usually called pure mathematics (except Geometry), we must start with a dictionary of three words. One symbol stands for zero, another for number, and a third for next after. What these ideas mean, it is necessary to know if you wish to become an arithmetician. But after symbols have been invented for these three ideas, not another word is required in the whole development. All future symbols are symbolically explained by means of these three. Even these three can be explained by means of the notions of relation and class; but this requires the Logic of Relations, which Professor Peano has never taken up. It must be admitted that what a mathematician has to know to begin with is not much. There are at most a dozen notions out of which all the notions in all pure mathematics (including Geometry) are compounded. Professor Peano, who is assisted by a very able school of young Italian disciples, has shown how this may be done; and although the method which he has invented is capable of being carried a good deal further than he has carried it, the honour of the pioneer must belong to him.
Two hundred years ago, Leibniz foresaw the science which Peano has perfected, and endeavoured to create it. He was prevented from succeeding by respect for the authority of Aristotle, whom he could not believe guilty of definite, formal fallacies; but the subject which he desired to create now exists, in spite of the patronising contempt with which his schemes have been treated by all superior persons. From this "Universal Characteristic," as he called it, he hoped for a solution of all problems, and an end to all disputes. "If controversies were to arise," he says, "there would be no more need of disputation between two philosophers than between two accountants. For it would suffice to take their pens in their hands, to sit down to their desks, and to say to each other (with a friend as witness, if they liked), 'Let us calculate.'" This optimism has now appeared to be somewhat excessive; there still are problems whose solution is doubtful, and disputes which calculation cannot decide. But over an enormous field of what was formerly controversial, Leibniz's dream has become sober fact. In the whole philosophy of mathematics, which used to be at least as full of doubt as any other part of philosophy, order and certainty have replaced the confusion and hesitation which formerly reigned. Philosophers, of course, have not yet discovered this fact, and continue to write on such subjects in the old way. But mathematicians, at least in Italy, have now the power of treating the principles of mathematics in an exact and masterly manner, by means of which the certainty of mathematics extends also to mathematical philosophy. Hence many of the topics which used to be placed among the great mysteries—for example, the natures of infinity, of continuity, of space, time and motion—are now no longer in any degree open to doubt or discussion. Those who wish to know the nature of these things need only read the works of such men as Peano or Georg Cantor; they will there find exact and indubitable expositions of all these quondam mysteries.
In this capricious world, nothing is more capricious than posthumous fame. One of the most notable examples of posterity's lack of judgment is the Eleatic Zeno. This man, who may be regarded as the founder of the philosophy of infinity, appears in Plato's Parmenides in the privileged position of instructor to Socrates. He invented four arguments, all immeasurably subtle and profound, to prove that motion is impossible, that Achilles can never overtake the tortoise, and that an arrow in flight is really at rest. After being refuted by Aristotle, and by every subsequent philosopher from that day to our own, these arguments were reinstated, and made the basis of a mathematical renaissance, by a German professor, who probably never dreamed of any connection between himself and Zeno. Weierstrass,[13] by strictly banishing from mathematics the use of infinitesimals, has at last shown that we live in an unchanging world, and that the arrow in its flight is truly at rest. Zeno's only error lay in inferring (if he did infer) that, because there is no such thing as a state of change, therefore the world is in the same state at any one time as at any other. This is a consequence which by no means follows; and in this respect, the German mathematician is more constructive than the ingenious Greek. Weierstrass has been able, by embodying his views in mathematics, where familiarity with truth eliminates the vulgar prejudices of common sense, to invest Zeno's paradoxes with the respectable air of platitudes; and if the result is less delightful to the lover of reason than Zeno's bold defiance, it is at any rate more calculated to appease the mass of academic mankind.
Zeno was concerned, as a matter of fact, with three problems, each presented by motion, but each more abstract than motion, and capable of a purely arithmetical treatment. These are the problems of the infinitesimal, the infinite, and continuity. To state clearly the difficulties involved, was to accomplish perhaps the hardest part of the philosopher's task. This was done by Zeno. From him to our own day, the finest intellects of each generation in turn attacked the problems, but achieved, broadly speaking, nothing. In our own time, however, three men—Weierstrass, Dedekind, and Cantor—have not merely advanced the three problems, but have completely solved them. The solutions, for those acquainted with mathematics, are so clear as to leave no longer the slightest doubt or difficulty. This achievement is probably the greatest of which our age has to boast; and I know of no age (except perhaps the golden age of Greece) which has a more convincing proof to offer of the transcendent genius of its great men. Of the three problems, that of the infinitesimal was solved by Weierstrass; the solution of the other two was begun by Dedekind, and definitively accomplished by Cantor.
The infinitesimal played formerly a great part in mathematics. It was introduced by the Greeks, who regarded a circle as differing infinitesimally from a polygon with a very large number of very small equal sides. It gradually grew in importance, until, when Leibniz invented the Infinitesimal Calculus, it seemed to become the fundamental notion of all higher mathematics. Carlyle tells, in his Frederick the Great, how Leibniz used to discourse to Queen Sophia Charlotte of Prussia concerning the infinitely little, and how she would reply that on that subject she needed no instruction—the behaviour of courtiers had made her thoroughly familiar with it. But philosophers and mathematicians—who for the most part had less acquaintance with courts—continued to discuss this topic, though without making any advance. The Calculus required continuity, and continuity was supposed to require the infinitely little; but nobody could discover what the infinitely little might be. It was plainly not quite zero, because a sufficiently large number of infinitesimals, added together, were seen to make up a finite whole. But nobody could point out any fraction which was not zero, and yet not finite. Thus there was a deadlock. But at last Weierstrass discovered that the infinitesimal was not needed at all, and that everything could be accomplished without it. Thus there was no longer any need to suppose that there was such a thing. Nowadays, therefore, mathematicians are more dignified than Leibniz: instead of talking about the infinitely small, they talk about the infinitely great—a subject which, however appropriate to monarchs, seems, unfortunately, to interest them even less than the infinitely little interested the monarchs to whom Leibniz discoursed.
The banishment of the infinitesimal has all sorts of odd consequences, to which one has to become gradually accustomed. For example, there is no such thing as the next moment. The interval between one moment and the next would have to be infinitesimal, since, if we take two moments with a finite interval between them, there are always other moments in the interval. Thus if there are to be no infinitesimals, no two moments are quite consecutive, but there are always other moments between any two. Hence there must be an infinite number of moments between any two; because if there were a finite number one would be nearest the first of the two moments, and therefore next to it. This might be thought to be a difficulty; but, as a matter of fact, it is here that the philosophy of the infinite comes in, and makes all straight.
The same sort of thing happens in space. If any piece of matter be cut in two, and then each part be halved, and so on, the bits will become smaller and smaller, and can theoretically be made as small as we please. However small they may be, they can still be cut up and made smaller still. But they will always have some finite size, however small they may be. We never reach the infinitesimal in this way, and no finite number of divisions will bring us to points. Nevertheless there are points, only these are not to be reached by successive divisions. Here again, the philosophy of the infinite shows us how this is possible, and why points are not infinitesimal lengths.
As regards motion and change, we get similarly curious results. People used to think that when a thing changes, it must be in a state of change, and that when a thing moves, it is in a state of motion. This is now known to be a mistake. When a body moves, all that can be said is that it is in one place at one time and in another at another. We must not say that it will be in a neighbouring place at the next instant, since there is no next instant. Philosophers often tell us that when a body is in motion, it changes its position within the instant. To this view Zeno long ago made the fatal retort that every body always is where it is; but a retort so simple and brief was not of the kind to which philosophers are accustomed to give weight, and they have continued down to our own day to repeat the same phrases which roused the Eleatic's destructive ardour. It was only recently that it became possible to explain motion in detail in accordance with Zeno's platitude, and in opposition to the philosopher's paradox. We may now at last indulge the comfortable belief that a body in motion is just as truly where it is as a body at rest. Motion consists merely in the fact that bodies are sometimes in one place and sometimes in another, and that they are at intermediate places at intermediate times. Only those who have waded through the quagmire of philosophic speculation on this subject can realise what a liberation from antique prejudices is involved in this simple and straightforward commonplace.
The philosophy of the infinitesimal, as we have just seen, is mainly negative. People used to believe in it, and now they have found out their mistake. The philosophy of the infinite, on the other hand, is wholly positive. It was formerly supposed that infinite numbers, and the mathematical infinite generally, were self-contradictory. But as it was obvious that there were infinities—for example, the number of numbers—the contradictions of infinity seemed unavoidable, and philosophy seemed to have wandered into a "cul-de-sac." This difficulty led to Kant's antinomies, and hence, more or less indirectly, to much of Hegel's dialectic method. Almost all current philosophy is upset by the fact (of which very few philosophers are as yet aware) that all the ancient and respectable contradictions in the notion of the infinite have been once for all disposed of. The method by which this has been done is most interesting and instructive. In the first place, though people had talked glibly about infinity ever since the beginnings of Greek thought, nobody had ever thought of asking, What is infinity? If any philosopher had been asked for a definition of infinity, he might have produced some unintelligible rigmarole, but he would certainly not have been able to give a definition that had any meaning at all. Twenty years ago, roughly speaking, Dedekind and Cantor asked this question, and, what is more remarkable, they answered it. They found, that is to say, a perfectly precise definition of an infinite number or an infinite collection of things. This was the first and perhaps the greatest step. It then remained to examine the supposed contradictions in this notion. Here Cantor proceeded in the only proper way. He took pairs of contradictory propositions, in which both sides of the contradiction would be usually regarded as demonstrable, and he strictly examined the supposed proofs. He found that all proofs adverse to infinity involved a certain principle, at first sight obviously true, but destructive, in its consequences, of almost all mathematics. The proofs favourable to infinity, on the other hand, involved no principle that had evil consequences. It thus appeared that common sense had allowed itself to be taken in by a specious maxim, and that, when once this maxim was rejected, all went well.