Science and Hypothesis/PART I
NUMBER AND MAGNITUDE.
ON THE NATURE OF MATHEMATICAL REASONING.
The very possibility of mathematical science seems an insoluble contradiction. If this science is only deductive in appearance, from whence is derived that perfect rigour which is challenged by none? If, on the contrary, all the propositions which it enunciates may be derived in order by the rules of formal logic, how is it that mathematics is not reduced to a gigantic tautology? The syllogism can teach us nothing essentially new, and if everything must spring from the principle of identity, then everything should be capable of being reduced to that principle. Are we then to admit that the enunciations of all the theorems with which so many volumes are filled, are only indirect ways of saying that A is A?
No doubt we may refer back to axioms which are at the source of all these reasonings. If it is felt that they cannot be reduced to the principle of contradiction, if we decline to see in them any more than experimental facts which have no part or lot in mathematical necessity, there is still one resource left to us: we may class them among à priori synthetic views. But this is no solution of the difficulty it is merely giving it a name; and even if the nature of the synthetic views had no longer for us any mystery, the contradiction would not have disappeared; it would have only been shirked. Syllogistic reasoning remains incapable of adding anything to the data that are given it; the data are reduced to axioms, and that is all we should find in the conclusions.
No theorem can be new unless a new axiom intervenes in its demonstration; reasoning can only give us immediately evident truths borrowed from direct intuition; it would only be an intermediary parasite. Should we not therefore have reason for asking if the syllogistic apparatus serves only to disguise what we have borrowed?
The contradiction will strike us the more if we open any book on mathematics; on every page the author announces his intention of generalising some proposition already known. Does the mathematical method proceed from the particular to the general, and, if so, how can it be called deductive?
Finally, if the science of number were merely analytical, or could be analytically derived from a few synthetic intuitions, it seems that a sufficiently powerful mind could with a single glance perceive all its truths; nay, one might even hope that some day a language would be invented simple enough for these truths to be made evident to any person of ordinary intelligence.
Even if these consequences are challenged, it must be granted that mathematical reasoning has of itself a kind of creative virtue, and is therefore to be distinguished from the syllogism. The difference must be profound. We shall not, for instance, find the key to the mystery in the frequent use of the rule by which the same uniform operation applied to two equal numbers will give identical results. All these modes of reasoning, whether or not reducible to the syllogism, properly so called, retain the analytical character, and ipso facto, lose their power.
The argument is an old one. Let us see how Leibnitz tried to show that two and two make four. I assume the number one to be defined, and also the operation x+1 — i.e., the adding of unity to a given number x. These definitions, whatever they may be, do not enter into the subsequent reasoning. I next define the numbers 2, 3, 4 by the equalities: —
(1) 1 + 1 = 2; (2) 2 + 1 = 3; (3) 3 + 1 = 4 and in the same way I define the operation x + 2 by the relation; (4) x + 2 = (x + 1) + 1. Given this, we have:
|2 + 2||=(2 + 1) + 1;||(def. 4).|
|(2 + 1) + 1||= 3 + 1||(def. 2).|
|3 + 1||=4||(def. 3).|
|whence 2 + 2||= 4||Q.E.D.|
It cannot be denied that this reasoning is purely analytical. But if we ask a mathematician, he will reply: "This is not a demonstration properly so called; it is a verification." We have confined ourselves to bringing together one or other of two purely conventional definitions, and we have verified their identity; nothing new has been learned. Verification differs from proof precisely because it is analytical, and because it leads to nothing. It leads to nothing because the conclusion is nothing but the premisses translated into another language. A real proof, on the other hand, is fruitful, because the conclusion is in a sense more general than the premisses. The equality 2 + 2 = 4 can be verified because it is particular. Each individual enunciation in mathematics may be always verified in the same way. But if mathematics could be reduced to a series of such verifications it would not be a science. A chess-player, for instance, does not create a science by winning a piece. There is no science but the science of the general. It may even be said that the object of the exact sciences is to dispense with these direct verifications.
Let us now see the geometer at work, and try to surprise some of his methods. The task is not without difficulty; it is not enough to open a book at random and to analyse any proof we may come across. First of all, geometry must be excluded, or the question becomes complicated by difficult problems relating to the role of the postulates, the nature and the origin of the idea of space. For analogous reasons we cannot avail ourselves of the infinitesimal calculus. We must seek mathematical thought where it has remained pure — i.e., in Arithmetic. But we still have to choose; in the higher parts of the theory of numbers the primitive mathematical ideas have already undergone so profound an elaboration that it becomes difficult to analyse them.
It is therefore at the beginning of Arithmetic that we must expect to find the explanation we seek; but it happens that it is precisely in the proofs of the most elementary theorems that the authors of classic treatises have displayed the least precision and rigour. We may not impute this to them as a crime; they have obeyed a necessity. Beginners are not prepared for real mathematical rigour; they would see in it nothing but empty, tedious subtleties. It would be waste of time to try to make them more exacting; they have to pass rapidly and without stopping over the road which was trodden slowly by the founders of the science.
Why is so long a preparation necessary to habituate oneself to this perfect rigour, which it would seem should naturally be imposed on all minds? This is a logical and psychological problem which is well worthy of study. But we shall not dwell on it; it is foreign to our subject. All I wish to insist on is, that we shall fail in our purpose unless we reconstruct the proofs of the elementary theorems, and give them, not the rough form in which they are left so as not to weary the beginner, but the form which will satisfy the skilled geometer.
I assume that the operation x + 1 has been defined; it consists in adding the number 1 to a given number x. Whatever may be said of this definition, it does not enter into the subsequent reasoning.
We now have to define the operation x + a, which consists in adding the number a to any given number x. Suppose that we have defined the operation x + (a - 1); the operation x + a will be defined by the equality: (1) x + a = [x + (a - 1)] + 1. We shall know what x + a is when we know what x + (a - 1) is, and as I have assumed that to start with we know what x + 1 is, we can define successively and "by recurrence" the operations x + 2, x + 3, etc. This definition deserves a moment's attention; it is of a particular nature which distinguishes it even at this stage from the purely logical definition; the equality (1), in fact, contains an infinite number of distinct definitions, each having only one meaning when we know the meaning of its predecessor.
Associative. — I say that a + (b + c) = (a + b) + c; in fact, the theorem is true for c = 1. It may then be written a + (b + 1) = (a + b) + 1; which, remembering the difference of notation, is nothing but the equality (1) by which I have just defined addition. Assume the theorem true for c = γ, I say that it will be true for c = γ + 1. Let (a + b) + γ = a + (b + γ), it follows that [(a + b) + γ] + 1 = [a + (b + γ)] + 1; or by def. (1) — (a + b) + (γ + 1) = a + (b + γ + 1) = a + [b + (γ + 1)], which shows by a series of purely analytical deductions that the theorem is true for γ + 1. Being true for c = 1, we see that it is successively true for c = 2, c = 3, etc.
Commutative. (1) I say that a + 1 = 1 + a. The theorem is evidently true for a = 1; we can verify by purely analytical reasoning that if it is true for a = γ it will be true for a = γ + 1. Now, it is true for a = 1, and therefore is true for a = 2, a = 3, and so on. This is what is meant by saying that the proof is demonstrated "by recurrence."
(2) I say that a + b = b + a. The theorem has just been shown to hold good for b = 1, and it may be verified analytically that if it is true for b = β it will be true for b = β + 1. The proposition is thus established by recurrence.
We shall define multiplication by the equalities: (1) a × 1 = a. (2) a × b= [a × (b − 1)] + a. Both of these include an infinite number of definitions; having defined a × 1, it enables us to define in succession a × 2, a × 3, and so on.
Distributive. — I say that (a + b) × c = (a × c) + (b × c). We can verify analytically that the theorem is true for c = 1; then if it is true for c = γ, it will be true for c = γ + 1. The proposition is then proved by recurrence.
Commutative. — (1) I say that a × 1 = 1 × a. The theorem is obvious for a = 1. We can verify analytically that if it is true for a = α, it will be true for a = α + 1.
(2) I say that a × b = b × a. The theorem has just been proved for b = 1. We can verify analytically that if it be true for b = β it will be true for b = β + 1.
This monotonous series of reasonings may now be laid aside; but their very monotony brings vividly to light the process, which is uniform, and is met again at every step. The process is proof by recurrence. We first show that a theorem is true for n = 1; we then show that if it is true for n - 1 it is true for n, and we conclude that it is true for all integers. We have now seen how it may be used for the proof of the rules of addition and multiplication — that is to say, for the rules of the algebraical calculus. This calculus is an instrument of transformation which lends itself to many more different combinations than the simple syllogism; but it is still a purely analytical instrument, and is incapable of teaching us anything new. If mathematics had no other instrument, it would immediately be arrested in its development; but it has recourse anew to the same process — i.e., to reasoning by recurrence, and it can continue its forward march. Then if we look carefully, we find this mode of reasoning at every step, either under the simple form which we have just given to it, or under a more or less modified form. It is therefore mathematical reasoning par excellence, and we must examine it closer.
The essential characteristic of reasoning by recurrence is that it contains, condensed, so to speak, in a single formula, an infinite number of syllogisms. We shall see this more clearly if we enunciate the syllogisms one after another. They follow one another, if one may use the expression, in a cascade. The following are the hypothetical syllogisms: — The theorem is true of the number 1. Now, if it is true of 1, it is true of 2; therefore it is true of 2. Now, if it is true of 2, it is true of 3; hence it is true of 3, and so on. We see that the conclusion of each syllogism serves as the minor of its successor. Further, the majors of all our syllogisms may be reduced to a single form. If the theorem is true of n - 1, it is true of n.
We see, then, that in reasoning by recurrence we confine ourselves to the enunciation of the minor of the first syllogism, and the general formula which contains as particular cases all the majors. This unending series of syllogisms is thus reduced to a phrase of a few lines.
It is now easy to understand why every particular consequence of a theorem may, as I have above explained, be verified by purely analytical processes. If, instead of proving that our theorem is true for all numbers, we only wish to show that it is true for the number 6 for instance, it will be enough to establish the first five syllogisms in our cascade. We shall require 9 if we wish to prove it for the number 10; for a greater number we shall require more still; but however great the number may be we shall always reach it, and the analytical verification will always be possible. But however far we went we should never reach the general theorem applicable to all numbers, which alone is the object of science. To reach it we should require an infinite number of syllogisms, and we should have to cross an abyss which the patience of the analyst, restricted to the resources of formal logic, will never succeed in crossing.
I asked at the outset why we cannot conceive of a mind powerful enough to see at a glance the whole body of mathematical truth. The answer is now easy. A chess-player can combine for four or five moves ahead; but, however extraordinary a player he may be, he cannot prepare for more than a finite number of moves. If he applies his faculties to Arithmetic, he cannot conceive its general truths by direct intuition alone; to prove even the smallest theorem he must use reasoning by recurrence, for that is the only instrument which enables us to pass from the finite to the infinite. This instrument is always useful, for it enables us to leap over as many stages as we wish; it frees us from the necessity of long, tedious, and monotonous verifications which would rapidly become impracticable. Then when we take in hand the general theorem it becomes indispensable, for otherwise we should ever be approaching the analytical verification without ever actually reaching it. In this domain of Arithmetic we may think ourselves very far from the infinitesimal analysis, but the idea of mathematical infinity is already playing a preponderating part, and without it there would be no science at all, because there would be nothing general.
The views upon which reasoning by recurrence is based may be exhibited in other forms; we may say, for instance, that in any finite collection of different integers there is always one which is smaller than any other. We may readily pass from one enunciation to another, and thus give our selves the illusion of having proved that reasoning by recurrence is legitimate. But we shall always be brought to a full stop — we shall always come to an indemonstrable axiom, which will at bottom be but the proposition we had to prove translated into another language. We cannot therefore escape the conclusion that the rule of reasoning by recurrence is irreducible to the principle of contradiction. Nor can the rule come to us from experiment. Experiment may teach us that the rule is true for the first ten or the first hundred numbers, for instance; it will not bring us to the indefinite series of numbers, but only to a more or less long, but always limited, portion of the series.
Now, if that were all that is in question, the principle of contradiction would be sufficient, it would always enable us to develop as many syllogisms as we wished. It is only when it is a question of a single formula to embrace an infinite number of syllogisms that this principle breaks down, and there, too, experiment is powerless to aid. This rule, inaccessible to analytical proof and to experiment, is the exact type of the à priori synthetic intuition. On the other hand, we cannot see in it a convention as in the case of the postulates of geometry.
Why then is this view imposed upon us with such an irresistible weight of evidence? It is because it is only the affirmation of the power of the mind which knows it can conceive of the indefinite repetition of the same act, when the act is once possible. The mind has a direct intuition of this power, and experiment can only be for it an opportunity of using it, and thereby of becoming conscious of it.
But it will be said, if the legitimacy of reasoning by recurrence cannot be established by experiment alone, is it so with experiment aided by induction? We see successively that a theorem is true of the number 1, of the number 2, of the number 3, and so on — the law is manifest, we say, and it is so on the same ground that every physical law is true which is based on a very large but limited number of observations.
It cannot escape our notice that here is a striking analogy with the usual processes of induction. But an essential difference exists. Induction applied to the physical sciences is always uncertain, because it is based on the belief in a general order of the universe, an order which is external to us. Mathematical induction — i.e., proof by recurrence — is, on the contrary, necessarily imposed on us, because it is only the affirmation of a property of the mind itself.
Mathematicians, as I have said before, always endeavour to generalise the propositions they have obtained. To seek no further example, we have just shown the equality, a + 1 = 1 + a, and we then used it to establish the equality, a + b = b + a, which is obviously more general. Mathematics may, therefore, like the other sciences, proceed from the particular to the general. This is a fact which might otherwise have appeared incomprehensible to us at the beginning of this study, but which has no longer anything mysterious about it, since we have ascertained the analogies between proof by recurrence and ordinary induction.
No doubt mathematical recurrent reasoning and physical inductive reasoning are based on different foundations, but they move in parallel lines and in the same direction — namely, from the particular to the general.
Let us examine the case a little more closely. To prove the equality a + 2 = 2 + a......(1), we need only apply the rule a + 1 = 1 + a, twice, and write a + 2 = a + 1 + 1 = 1 + a + 1 = 1 + 1 + a = 2 + a......(2).
The equality thus deduced by purely analytical means is not, however, a simple particular case. It is something quite different. We may not therefore even say in the really analytical and deductive part of mathematical reasoning that we proceed from the general to the particular in the ordinary sense of the words. The two sides of the equality (2) are merely more complicated combinations than the two sides of the equality (1), and analysis only serves to separate the elements which enter into these combinations and to study their relations.
Mathematicians therefore proceed "by construction," they "construct" more complicated combinations. When they analyse these combinations, these aggregates, so to speak, into their primitive elements, they see the relations of the elements and deduce the relations of the aggregates themselves. The process is purely analytical, but it is not a passing from the general to the particular, for the aggregates obviously cannot be regarded as more particular than their elements.
Great importance has been rightly attached to this process of "construction," and some claim to see in it the necessary and sufficient condition of the progress of the exact sciences. Necessary, no doubt, but not sufficient! For a construction to be useful and not mere waste of mental effort, for it to serve as a stepping-stone to higher things, it must first of all possess a kind of unity enabling us to see something more than the juxtaposition of its elements. Or more accurately, there must be some advantage in considering the construction rather than the elements themselves. What can this advantage be? Why reason on a polygon, for instance, which is always decomposable into triangles, and not on elementary triangles? It is because there are properties of polygons of any number of sides, and they can be immediately applied to any particular kind of polygon. In most cases it is only after long efforts that those properties can be discovered, by directly studying the relations of elementary triangles. If the quadrilateral is anything more than the juxtaposition of two triangles, it is because it is of the polygon type.
A construction only becomes interesting when it can be placed side by side with other analogous constructions for forming species of the same genus. To do this we must necessarily go back from the particular to the general, ascending one or more steps. The analytical process "by construction" does not compel us to descend, but it leaves us at the same level. We can only ascend by mathematical induction, for from it alone can we learn something new. Without the aid of this induction, which in certain respects differs from, but is as fruitful as, physical induction, construction would be powerless to create science.
Let me observe, in conclusion, that this induction is only possible if the same operation can be repeated indefinitely. That is why the theory of chess can never become a science, for the different moves of the same piece are limited and do not resemble each other.
MATHEMATICAL MAGNITUDE AND EXPERIMENT.
If we want to know what the mathematicians mean by a continuum, it is useless to appeal to geometry. The geometer is always seeking, more or less, to represent to himself the figures he is studying, but his representations are only instruments to him; he uses space in his geometry just as he uses chalk; and further, too much importance must not be attached to accidents which are often nothing more than the whiteness of the chalk.
The pure analyst has not to dread this pitfall. He has disengaged mathematics from all extraneous elements, and he is in a position to answer our question: — "Tell me exactly what this continuum is, about which mathematicians reason." Many analysts who reflect on their art have already done so — M. Tannery, for instance, in his Introduction à la théorie des Fonctions d'une variable.
Let us start with the integers. Between any two consecutive sets, intercalate one or more intermediary sets, and then between these sets others again, and so on indefinitely. We thus get an unlimited number of terms, and these will be the numbers which we call fractional, rational, or commensurable. But this is not yet all; between these terms, which, be it marked, are already infinite in number, other terms are intercalated, and these are called irrational or incommensurable.
Before going any further, let me make a preliminary remark. The continuum thus conceived is no longer a collection of individuals arranged in a certain order, infinite in number, it is true, but external the one to the other. This is not the ordinary conception in which it is supposed that between the elements of the continuum exists an intimate connection making of it one whole, in which the point has no existence previous to the line, but the line does exist previous to the point. Multiplicity alone subsists, unity has disappeared — "the continuum is unity in multiplicity,“ according to the celebrated formula. The analysts have even less reason to define their continuum as they do, since it is always on this that they reason when they are particularly proud of their rigour. It is enough to warn the reader that the real mathematical continuum is quite different from that of the physicists and from that of the metaphysicians.
It may also be said, perhaps, that mathematicians who are contented with this definition are the dupes of words, that the nature of each of these sets should be precisely indicated, that it should be explained how they are to be intercalated, and that it should be shown how it is possible to do it. This, however, would be wrong; the only property of the sets which comes into the reasoning is that of preceding or succeeding these or those other sets; this alone should therefore intervene in the definition. So we need not concern ourselves with the manner in which the sets are intercalated, and no one will doubt the possibility of the operation if he only remembers that "possible" in the language of geometers simply means exempt from contradiction. But our definition is not yet complete, and we come back to it after this rather long digression.
Definition of Incommensurables. — The mathematicians of the Berlin school, and Kronecker in particular, have devoted themselves to constructing this continuous scale of irrational and fractional numbers without using any other materials than the integer. The mathematical continuum from this point of view would be a pure creation of the mind in which experiment would have no part.
The idea of rational number not seeming to present to them any difficulty, they have confined their attention mainly to defining incommensurable numbers. But before reproducing their definition here, I must make an observation that will allay the astonishment which this will not fail to provoke in readers who are but little familiar with the habits of geometers.
Mathematicians do not study objects, but the relations between objects; to them it is a matter of indifference if these objects are replaced by others, provided that the relations do not change. Matter does not engage their attention, they are interested by form alone.
If we did not remember it, we could hardly understand that Kronecker gives the name of incommensurable number to a simple symbol — that is to say, something very different from the idea we think we ought to have of a quantity which should be measurable and almost tangible.
Let us see now what is Kronecker's definition. Commensurable numbers may be divided into classes in an infinite number of ways, subject to the condition that any number whatever of the first class is greater than any number of the second. It may happen that among the numbers of the first class there is one which is smaller than all the rest; if, for instance, we arrange in the first class all the numbers greater than 2, and 2 itself, and in the second class all the numbers smaller than 2, it is clear that 2 will be the smallest of all the numbers of the first class. The number 2 may therefore be chosen as the symbol of this division.
It may happen, on the contrary, that in the second class there is one which is greater than all the rest. This is what takes place, for example, if the first class comprises all the numbers greater than 2, and if, in the second, are all the numbers less than 2, and 2 itself. Here again the number 2 might be chosen as the symbol of this division.
But it may equally well happen that we can find neither in the first class a number smaller than all the rest, nor in the second class a number greater than all the rest. Suppose, for instance, we place in the first class all the numbers whose squares are greater than 2, and in the second all the numbers whose squares are smaller than 2. We know that in neither of them is a number whose square is equal to 2. Evidently there will be in the first class no number which is smaller than all the rest, for however near the square of a number may be to 2, we can always find a commensurable whose square is still nearer to 2. From Kronecker's point of view, the incommensurable number √ is nothing but the symbol of this particular method of division of commensurable numbers; and to each mode of repartition corresponds in this way a number, commensurable or not, which serves as a symbol. But to be satisfied with this would be to forget the origin of these symbols; it remains to explain how we have been led to attribute to them a kind of concrete existence, and on the other hand, does not the difficulty begin with fractions? Should we have the notion of these numbers if we did not previously know a matter which we conceive as infinitely divisible — i.e., as a continuum?
The Physical Continuum. — We are next led to ask if the idea of the mathematical continuum is not simply drawn from experiment. If that be so, the rough data of experiment, which are our sensations, could be measured. We might, indeed, be tempted to believe that this is so, for in recent times there has been an attempt to measure them, and a law has even been formulated, known as Fechner's law, according to which sensation is proportional to the logarithm of the stimulus. But if we examine the experiments by which the endeavour has been made to establish this law, we shall be led to a diametrically opposite conclusion. It has, for instance, been observed that a weight A of 10 grammes and a weight B of 11 grammes produced identical sensations, that the weight B could no longer be distinguished from a weight C of 12 grammes, but that the weight A was readily distinguished from the weight C. Thus the rough results of the experiments may be expressed by the following relations: A = B, B = C, A < C, which may be regarded as the formula of the physical continuum. But here is an intolerable disagreement with the law of contradiction, and the necessity of banishing this disagreement has compelled us to invent the mathematical continuum. We are therefore forced to conclude that this notion has been created entirely by the mind, but it is experiment that has provided the opportunity. We cannot believe that two quantities which are equal to a third are not equal to one another, and we are thus led to suppose that A is different from B, and B from C, and that if we have not been aware of this, it is due to the imperfections of our senses.
The Creation of the Mathematical Continuum: First Stage. — So far it would suffice, in order to account for facts, to intercalate between A and B a small number of terms which would remain discrete. What happens now if we have recourse to some instrument to make up for the weakness of our senses? If, for example, we use a microscope? Such terms as A and B, which before were indistinguishable from one another, appear now to be distinct: but between A and B, which are distinct, is intercalated another new term D, which we can distinguish neither from A nor from B. Although we may use the most delicate methods, the rough results of our experiments will always present the characters of the physical continuum with the contradiction which is inherent in it. We only escape from it by incessantly intercalating new terms between the terms already distinguished, and this operation must be pursued indefinitely. We might conceive that it would be possible to stop if we could imagine an instrument powerful enough to decompose the physical continuum into discrete elements, just as the telescope resolves the Milky Way into stars. But this we cannot imagine; it is always with our senses that we use our instruments; it is with the eye that we observe the image magnified by the microscope, and this image must therefore always retain the characters of visual sensation, and therefore those of the physical continuum.
Nothing distinguishes a length directly observed from half that length doubled by the microscope. The whole is homogeneous to the part; and there is a fresh contradiction — or rather there would be one if the number of the terms were supposed to be finite; it is clear that the part containing less terms than the whole cannot be similar to the whole. The contradiction ceases as soon as the number of terms is regarded as infinite. There is nothing, for example, to prevent us from regarding the aggregate of integers as similar to the aggregate of even numbers, which is however only a part of it; in fact, to each integer corresponds another even number which is its double. But it is not only to escape this contradiction contained in the empiric data that the mind is led to create the concept of a continuum formed of an indefinite number of terms.
Here everything takes place just as in the series of the integers. We have the faculty of conceiving that a unit may be added to a collection of units. Thanks to experiment, we have had the opportunity of exercising this faculty and are conscious of it; but from this fact we feel that our power is unlimited, and that we can count indefinitely, although we have never had to count more than a finite number of objects. In the same way, as soon as we have intercalated terms between two consecutive terms of a series, we feel that this operation may be continued without limit, and that, so to speak, there is no intrinsic reason for stopping. As an abbreviation, I may give the name of a mathematical continuum of the first order to every aggregate of terms formed after the same law as the scale of commensurable numbers. If, then, we intercalate new sets according to the laws of incommensurable numbers, we obtain what may be called a continuum of the second order.
Second Stage. — We have only taken our first step. We have explained the origin of continuums of the first order; we must now see why this is not sufficient, and why the incommensurable numbers had to be invented.
If we try to imagine a line, it must have the characters of the physical continuum — that is to say, our representation must have a certain breadth. Two lines will therefore appear to us under the form of two narrow bands, and if we are content with this rough image, it is clear that where two lines cross they must have some common part. But the pure geometer makes one further effort; without entirely renouncing the aid of his senses, he tries to imagine a line without breadth and a point without size. This he can do only by imagining a line as the limit towards which tends a band that is growing thinner and thinner, and the point as the limit towards which is tending an area that is growing smaller and smaller. Our two bands, however narrow they may be, will always have a common area; the smaller they are the smaller it will be, and its limit is what the geometer calls a point. This is why it is said that the two lines which cross must have a common point, and this truth seems intuitive.
But a contradiction would be implied if we conceived of lines as continuums of the first order — i.e., the lines traced by the geometer should only give us points, the co-ordinates of which are rational numbers. The contradiction would be manifest if we were, for instance, to assert the existence of lines and circles. It is clear, in fact, that if the points whose co-ordinates are commensurable were alone regarded as real, the in-circle of a square and the diagonal of the square would not intersect, since the co-ordinates of the point of intersection are incommensurable.
Even then we should have only certain incommensurable numbers, and not all these numbers.
But let us imagine a line divided into two half-rays (demi-droites). Each of these half-rays will appear to our minds as a band of a certain breadth; these bands will fit close together, because there must be no interval between them. The common part will appear to us to be a point which will still remain as we imagine the bands to become thinner and thinner, so that we admit as an intuitive truth that if a line be divided into two half-rays the common frontier of these half-rays is a point. Here we recognise the conception of Kronecker, in which an incommensurable number was regarded as the common frontier of two classes of rational numbers. Such is the origin of the continuum of the second order, which is the mathematical continuum properly so called.
Summary. — To sum up, the mind has the faculty of creating symbols, and it is thus that it has constructed the mathematical continuum, which is only a particular system of symbols. The only limit to its power is the necessity of avoiding all contradiction; but the mind only makes use of it when experiment gives a reason for it.
In the case with which we are concerned, the reason is given by the idea of the physical continuum, drawn from the rough data of the senses. But this idea leads to a series of contradictions from each of which in turn we must be freed. In this way we are forced to imagine a more and more complicated system of symbols. That on which we shall dwell is not merely exempt from internal contradiction, — it was so already at all the steps we have taken, — but it is no longer in contradiction with the various propositions which are called intuitive, and which are derived from more or less elaborate empirical notions.
Measurable Magnitude. — So far we have not spoken of the measure of magnitudes; we can tell if any one of them is greater than any other, but we cannot say that it is two or three times as large.
So far, I have only considered the order in which the terms are arranged; but that is not sufficient for most applications. We must learn how to compare the interval which separates any two terms. On this condition alone will the continuum become measurable, and the operations of arithmetic be applicable. This can only be done by the aid of a new and special convention; and this convention is, that in such a case the interval between the terms A and B is equal to the interval which separates C and D. For instance, we started with the integers, and between two consecutive sets we intercalated n intermediary sets; by convention we now assume these new sets to be equidistant. This is one of the ways of defining the addition of two magnitudes; for if the interval AB is by definition equal to the interval CD, the interval AD will by definition be the sum of the intervals AB and AC. This definition is very largely, but not altogether, arbitrary. It must satisfy certain conditions — the commutative and associative laws of addition, for instance; but, provided the definition we choose satisfies these laws, the choice is indifferent, and we need not state it precisely.
Remarks. — We are now in a position to discuss several important questions.
(1) Is the creative power of the mind exhausted by the creation of the mathematical continuum? The answer is in the negative, and this is shown in a very striking manner by the work of Du Bois Reymond.
We know that mathematicians distinguish between infinitesimals of different orders, and that infinitesimals of the second order are infinitely small, not only absolutely so, but also in relation to those of the first order. It is not difficult to imagine infinitesimals of fractional or even of irrational order, and here once more we find the mathematical continuum which has been dealt with in the preceding pages. Further, there are infinitesimals which are infinitely small with reference to those of the first order, and infinitely large with respect to the order 1 + ε, however small ε may be. Here, then, are new terms intercalated in our series; and if I may be permitted to revert to the terminology used in the preceding pages, a terminology which is very convenient, although it has not been consecrated by usage, I shall say that we have created a kind of continuum of the third order.
It is an easy matter to go further, but it is idle to do so, for we would only be imagining symbols without any possible application, and no one will dream of doing that. This continuum of the third order, to which we are led by the consideration of the different orders of infinitesimals, is in itself of but little use and hardly worth quoting. Geometers look on it as a mere curiosity. The mind only uses its creative faculty when experiment requires it.
(2) When we are once in possession of the conception of the mathematical continuum, are we protected from contradictions analogous to those which gave it birth? No, and the following is an instance: —
He is a savant indeed who will not take it as evident that every curve has a tangent; and, in fact, if we think of a curve and a straight line as two narrow bands, we can always arrange them in such a way that they have a common part without intersecting. Suppose now that the breadth of the bands diminishes indefinitely: the common part will still remain, and in the limit, so to speak, the two lines will have a common point, although they do not intersect — i.e., they will touch. The geometer who reasons in this way is only doing what we have done when we proved that two lines which intersect have a common point, and his intuition might also seem to be quite legitimate. But this is not the case. We can show that there are curves which have no tangent, if we define such a curve as an analytical continuum of the second order. No doubt some artifice analogous to those we have discussed above would enable us to get rid of this contradiction, but as the latter is only met with in very exceptional cases, we need not trouble to do so. Instead of endeavouring to reconcile intuition and analysis, we are content to sacrifice one of them, and as analysis must be flawless, intuition must go to the wall.
The Physical Continuum of several Dimensions. — We have discussed above the physical continuum as it is derived from the immediate evidence of our senses — or, if the reader prefers, from the rough results of Fechner's experiments; I have shown that these results are summed up in the contradictory formulae: — A = B, B = C, A < C.
Let us now see how this notion is generalised, and how from it may be derived the concept of continuums of several dimensions. Consider any two aggregates of sensations. We can either distinguish between them, or we cannot; just as in Fechner's experiments the weight of 10 grammes could be distinguished from the weight of 12 grammes, but not from the weight of 11 grammes. This is all that is required to construct the continuum of several dimensions.
Let us call one of these aggregates of sensations an element. It will be in a measure analogous to the point of the mathematicians, but will not be, however, the same thing. We cannot say that our element has no size, for we cannot distinguish it from its immediate neighbours, and it is thus surrounded by a kind of fog. If the astronomical comparison may be allowed, our "elements" would be like nebulae, whereas the mathematical points would be like stars.
If this be granted, a system of elements will form a continuum, if we can pass from any one of them to any other by a series of consecutive elements such that each cannot be distinguished from its predecessor. This linear series is to the line of the mathematician what the isolated element was to the point.
Before going further, I must explain what is meant by a cut. Let us consider a continuum C, and remove from it certain of its elements, which for a moment we shall regard as no longer belonging to the continuum. We shall call the aggregate of elements thus removed a cut. By means of this cut, the continuum C will be subdivided into several distinct continuums; the aggregate of elements which remain will cease to form a single continuum. There will then be on C two elements, A and B, which we must look upon as belonging to two distinct continuums; and we see that this must be so, because it will be impossible to find a linear series of consecutive elements of C (each of the elements indistinguishable from the preceding, the first being A and the last B), unless one of the elements of this series is indistinguishable from one of the elements of the cut.
It may happen, on the contrary, that the cut may not be sufficient to subdivide the continuum C. To classify the physical continuums, we must first of all ascertain the nature of the cuts which must be made in order to subdivide them. If a physical continuum, C, may be subdivided by a cut reducing to a finite number of elements, all distinguishable the one from the other (and therefore forming neither one continuum nor several continuums), we shall call C a continuum of one dimension. If, on the contrary, C can only be subdivided by cuts which are themselves continuums, we shall say that C is of several dimensions; if the cuts are continuums of one dimension, then we shall say that C has two dimensions; if cuts of two dimensions are sufficient, we shall say that C is of three dimensions, and so on. Thus the notion of the physical continuum of several dimensions is defined, thanks to the very simple fact, that two aggregates of sensations may be distinguishable or indistinguishable.
The Mathematical Continuum of Several Dimensions. — The conception of the mathematical continuum of n dimensions may be led up to quite naturally by a process similar to that which we discussed at the beginning of this chapter. A point of such a continuum is defined by a system of n distinct magnitudes which we call its co-ordinates.
The magnitudes need not always be measurable; there is, for instance, one branch of geometry independent of the measure of magnitudes, in which we are only concerned with knowing, for example, if, on a curve ABC, the point B is between the points A and C, and in which it is immaterial whether the arc AB is equal to or twice the arc BC. This branch is called Analysis Situs. It contains quite a large body of doctrine which has attracted the attention of the greatest geometers, and from which are derived, one from another, a whole series of remarkable theorems. What distinguishes these theorems from those of ordinary geometry is that they are purely qualitative. They are still true if the figures are copied by an unskilful draughtsman, with the result that the proportions are distorted and the straight lines replaced by lines which are more or less curved.
As soon as measurement is introduced into the continuum we have just defined, the continuum becomes space, and geometry is born. But the discussion of this is reserved for Part II.
- For (γ + 1) + 1 = (1 + γ) + 1 = 1 + (γ + 1). — [Tr.]