# Popular Science Monthly/Volume 17/August 1880/Algebras, Spaces, Logics

AN UNTECHNICAL ILLUSTRATION OF DEVELOPMENT IN PURE SCIENCE. By GEORGE BRUCE HALSTED, A. M., Ph. D.
WHEN at the making of a new university a lot of specialists were thrown together, I was impressed by their lack of information in regard to the progress of the eldest of the family of sciences, mathematics. One fellow, a graduate of the University of Virginia, said that, from what had been taught him, he had come to believe mathematics finished by Newton, and now he was puzzled by a talk of progress. Another, an engineer thoroughly grounded in what the previous one had considered all possible mathematic, asked what it could mean—this turning out of new algebras, this new geometrizing? He had heard that metaphysics was interminable, and knew that a pseudo-philosopher could spin out metaphysic by the yard; was this new mathematic something of the same sort, or was it worth his looking into?—and so on. Let me, then, try to give an untechnical illustration of the fact that mathematic, though with a safe start of perhaps a thousand years over the other sciences, may now lay claim to be more than ever fundamentally and rapidly advancing, developing. From the vast field of choice, let us, to fix the attention, confine ourselves simply to what is involved in the addition of a single letter, Algebra has been and still is defined as universal arithmetic, and is most commonly thought of as simply a generalized statement of the truths about natural numbers. And historically such it was; as such it started, and was indeed a very gradual growth. In the first known treatise on the subject by Diophantus, in the third or fourth century, the few symbols employed are mere abbreviations for ordinary words. The Arabians, who obtained their algebra from the Hindoos, did little or nothing toward its extension, though it retains in its name an Arabic touch, and the word The next step, a vast one, was definitely accomplished, when, in 1637, Descartes published his "Coördinate Geometry," involving an algebra of form. Sprouting from a numerical stem, this soon transcends merely metrical limits with a beautiful power of giving demonstrations projective, positional, descriptive. It matters not whether you prefer to think of this as a new algebra or as a new application of the first algebra of natural number. But, if you take the second opinion, you should know that you do so because the child is almost identical with the parent in formal algorithm. And there is a word coming into general use in pure science, yet whose present meaning is scarcely to be gained from dictionaries. It is an interesting word both in its birth and growth. When the Greek learning passed to the Arabs, so did the word ὰριθμὁς, as it has come to us in arithmetic. When the Arab and Moorish learning passed into Europe, the Suppose in counting we make a mark for each thing and connect them by Stifel's sign of addition, 1 1 1 . . . . . 1. Then, if we go over them one, by one we have a mark to register our result. But, even without taking the trouble to count them, we can say they will amount to some number and call it "a." But suppose we have to count a lot of the same sort of rows all equal, we know that an actual count will give for each the same number which we have called "a," and we will get a as many times as we have rows; that is, a number of times, say These are the three direct operations, seemingly mere devices to spare a little trouble. You could hardly believe the conquest of the thought-world was lying dormant in them. Yet their undoing or inversion leads to the four inverse operations, and the seven, together with their working laws, are the algorithm of your algebra. So are they also of Descartes's application of algebra to form, and even Newton's fluxional calculus to a certain extent presupposes them, so that it was looked upon rather as an extension, a generalization, than as a new algebra of infinitesimals formulating its own working algorithm. Therefore, much as we prefer Newton's character, and believe in his prior invention of the calculus, it is to Leibnitz that we assign the high honor first to have grasped the plural whose growth we are illustrating. After two of the most extraordinary of modern algebras were discovered and published, it was found that the possibility of each had been indicated by Leibnitz more than a century and a half before. Toward the modern deep study of the formal laws involved in a pure science, Lagrange and Laplace led on also by the conclusion that theorems proved to be true for symbols representing numbers are also true for all symbols subject to the same laws of combination. Hence followed the principle of the separation of symbols of operation from those of quantity, with the "calculus of operations." The world of mind had now developed sufficiently to appreciate the definition of In the history of science it is a worthy illustration of the rhythmic character of great advance that, as if by an irruption of genius, the same year (1844) published three of the most fundamentally new and interesting modern algebras, and stamped for immortality the names of Rowan Hamilton, Hermann Grassmann, and George Boole. Among the first men to systematically consider symbols combining according to laws more complicated than those of natural number was Sir Rowan Hamilton. After a struggle of ten years from 1833, his genius enabled him to escape from the rut of common thought by casting away the commutative principle in multiplication, which in numbers formulates the fact that twice three gives precisely the same result as thrice two. So, in 1843, he presented to the Irish Academy the principles of the algebra of quaternions, and published an article on the subject in the "Philosophical Magazine" in 1844. At the same time had appeared in Germany Grassmann's "Ausdehnungslehre," a more extraordinary algebra, which contains quaternions as a special case. But let me pause here. We have sufficiently shown our plural without even mentioning Cayley and Sylvester's invariantive algebra; Riemann's theory of a complex variable; the algebra of polar elements; or any of the many others that have sprung or are springing into being. As for pluralizing the idea of space, that would follow very briefly if only I might talk in terms of the "Ausdehnungslehre." Quaternions, as Professor Tait has said, is content with one flat space; but Grassmann, in a little appendix of only two pages, has shown the ability of his extensive algebra to cope with the modern double plural of the old idea of space. Before this idea had germinated, while therefore there was no real use for the word "spaces," the parsimony of language applied it to mean As an eternal treasure and model to the world the Greeks bequeathed the synthetic science of a space. This is the particular space in which you believe, and are sure you and the stars are inhabiting. You will be glad to know that it has been made a fitting monument to the writer of the greatest classic, and inscribed with the name of Euclid. This Euclidean space is a tridimensional homaloid, and so, in distinction from it, spaces with positive or negative curvature are called non-Euclidean. Through all the centuries up to the present Euclid's space contained at least the thought-world. The space analyzed in Euclid's "Elements" was supposed to be the only possible form, the only non-contradictory sort of space. And, after more than twenty centuries, it is to a little point in that same book that the new idea attaches itself and sprouts into being. This slender link is one of Euclid's postulates, misplaced in the English editions as the twelfth axiom. As the last of his six αὶτἠυατα (requests) Euclid says: "Let it be granted that if a straight line meet two other straight lines, so as to make the two interior angles on the same side of it, taken together, less than two right angles, these straight lines being continually produced shall at length meet upon that side on which are the angles, which are together less than two right angles." This somewhat complicated so-called axiom is only the converse or inverse of proposition seventeen, that "any two angles of a triangle are together less than two right angles," a theorem readily demonstrated from the preceding postulates and axioms. An inverse is usually exceedingly easy to prove. Then why not remove this inverse from among the postulates, place it after seventeen, and demonstrate it? This obvious way to improve on Euclid suggested itself to numerous geometers throughout the centuries. Hundreds tried it, and failed. As in squaring the circle, some claimed to have accomplished it; but against each one all the rest decided. It now seems queer that no one during all this time systematically developed the results obtainable when this postulate is denied, is negatived, is thrown overboard. Euclid's method, the This pluralization of the idea of space is independent of dimensionality and came synthetically. But about the same time came analytically a plural having reference to dimensions. Our perceptions, intuitions, imagings, are confined to a flat space of three dimensions, and this gives us a strong prejudice in favor of the belief that our bodies and the stars are also confined in a tridimensional homaloid. But this is simply a question of fact in the domain of physical experimentation. How this belief might be negatived is easily illustrated. In 1872 Clifford said before the British Association: "Suppose that three points are taken in space, distant from one another as far as the sun from a Centauri, and that the shortest distances between these points are drawn so as to form a triangle. And suppose the angles of this triangle to be very accurately measured and added together: this can at present be done so accurately that the error shall certainly be less than one minute, less therefore than the five-thousandth part of a right angle. Then I do not know that the difference of the sum of the three angles of this triangle from two right angles would be less than ten degrees, or the ninth part of a right angle." This says that it is within the power of our astronomers to discover that our space is not flat. And already spiritualists claim to have experimentally demonstrated that our space has more than three dimensions. As for myself, I admit I am prejudiced just as you are. I do not think it probable that astronomers will prove that we are living in a curved space, and everything connected with spiritualism seems to me disgusting bosh. But it is not the probability that I want. I am simply illustrating the possibility, and this is enough to bring the matter into the domain of simple external reality. You have the meaning of a fourth dimension strikingly put before you every time you look into a mirror. There you see yourself so turned around that your right hand has become your left. If you were to step straight out of the looking-glass every one would think you left-handed. Such a change could be accomplished by revolving you in the fourth dimension, and in no other way. Therefore a mirror will show you at any moment exactly the effect of a fourth dimension. Then why is this not a proof of the actual existence of a fourth dimension? I answer that here, as in the case of the spiritualists, there is deception. It would be proof if there were no deception. The straight rays of light break against the mirror and are turned back. Our eyes give us no account of this break and turn, and so deceive us, putting before us, like the spiritualists, the effect of a fourth dimension. These are not questions which can be decided by reference to our space intuitions, for our intuitions are confined to Euclidean space, and even there are insufficient, approximative. For instance, you suppose you can imagine a curve on a plane, and so in physics curves are taken to represent functions. In reality you can not get any closer to it than what the Germans call a stripe. The analytical copy of the curve is not the function but the stripe. But you may say, How can we ever go better and deeper than our intuitions? If I answer, "Logic," you are apt to feel soothed. It is wonderful what a strong though often unconscious distinction exists in the general English-speaking mind between logic and metaphysics. Metaphysics is always scorned and scouted; but if you say logic, ah! that is a very different matter. Again, I must acknowledge for myself sympathy with the general feeling. I think most metaphysics ought to be scorned; and I am glad that in English logic means formal logic, a pure science, and is rarely mixed up with a metaphysical Erkentnisslehre or But I wish to call attention to the fact that here we find the best, the most satisfactory introduction to the study of modern algebras, modern mathematics. When told that in these systems a product may not vary with each of its factors; that a product may vanish without either of its factors vanishing; that subtraction and division may be indefinite; that, in fact, any system, e. g., quaternions, where the products and powers of the units are themselves linear functions of the units, excludes the ordinary assumption that a product shall vary with each of its factors; that from q q, o, it does not follow that either q o or q, o; that a quadratic equation, e. g., in quaternions, besides its sixteen roots proper, may have an indefinite number of roots which arise from the fact that the process of division is not a definite one; when told these, and very many more such, the beginner is only too sure to think, "This is a hard saying," and may give up the subject in hopeless confusion. If, however, he will start with Schroeder, "Der Operationskreis des Logikkalkuls," he will find the clearest explanation and illustration of these things contained in his own every-day thoughts about the commonest objects; and, while learning an elegant logic, will be mastering, perhaps, the most exquisite dual algebra. |