Mortimer Adler - Gateway-to-the-Great-Books-Volume 09-Mathematics
Mortimer Adler - Gateway-to-the-Great-Books-Volume 09-Mathematics
TO THE
GREAT BOOKS
ROBERT M. HUTCHINS, MORTIMER J. ADLER
Editors in Chief
CLIFTON FADIMAN
Associate Editor
9
MATH E MATICS
J ACOB E. S AFRA
Chairman, Board of Directors
J ORG E A G U I LAR - C AUZ , President
ENCYCLOPÆDIA B RITAN NICA, I NC.
CHICAGO
LON D ON N EW DE LH I PA R I S S EOUL
SYDN EY TA I P E I TO KYO
© 1990, 1963 Encyclopædia Britannica, Inc.
All rights reserved
LANCE LOT HO G B E N 1
Mathematics, the Mirror
of Civilization 3
AN DREW RU SS E LL FORSYTH 24
Mathematics, in Life
and Thought 26
B E RTRAN D RU S S E LL 79
The Study of Mathematics 84
Mathematics and the Metaphysicians 95
Definition of Number 111
iii
iv Contents of Volume 9
Isocial
n Mathematics, the Mirror of Civilization, Hogben brings the zeal of a
reformer to the task of rescuing mathematics from the fate of
becoming a priestcraft.
Since much of man’s relation to man and nature has come to be
treated in mathematical terms, it is dangerous to ignore the new
language. We run the risk of leaving the power to control our political
and material welfare in the hands of specialists. If these specialists
have, as did the ancient Egyptian priests, a vested interest in mystify-
1
2 Lancelot Hogben
3
4 Lancelot Hogben
point failed to recognize that Achilles really did get past the tortoise.
What troubled them was, where is the catch? You may have been asking
the same question. The important point is that you did not ask it for the
same reason which prompted them. What is worrying you is why they
thought up funny little riddles of that sort. Indeed, what you are really
concerned with is a historical problem. I am going to show you in a minute
that the problem is not one which presents any mathematical difficulty to
you. You know how to translate it into size language, because you inherit
a social culture which is separated from theirs by the collapse of two
great civilizations and by two great social revolutions. The difficulty of
the ancients was not a historical difficulty. It was a mathematical difficulty.
They had not evolved a size language into which this problem could be
freely translated.
The Greeks were not accustomed to speed limits and passenger-luggage
allowances. They found any problem involving division very much more
difficult than a problem involving multiplication. They had no way of
doing division to any order of accuracy, because they relied for calculation
on the mechanical aid of the counting frame or abacus. They could not
do sums on paper. For all these and other reasons which we shall meet
again and again, the Greek mathematician was unable to see something
that we see without taking the trouble to worry about whether we see it
or not. If we go on piling up bigger and bigger quantities, the pile goes
on growing more rapidly without any end as long as we go on adding
more. If we can go on adding larger and larger quantities indefinitely
without coming to a stop, it seemed to Zeno’s contemporaries that we
ought to be able to go on adding smaller and still smaller quantities
indefinitely without reaching a limit. They thought that in one case the
pile goes on for ever, growing more rapidly, and in the other it goes on
for ever, growing more slowly. There was nothing in their number
language to suggest that when the engine slows beyond a certain point,
it chokes off.
To see this clearly we will first put down in numbers the distance
which the tortoise traverses at different stages of the race after Achilles
starts. As we have described it above, the tortoise moves 10 yards in
stage 1, 1 yard in stage 2, one-tenth of a yard in stage 3, one-hundredth
of a yard in stage 4, etc. Suppose we had a number language like the
Greeks and Romans, or the Hebrews, who used letters of the alphabet.
Using the one that is familiar to us because it is still used for clocks,
graveyards, and law-courts, we might write the total of all the distances
the tortoise ran before Achilles caught him up like this:
8 Lancelot Hogben
We have put “and so on” because the ancient peoples got into great
difficulties when they had to handle numbers more than a few thousands.
Apart from the fact that we have left the tail of the series to your
imagination (and do not forget that the tail is most of the animal if it
goes on for ever), notice another disadvantage about this script. There is
absolutely nothing to suggest to you how the distances at each stage of
the race are connected with one another. To-day we have a number
vocabulary which makes this relation perfectly evident when we write it
down as:
In this case we put “and so on” to save ourselves trouble, not because we
have not the right number-words. These number-words were borrowed
from the Hindus, who learnt to write number language after Zeno and
Euclid had gone to their graves. A social revolution, the Protestant
Reformation, gave us schools which made this number language the
common property of mankind. A second social upheaval, the French
Revolution, taught us to use a reformed spelling. Thanks to the Education
Acts of the nineteenth century, this reformed spelling is part of the
common fund of knowledge shared by almost every sane individual in
the English-speaking world. Let us write the last total, using this reformed
spelling, which we call decimal notation. That is to say:
We have only to use the reformed spelling to remind ourselves that this
can be put in a more snappy form:
We recognize the fraction 0.i as a quantity that is less than 2 10 and more
than 1 10 . If we have not forgotten the arithmetic we learnt at school, we
may even remember that 0.i corresponds with the fraction 1 9 . This means
that the longer we make the sum, 0.1+0.01+0.001, etc., the nearer it gets
to 1 9 , and it never grows bigger than 1 9 . The total of all the yards the
tortoise moves till there is no distance between himself and Achilles makes
up just 11 1 9 yards, and no more.
MATH E MATICS , TH E M I RROR OF CIVI LIZATION 9
You will now begin to see what was meant by saying that the riddle
presents no mathematical difficulty to you. You have a number language
constructed so that it can take into account a possibility which
mathematicians describe by a very impressive name. They call it the
convergence of an infinite series to a limiting value. Put in plain words,
this only means that, if you go on piling up smaller and smaller quantities
as long as you can, you may get a pile of which the size is not made
measurably larger by adding any more. The immense difficulty which the
mathematicians of the ancient world experienced when they dealt with a
process of division carried on indefinitely, or with what modern
mathematicians call infinite series, limits, transcendental numbers, irrational
quantities, and so forth, provides an example of a great social truth borne
out by the whole history of human knowledge. Fruitful intellectual activity
of the cleverest people draws its strength from the common knowledge
which all of us share. Beyond a certain point clever people can never
transcend the limitations of the social culture they inherit. When clever
people pride themselves on their own isolation, we may well wonder whether
they are very clever after all. Our studies in mathematics are going to
show us that whenever the culture of a people loses contact with the common
life of mankind and becomes exclusively the plaything of a leisure class, it
is becoming a priestcraft. It is destined to end, as does all priestcraft, in
superstition. To be proud of intellectual isolation from the common life of
mankind and to be disdainful of the great social task of education is as
stupid as it is wicked. It is the end of progress in knowledge. History
shows that superstitions are not manufactured by the plain man. They are
invented by neurotic intellectuals with too little to do. The mathematician
and the plain man each need one another. Maybe the Western world is
about to be plunged irrevocably into barbarism. If it escapes this fate, the
men and women of the leisure state which is now within our grasp will
regard the democratization of mathematics as a decisive step in the advance
of civilization.
In such a time as ours the danger of retreat into barbarism is very real.
We may apply to mathematics the words in which Cobbett explained the
uses of grammar to the working-men of his own day when there was no
public system of free schools. In the first of his letters on English grammar
for a working boy, Cobbett wrote these words: “But, to the acquiring of
this branch of knowledge, my dear son, there is one motive, which,
though it ought, at all times, to be strongly felt, ought, at the present
time, to be so felt in an extraordinary degree. I mean that desire which
every man, and especially every young man, should entertain to be able
to assert with effect the rights and liberties of his country. When you come
10 Lancelot Hogben
14
MATH E MATICS , TH E M I RROR OF CIVI LIZATION 15
is that it may have taken the human race a thousand years to see that one
step in a mathematical argument is “obvious.” How the Nilometer works
is obvious to you if you are a priest in the temple. If you are outside the
temple, it can only become obvious through tracing out the subterranean
channel which connects the temple with the river of man’s social
experience. Educational methods which are mixed up with priestcraft
and magic have contrived to keep the rising and falling, the perpetual
movement of the river from our scrutiny. So they have hidden from us
the romance of what might be the greatest saga of man’s struggle with
the elements. Plato, in whose school our teachers have grown up, did
not approve of making observations and applying mathematics to arrange
them and co-ordinate them. In one of the dialogues he makes Socrates,
his master, use words which might equally well apply to many of the
text-books of mechanics which are still used. “The starry heavens which
we behold is wrought upon a visible ground and therefore, although
the fairest and most perfect of visible things, must necessarily be deemed
inferior far to the true motions of absolute swiftness and absolute
intelligence. . . . These are to be apprehended by reason and intelligence
but not by sight. . . . The spangled heavens should be used as a pattern
and with a view to that higher knowledge. But the astronomer will
never imagine that the proportions of night to day . . . or of the stars to
these and to one another can also be eternal . . . and it is equally absurd
to take so much pains in investigating their exact truth. . . . In astronomy as in
geometry we should employ problems, and let the heavens alone, if we would
approach the subject in the right way and so make the natural gift of
reason to be of any use.”
This book will narrate how the grammar of measurement and counting
has evolved under the pressure of man’s changing social achievements,
how in successive stages it has been held in check by the barriers of
custom, how it has been used in charting a universe which can be
commanded when its laws are obeyed, but can never be propitiated by
ceremonial and sacrifice. As the outline of the story develops, one
difficulty which many people experience will become less formidable.
The expert in mathematics is essentially a technician. So his chief concern
in teaching is to make other technicians. Mathematical books are largely
packed with exercises which are designed to give proficiency in
workmanship. This makes us discouraged because of the immense
territory which we have to traverse before we can get insight into the
kind of mathematics which is used in modern science and social statistics.
The fact is that modern mathematics does not borrow so very much from
16 Lancelot Hogben
In the real world you do not always find that you have got four when you add two and two.
Try filling this with water. Its laws of “addition” would be:
The dot is put in to show that the kind of addition used here is not the kind of addition
(+ without a dot) which applies to a vessel which cannot leak, and is so large that it cannot
be filled.
with picture symbols, and first began to use an alphabet based purely on
how words sound, there has only been one conspicuous invention
introduced for describing the qualities of things in the world. This was
made by biologists in the eighteenth century, when the confusion existing
in the old herbals of medicinal plants forced them to invent an
international language in which no confusion is possible. The clear
description of the immense variety of organic beings has been made
possible by the deliberate introduction of unfamiliar words. These words,
like Bellis perennis, the common daisy, or Pulex irritans, the common flea, are
taken from dead languages. Any meaning for which the biologist has no
use lies buried in a social context forgotten long ago. In much the same
way the North Europeans had borrowed their alphabet of sound symbols
from the picture scripts, and buried the associations of distracting metaphors
in the symbols used by the more sophisticated people of the ancient world.
The language of mathematics differs from that of everyday life, because
it is essentially a rationally planned language. The languages of size
have no place for private sentiment, either of the individual or of the
nation. They are international languages like the binomial nomenclature
of natural history. In dealing with the immense complexity of his social
life man has not yet begun to apply inventiveness to the rational planning
of ordinary language when describing different kinds of institutions
and human behaviour. The language of everyday life is clogged with
sentiment, and the science of human nature has not advanced so far that
we can describe individual sentiment in a clear way. So constructive
thought about human society is hampered by the same conservatism as
embarrassed the earlier naturalists. Nowadays people do not differ about
what sort of animal is meant by cimex or pediculus, because these words
are only used by people who use them in one way. They still can and
often do mean a lot of different things when they say that a mattress is
infested with bugs or lice. The study of man’s social life has not yet
brought forth a Linnaeus. So an argument about the “withering away of
the state” may disclose a difference about the use of the dictionary when
no real difference about the use of the policeman is involved. Curiously
enough, people who are most sensible about the need for planning other
social amenities in a reasonable way are often slow to see the need for
creating a rational and international language.
The technique of measurement and counting has followed the caravans
and galleys of the great trade routes. It has developed very slowly. At
least four thousand years intervened between the time when men could
calculate when the next eclipse would occur and the time when men
MATH E MATICS , TH E M I RROR OF CIVI LIZATION 21
could calculate how much iron is present in the sun. Between the first
recorded observations of electricity produced by friction and the
measurement of the attraction of an electrified body two thousand years
intervened. Perhaps a longer period separates the knowledge of magnetic
iron (or lodestone) and the measurement of magnetic force. Classifying
things according to size has been a much harder task than recognizing
the different sorts of things there are. It has been more closely related to
man’s social achievements than to his biological equipment. Our eyes
and ears can recognize different sorts of things at a great distance. To
measure things at a distance, man has had to make new sense organs for
himself, like the astrolabe, the telescope, and the microphone. He has
made scales which reveal differences of weight to which our hands are
quite insensitive. At each stage in the evolution of the tools of measurement
man has refined the tools of size language. As human inventiveness has
turned from the counting of flocks and seasons to the building of
temples, from the building of temples to the steering of ships into chartless
seas, from seafaring plunder to machines driven by the forces of dead
matter, new languages of size have sprung up in succession. Civilizations
have risen and fallen. At each stage a more primitive, less sophisticated
culture breaks through the barriers of custom thought, brings fresh rules
to the grammar of measurement, bearing within itself the limitation of
further growth and the inevitability that it will be superseded in its turn.
The history of mathematics is the mirror of civilization.
The beginnings of a size language are to be found in the priestly
civilizations of Egypt and Sumeria. From these ancient civilizations we
see the first-fruits of secular knowledge radiated along the inland trade
routes to China and pushing out into and beyond the Mediterranean,
where the Semitic peoples are sending forth ships to trade in tin and dyes.
The more primitive northern invaders of Greece and Asia Minor collect
and absorb the secrets of the pyramid makers in cities where a priestly
caste is not yet established. As the Greeks become prosperous, geometry
becomes a plaything. Greek thought itself becomes corrupted with the star
worship of the ancient world. At the very point when it seems almost
inevitable that geometry will make way for a new language, it ceases to
develop further. The scene shifts to Alexandria, the greatest centre of
shipping and the mechanical arts in the ancient world. Men are thinking
about how much of the world remains to be explored. Geometry is applied
to the measurement of the heavens. Trigonometry takes its place. The size
of the earth, the distance of the sun and moon are measured. The star
gods are degraded. In the intellectual life of Alexandria, the factory
22 Lancelot Hogben
of world religions, the old syncretism has lost its credibility. It may still
welcome a god beyond the sky. It is losing faith in the gods within the
sky.
In Alexandria, where the new language of star measurement has its
beginnings, men are thinking about numbers unimaginably large
compared with the numbers which the Greek intellect could grasp.
Anaxagoras had shocked the court of Pericles by declaring that the sun
was as immense as the mainland of Greece. Now Greece itself had sunk
into insignificance beside the world of which Eratosthenes and
Poseidonius had measured the circumference. The world itself sank into
insignificance beside the sun as Aristarchus had measured it. Ere the
dark night of monkish superstition engulfed the great cosmopolis of
antiquity, men were groping for new means of calculation. The bars of
the counting frame had become the bars of a cage in which the intellectual
life of Alexandria was imprisoned. Men like Diophantus and Theon
were using geometrical diagrams to devise crude recipes for calculation.
They had almost invented the third new language of algebra. That they
did not succeed was the nemesis of the social culture they inherited. In
the East the Hindus had started from a much lower level. Without the
incubus of an old-established vocabulary of number, they had fashioned
new symbols which lent themselves to simple calculation without
mechanical aids. The Moslem civilization which swept across the
southern domain of the Roman Empire brought together the technique
of measurement, as it had evolved in the hands of the Greeks and the
Alexandrians, adding the new instrument for handling numbers which
was developed through the invention of the Hindu number symbols. In
the hands of Arabic mathematicians like Omar Khayya-m, the main
features of a language of calculation took shape. We still call it by the
Arabic name, algebra. We owe algebra and the pattern of modern
European poetry to a non-Aryan people who would be excluded from
the vote in the Union of South Africa.
Along the trade routes this new arithmetic is brought into Europe by
Jewish scholars from the Moorish universities of Spain and by gentile
merchants trading with the Levant, some of them patronized by nobles
whose outlook had been unintentionally broadened by the Crusades.
Europe stands on the threshold of the great navigations. Seafarers are
carrying Jewish astronomers who can use the star almanacs which Arab
scholarship had prepared. The merchants are becoming rich. More than
ever the world is thinking in large numbers. The new arithmetic or
“algorithm” sponsors an amazing device which was prompted by the need
MATH E MATICS , TH E M I RROR OF CIVI LIZATION 23
26
MATH E MATICS , I N LI FE AN D THOUG HT 27
For the ordinary course of affairs a great English divine declared that
“probability is the very guide of life.” Usually certainty is lacking: and
probability can be taken as the only reasonable guide amid an occasional
maze of possibilities. Yet, when sifted and analysed, this probability often
reduces itself to a more or less mathematical (chiefly, I fear, less
mathematical) measure of moral and material advantages to follow. The
spirit of mathematics, if not its method, dominates the sifting analysis:
we can sometimes regret that the method is lacking. Let me offer a couple
of illustrations.
Some of you may remember a legend of wide circulation in 1914
before the Great War was many weeks old: how a force of 80,000 Russians
had been landed in the north of England, transported from the north-east
coast to Portsmouth, and thence shipped to France. The moral support of
those Russians was a comforting belief at the moment. There had been
days, only a human generation earlier, when everything Russian had been
anathema to patriotic Englishmen: but those days were past. Though we
might be martially arrogant enough to feel that we did not need the help,
it still was good to think that we had it: so comforting that the news was
accepted without question. Retired military men in clubs, an unfailing
source of trustworthy wisdom, were supposed to know it: the unverified
28 A. R. Forsyth
guess made, centuries ago, by Hipparchus, that atoms could lose portions
of themselves and thereby change their essence. Sir Joseph Thomson, the
brilliant master of Rutherford, goes further than his pupil and suggests that
the electron itself is a universe, perhaps another mathematical solar system;
and only two short months ago the distinguished son of Sir Joseph Thomson
was able, as the result of investigations, to compare the size of the electron
and that of the atom, neither of which has been seen by man. Physical
speculation is outrunning its mathematics: but, as so often before, the
return to mathematics is ever made as soon as there are facts amenable to
calculation. The facts remain, and the calculations based on the facts
remain. Theories spring up and flourish while they conform to the facts
and the calculations: they wilt, when new facts come that demand
requirements which the theories cannot supply. It resembles the historic
cult in the Arician grove: an old theory of yesterday is forsaken for a
new one of to-day, itself to be forsaken to-morrow, like
The priest who slew the slayer
And shall himself be slain.
What part does the science of mathematics play in all this scientific
tornado? And, indeed, what does the science include, and what may it
claim to achieve? Broadly speaking, as soon as any progressive subject
attains a stage where its phenomena admit of some kind of measurement,
then and there the science of calculation can begin to deal with the
measurements: thereafter the subject can be assisted by mathematics.
Calculations can predict some results that must ensue from combinations
of facts, and so can render some experiments superfluous. Calculations
can even anticipate experiment and observation: such has been the case
with Hamilton’s conical refraction in optics and with the electric waves
which first emerged from the mathematical labours of Maxwell and Hertz.
Calculations can utilize facts in nonexperimental fashion and produce
results that lay concealed. But no calculation can produce results that
do not belong to the range of the subject-matter: thus astrology, and
alchemy, and necromancy, bound to be scientific failures, were and are
successful frauds owing to the undying gullibility of human nature in
its wistful yearning for the unknown and the unattainable.
Briefly, the science of mathematics cannot be a substitute for essential
experiment: but it can show how experiments and observations, duly
systematized, can be elucidated so as to discriminate between what is
principle and what is detailed consequence of principle. Sometimes it
can lead, though its guidance is unrecognized, to simple devices which
32 A. R. Forsyth
And if such is the fact in simple matters, you need not be surprised if
the science of mathematics is used to high economic purpose where, at
some stage, its calculations are obtrusively significant. Another couple
of examples will justify such a statement.
At the present time, parts of the country are soon to be covered with a
vast network of wires, stretching from pier to pier, for the transmission of
electric power from central stations to relatively remote places where the
power cannot be generated and cannot otherwise be obtained or concentrated.
All sorts of complicated questions of an engineering kind arise, as
fundamental in their way as questions connected with the construction of
MATH E MATICS , I N LI FE AN D THOUG HT 33
ities were revealed that hitherto had not even been surmised; and one
immediate consequence of Maxwell’s work was his creation of an electro-
magnetic theory of light, through the identification of a relation between
certain electrical constants and the speed of the transmission of light.
The notion of waves and vibrations now entered boldly into the
discussion. Another mathematical genius, Hertz, developed the
consequences of the Maxwell theory and, by his calculations, obtained
inferences in advance of observed results. The constructive genius of
engineers—Marconi is a typical and outstanding example—was fired to
new efforts in practical application. Soon there was the initial sending of
messages through space (call it the ether, if you choose, but do not suppose
that a name implies knowledge) from one land to another, from land to
ocean and ocean to land: last Sunday’s armistice service in Trafalgar
Square in London was heard in New Zealand. Let me leave you in the
middle of sounds, which may come from a studio near at hand or a
continental orchestra perhaps in Rome or Madrid: and in all your surprise
and happiness do not entirely forget that, throughout the development,
the science of mathematics has played, is playing, and will continue to
play, its significant part in every endeavour. Electrical engineering is
not wholly electrical, in practice or in theory: its successes are achieved
not solely through its machinery, however elaborate. Behind all its
progress, as part of the reasoning mind of it all, there labours the science
of mathematics as an angel of human thought.
four times as far in the first two seconds as it did in the first, nine times
as far in the first three seconds as it did in the first: and so on for the
succession of seconds from the beginning: the distance fallen in any
number of seconds is measured by the result of taking that number and
multiplying it by itself, “squaring it,” as we mathematicians call the
calculation. But this only gives a comparative measure among different
periods: something more is wanted in order to state what we popularly
call an exact measure. Such a statement demands a knowledge of the
exact distance that the stone would fall in a specified time; for example,
the exact distance the stone would fall in five seconds from the beginning
of its movement. He had noted observations also which answered the
demand: the result of calculations (always there is calculation) showed
that there is a number, very slightly larger than sixteen (but let me call it
sixteen for brevity of statement), which is of crucial importance. Return
now to the measure of the distance through which the stone falls. We
saw that the distance is, first of all, measured by a number which is the
square of the number of seconds (the number of seconds multiplied by
itself ). We take that square number, which gives the first and the sort of
relative estimate of the fall, and we multiply that square number by the
crucial number sixteen, no matter what the square number may have
been. The product—what a schoolboy calls the “answer”—is the exact
distance through which the stone has fallen in the specified time, when
the distance is measured in English feet. Thus in three seconds the
distance would be 144 ft.: for the square of three (that is, three multiplied
by three) is 9, and the result of multiplying 9 by the crucial number 16
is 144. In five seconds the fall would be 400 ft.: for the square of five
(that is, five multiplied by five) is 25, and the result of multiplying 25 by
the crucial number 16 is 400. And so on. Let me ask you to remember
that the fall of the stone is measured by the square of the number of
seconds in the duration of the fall: above all, to remember that there is a
crucial number sixteen.
Now an explanation of the movements of the planets was being attained,
though very gradually. The Copernican opinion, that they moved round
the sun as a fixed body, was making its way, because the more it was
tested the more continually did it accord with facts. The observations
of Tycho Brahe had been reduced to systematic results by the industry
of Kepler, who found that planets move almost in circles, actually in
oval curves (mathematicians call them ellipses), with the sun in the
supreme position at the focus: and these ovals differ from circles only
very slightly. But that discovery of Kepler’s was only descriptive,
36 A. R. Forsyth
The Galilei stone and the Newton apple both fall straight down, that
is, to the centre of the earth, supposed to be a globe: that qualitative
result happens wherever the fall takes place; it is reasonable to suppose
that the fall is due to the earth. There had been another discovery of
Galilei’s which, at first, had shocked even intellectual belief: stones of
different weights and kinds and sizes fall through the same height in
the same time; and so it is reasonable to suppose that, in the fall of a
stone, the earth is the principal agent, perhaps the only agent, that leads
to the fall of any stone anywhere through any height. It is true that the
distances which can actually be observed for falling stones are ludicrously
small compared with the size of the earth; and the crucial number seems
to be a lonely fact, unrelated to anything except a falling stone,
unexplained, so far inexplicable. But everything connected with the
observation and with the calculations remains unaffected if a hypothesis
be propounded under which the earth attracts the stone and is the sole
cause of its fall: and there is no other observation, reserved in a
background, to render that hypothesis open to objection.
Next, the moon goes round the earth steadily: so far as that movement
is concerned, the moon can be declared (always descriptively, and with
sufficient accuracy) to move round the earth in a circle with a steady
MATH E MATICS , I N LI FE AN D THOUG HT 37
speed. But the stone falls straight to the earth, always with an increasing
speed; the moon moves round the earth, always with a steady speed;
what earthly connection can there be between the two movements? It is
here that the hypothetical attracting faculty of the earth enters, through
another discovery which had been made by Galilei and formulated
precisely by Newton. Under this law a movable body, if subjected to no
influence of any kind, and if it moves at all, will only move in a straight
line, and only at an unchanging speed in that line; and variation from
the straightness of path, or variation of speed even in a straight path, can
be effected only by outside influence. Our falling stone moves in a
straight path downwards, but with an ever-gathering speed; this change
of speed is due to some influence: all falling stones make in a direction
towards the very centre of the earth; can the influence, affecting the speed,
be due to the earth attracting the stone down to itself? Our moon does not
move in a straight line; the deviation from straightness must be due to
some influence; we must, for the moment, leave the uniform speed out of
count, for the law makes no declaration concerning uniform speed not
along a straight line. Can this influence upon the moon be due to the
earth for ever attracting the moon out of the straight line which would be
an uninfluenced path, drawing the moon to itself, with just enough
influence to keep it at a steadily unchanging distance from itself? On the
hypothesis of an attracting quality in the earth, the said quality must
explain the deviation of the moon from a straight path, while it can
explain the changing speed of the falling stone. The hypothesis must be
tested; it is not to be declared true because it has not been disproved.
Critical tests are ready in the observed facts and in the inferences
from the facts. But how are the facts to be used? Simply and solely by
the application of mathematics, never constructed in this direction by
any man before Newton, now the possession of any reasonably capable
mathematical undergraduate.
Remember that we have the crucial number, sixteen, for Galilei’s falling
stone: let us now pay some attention to the moon. As the moon moves
steadily in a circle round the earth, in a period of 29 1 2 days roughly,
and as the distance of the moon from the earth otherwise is known to be
approximately sixty times the radius of the earth, the steady speed of the
moon in her circle is easily calculated: the inferred estimate will, of
course, be based upon the estimated size of the radius of the earth. An
entirely different calculation gives our estimate of the pull to be exercised
upon the moon, to drag her regularly and always into the circle away from
the straight line which would be her path if there were no influence. Had
38 A. R. Forsyth
there been no influence she would have gone along a straight line, for
ever moving away from the earth farther and farther: as things are, she
remains at a steady distance that on the average remains unchanged.
Consequently the difference, say at the end of one second, between her
actual distance from the earth and what would have been her distance
had she moved along a straight line, is the distance through which,
during that second, the supposed effective influence would have pulled
her. That distance is a measure of the influence: but how is the influence
to be estimated?
The estimate manifestly cannot come in the same way as for the falling
stone. For the stone, only a few hundred feet at the utmost came to
account. The moon is 240,000 miles away from the earth and remains at
that distance. An assumption that the measure of the attracting influence
of the earth is the same for all stones falling upon its surface causes no
mental hesitation: the few hundred feet, which are the utmost traversed
by a stone, are such a triviality in magnitude compared with the four-
thousand-mile radius of the earth that there is no real opportunity for
modification of the influence of the earth. But what is to be the
assumption made for an attracted moon, if it is attracted? In thought we
have to go far to reach the moon: we may as well be bold, go out boldly
in thought into the vast space of the solar system, and use the knowledge
provided by the Kepler laws which, be it noted, are not hypotheses but
are the systematic expression of observed facts.
An easy mathematical calculation indicates the character of the
supposed terrestrial influence which does no more than keep the moon
going round in a circle at an unchanging distance, but does not bring
the moon any nearer as it brings a stone nearer. This calculation uses
the Kepler law establishing the relation between the size of a planetary
path and the time of revolution along the whole path, and the result of
the calculation is to show that the attracting influence of the earth, if it
is to be the controlling cause of the movement, must decrease as the
square of the number which represents the distance of the attracted body
from the centre of the earth. The distance of the moon from the earth is,
roughly, sixty times the radius of the earth; and the square of the number
60 is 3,600. Therefore, according to the result of the calculation, the
attracting influence of the earth at the distant moon is only one 3,600th
part of its attracting influence upon a stone falling at its surface.
Now we know that the earth’s influence is the same for all falling stones
and, ultimately, is measured by the crucial number sixteen. We want to
know whether the earth’s attracting influence, if any, upon the moon can
MATH E MATICS , I N LI FE AN D THOUG HT 39
be the same in kind as upon the falling stone, while, of course, its
magnitude will be diminished in proper proportion owing to the difference
in distance. Let us denote the crucial number, connected solely with the
attracting power of the earth, by the symbol x, so dear to mathematicians.
For a falling stone at the surface of the earth this number x is known to be
sixteen. If our hypothesis, that the earth’s attracting influence is the sole
cause dominating the movement of the moon, can be justified, the number
at the distance of the moon would be 1 3600 x, just as x is sixteen at the
surface of the earth. We therefore have to calculate this number 1 3600 x for
the moon, in the same way as 16 is the calculated number for the stone.
When it has been found for the moon, we at once have the value of x by a
simple operation; and this value of x is as crucial for the moon’s motion
under our hypothesis as is the number 16 for the falling stone. If this crucial
number x for the moon is inferred from the calculation to be the same as the
crucial number 16 for the falling stone, the hypothesis concerning the
attracting influence of the earth is so far justified. If it is not, the moon sails
on, serenely unexplained. The crucial number for the moon must be found.
Here, Newton was at the crisis of his investigation. He had his facts:
there were the established laws, expressing accumulations of
observations: there were the old measurements in the accepted units,
the foot as the precise unit for distance in the case of the falling stone, the
radius of the earth to be expressed in miles as a less precise unit in
estimating the distance of the moon. Newton was now to test his theory
in the furnace of fact. Everything depended upon the crucial number x:
would it come out, for the moon, the same as it was for the stone, the
critical sixteen?
When this crucial number x first emerged from Newton’s calculations
about the moon, it turned out to amount to something very slightly less
than fourteen—let us call it fourteen, as approximately as the critical
sixteen. Certainly the x had been found to be the number sixteen for the
stone, which was as surely sixteen as human observation could make it.
The theory was not established as a working hypothesis. Unless unknown
and apparently undiscoverable errors had crept in, of such a kind as to
vitiate the calculation, the theory could not be maintained. Something
must be wrong somewhere: hardly imaginable in the facts or in the data;
perhaps—a reluctant perhaps—in the assumption that the earth was the
attracting influence upon the stone and the moon. At that stage there was
nothing to be done by a mind and a temperament such as were Newton’s:
he kept silence, consigned his soul not to perdition but to patience, and
proceeded to ponder over other riddles of the physical universe.
40 A. R. Forsyth
spherical in shape; and Newton’s fresh discovery was that the complete
attraction of a sphere on an outside body was the same, in all respects, as
if the whole of the matter were condensed at the centre. In fact, his
mathematics showed that he could regard the moon, the earth, the sun,
as attracting points. The difficulty disappeared: the theory could stand.
Now he could go forward, to test the theory further by further extension:
the result was his theory of universal gravitation according to which
every particle of matter in the universe attracts every other particle
according to a definite law: the attraction was measured by dividing one
fixed number by a number which represented the square of the distance
between the attracting particles. He worked out the theory in detail,
under this law; the calculated results everywhere agreed with the observed
phenomena; and the result was the publication, in 1687, of his Mathematical
Principles of Natural Philosophy, one of the great books of the world. It was
an achievement made through mathematics by a mathematician. It has
been confirmed and amplified since Newton’s day by generations of
mathematicians of all the ages and all climes: by means of it, and still
using their mathematics, they have made predictions that are daily
verified in the movement of the planets; they have predicted the return
of comets, they discovered a new planet, and, passing from fact as
commonplace as the creation of the Nautical Almanac to the shadowy
realms of high speculation, they measure the bounds of the universe,
assign a limit in the past to its evolution from chaos, nay, they will even
assign a limit to its future—a very remote limit, happily for our sense of
ease—when it may subside into an exhausted extinction. Personally, I
prefer fact to speculation.
proclaimed that “Great is relativity.” Here are the facts, so far as they are
concerned with the theory of gravitation.
That theory of gravitation was found to embrace all astronomical
observations. By the assumption of that theory as a working basis, Halley
in 1706 had predicted the periodic return of a particular comet: it duly
verified the prediction in 1758, in 1835, in 1910; and its next coming is
due only fifty-eight years hence. By the assumption of that theory Adams
and Leverrier, independently, through a vast mathematical calculation
applied to some seeming irregularities of the planet Uranus, discovered
the existence of a still more distant planet Neptune, never observed before
the discovery made in their studies. The mathematical genius of Laplace
had set the phenomena of the astronomical heavens in mathematical
order. Everything was settled into its place, or almost everything. There
remained one or two minute somethings. When the most elaborate
calculations had been completed, there remained a little unexplained
fluctuation in the movement of the moon, so often accused of fickleness
by the poets; and one planet, fitly named after Mercury, the not
overrighteous messenger of the gods in classical mythology, was found
to be acting in a manner inconsistent with strict mathematical propriety.
The vagaries of Mercury were very slight: its orbit is far more tilted than
that of any other planet, and is more swiftly traversed than that of any
other planet; but the vagaries could not be explained by tilt or speed, and
their source (that is, the cause of the difference between what is actually
seen and what calculation led astronomers to expect) could not be
discovered. The irregularities made no difference to daily life: they made
no other difference to astronomical life: but there they were. Nature would
not change so as to conform to man’s explanation, so man’s explanation
must be examined in order to be brought into conformity with nature.
The accuracy of the calculations could not humanly be challenged, for
they obeyed every test that human reason could devise. Perhaps there was
something, an extremely tiny something somewhere (for, remember, the
deviations are extremely slight), something wrong in the fundamental
assumptions upon which the calculations were based. And here is an
illustration of the difference between practice and thought: “to stop that
nonsense” an engineer would have driven a rivet, would have inserted a
guiding slot, would have added a tightening chain round the dome of
St. Paul’s. But rivets and slots and chains are devastations in thought, not
remedies: so the fundamental assumptions must be revised. It had been
assumed that the solar system is fixed, absolutely fixed, in the universe: is
that dogma true? Even if it is not true, the alternative of a wandering solar
MATH E MATICS , I N LI FE AN D THOUG HT 43
system would hardly explain the minute domestic vagaries of one rather
insignificant member. It had been assumed that the measurement of the
same thing, in varying circumstances and at diverse times, made as
accurate as human skill can achieve, and corrected for every incidental
error that human skill can detect, is always the same, whatever be the
time and the place of the thing measured and the measurement made.
The dogma seems an obvious inference from what we are pleased to call
common sense: like so many obvious things, it cannot be proved and it
cannot be submitted to adequate test: in fact, common sense continues
to call it obvious. But how if it be not true? Your standard of
measurement, used to measure a magnitude in passing time and on a
moving body, would change in the same way (if at all) as the measured
magnitude, and you could not detect the change, if there be change:
and, in that case, your measures would no longer be absolute: they
would be relative, perhaps to time, perhaps to place or change of place,
perhaps to the way of change. Nothing remains absolute: yet that was a
fundamental assumption, stated explicitly, in the Newtonian philosophy.
Now this notion of relativity is not new: it did not come into scientific
thought with Einstein: it was not unknown to Newton himself: and
men have pondered over it often in the last fifty years. But there is the
customary difficulty: an idea may come into the range of thought: how
can it be garbed in expression, for discussion, for calculation? You will
remember the wisdom of a character in George Eliot’s Theophrastus Such,
“There’s some as thinks one thing: there’s some as thinks another thing:
but my opinion’s different.” Men, charging themselves with the
formulation of relativity, have devised various modes of its mathematical
expression; and, so far as concerns astronomy, there is not the unanimity
of expression which, if there, would be a rudimentary recommendation.
It was the work of Einstein which was the first to explain—or, at any
rate, to account for—the behaviour of Mercury: and therefore it is to
Einstein that the glory rightly accrues. The method of Einstein, however,
is not the sole one that gives an explanation; for the mathematical methods
of other men have also led to that result, after Einstein. But neither the
method of Einstein nor the method of any other mathematician has yet
succeeded in explaining the slight caprice of the moon.
How far the popular expositors had made themselves acquainted with
the investigations in all accessible issues, before some of them tried to
make our flesh creep with their pronouncement upon the passing of
gravitation, might be the curious quest of some doubting scientific
Thomas Didymus. But of one thing we may be reasonably sure: neither in
44 A. R. Forsyth
that theory, nor in any other living theory, has the last word been said.
For the last words of all are the epitaph on a tomb: and the Newtonian
theory is still alive sufficiently to provide man with a working hypothesis
of the natural universe in which he lives.
Before I close, there are two inferences which I would appeal to you
not to draw from my lecture. It is not the fact that the services of
mathematics are restricted to the subjects that have been selected for
mention or illustration. It is not the fact that the science of mathematics
exists or thrives, solely or mainly in order to find or to further applications
in other sciences.
The range of human activities, within which mathematics and the ideas
of mathematics are called upon or are utilized for service, is so vast and so
varied that I can do no more, at this stage, than mention the names of
some of the regions where the science of mathematics is active. Enough
has been said on the score of astronomy. In engineering of every type,
ranging from the ancient ship of the sea to the modern ship of the air, in
your buildings, in your bridges, in your tunnels, its help is indispensable.
Is it an occupation so sedate as book-keeping, say by double entry? That
process is but an iterated application of the use of the plus and minus
signs of algebra, though the book-keeper is not usually aware of the fact.
Is it a science so relatively modern as physical chemistry? Much of that
science is based upon the mathematical expression of some of the laws of
change in physical nature. Is it a science which apparently is so far remote
from the usual conception of mathematics as is physiology, the science of
the processes of living organisms? That human science is examining the
phenomena of the activities of such organisms, is expressing
quantitatively those activities, is dealing mathematically with those
quantitative expressions: there are the researches on the expenditure of
muscular energy, the researches on industrial fatigue. Did not a sectional
president startle the British Association the other day by hinting (though
without adequate justification) that a distinguished physiologist, trained
as a mathematician and using his knowledge, was on the verge of
discovering the mystery of life itself? Is it the spotting of invisible guns
on a far-flung battlefield? My friend and former colleague, your worthy
professor of mathematics in this College, could tell you of the combined
efforts of mathematicians and physicists who, by means of instruments and
calculations connected with the properties of sound, were able to devise
means of approximate location. And those same properties were used, in
connection with mathematical instruments constructed for the purpose, to
MATH E MATICS , I N LI FE AN D THOUG HT 45
detect, from the surface of the sea, not merely the fact, but the direction of
approach, of a hostile submarine. The citations of utility could be continued
almost without limit: only one other subject will be indicated. If there is
anything that appeals to the average inhabitant of these islands and is a
frequent topic of unfruitful conversation, it is the weather: and a feature
of our morning newspaper is the forecast issued by the Meteorological
Office. But the occupants of that office are not like the ancient soothsayers,
waiting for inspiration from gifts tendered and from sacrifices rendered.
They collect scattered information, co-ordinate that information by
settled mathematical processes, draw their mathematical diagrams to
represent that co-ordinated information, and, inferring tendencies from
movements indicated by their diagrams, issue their calculated forecast.
All these—there are more that crowd into the mind—may be an adequate
recital showing how essential and how extensive is the service rendered
by the rather silent science of mathematics to the practical life of mankind.
Most of all, I would not wish to have you possessed by the notion that
the pursuit of mathematics by human thought must be justified by its
utility for practical uses in life. Such a justification would, it is true,
require the inclusion of mathematics in the scheme of any university
where technical studies are deemed important; and in the growing
prosperity of your University College, the more generously you open
your technical courses to mathematics, even in their utilitarian aspect,
the more will the professional students ultimately benefit. But having
paid tribute to the demands of the market-place, let me speak for
mathematics as a pure science of progressive knowledge, worthy to
claim the devotion of the finest intellects to its pursuit, worthy to
challenge the respect of man towards the world of learning. One of the
high ideals of mankind through all the ages, and in all civilizations,
has inspired the search for more knowledge wherever it can be found
or be attained. Ever since man has attempted to acquire ordered
knowledge, the science that deals with number and deals with form
has been pursued for its own sake because, thereby, the human spirit
can find unending satisfaction and unending occupation. And the
creations of mathematical science have been the glory of the nations.
We may recall the lost dominion of Babylon, we may think of her
hanging gardens as, in their time, a wonder of the world; we may sigh
over her pomp and her luxury, gone like a dream in the visions of the
night; but the contributions of her Chaldean priests to astronomy
survive to this day. Greece has an immortal name from her art, from her
46 A. R. Forsyth
literature, from her philosophy: her rival schools of Plato and of Aristotle
still dominate the Western world; but her fame is no less immortal by
her bequest of geometry and of number, two of the purest theories ever
devised by the human mind. We may hold Semitic science in low regard:
but Arabic learning kept science alive when the rest of the intellectual
world was torpid; it created algebra as the marvellous extension of the
Greek arithmetic, and gave us the very digits we use and the scale of
ten, so familiar to us as to seem part of our existence: we can pay our
mental homage of remembrance to those ancient Arabs in southern Spain.
What the modern peoples have thus inherited they have amplified beyond
recognition; and the nations of the West—France, Germany, Italy, America
across the ocean, our own people—have lived in an unending life-giving
rivalry in the creation of mathematical knowledge, sought for its own
sake, its domain as boundless as human thought itself.
For there is progress still in mathematical science; there will always be
progress of increasing knowledge in a world that is not dead. Results
have been achieved by the noble army of great spirits of the past, and
their achievements are the possession of the living. But those very
achievements are the stimulus to the living that they, in their turn, shall
endeavour to advance knowledge. And this pursuit is to be made by the
living spirits for the sake of new knowledge, not for the sake of new
glory, not for the sake of new benefit. If utility should come, well and
good: but we need trouble no more about immediate utility as an aim
than the Greeks troubled about the utility of their conic sections or
Newton troubled about the utility of the gravitation theory. So here,
amid this community in a centre of commercial activity, in this home of
high learning which has been established for the betterment of men and
women as human citizens, let me plead, if pleading be needed, for the
highest consideration to be given to the pursuit of pure knowledge as
well as technical training, not neglecting mathematics, once called the
Queen of the Sciences. The wind bloweth where it listeth, and the spirit
of knowledge does not follow the quest for wealth and power; but the
creation of new knowledge makes for the high repute of a nation, alike
in the days when its influence is dominant and in the more distant days
when its doings shall have been recorded on the scroll of time.
Alfred North Whitehead
1861–1947
Notes from the artist: “Strong contrasts were used in the portrait
of Whitehead. . . . Bold blacks and open whites frame the picture,
while within it calculations from his Principia Mathematica—
twisted into semiabstract forms—dance above the head of Whitehead,
who is seen in an attitude of quiet concentration.”
50 Alfred North Whitehead
TH E ABSTRACT NATURE
OF MATHEMATICS
51
52 Alfred North Whitehead
VARIABLE S
Fig. 1
temperature. Let be the number of cubic feet in its volume and p its
pressure in lb. weight per square inch. Then the law, known as Boyle’s
law, expressing the relation between p and as both vary, is that the
product p is constant, always supposing that the temperature does not
alter. Let us suppose, for example, that the quantity of the gas and its
other circumstances are such that we can put p = 1 (the exact number
on the right-hand side of the equation makes no essential difference).
Fig. 2
Then in Fig. 2 we take two lines, OV and OP, at right angles and draw
OM along OV to represent units of volume, and ON along OP to represent
p units of pressure. Then the point Q, which is found by completing the
parallelogram OMQN, represents the state of the gas when its volume is
cubic feet and its pressure is p lb. weight per square inch. If the
circumstances of the portion of gas considered are such that p = 1, then
all these points Q which correspond to any possible state of this portion
of gas must lie on the curved line ABC, which includes all points for
which p and are positive, and p = 1. Thus this curved line gives a
pictorial representation of the relation holding between the volume and
the pressure. When the pressure is very big the corresponding point Q
must be near C, or even beyond C on the undrawn part of the curve; then
the volume will be very small. When the volume is big Q will be near to
A, or beyond A; and then the pressure will be small. Notice that an engineer
or a physicist may want to know the particular pressure corresponding to
some definitely assigned volume. Then we have the case of determin-
ing the unknown p when is a known number. But this is only in particular
cases. In considering generally the properties of the gas and how it
will behave, he has to have in his mind the general form of the whole
ON MATH E MATICAL M ETHOD 59
curve ABC and its general properties. In other words the really
fundamental idea is that of the pair of variables satisfying the relation
p = 1. This example illustrates how the idea of variables is fundamental,
both in the applications as well as in the theory of mathematics.
METHODS OF APPLICATION
to us whether the law be true or false. In fact, the very meanings assigned
to x and y, as being a number of cubic feet and a number of pounds
sterling, are indifferent. During the mathematical investigation we are, in
fact, merely considering the properties of this correlation between a pair
of variable numbers x and y. Our results will apply equally well, if we
interpret y to mean a number of fishermen and x the number of fish caught,
so that the assumed law is that on the average each fisherman catches
twenty fish. The mathematical certainty of the investigation only attaches
to the results considered as giving properties of the correlation 20y = x
between the variable pair of numbers x and y. There is no mathematical
certainty whatever about the cost of the actual building of any house. The
law is not quite true and the result it gives will not be quite accurate. In
fact, it may well be hopelessly wrong.
Now all this no doubt seems very obvious. But in truth with more
complicated instances there is no more common error than to assume
that, because prolonged and accurate mathematical calculations have
been made, the application of the result to some fact of nature is absolutely
certain. The conclusion of no argument can be more certain than the
assumptions from which it starts. All mathematical calculations about
the course of nature must start from some assumed law of nature, such,
for instance, as the assumed law of the cost of building stated above.
Accordingly, however accurately we have calculated that some event
must occur, the doubt always remains—Is the law true? If the law states a
precise result, almost certainly it is not precisely accurate; and thus even
at the best the result, precisely as calculated, is not likely to occur. But
then we have no faculty capable of observation with ideal precision, so,
after all, our inaccurate laws may be good enough.
We will now turn to an actual case, that of Newton and the law of gravity.
This law states that any two bodies attract one another with a force
proportional to the product of their masses, and inversely proportional
to the square of the distance between them. Thus if m and M are the masses
of the two bodies, reckoned in lbs. say, and d miles is the distance
between them, the force on either body, due to the attraction of the
other and directed towards it, is proportional to ; thus this force can
be written as equal to , where k is a definite number depending on
the absolute magnitude of this attraction and also on the scale by which
we choose to measure forces. It is easy to see that, if we wish to reckon in
ON MATH E MATICAL M ETHOD 61
terms of forces such as the weight of a mass of 1 lb., the number which
k represents must be extremely small; for when m and M and d are each
put equal to 1, becomes the gravitational attraction of two equal
masses of 1 lb. at the distance of one mile, and this is quite inappreciable.
However, we have now got our formula for the force of attraction. If
we call this force F, it is , giving the correlation between the
variables F, m, M, and d. We all know the story of how it was found out.
Newton, it states, was sitting in an orchard and watched the fall of an
apple, and then the law of universal gravitation burst upon his mind.
It may be that the final formulation of the law occurred to him in an
orchard, as well as elsewhere—and he must have been somewhere. But
for our purposes it is more instructive to dwell upon the vast amount
of preparatory thought, the product of many minds and many centuries,
which was necessary before this exact law could be formulated. In the
first place, the mathematical habit of mind and the mathematical
procedure explained in the previous two chapters had to be generated;
otherwise Newton could never have thought of a formula representing
the force between any two masses at any distance. Again, what are the
meanings of the terms employed, Force, Mass, Distance? Take the easiest
of these terms, Distance. It seems very obvious to us to conceive all
material things as forming a definite geometrical whole, such that the
distances of the various parts are measurable in terms of some unit
length, such as a mile or a yard. This is almost the first aspect of a
material structure which occurs to us. It is the gradual outcome of the
study of geometry and of the theory of measurement. Even now, in
certain cases, other modes of thought are convenient. In a mountainous
country distances are often reckoned in hours. But leaving distance,
the other terms, Force and Mass, are much more obscure. The exact
comprehension of the ideas which Newton meant to convey by these
words was of slow growth, and, indeed, Newton himself was the first
man who had thoroughly mastered the true general principles of
Dynamics.
Throughout the middle ages, under the influence of Aristotle, the
science was entirely misconceived. Newton had the advantage of coming
after a series of great men, notably Galileo, in Italy, who in the previous
two centuries had reconstructed the science and had invented the right
way of thinking about it. He completed their work. Then, finally, having
the ideas of force, mass, and distance, clear and distinct in his mind, and
62 Alfred North Whitehead
realizing their importance and their relevance to the fall of an apple and
the motions of the planets, he hit upon the law of gravitation and proved
it to be the formula always satisfied in these various motions.
The vital point in the application of mathematical formulae is to have
clear ideas and a correct estimate of their relevance to the phenomena
under observation. No less than ourselves, our remote ancestors were
impressed with the importance of natural phenomena and with the
desirability of taking energetic measures to regulate the sequence of events.
Under the influence of irrelevant ideas they executed elaborate religious
ceremonies to aid the birth of the new moon, and performed sacrifices to
save the sun during the crisis of an eclipse. There is no reason to believe
that they were more stupid than we are. But at that epoch there had not
been opportunity for the slow accumulation of clear and relevant ideas.
The sort of way in which physical sciences grow into a form capable of
treatment by mathematical methods is illustrated by the history of the gradual
growth of the science of electro-magnetism. Thunderstorms are events on a
grand scale, arousing terror in men and even animals. From the earliest
times they must have been objects of wild and fantastic hypotheses, though
it may be doubted whether our modern scientific discoveries in connection
with electricity are not more astonishing than any of the magical explanations
of savages. The Greeks knew that amber (Greek, electron) when rubbed
would attract light and dry bodies. In A.D. 1600, Dr. Gilbert, of Colchester,
published the first work on the subject in which any scientific method is
followed. He made a list of substances possessing properties similar to those
of amber; he must also have the credit of connecting, however vaguely,
electric and magnetic phenomena. At the end of the seventeenth and
throughout the eighteenth century knowledge advanced. Electrical machines
were made, sparks were obtained from them; and the Leyden jar was
invented, by which these effects could be intensified. Some organized
knowledge was being obtained; but still no relevant mathematical ideas had
been found out. Franklin, in the year 1752, sent a kite into the clouds and
proved that thunderstorms were electrical.
Meanwhile from the earliest epoch (2634 B.C.) the Chinese had utilized
the characteristic property of the compass needle, but do not seem to
have connected it with any theoretical ideas. The really profound
changes in human life all have their ultimate origin in knowledge
pursued for its own sake. The use of the compass was not introduced into
Europe till the end of the twelfth century A.D., more than 3,000 years
after its first use in China. The importance which the science of electro-
magnetism has since assumed in every department of human life is not
ON MATH E MATICAL M ETHOD 63
due to the superior practical bias of Europeans, but to the fact that in the
West electrical and magnetic phenomena were studied by men who were
dominated by abstract theoretic interests.
The discovery of the electric current is due to two Italians, Galvani
in 1780, and Volta in 1792. This great invention opened a new series of
phenomena for investigation. The scientific world had now three separate,
though allied, groups of occurrences on hand—the effects of “statical”
electricity arising from frictional electrical machines, the magnetic
phenomena, and the effects due to electric currents. From the end of the
eighteenth century onwards, these three lines of investigation were
quickly interconnected and the modern science of electro-magnetism
was constructed which now threatens to transform human life.
Mathematical ideas now appear. During the decade 1780 to 1789,
Coulomb, a Frenchman, proved that magnetic poles attract or repel each
other, in proportion to the inverse square of their distances, and also that
the same law holds for electric charges—laws curiously analogous to that of
gravitation. In 1820, Öersted, a Dane, discovered that electric currents exert
a force on magnets, and almost immediately afterwards the mathematical
law of the force was correctly formulated by Ampère, a Frenchman, who
also proved that two electric currents exerted forces on each other.
The experimental investigation by which Ampère established the
law of the mechanical action between electric currents is one of the
most brilliant achievements in science. The whole, theory and
experiment, seems as if it had leaped full grown and full armed, from
the brain of the ‘Newton of Electricity.’ It is perfect in form, and
unassailable in accuracy, and it is summed up in a formula from which
all the phenomena may be deduced, and which must always remain the
cardinal formula of electrodynamics.
Fig. 3
jumped up and ran through the streets to the palace, shouting Eureka!
Eureka! (I have found it, I have found it). This day, if we knew which it
was, ought to be celebrated as the birthday of mathematical physics; the
science came of age when Newton sat in his orchard. Archimedes had
in truth made a great discovery. He saw that a body when immersed in
water is pressed upwards by the surrounding water with a resultant force
equal to the weight of the water it displaces. This law can be proved
66 Alfred North Whitehead
where W and F are determined by the easy, and fairly precise, operation
of weighing. Hence, by equation (A), is known. But is the ratio
of the weight of the crown to the weight of an equal volume of water.
This ratio is the same for any lump of metal of the same material: it is
now called the specific gravity of the material, and depends only on the
intrinsic nature of the substance and not on its shape or quantity. Thus
to test if the crown were of gold, Archimedes had only to take a lump of
indisputably pure gold and find its specific gravity by the same process.
If the two specific gravities agreed, the crown was pure; if they disagreed,
it was debased.
This argument has been given at length, because not only is it the
first precise example of the application of mathematical ideas to physics,
but also because it is a perfect and simple example of what must be the
method and spirit of the science for all time.
The death of Archimedes by the hands of a Roman soldier is symbolical
of a world change of the first magnitude: the theoretical Greeks, with
their love of abstract science, were superseded in the leadership of the
European world by the practical Romans. Lord Beaconsfield, in one of
his novels, has defined a practical man as a man who practises the errors
of his forefathers. The Romans were a great race, but they were cursed
with the sterility which waits upon practicality. They did not improve
upon the knowledge of their forefathers, and all their advances were
confined to the minor technical details of engineering. They were not
dreamers enough to arrive at new points of view, which could give a
more fundamental control over the forces of nature. No Roman lost his
ON MATH E MATICAL M ETHOD 67
1. Signs
ords, spoken or written, and the symbols of Mathematics
are alike signs. Signs have been analysed into (α) suggestive signs, (β )
expressive signs, (γ ) substitutive signs.
A suggestive sign is the most rudimentary possible, and need not be
dwelt upon here. An obvious example of one is a knot tied in a
handkerchief to remind the owner of some duty to be performed.
In the use of expressive signs the attention is not fixed on the sign
itself but on what it expresses; that is to say, it is fixed on the meaning
conveyed by the sign. Ordinary language consists of groups of expressive
signs, its primary object being to draw attention to the meaning of the
words employed. Language, no doubt, in its secondary uses has some of
the characteristics of a system of substitutive signs. It remedies the
inability of the imagination to bring readily before the mind the whole
extent of complex ideas by associating these ideas with familiar sounds
or marks; and it is not always necessary for the attention to dwell on the
complete meaning while using these symbols. But with all this allowance
it remains true that language when challenged by criticism refers us to
the meaning and not to the natural or conventional properties of its
symbols for an explanation of its processes.
A substitutive sign is such that in thought it takes the place of that for
which it is substituted. A counter in a game may be such a sign: at the
end of the game the counters lost or won may be interpreted in the form
of money, but till then it may be convenient for attention to be concentrated
on the counters and not on their signification. The signs of a
Mathematical Calculus are substitutive signs.
The difference between words and substitutive signs has been stated
68
ON TH E NATU RE OF A CALCU LU S 69
of the last equation, though the equivalence of the two symbols has been
asserted in the first equation, the reason being that the limitations under
which f = 0 has been asserted are violated when f undergoes partial
differentiation.
The idea of equivalence must be carefully distinguished from that of
mere identity. No investigations which proceed by the aid of propositions
merely asserting identities such as A is A, can ever result in anything
but barren identities. Equivalence on the other hand implies non-identity
as its general case. Identity may be conceived as a special limiting case of
equivalence. For instance in arithmetic we write, 2 + 3 = 3 + 2. This
means that, in so far as the total number of objects mentioned, 2 + 3 and
3 + 2 come to the same number, namely 5. But 2 + 3 and 3 + 2 are not
identical; the order of the symbols is different in the two combinations,
and this difference of order directs different processes of thought. The
importance of the equation arises from its assertion that these different
processes of thought are identical as far as the total number of things
thought of is concerned.
From this arithmetical point of view it is tempting to define equivalent
things as being merely different ways of thinking of the same thing as it
exists in the external world. Thus there is a certain aggregate, say of 5
things, which is thought of in different ways, as 2 + 3 and as 3 + 2. A
sufficient objection to this definition is that the man who shall succeed
in stating intelligibly the distinction between himself and the rest of the
world will have solved the central problem of philosophy. As there is no
universally accepted solution of this problem, it is obviously undesirable
to assume this distinction as the basis of mathematical reasoning.
Thus from another point of view all things which for any purpose
can be conceived as equivalent form the extension (in the logical sense)
of some universal conception. And conversely the collection of objects
which together form the extension of some universal conception can for
some purpose be treated as equivalent. So b = b´ can be interpreted as
symbolizing the fact that the two individual things b and b´ are two
individual cases of the same general conception B. For instance if b stand
for 2 + 3 and b´ for 3 + 2, both b and b´ are individual instances of the
general conception of a group of five things.
The sign = as used in a calculus must be discriminated from the
logical copula “is.” Two things b and b´ are connected in a calculus by
the sign =, so that b = b´, when both b and b´ possess the attribute B. But
we may not translate this into the standard logical form, b is b´. On the
contrary, we say, b is B, and b´ is B; and we may not translate these
72 Alfred North Whitehead
common property in different modes. On the other hand the two things
a and a´ possess the common property in the same mode, and as far as
this property is concerned they are equivalent. Let the sign = express
equivalence in relation to this property, then a = a´, and m = m´.
Let a set of things such as that described above, considered in relation
to their possession of a common property in equivalent or in non-
equivalent modes, be called a scheme of things; and let the common
property of which the possession by any object marks that object as
belonging to the scheme be called the determining property of the scheme.
Thus objects belonging to the same scheme are equivalent if they possess
the determining property in the same mode.
Now relations must exist between non-equivalent things of the scheme
which depend on the differences between the modes in which they possess
the determining property of the scheme. In consequence of these relations
from things a, b, c, etc. of the scheme another thing m of the scheme can
be derived by certain operations. The equivalence, m = m´, will exist
between m and m´, if m and m´ are derived from other things of the
scheme by operations which only differ in certain assigned modes. The
modes in which processes of derivation of equivalent things m and m´
from other things of the scheme can differ without destroying the
equivalence of m and m´ will be called the characteristics of the scheme.
Now it may happen that two schemes of things—with of course different
determining properties—have the same characteristics. Also it may be
possible to establish an unambiguous correspondence between the things
of the two schemes, so that if a, a´, b, etc., belong to one scheme and α,
α´, β, etc., belong to the other, then a corresponds to α, a´ to α´, b to β
and so on. The essential rule of the correspondence is that if in one
scheme two things, say a and a´, are equivalent, then in the other scheme
their corresponding things α and α´ are equivalent. Accordingly to any
process of derivation in the italic alphabet by which m is derived from a,
b, etc. there must correspond a process of derivation in the Greek alphabet
by which µ is derived from α, β, etc.
In such a case instead of reasoning with respect to the properties of
one scheme in order to deduce equivalences, we may substitute the other
scheme, or conversely; and then transpose at the end of the argument.
This device of reasoning, which is almost universal in mathematics, we
will call the method of substitutive schemes, or more briefly, the method
of substitution.
These substituted things belonging to another scheme are nothing else
than substitutive signs. For in the use of substituted schemes we cease to
ON TH E NATU RE OF A CALCU LU S 75
identical. This assigns certain properties to the marks which form the
symbols of Algebra. The laws regulating the manipulation of the algebraic
symbols are identical with those of Arithmetic. It follows that no algebraic
theorem can ever contradict any result which could be arrived at by
Arithmetic; for the reasoning in both cases merely applies the same
general laws to different classes of things. If an algebraic theorem is
interpretable in Arithmetic, the corresponding arithmetical theorem is
therefore true. In short when once Algebra is conceived as an independent
science dealing with the relations of certain marks conditioned by the
observance of certain conventional laws, the difficulty vanishes. If the
laws be identical, the theorems of the one science can only give results
conditioned by the laws which also hold good for the other science; and
therefore these results, when interpretable, are true.
It will be observed that the explanation of the legitimacy of the use of
a partially interpretable calculus does not depend upon the fact that in
another field of thought the calculus is entirely interpretable. The
discovery of an interpretation undoubtedly gave the clue by means of
which the true solution was arrived at. For the fact that the processes of
the calculus were interpretable in a science so independent of Arithmetic
as is Geometry at once showed that the laws of the calculus might have
been defined in reference to geometrical processes. But it was a paradox
to assert that a science like Algebra, which had been studied for centuries
without reference to Geometry, was after all dependent upon Geometry
for its first principles. The step to the true explanation was then easily
taken.
But the importance of the assistance given to the study of Algebra by
the discovery of a complete interpretation of its processes cannot be over-
estimated. It is natural to think of the substitutive set of things as assisting
the study of the properties of the originals. Especially is this the case
with a calculus of which the interest almost entirely depends upon its
relation to the originals. But it must be remembered that conversely the
originals give immense aid to the study of the substitutive things or
symbols.
The whole of Mathematics consists in the organization of a series of
aids to the imagination in the process of reasoning; and for this purpose
device is piled upon device. No sooner has a substitutive scheme been
devised to assist in the investigation of any originals, than the imagination
begins to use the originals to assist in the investigation of the substitutive
scheme. In some connections it would be better to abandon the
conception of originals studied by the aid of substitutive schemes, and
78 Alfred North Whitehead
partial list of his writings includes: Mysticism and Logic, and Other Essays
(1918), Introduction to Mathematical Philosophy (1919), An Outline of
Philosophy (1927), Marriage and Morals (1929), The Scientific Outlook
(1931), An Inquiry into Meaning and Truth (1940), History of Western
Philosophy (1945), and, in collaboration with Alfred North Whitehead,
Principia Mathematica (1910–13). He won the Nobel Prize for literature
in 1950.
Logic is central in Russell’s philosophy. His views on many things
changed profoundly in the course of his life, but these changes all
proceeded from successively deeper applications of his logical
method. This method dates from the year 1900, which Russell called
the most important year of his intellectual life. It was then, at the
International Congress of Philosophy in Paris, which Russell
attended with Whitehead, that Giuseppe Peano introduced a method
for reasoning in symbols. Russell saw that it could extend the region
of mathematical precision backward into areas that hitherto had
been given over to vague speculation. The project of deducing
mathematics from logic also appealed to Whitehead, and they began
a remarkable intellectual collaboration. The result is the famous
Principia Mathematica.
84
TH E STU DY OF MATH E MATICS 85
the rules blindly, and presently, when he is able to obtain the answer
that the teacher desires, he feels that he has mastered the difficulties of
the subject. But of inner comprehension of the processes employed he
has probably acquired almost nothing.
When algebra has been learnt, all goes smoothly until we reach those
studies in which the notion of infinity is employed—the infinitesimal
calculus and the whole of higher mathematics. The solution of the
difficulties which formerly surrounded the mathematical infinite is
probably the greatest achievement of which our own age has to boast.
Since the beginnings of Greek thought these difficulties have been known;
in every age the finest intellects have vainly endeavoured to answer the
apparently unanswerable questions that had been asked by Zeno the
Eleatic. At last Georg Cantor has found the answer, and has conquered
for the intellect a new and vast province which had been given over to
Chaos and old Night. It was assumed as self-evident, until Cantor and
Dedekind established the opposite, that if, from any collection of things,
some were taken away, the number of things left must always be less
than the original number of things. This assumption, as a matter of fact,
holds only of finite collections; and the rejection of it, where the infinite
is concerned, has been shown to remove all the difficulties that had
hitherto baffled human reason in this matter, and to render possible the
creation of an exact science of the infinite. This stupendous fact ought
to produce a revolution in the higher teaching of mathematics; it has
itself added immeasurably to the educational value of the subject, and it
has at last given the means of treating with logical precision many studies
which, until lately, were wrapped in fallacy and obscurity. By those who
were educated on the old lines, the new work is considered to be
appallingly difficult, abstruse, and obscure; and it must be confessed
that the discoverer, as is so often the case, has hardly himself emerged
from the mists which the light of his intellect is dispelling. But inherently,
the new doctrine of the infinite, to all candid and inquiring minds, has
facilitated the mastery of higher mathematics; for hitherto, it has been
necessary to learn, by a long process of sophistication, to give assent to
arguments which, on first acquaintance, were rightly judged to be
confused and erroneous. So far from producing a fearless belief in reason,
a bold rejection of whatever failed to fulfil the strictest requirements of
logic, a mathematical training, during the past two centuries, encouraged
the belief that many things, which a rigid inquiry would reject as fallacious,
must yet be accepted because they work in what the mathematician calls
“practice.” By this means, a timid, compromising spirit, or else a sacer-
TH E STU DY OF MATH E MATICS 89
dotal belief in mysteries not intelligible to the profane, has been bred
where reason alone should have ruled. All this it is now time to sweep
away; let those who wish to penetrate into the arcana of mathematics be
taught at once the true theory in all its logical purity, and in the
concatenation established by the very essence of the entities concerned.
If we are considering mathematics as an end in itself, and not as a
technical training for engineers, it is very desirable to preserve the purity
and strictness of its reasoning. Accordingly those who have attained a
sufficient familiarity with its easier portions should be led backward
from propositions to which they have assented as self-evident to more
and more fundamental principles from which what had previously
appeared as premises can be deduced. They should be taught—what the
theory of infinity very aptly illustrates—that many propositions seem self-
evident to the untrained mind which, nevertheless, a nearer scrutiny
shows to be false. By this means they will be led to a sceptical inquiry
into first principles, an examination of the foundations upon which the
whole edifice of reasoning is built, or, to take perhaps a more fitting
metaphor, the great trunk from which the spreading branches spring. At
this stage, it is well to study afresh the elementary portions of mathematics,
asking no longer merely whether a given proposition is true, but also how
it grows out of the central principles of logic. Questions of this nature can
now be answered with a precision and certainty which were formerly
quite impossible; and in the chains of reasoning that the answer requires
the unity of all mathematical studies at last unfolds itself.
In the great majority of mathematical text-books there is a total lack of
unity in method and of systematic development of a central theme.
Propositions of very diverse kinds are proved by whatever means are
thought most easily intelligible, and much space is devoted to mere
curiosities which in no way contribute to the main argument. But in the
greatest works, unity and inevitability are felt as in the unfolding of a
drama; in the premisses a subject is proposed for consideration, and in
every subsequent step some definite advance is made towards mastery of
its nature. The love of system, of interconnection, which is perhaps the
inmost essence of the intellectual impulse, can find free play in
mathematics as nowhere else. The learner who feels this impulse must
not be repelled by an array of meaningless examples or distracted by
amusing oddities, but must be encouraged to dwell upon central principles,
to become familiar with the structure of the various subjects which are put
before him, to travel easily over the steps of the more important deductions.
In this way a good tone of mind is cultivated, and selective atten-
90 Bertrand Russell
own ideals out of the fragments to be found in the world; and in the end
it is hard to say whether the result is a creation or a discovery.
It is very desirable, in instruction, not merely to persuade the student
of the accuracy of important theorems, but to persuade him in the way
which itself has, of all possible ways, the most beauty. The true interest
of a demonstration is not, as traditional modes of exposition suggest,
concentrated wholly in the result; where this does occur, it must be
viewed as a defect, to be remedied, if possible, by so generalizing the
steps of the proof that each becomes important in and for itself. An
argument which serves only to prove a conclusion is like a story
subordinated to some moral which it is meant to teach: for aesthetic
perfection no part of the whole should be merely a means. A certain
practical spirit, a desire for rapid progress, for conquest of new realms, is
responsible for the undue emphasis upon results which prevails in
mathematical instruction. The better way is to propose some theme for
consideration—in geometry, a figure having important properties; in
analysis, a function of which the study is illuminating, and so on.
Whenever proofs depend upon some only of the marks by which we
define the object to be studied, these marks should be isolated and
investigated on their own account. For it is a defect, in an argument, to
employ more premisses than the conclusion demands: what
mathematicians call elegance results from employing only the essential
principles in virtue of which the thesis is true. It is a merit in Euclid
that he advances as far as he is able to go without employing the axiom
of parallels—not, as is often said, because this axiom is inherently
objectionable, but because, in mathematics, every new axiom diminishes
the generality of the resulting theorems, and the greatest possible
generality is before all things to be sought.
Of the effects of mathematics outside its own sphere more has been
written than on the subject of its own proper ideal. The effect upon
philosophy has, in the past, been most notable, but most varied; in the
seventeenth century, idealism and rationalism, in the eighteenth,
materialism and sensationalism, seemed equally its offspring. Of the effect
which it is likely to have in the future it would be very rash to say much;
but in one respect a good result appears probable. Against that kind of
scepticism which abandons the pursuit of ideals because the road is arduous
and the goal not certainly attainable, mathematics, within its own sphere,
is a complete answer. Too often it is said that there is no absolute truth,
but only opinion and private judgment; that each of us is conditioned, in
his view of the world, by his own peculiarities, his own taste and bias; that
TH E STU DY OF MATH E MATICS 93
love of truth is the chief, and in mathematics, more than elsewhere, the
love of truth may find encouragement for waning faith. Every great study
is not only an end in itself, but also a means of creating and sustaining
a lofty habit of mind; and this purpose should be kept always in view
throughout the teaching and learning of mathematics.
Mathematics and
the Metaphysicians
hypothesis is about anything, and not about some one or more particular
things, then our deductions constitute mathematics. Thus mathematics
may be defined as the subject in which we never know what we are
talking about, nor whether what we are saying is true. People who have
been puzzled by the beginnings of mathematics will, I hope, find comfort
in this definition, and will probably agree that it is accurate.
As one of the chief triumphs of modern mathematics consists in having
discovered what mathematics really is, a few more words on this subject
may not be amiss. It is common to start any branch of mathematics—for
instance, Geometry—with a certain number of primitive ideas, supposed
incapable of definition, and a certain number of primitive propositions
or axioms, supposed incapable of proof. Now the fact is that, though
there are indefinables and indemonstrables in every branch of applied
mathematics, there are none in pure mathematics except such as belong
to general logic. Logic, broadly speaking, is distinguished by the fact
that its propositions can be put into a form in which they apply to anything
whatever. All pure mathematics—Arithmetic, Analysis, and Geometry—
is built up by combinations of the primitive ideas of logic, and its
propositions are deduced from the general axioms of logic, such as the
syllogism and the other rules of inference. And this is no longer a dream
or an aspiration. On the contrary, over the greater and more difficult
part of the domain of mathematics, it has been already accomplished; in
the few remaining cases, there is no special difficulty, and it is now
being rapidly achieved. Philosophers have disputed for ages whether
such deduction was possible; mathematicians have sat down and made
the deduction. For the philosophers there is now nothing left but graceful
acknowledgments.
The subject of formal logic, which has thus at last shown itself to be
identical with mathematics, was, as every one knows, invented by
Aristotle, and formed the chief study (other than theology) of the Middle
Ages. But Aristotle never got beyond the syllogism, which is a very
small part of the subject, and the schoolmen never got beyond Aristotle.
If any proof were required of our superiority to the mediaeval doctors, it
might be found in this. Throughout the Middle Ages, almost all the best
intellects devoted themselves to formal logic, whereas in the nineteenth
century only an infinitesimal proportion of the world’s thought went into
this subject. Nevertheless, in each decade since 1850 more has been done
to advance the subject than in the whole period from Aristotle to Leibniz.
People have discovered how to make reasoning symbolic, as it is in Algebra,
so that deductions are effected by mathematical rules. They have
MATH E MATICS AN D TH E M ETAPHYS ICIAN S 97
discovered many rules besides the syllogism, and a new branch of logic,
called the Logic of Relatives,1 has been invented to deal with topics that
wholly surpassed the powers of the old logic, though they form the
chief contents of mathematics.
It is not easy for the lay mind to realize the importance of symbolism
in discussing the foundations of mathematics, and the explanation may
perhaps seem strangely paradoxical. The fact is that symbolism is useful
because it makes things difficult. (This is not true of the advanced parts
of mathematics, but only of the beginnings.) What we wish to know is,
what can be deduced from what. Now, in the beginnings, everything is
self-evident; and it is very hard to see whether one self-evident proposition
follows from another or not. Obviousness is always the enemy to
correctness. Hence we invent some new and difficult symbolism, in which
nothing seems obvious. Then we set up certain rules for operating on
the symbols, and the whole thing becomes mechanical. In this way we
find out what must be taken as premiss and what can be demonstrated or
defined. For instance, the whole of Arithmetic and Algebra has been
shown to require three indefinable notions and five indemonstrable
propositions. But without a symbolism it would have been very hard to
find this out. It is so obvious that two and two are four, that we can
hardly make ourselves sufficiently sceptical to doubt whether it can be
proved. And the same holds in other cases where self-evident things are
to be proved.
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.
1. This subject is due in the main to Mr. C. S. Peirce.
98 Bertrand Russell
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.2 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 patronizing 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
2. I ought to have added Frege, but his writings were unknown to me when this article was
written. [Note added in 1917.]
MATH E MATICS AN D TH E M ETAPHYS ICIAN S 99
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
102 Bertrand Russell
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 realize 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.
MATH E MATICS AN D TH E M ETAPHYS ICIAN S 103
There are obviously just as many numbers in the row below as in the
row above, because there is one below for each one above. This property,
which was formerly thought to be a contradiction, is now transformed
into a harmless definition of infinity, and shows, in the above case, that
the number of finite numbers is infinite.
But the uninitiated may wonder how it is possible to deal with a
number which cannot be counted. It is impossible to count up all the
numbers, one by one, because, however many we may count, there are
always more to follow. The fact is that counting is a very vulgar and
elementary way of finding out how many terms there are in a collection.
And in any case, counting gives us what mathematicians call the ordinal
number of our terms; that is to say, it arranges our terms in an order or
series, and its result tells us what type of series results from this
arrangement. In other words, it is impossible to count things without
counting some first and others afterwards, so that counting always has
to do with order. Now when there are only a finite number of terms, we
can count them in any order we like; but when there are an infinite
number, what corresponds to counting will give us quite different results
according to the way in which we carry out the operation. Thus the
ordinal number, which results from what, in a general sense, may be
called counting, depends not only upon how many terms we have, but
also (where the number of terms is infinite) upon the way in which the
terms are arranged.
The fundamental infinite numbers are not ordinal, but are what is
104 Bertrand Russell
called cardinal. They are not obtained by putting our terms in order and
counting them, but by a different method, which tells us, to begin with,
whether two collections have the same number of terms, or, if not, which
is the greater.4 It does not tell us, in the way in which counting does,
what number of terms a collection has; but if we define a number as the
number of terms in such and such a collection, then this method enables
us to discover whether some other collection that may be mentioned has
more or fewer terms. An illustration will show how this is done. If there
existed some country in which, for one reason or another, it was
impossible to take a census, but in which it was known that every man
had a wife and every woman a husband, then (provided polygamy was
not a national institution) we should know, without counting, that there
were exactly as many men as there were women in that country, neither
more nor less. This method can be applied generally. If there is some
relation which, like marriage, connects the things in one collection each
with one of the things in another collection, and vice versa, then the two
collections have the same number of terms. This was the way in which we
found that there are as many even numbers as there are numbers. Every
number can be doubled, and every even number can be halved, and each
process gives just one number corresponding to the one that is doubled or
halved. And in this way we can find any number of collections each of
which has just as many terms as there are finite numbers. If every term of
a collection can be hooked on to a number, and all the finite numbers are
used once, and only once, in the process, then our collection must have
just as many terms as there are finite numbers. This is the general method
by which the numbers of infinite collections are defined.
But it must not be supposed that all infinite numbers are equal. On
the contrary, there are infinitely more infinite numbers than finite ones.
There are more ways of arranging the finite numbers in different types
of series than there are finite numbers. There are probably more points
in space and more moments in time than there are finite numbers. There
are exactly as many fractions as whole numbers, although there are an
infinite number of fractions between any two whole numbers. But there
are more irrational numbers than there are whole numbers or fractions.
There are probably exactly as many points in space as there are irrational
numbers, and exactly as many points on a line a millionth of an inch long
as in the whole of infinite space. There is a greatest of all infinite num-
bers, which is the number of things altogether, of every sort and kind.
4. Although some infinite numbers are greater than some others, it cannot be proved that
of any two infinite numbers one must be the greater. [Note added in 1917.]
MATH E MATICS AN D TH E M ETAPHYS ICIAN S 105
5. Cantor was not guilty of a fallacy on this point. His proof that there is no greatest
number is valid. The solution of the puzzle is complicated and depends upon the
theory of types, which is explained in Principia Mathematica, Vol. I (Cambridge University
Press, 1910). [Note added in 1917.]
6. This must not be regarded as a historically correct account of what Zeno actually had
in mind. It is a new argument for his conclusion, not the argument which influenced
him. On this point, see e.g. C. D. Broad, “Note on Achilles and the Tortoise,” Mind,
N.S., Vol. XXII, pp. 318–19. Much valuable work on the interpretation of Zeno has
been done since this article was written. [Note added in 1917.]
106 Bertrand Russell
Shandy, is the converse of the Achilles, and shows that the tortoise, if
you give him time, will go just as far as Achilles. Tristram Shandy, as we
know, employed two years in chronicling the first two days of his life,
and lamented that, at this rate, material would accumulate faster than he
could deal with it, so that, as years went by, he would be farther and
farther from the end of his history. Now I maintain that if he had lived
for ever, and had not wearied of his task, then, even if his life had
continued as eventfully as it began, no part of his biography would have
remained unwritten. For consider: the hundredth day will be described
in the hundredth year, the thousandth in the thousandth year, and so
on. Whatever day we may choose as so far on that he cannot hope to
reach it, that day will be described in the corresponding year. Thus any
day that may be mentioned will be written up sooner or later, and therefore
no part of the biography will remain permanently unwritten. This
paradoxical but perfectly true proposition depends upon the fact that the
number of days in all time is no greater than the number of years.
Thus on the subject of infinity it is impossible to avoid conclusions
which at first sight appear paradoxical, and this is the reason why so
many philosophers have supposed that there were inherent contradictions
in the infinite. But a little practice enables one to grasp the true principles
of Cantor’s doctrine, and to acquire new and better instincts as to the
true and the false. The oddities then become no odder than the people
at the antipodes, who used to be thought impossible because they would
find it so inconvenient to stand on their heads.
The solution of the problems concerning infinity has enabled Cantor
to solve also the problems of continuity. Of this, as of infinity, he has
given a perfectly precise definition, and has shown that there are no
contradictions in the notion so defined. But this subject is so technical
that it is impossible to give any account of it here.
The notion of continuity depends upon that of order, since continuity
is merely a particular type of order. Mathematics has, in modern times,
brought order into greater and greater prominence. In former days, it
was supposed (and philosophers are still apt to suppose) that quantity
was the fundamental notion of mathematics. But nowadays, quantity is
banished altogether, except from one little corner of Geometry, while
order more and more reigns supreme. The investigation of different
kinds of series and their relations is now a very large part of mathematics,
and it has been found that this investigation can be conducted without
any reference to quantity, and, for the most part, without any reference
to number. All types of series are capable of formal definition, and their
MATH E MATICS AN D TH E M ETAPHYS ICIAN S 107
8 . The greatest age of Greece was brought to an end by the Peloponnesian War.
[Note added in 1917.]
111
112 Bertrand Russell
have the same number of terms than it is to define what that number is.
An illustration will make this clear. If there were no polygamy or
polyandry anywhere in the world, it is clear that the number of husbands
living at any moment would be exactly the same as the number of wives.
We do not need a census to assure us of this, nor do we need to know
what is the actual number of husbands and of wives. We know the number
must be the same in both collections, because each husband has one
wife and each wife has one husband. The relation of husband and wife
is what is called “one-one.”
A relation is said to be “one-one” when, if x has the relation in question
to y, no other term x′ has the same relation to y, and x does not have the
same relation to any term y′ other than y. When only the first of these
two conditions is fulfilled, the relation is called “one-many”; when only
the second is fulfilled, it is called “many-one.” It should be observed
that the number 1 is not used in these definitions.
In Christian countries, the relation of husband to wife is one-one; in
Mohammedan countries it is one-many; in Tibet it is many-one. The
relation of father to son is one-many; that of son to father is many-one,
but that of eldest son to father is one-one. If n is any number, the relation
of n to n + 1 is one-one; so is the relation of n to 2n or to 3n. When we are
considering only positive numbers, the relation of n to n2 is one-one; but
when negative numbers are admitted, it becomes two-one, since n
and –n have the same square. These instances should suffice to make
clear the notions of one-one, one-many, and many-one relations, which
play a great part in the principles of mathematics, not only in relation to
the definition of numbers, but in many other connections.
Two classes are said to be “similar” when there is a one-one relation
which correlates the terms of the one class each with one term of the
other class, in the same manner in which the relation of marriage
correlates husbands with wives. A few preliminary definitions will help
us to state this definition more precisely. The class of those terms that
have a given relation to something or other is called the domain of that
relation: thus fathers are the domain of the relation of father to child,
husbands are the domain of the relation of husband to wife, wives are
the domain of the relation of wife to husband, and husbands and wives
together are the domain of the relation of marriage. The relation of wife to
husband is called the converse of the relation of husband to wife. Similarly
less is the converse of greater, later is the converse of earlier, and so on.
Generally, the converse of a given relation is that relation which holds
between y and x whenever the given relation holds between x and y. The
DE F I N ITION OF N U M B E R 115
converse domain of a relation is the domain of its converse: thus the class
of wives is the converse domain of the relation of husband to wife. We
may now state our definition of similarity as follows:
One class is said to be “similar” to another when there is a one-one
relation of which the one class is the domain, while the other is the converse
domain.
It is easy to prove (1) that every class is similar to itself, (2) that if a
class α is similar to a class β, then β is similar to α, (3) that if α is similar
to β and β to γ, then α is similar to γ. A relation is said to be reflexive
when it possesses the first of these properties, symmetrical when it possesses
the second, and transitive when it possesses the third. It is obvious that a
relation which is symmetrical and transitive must be reflexive throughout
its domain. Relations which possess these properties are an important
kind, and it is worth while to note that similarity is one of this kind of
relations.
It is obvious to common sense that two finite classes have the same
number of terms if they are similar, but not otherwise. The act of counting
consists in establishing a one-one correlation between the set of objects
counted and the natural numbers (excluding 0) that are used up in the
process. Accordingly common sense concludes that there are as many
objects in the set to be counted as there are numbers up to the last number
used in the counting. And we also know that, so long as we confine
ourselves to finite numbers, there are just n numbers from 1 up to n.
Hence it follows that the last number used in counting a collection is
the number of terms in the collection, provided the collection is finite.
But this result, besides being only applicable to finite collections, depends
upon and assumes the fact that two classes which are similar have the
same number of terms; for what we do when we count (say) 10 objects is
to show that the set of these objects is similar to the set of numbers 1 to
10. The notion of similarity is logically presupposed in the operation of
counting, and is logically simpler though less familiar. In counting, it is
necessary to take the objects counted in a certain order, as first, second,
third, etc., but order is not of the essence of number: it is an irrelevant
addition, an unnecessary complication from the logical point of view.
The notion of similarity does not demand an order: for example, we saw
that the number of husbands is the same as the number of wives, without
having to establish an order of precedence among them. The notion of
similarity also does not require that the classes which are similar should
be finite. Take, for example, the natural numbers (excluding 0) on the
one hand, and the fractions which have 1 for their numerator on the
116 Bertrand Russell
other hand: it is obvious that we can correlate 2 with ½, 3 with 1/3, and
so on, thus proving that the two classes are similar.
We may thus use the notion of “similarity” to decide when two
collections are to belong to the same bundle, in the sense in which we
were asking this question earlier in this chapter. We want to make one
bundle containing the class that has no members: this will be for the
number 0. Then we want a bundle of all the classes that have one
member: this will be for the number 1. Then, for the number 2, we want
a bundle consisting of all couples; then one of all trios; and so on.
Given any collection, we can define the bundle it is to belong to as
being the class of all those collections that are “similar” to it. It is very
easy to see that if (for example) a collection has three members, the class
of all those collections that are similar to it will be the class of trios. And
whatever number of terms a collection may have, those collections that
are “similar” to it will have the same number of terms. We may take this
as a definition of “having the same number of terms.” It is obvious that it
gives results conformable to usage so long as we confine ourselves to
finite collections.
So far we have not suggested anything in the slightest degree
paradoxical. But when we come to the actual definition of numbers we
cannot avoid what must at first sight seem a paradox, though this
impression will soon wear off. We naturally think that the class of couples
(for example) is something different from the number 2. But there is no
doubt about the class of couples: it is indubitable and not difficult to
define, whereas the number 2, in any other sense, is a metaphysical
entity about which we can never feel sure that it exists or that we have
tracked it down. It is therefore more prudent to content ourselves with
the class of couples, which we are sure of, than to hunt for a problematical
number 2 which must always remain elusive. Accordingly we set up the
following definition:
The number of a class is the class of all those classes that are similar to it.
Thus the number of a couple will be the class of all couples. In fact,
the class of all couples will be the number 2, according to our definition.
At the expense of a little oddity, this definition secures definiteness and
indubitableness; and it is not difficult to prove that numbers so defined
have all the properties that we expect numbers to have.
We may now go on to define numbers in general as any one of the
bundles into which similarity collects classes. A number will be a set of
classes such as that any two are similar to each other, and none outside
the set are similar to any inside the set. In other words, a number (in
DE F I N ITION OF N U M B E R 117
general) is any collection which is the number of one of its members; or,
more simply still:
A number is anything which is the number of some class.
Such a definition has a verbal appearance of being circular, but in fact
it is not. We define “the number of a given class” without using the
notion of number in general; therefore we may define number in general
in terms of “the number of a given class” without committing any logical
error.
Definitions of this sort are in fact very common. The class of fathers,
for example, would have to be defined by first defining what it is to be
the father of somebody; then the class of fathers will be all those who are
somebody’s father. Similarly if we want to define square numbers (say),
we must first define what we mean by saying that one number is the
square of another, and then define square numbers as those that are the
squares of other numbers. This kind of procedure is very common, and
it is important to realize that it is legitimate and even often necessary.
James R. Newman
1907–1966
N ew Names for Old discusses new words that have been added to
mathematical language. New ideas and new ways of looking at old
ideas need new forms of expression. Most of these terms are familiar
but are given special meaning in mathematical usage. In discussing
these special meanings, the authors give a short tour of modern
mathematics.
Two words for large numbers, googol and googolplex, prepare
the reader for a glimpse into the mathematical land that lies beyond
intuition and beyond imagination. This is the realm of the infinite.
The difference between an immensely large number and infinity is
not a quantitative difference, it is qualitative. At infinity, you are
not just farther out—you are in a different country. And this country
shares no border with your ordinary concept of mathematics.
The second piece, Beyond the Googol, makes the leap that carries
you beyond all sense experience. It begins by clarifying the idea of
counting. This requires a precise definition of number. 1 The
everyday understanding of number is not sufficient for the task
ahead. You are going to count that which would seem to be
uncountable—the infinitely large.
1
For additional writings on the concept of number, see Russell, pp. 84–117, and Dantzig,
pp. 165–189, Vol. 9, in this set.
120 Edward Kasner & J. R. Newman
121
122 Edward Kasner & J. R. Newman
The above is not a simple curve. A simple curve is a closed curve which
does not cross itself and may look like the figure on page 124. There are
many important theorems about such figures that make the word worth
while. Later, we are going to talk about a queer kind of mathematics
124 Edward Kasner & J. R. Newman
called “rubber-sheet geometry,” and will have much more to say about
simple curves and nonsimple ones. A French mathematician, Jordan,
gave the fundamental theorem: every simple curve has one inside and
one outside. That is, every simple curve divides the plane into two
regions, one inside the curve, and one outside.
There are some groups in mathematics that are “simple” groups. The
definition of “simple group” is really so hard that it cannot be given
here. If we wanted to get a clear idea of what a simple group was, we
should probably have to spend a long time looking into a great many
books, and then, without an extensive mathematical background, we
should probably miss the point. First of all, we should have to define
the concept “group.” Then we should have to give a definition of
subgroups, and then of self-conjugate subgroups, and then we should
be able to tell what a simple group is. A simple group is simply a group
without any self-conjugate subgroups—simple, is it not?
Mathematics is often erroneously referred to as the science of common
sense. Actually, it may transcend common sense and go beyond either
imagination or intuition. It has become a very strange and perhaps
frightening subject from the ordinary point of view, but anyone who
penetrates into it will find a veritable fairyland, a fairyland which is
strange, but makes sense, if not common sense. From the ordinary point
of view mathematics deals with strange things. We shall show you that
occasionally it does deal with strange things, but mostly it deals with
familiar things in a strange way. If you look at yourself in an ordinary
mirror, regardless of your physical attributes, you may find yourself
amusing, but not strange; a subway ride to Coney Island, and a glance
at yourself in one of the distorting mirrors will convince you that from
another point of view you may be strange as well as amusing. It is largely
a matter of what you are accustomed to. A Russian peasant came to
Moscow for the first time and went to see the sights. He went to the zoo
and saw the giraffes. You may find a moral in his reaction as plainly as
in the fables of La Fontaine. “Look,” he said, “at what the Bolsheviks have
N EW NAM E S FOR OLD 125
done to our horses.” That is what modern mathematics has done to simple
geometry and to simple arithmetic.
There are other words and expressions, not so familiar, which have
been invented even more recently. Take, for instance, the word “turbine.”
Of course, that is already used in engineering, but it is an entirely new
word in geometry. The mathematical name applies to a certain diagram.
(Geometry, whatever others may think, is the study of different shapes,
If you took the same circle and put an arrow on it in the opposite
direction, it would become a different cycle.
N EW NAM E S FOR OLD 127
The Greeks were specialists in the art of posing problems which neither
they nor succeeding generations of mathematicians have ever been able
to solve. The three most famous of these problems—the squaring of the
circle, the duplication of the cube, and the trisection of an angle—we
shall discuss later. Many well-meaning, self-appointed, and self-anointed
mathematicians, and a motley assortment of lunatics and cranks, knowing
neither history nor mathematics, supply an abundant crop of “solutions”
1. This is a diagram which the reader will have to imagine, for it is beyond the capacity
of any printer to make a circle with one point omitted. A point, having no dimensions,
will, like many of the persons on the Lord High Executioner’s list, never be missed.
So the circle with one point missing is purely conceptual, not an idea which can be
pictured.
N EW NAM E S FOR OLD 129
triangle is the point at which the triangle would balance if it were cut
out of cardboard and supported only at that point; it coincides with the
point of intersection of the medians.) Draw A′B′, B′C′, C′D′, D′E′,
E′F′, and F′A′. Then the new inner hexagon A′B′C′D′E′F′ will always
be a parhexagon.
130 Edward Kasner & J. R. Newman
The various conic sections, the circle, the ellipse, the parabola, and the
hyperbola, are the geometric pictures of quadratic equations in two
variables.
Then in the sixteenth century the Italians solved the equations of
third and fourth degree, obtaining long formulas involving cube roots
and square roots. So that by the year 1550, a few years before Shakespeare
was born, the equation of the first, second, third, and fourth degrees had
been solved. Then there was a delay of 250 years, because mathematicians
N EW NAM E S FOR OLD 131
were struggling with the equation of the fifth degree—the general quintic.
Finally, at the beginning of the nineteenth century, Ruffini and Abel
showed that equations of the fifth degree could not be solved with
radicals. The general quintic is thus not like the general quadratic, cubic
or biquadratic. Nevertheless, it presents a
problem in algebra which theoretically can
be solved by algebraic operations. Only,
A portrait
these operations are so hard that they of two ultraradicals
cannot be expressed by the symbols for radi-
cals. These new higher things are named “ultraradicals,” and they too
have their special symbols.
With such symbols combined with radicals, we can solve equations
of the fifth degree. For example, the solution of x5 + x = a may be written
The usefulness of the special symbol and name is
apparent. Without them the solution of the quintic equation could not
be compactly expressed.
We may now give a few ideas somewhat easier than those with which
we have thus far occupied ourselves. These ideas were presented some
time ago to a number of children in kindergarten. It was amazing how
well they understood everything that was said to them. Indeed, it is a
fair inference that kindergarten children can enjoy lectures on graduate
mathematics as long as the mathematical concepts are clearly presented.
It was raining and the children were asked how many raindrops would
fall on New York. The highest answer was 100. They had never counted
higher than 100 and what they meant to imply when they used that
number was merely something very, very big—as big as they could
imagine. They were asked how many raindrops hit the roof, and how
many hit New York, and how many single raindrops hit all of New York
in 24 hours. They soon got a notion of the bigness of these numbers
even though they did not know the symbols for them. They were certain
in a little while that the number of raindrops was a great deal bigger
than a hundred. They were asked to think of the number of grains of
sand on the beach at Coney Island and decided that the number of
grains of sand and the number of raindrops were about the same. But
the important thing is that they realized that the number was finite, not
infinite. In this respect they showed their distinct superiority over many
scientists who to this day use the word infinite when they mean some
big number, like a billion billion.
132 Edward Kasner & J. R. Newman
2. No one would say that 1 + 1 is “about equal to 2.” It is just as silly to say that a billion
billion is not a finite number, simply because it is big. Any number which can be
named, or conceived of in terms of the integers is finite. Infinite means something quite
different, as we shall see in the chapter on the googol.
3. Although, in all fairness, it must be pointed out that some of the tribes of the Belgian
Congo can count to a million and beyond.
4. Not even approximately a Russian author.
N EW NAM E S FOR OLD 133
but finite number from the fact that there would not be enough room to
write it, if you went to the farthest star, touring all the nebulae and
putting down zeros every inch of the way.
One might not believe that such a large number would ever really
have any application; but one who felt that way would not be a
mathematician. A number as large as the googolplex might be of real use
in problems of combination. This would be the type of problem in which
it might come up scientifically:
Consider this book which is made up of carbon and nitrogen and of
other elements. The answer to the question, “How many atoms are there
in this book?” would certainly be a finite number, even less than a googol.
Now imagine that the book is held suspended by a string, the end of
which you are holding. How long will it be necessary to wait before the
book will jump up into your hand? Could it conceivably ever happen?
One answer might be “No, it will never happen without some external
force causing it to do so.” But that is not correct. The right answer is
that it will almost certainly happen sometime in less than a googolplex of
years—perhaps tomorrow.
The explanation of this answer can be found in physical chemistry,
statistical mechanics, the kinetic theory of gases, and the theory of
probability. We cannot dispose of all these subjects in a few lines, but we
will try. Molecules are always moving. Absolute rest of molecules would
mean absolute zero degrees of temperature, and absolute zero degrees of
temperature is not only nonexistent, but impossible to obtain. All the
molecules of the surrounding air bombard the book. At present the
bombardment from above and below is nearly the same and gravity keeps
the book down. It is necessary to wait for the favorable moment when
there happens to be an enormous number of molecules bombarding the
book from below and very few from above. Then gravity will be overcome
and the book will rise. It would be somewhat like the effect known in
physics as the Brownian movement, which describes the behavior of small
particles in a liquid as they dance about under the impact of molecules. It
would be analogous to the Brownian movement on a vast scale.
But the probability that this will happen in the near future or, for that
matter, on any specific occasion that we might mention, is between
one of the book, we need larger numbers than are usually talked about.
It is for that reason that names like googol and googolplex, though they
may appear to be mere jokes, have a real value. The names help to fix in
our minds the fact that we are still dealing with finite numbers. To
repeat, a googol is 10100; a googolplex is 10 to the googol power, which
may be written .
We have seen that the number of years that one would have to wait to
see the miracle of the rising book would be less than a googolplex. In
that number of years the earth may well have become a frozen planet as
dead as the moon, or perhaps splintered to a number of meteors and
comets. The real miracle is not that the book will rise, but that with the
aid of mathematics, we can project ourselves into the future and predict
with accuracy when it will probably rise, i.e., some time between today
and the year googolplex.
If you do not expect the unexpected, you will not find it;
for it is hard to be sought out, and difficult.
—Heraclitus
137
138 Edward Kasner & J. R. Newman
Pythagorean doctrine, but all will concede that the numbers in the papyri,
in the Scriptures and in the writings of Pythagoras are the same as the
numbers of today. As arithmetic, mathematics has helped man to cast
horoscopes, to make calendars, to predict the risings of the Nile, to
measure fields and the height of the Pyramids, to measure the speed of a
stone as it fell from a tower in Pisa, the speed of an apple as it fell from
a tree in Woolsthorpe, to weigh the stars and the atoms, to mark the
passage of time, to find the curvature of space. And although mathematics
is also the calculus, the theory of probability, the matrix algebra, the
science of the infinite, it is still the art of counting.
Everyone who will read this book can count, and yet, what is
counting? The dictionary definitions are about as helpful as Johnson’s
definition of a net: “A series of reticulated interstices.” Learning to compare
is learning to count. Numbers come much later; they are an artificiality, an
abstraction. Counting, matching, comparing are almost as indigenous
to man as his fingers. Without the faculty of comparing, and without
his fingers, it is unlikely that he would have arrived at numbers.
One who knows nothing of the formal processes of counting is still
able to compare two classes of objects, to determine which is the greater,
which the less. Without knowing anything about numbers, one may
ascertain whether two classes have the same number of elements; for
example, barring prior mishaps, it is easy to show that we have the same
number of fingers on both hands by simply matching finger with finger
on each hand.
To describe the process of matching, which underlies counting,
mathematicians use a picturesque name. They call it putting classes into
a “one-to-one reciprocal correspondence” with each other. Indeed, that
is all there is to the art of counting as practiced by primitive peoples, by
us, or by Einstein. A few examples may serve to make this clear.
In a monogamous country it is unnecessary to count both the husbands
and the wives in order to ascertain the number of married people. If
allowances are made for the few gay Lotharios who do not conform to
either custom or statute, it is sufficient to count either the husbands or
the wives. There are just as many in one class as in the other. The
correspondence between the two classes is one-to-one.
There are more useful illustrations. Many people are gathered in a
large hall where seats are to be provided. The question is, are there enough
chairs to go around? It would be quite a job to count both the people and
the chairs, and in this case unnecessary. In kindergarten children play a
B EYON D TH E GO OGOL 139
1. We distinguish cardinal from ordinal numbers, which denote the relation of an element in
a class to the others, with reference to some system of order. Thus, we speak of the first
Pharaoh of Egypt, or of the fourth integer, in their customary order, or of the third day
of the week, etc. These are examples of ordinals.
140 Edward Kasner & J. R. Newman
symbol, attached to the set of all the classes, each of which can be put into
one-to-one correspondence with the fingers of one hand.
Hereafter we may refer without ambiguity to the number of elements
in a class as the cardinal number of that class or, briefly, as “its cardinality.”
The question, “How many letters are there in the word mathematics?” is
the same as the question, “What is the cardinality of the class whose
elements are the letters in the word mathematics?” Employing the method
of one-to-one correspondence, the following graphic device answers the
question, and illustrates the method:
It must now be evident that this method is neither strange nor esoteric;
it was not invented by mathematicians to make something natural and
easy seem unnatural and hard. It is the method employed when we
count our change or our chickens; it is the proper method for counting
any class, no matter how large, from ten to a googolplex—and beyond.
Soon we shall speak of the “beyond” when we turn to classes which
are not finite. Indeed, we shall try to measure our measuring class—the
integers. One-to-one correspondence should, therefore, be thoroughly
understood, for an amazing revelation awaits us: Infinite classes can
also be counted, and by the very same means. But before we try to count
them, let us practice on some very big numbers—big, but not infinite.
Or, for example, the total possible number of moves in a game of chess
is:
No doubt most people believe that such numbers are part of the
marvelous advance of science, and that a few generations ago, to say
nothing of centuries back, no one in dream or fancy could have
conceived of them.
There is some truth in that idea. For one thing, the ancient
cumbersome methods of mathematical notation made the writing of big
numbers difficult, if not actually impossible. For another, the average
citizen of today encounters such huge sums, representing armament
expenditures and stellar distances, that he is quite conversant with, and
immune to, big numbers.
But there were clever people in ancient times. Poets in every age may
have sung of the stars as infinite in number, when all they saw was,
perhaps, three thousand. But to Archimedes, a number as large as a
googol, or even larger, was not disconcerting. He says as much in an
introductory passage in The Sand Reckoner, realizing that a number is not
infinite merely because it is enormous.
There are some, King Gelon, who think that the number of the sand
is infinite in multitude; and I mean by the sand, not only that which
exists about Syracuse and the rest of Sicily, but also that which is found
in every region whether inhabited or uninhabited. Again there are some
who, without regarding it as infinite, yet think that no number has been
named which is great enough to exceed its multitude. And it is clear that
they who hold this view, if they imagined a mass made up of sand in
other respects as large as the mass of the earth, including in it all the
142 Edward Kasner & J. R. Newman
seas and the hollows of the earth filled up to a height equal to that of
the highest of the mountains, would be many times further still from
recognizing that any number could be expressed which exceeded the
multitude of the sand so taken. But I will try to show you by means of
geometrical proofs, which you will be able to follow, that, of the numbers
named by me and given in the work which I sent to Zeuxippus, some
exceed not only the number of the mass of sand equal in magnitude to
the earth filled up in the way described, but also that of a mass equal in
magnitude to the universe.
The Greeks had very definite ideas about the infinite. Just as we are
indebted to them for much of our wit and our learning, so are we indebted
to them for much of our sophistication about the infinite. Indeed, had
we always retained their clear-sightedness, many of the problems and
paradoxes connected with the infinite would never have arisen.
Above everything, we must realize that “very big” and “infinite” are
entirely different.3 By using the method of one-to-one correspondence,
the protons and electrons in the universe can theoretically be counted as
easily as the buttons on a vest. Sufficient and more than sufficient for
that task, or for the task of counting any finite collection, are the integers.
But measuring the totality of integers is another problem. To measure such
a class demands a lofty viewpoint. Besides being, as the German
mathematician Kronecker thought, the work of God, which requires
courage to appraise, the class of integers is infinite—which is a great deal
more inconvenient. It is worse than heresy to measure our own endless
measuring rod!
The problems of the infinite have challenged man’s mind and have
fired his imagination as no other single problem in the history of thought.
The infinite appears both strange and familiar, at times beyond our grasp,
at times natural and easy to understand. In conquering it, man broke
the fetters that bound him to earth. All his faculties were required for
this conquest—his reasoning powers, his poetic fancy, his desire to know.
To establish the science of the infinite involves the principle of
mathematical induction. This principle affirms the power of reasoning by
recurrence. It typifies almost all mathematical thinking, all that we do
when we construct complex aggregates out of simple elements. It is, as
3. There is no point where the very big starts to merge into the infinite. You may write a
number as big as you please; it will be no nearer the infinite than the number 1 or the
number 7. Make sure that you keep this distinction very clear and you will have
mastered many of the subtleties of the transfinite.
B EYON D TH E GO OGOL 143
The warfare began in antiquity with the paradoxes of Zeno; it has never
4. Where n is any integer.
5. No one has written more brilliantly or more wittily on this subject than Bertrand
Russell. See particularly his essays in the volume Mysticism and Logic.
144 Edward Kasner & J. R. Newman
ceased. Fine points were debated with a fervor worthy of the earliest
Christian martyrs, but without a tenth part of the acumen of medieval
theologians. Today, some mathematicians think the infinite has been
reduced to a state of vassalage. Others are still wondering what it is.
Zeno’s puzzles may help to bring the problem into sharper focus. Zeno
of Elea, it will be recalled, said some disquieting things about motion,
with reference to an arrow, Achilles, and a tortoise. This strange company
was employed on behalf of the tenet of Eleatic philosophy—that all motion
is an illusion. It has been suggested, probably by “baffled critics,” that
“Zeno had his tongue in cheek when he made his puzzles.” Regardless
of motive, they are immeasurably subtle, and perhaps still defy solution.6
One paradox—the Dichotomy—states that it is impossible to cover any
given distance. The argument: First, half the distance must be traversed,
then half of the remaining distance, then again half of what remains,
and so on. It follows that some portion of the distance to be covered
always remains, and therefore motion is impossible! A solution of this
paradox reads:
each term of which is half of the one before. Although this series has an
infinite number of terms, its sum is finite and equals 1. Herein, it is said,
lies the flaw of the Dichotomy. Zeno assumed that any totality composed of
an infinite number of parts must, itself, be infinite, whereas we have just
seen an infinite number of elements which make up the finite totality—1.
6. To be sure, a variety of explanations have been given for the paradoxes. In the last
analysis, the explanations for the riddles rest upon the interpretation of the foundations
of mathematics. Mathematicians like Brouwer, who reject the infinite, would probably
not accept any of the solutions given.
B EYON D TH E GO OGOL 145
sting. One could perhaps speak, if only with poetic fervor, of the infinitely
large, but what, pray, was the infinitely small? The Greeks, with less
than their customary sagacity, introduced it in regarding a circle as
differing infinitesimally from a polygon with a large number of equal
sides. Leibniz used it as the bricks for the infinitesimal calculus. Still, no
one knew what it was. The infinitesimal had wondrous properties. It was
not zero, yet smaller than any quantity. It could be assigned no quantity
or size, yet a sizable number of infinitesimals made a very definite quantity.
Unable to discover its nature, happily able to dispense with it, Weierstrass
interred it alongside of the phlogiston and other once-cherished errors.
exactly the same amount of area. The area of both is zero! The paradox
springs from the erroneous conception that the number of points in a
given configuration is an indication of the area which it occupies. Points,
finite or infinite in number, have no dimensions and can therefore occupy
no area.
Through the centuries such paradoxes had piled up. Born of the union
of vague ideas and vague philosophical reflections, they were nurtured
on sloppy thinking. Bolzano cleared away most of the muddle, preparing
the way for Cantor. It is to Cantor that the mathematics of the infinitely
large owes its coming of age.
148 Edward Kasner & J. R. Newman
Georg Cantor was born in St. Petersburg in 1845, six years before
Bolzano’s book appeared. Though born in Russia, he lived the greater
part of his life in Germany, where he taught at the University of Halle.
While Weierstrass was busy disposing of the infinitesimal, Cantor set
himself the apparently more formidable task at the other pole. The infinitely
small might be laughed out of existence, but who dared laugh at the
infinitely large? Certainly not Cantor! Theological curiosity prompted
his task, but the mathematical interest came to subsume every other.
In dealing with the science of the infinite, Cantor realized that the
first requisite was to define terms. His definition of “infinite class” which
we shall paraphrase, rests upon a paradox. AN INFINITE CLASS HAS THE
U N IQU E PROPE RTY THAT TH E WHOLE I S NO G REATE R THAN SOM E OF
ITS PARTS. That statement is as essential for the mathematics of the infinite
as TH E WH O LE I S G R EATE R THAN ANY O F ITS PARTS is for finite
arithmetic. When we recall that two classes are equal if their elements
can be put into one-to-one correspondence, the latter statement becomes
obvious. Zeno would not have challenged it, in spite of his scepticism
about the obvious. But what is obvious for the finite is false for the
infinite; our extensive experience with finite classes is misleading. Since,
for example, the class of men and the class of mathematicians are both
finite, anyone realizing that some men are not mathematicians would
correctly conclude that the class of men is the larger of the two. He
might also conclude that the number of integers, even and odd, is greater
than the number of even integers. But we see from the following pairing
that he would be mistaken:
Under every integer, odd or even, we may write its double—an even
integer. That is, we place each of the elements of the class of all the
integers, odd and even, into a one-to-one correspondence with the
elements of the class composed solely of even integers. This process may
be continued to the googolplex and beyond.
Now, the class of integers is infinite. No integer, no matter how great,
can describe its cardinality (or numerosity). Yet, since it is possible to
establish a one-to-one correspondence between the class of even numbers
and the class of integers, we have succeeded in counting the class of
even numbers just as we count a finite collection. The two classes being
perfectly matched, we must conclude that they have the same cardinality.
B EYON D TH E GO OGOL 149
That their cardinality is the same we know, just as we knew that the
chairs and the people in the hall were equal in number when every
chair was occupied and no one was left standing. Thus, we arrive at the
fundamental paradox of all infinite classes:—There exist component parts
of an infinite class which are just as great as the class itself. THE WHOLE
IS NO GREATER THAN SOME OF ITS PARTS !
The class composed of the even integers is thinned out as compared
with the class of all integers, but evidently “thinning out” has not the
slightest effect on its cardinality. Moreover, there is almost no limit to
the number of times this process can be repeated. For instance, there are
as many square numbers and cube numbers as there are integers. The
appropriate pairings are:
And thus,
Common sense says that there are many more fractions than integers,
for between any two integers there is an infinite number of fractions.
Alas—common sense is amidst alien corn in the land of the infinite.
Cantor discovered a simple but elegant proof that the rational fractions
form a denumerably infinite sequence equivalent to the class of integers.
Whence, this sequence must have the same cardinality.7
The set of all rational fractions is arranged, not in order of increasing
7. It has been suggested that at this point the tired reader puts the book down with a sigh—
and goes to the movies. We can only offer in mitigation that this proof, like the one
which follows on the noncountability of the real numbers, is tough and no bones about
it. You may grit your teeth and try to get what you can out of them, or conveniently
omit them. The essential thing to come away with is that Cantor found that the rational
fractions are countable but that the set of real numbers is not. Thus, in spite of what
common sense tells you, there are no more fractions than there are integers and there
are more real numbers between 0 and 1 than there are elements in the whole class of
integers.
152 Edward Kasner & J. R. Newman
is denumerably infinite.
But Cantor felt that there were other transfinites, that there were classes
which were not countable, which could not be put into one-to-one
correspondence with the integers. And one of his greatest triumphs came
when he succeeded in showing that there are classes with a cardinality
greater than Ꭽ0.
The class of real numbers composed of the rational and irrational
B EYON D TH E GO OGOL 153
Now, the second requirement confronts us. How shall we make the
8. Irrational numbers are numbers which cannot be expressed as rational fractions. For
Example, , , e, . The class of real numbers is made up of rationals like 1, 2, 3,
1 , 17
4 32 , and irrationals as above.
9. A transcendental number is one which is not the root of an algebraic equation with
integer coefficients.
1 0 . Any terminating decimal, such as .4, has a nonterminating form .3999 . . .
154 Edward Kasner & J. R. Newman
That was Cantor’s array. But at once it was evident that it glaringly
exhibited the very contradiction for which he had been seeking. And in
this defeat lay his triumph. For no matter how the decimals are arranged,
by whatever system, by whatever scheme, it is always possible to construct
an infinity of others which are not present in the array. The point is
worth repeating: having contrived a general form for an array which we
believed would include every decimal, we find, in spite of all our efforts,
that some decimals are bound to be omitted. This, Cantor showed by his
famous “diagonal proof.” The conditions for determining a decimal
omitted from the array are simple. It must differ from the first decimal
in the array in its first place, from the second decimal in the array
B EYON D TH E GO OGOL 155
in its second place, from the third decimal in its third place, and so on.
But then, it must differ from every decimal in the entire array in at least one
place. If (as illustrated in the figure) we draw a diagonal line through
our model array and write a new decimal, each digit of which shall
differ from every digit intercepted by the diagonal, this new decimal
cannot be found in the array.
where α1 differs from a1, α2 differs from b2, α3 from c3, α4 from d4, α5 from
e5, etc. Accordingly, it will differ from each decimal in at least one place,
from the nth decimal in at least its nth place. This proves conclusively
that there is no way of including all the decimals in any possible array,
no way of pairing them off with the integers. Therefore, as Cantor set
out to prove:
1. The class of transcendental numbers is not only infinite, but also not
countable, i.e., nondenumerably infinite.
2. The real numbers between 0 and 1 are infinite and not countable.
3. A fortiori, the class of all real numbers is nondenumerable.
Again, we hope for a variation of the theme when we come to the process
of involution. Yet, for the moment, we are disappointed, for .
does not equal Ꭽ0, so C does not equal C.
c
But just as
We are now in a position to solve our earlier problem in involution,
c
for actually Cantor found that (Ꭽ0)Ꭽ 0 = C. Likewise C gives rise to a new
transfinite, greater than C. This transfinite represents the cardinality of
the class of all one-valued functions. It is also one of the Ꭽ’s, but again,
which one is unknown. It is often designated by the letter F.11 In general,
the process of involution, when repeated, continues to generate higher
transfinites.
Just as the integers served as a measuring rod for classes with the
cardinality Ꭽ0, the class of real numbers serves as a measuring rod for
classes with the cardinality C. Indeed, there are classes of geometric
elements which can be measured in no other way except by the class of
real numbers.
From the geometric notion of a point, the idea is evolved that on any
given line segment there are an infinite number of points. The points on
a line segment are also, as mathematicians say, “everywhere dense.” This
means that between any two points there is an infinitude of others. The
concept of two immediately adjoining points is, therefore, meaningless.
This property of being “everywhere dense,” constitutes one of the essential
characteristics of a continuum. Cantor, in referring to the “cardinality of
the continuum,” recognized that it applies alike to the class of real numbers
and the class of points on a line segment. Both are everywhere dense,
and both have the same cardinality, C. In other words, it is possible to
pair the points on a line segment with the real numbers.
Classes with the cardinality C possess a property similar to classes
with the cardinality Ꭽ0: they may be thinned out without in any way
affecting their cardinality. In this connection, we see in very striking
fashion another illustration of the principle of transfinite arithmetic,
that the whole is no greater than many of its parts. For instance, it can be
proved that there are as many points on a line one foot long as there are
on a line one yard long. The line segment AB in the figure below is
[about] three times as long as the line A′B′. Nevertheless, it is possible to
put the class of all points on the segment AB into a one-to-one
correspondence with the class of points on the segment A′B′.
Let L be the intersection of the lines AA′ and BB′. If then to any point
M of AB, there corresponds a point M′ of A′B′, which is on the line LM,
we have established the desired correspondence between the class of
points on A′B′ and those on AB. It is easy to see intuitively and to prove
geometrically that this is always possible, and that, therefore, the
cardinality of the two classes of points is the same. Thus, since A′B′ is
smaller than AB, it may be considered a proper part of AB, and we have
again established that an infinite class may contain as proper parts,
subclasses equivalent to it.
There are more startling examples in geometry which illustrate the
power of the continuum. Although the statement that a line one inch in
length contains as many points as a line stretching around the equator,
or as a line stretching from the earth to the most distant stars, is startling
enough, it is fantastic to think that a line segment one-millionth of an
inch long has as many points as there are in all three-dimensional space
in the entire universe. Nevertheless, this is true. Once the principles of
Cantor’s theory of transfinites is understood, such statements cease to
sound like the extravagances of a mathematical madman. The oddities,
as Russell has said, “then become no odder than the people at the
antipodes who used to be thought impossible because they would find it
so inconvenient to stand on their heads.” Even conceding that the
treatment of the infinite is a form of mathematical madness, one is forced
to admit, as does the Duke in Measure for Measure:
If she be mad—as I believe no other—
Her madness hath the oddest frame of sense,
Such a dependency of thing on thing,
As e’er I heard in madness.
But at last our equipment makes it possible to do so. We have seen that
an infinite class, whether its cardinality is Ꭽ 0, C, or greater, can be
thinned out in a countless variety of ways, without affecting its
cardinality. In short, the whole is no greater than many of its parts.
Now, this property does not belong to finite classes at all; it belongs
only to infinite classes. Hence, it is a unique method of determining
whether a class is finite or infinite. Thus, our definition reads: An
infinite class is one which can be put into one-to-one reciprocal correspondence with
a proper subset of itself.
Equipped with this definition and the few ideas we have gleaned we
may re-examine some of the paradoxes of Zeno. That of Achilles and the
tortoise may be expressed as follows: Achilles and the tortoise, running
the same course, must each occupy the same number of distinct positions
during their race. However, if Achilles is to catch his more leisurely and
determined opponent, he will have to occupy more positions than the
tortoise, in the same elapsed period of time. Since this is manifestly
impossible, you may put your money on the tortoise.
But don’t be too hasty. There are better ways of saving money than
merely counting change. In fact, you had best bet on Achilles after all,
for he is likely to win the race. Even though we may not have realized it,
we have just finished proving that he could overtake the tortoise by
showing that a line a millionth of an inch long has just as many points
as a line stretching from the earth to the farthest star. In other words, the
points on the tiny line segment can be placed into one-to-one
correspondence with the points on the great line, for there is no relation
between the number of points on a line and its length. But this reveals
the error in thinking that Achilles cannot catch the tortoise. The
statement that Achilles must occupy as many distinct positions as the
tortoise is correct. So is the statement that he must travel a greater distance
than the tortoise in the same time. The only incorrect statement is the
inference that since he must occupy the same number of positions as the
tortoise he cannot travel further while doing so. Even though the classes
of points on each line, which correspond to the several positions of both
Achilles and the tortoise are equivalent, the line representing the path
of Achilles is much longer than that representing the path of the tortoise.
Achilles may travel much further than the tortoise without successively
touching more points.
The solution of the paradox involving the arrow in flight requires a
word about another type of continuum. It is convenient and certainly
familiar to regard time as a continuum. The time continuum has the same
B EYON D TH E GO OGOL 159
every new position. To make this clear we may construct two tables: One
will describe a body at rest, the other, a body in motion. The “rest” table
will tell the life history and the life geography of the Statue of Liberty,
while the “motion” table will describe the odyssey of an automobile.
The tables indicate that to every instant of time there corresponds a position
of the Statue of Liberty and of the taxi. There is a one-to-one space-time
correspondence for rest as well as for motion.
No paradox is concealed in the puzzle of the arrow when we look at
our table. Indeed, it would be strange if there were gaps in the table; if
it were impossible, at any instant, to determine exactly what the position
of the arrow is.
Most of us would swear by the existence of motion, but we are not
accustomed to think of it as something which makes an object occupy
different positions at different instants of time. We are apt to think that
motion endows an object with the strange property of being continually
nowhere. Impeded by the limitations of our senses which prevent us
from perceiving that an object in motion simply occupies one position
after another and does so rather quickly, we foster an illusion about
the nature of motion and weave it into a fairy tale. Mathematics helps
us to analyze and clarify what we perceive, to a point where we are
forced to acknowledge, if we no longer wish to be guided by fairy
tales, that we live either in Mr. Russell’s changeless world or in a
world where motion is but a form of rest. The story of motion is the
same as the story of rest. It is the same story told at a quicker tempo.
The story of rest is: “It is here.” The story of motion is: “It is here, it is
there.” Because, in this respect, it resembles Hamlet’s father’s ghost is
no reason to doubt its existence. Most of our beliefs are chained to less
substantial phantoms. Motion is perhaps not easy for our senses to
grasp, but with the aid of mathematics, its essence may first be properly
understood.
In his famous “Agony in Eight Fits,” Lewis Carroll hunted the snark.
Nobody was acquainted with the snark or knew much about it except
that it existed and that it was best to keep away from a boojum. The
infinite may be a boojum, too, but its existence in any form is a matter of
considerable doubt. Boojum or garden variety, the infinite certainly does
not exist in the same sense that we say, “There are fish in the sea.” For
that matter, the statement, “There is a number called 7,” refers to
something which has a different existence from the fish in the sea.
“Existence” in the mathematical sense is wholly different from the
existence of objects in the physical world. A billiard ball may have as
one of its properties, in addition to whiteness, roundness, hardness,
etc., a relation of circumference to diameter involving the number π.
We may agree that the billiard ball and both exist; we must also agree
that the billiard ball and lead different kinds of lives.
There have been as many views on the problem of existence since
Euclid and Aristotle as there have been philosophers. In modern times,
the various schools of mathematical philosophy, the Logistic school,
Formalists, and Intuitionists, have all disputed the somewhat less than
glassy essence of mathematical being. All these disputes are beyond our
ken, our scope, or our intention. A stranger company even than the
tortoise, Achilles, and the arrow, have defended the existence of infinite
classes—defended it in the same sense that they would defend the
existence of the number 7. The Formalists, who think mathematics is a
meaningless game, but play it with no less gusto, and the Logistic school,
which considers that mathematics is a branch of logic—both have taken
Cantor’s part and have defended the alephs. The defense rests on the
notion of self-consistency. “Existence” is a metaphysical expression tied
up with notions of being and other bugaboos worse even than boojums.
But the expression, “self-consistent proposition” sounds like the language
of logic and has its odor of sanctity. A proposition which is not self-
contradictory is, according to the Logistic school, a true existence
statement. From this standpoint the greater part of Cantor’s mathematics
of the infinite is unassailable.
New problems and new paradoxes, however, have been discovered
arising out of parts of Cantor’s structure because of certain difficulties
already inherent in classical logic. They center about the use of the
word “all.” The paradoxes encountered in ordinary parlance, such as
“All generalities are false including this one,” constitute a real problem
in the foundations of logic, just as did the Epimenides paradox whence
they sprang. In the Epimenides, a Cretan is made to say that all Cretans are
162 Edward Kasner & J. R. Newman
liars, which, if true, makes the speaker a liar for telling the truth. To
dispose of this type of paradox the Logistic school invented a “Theory
of Types.” The theory of types and the axiom of reducibility on which it
is based must be accepted as axioms to avoid paradoxes of this kind. In
order to accomplish this a reform of classical logic is required which has
already been undertaken. Like most reforms it is not wholly satisfactory—
even to the reformers—but by means of their theory of types the last
vestige of inconsistency has been driven out of the house that Cantor
built. The theory of transfinites may still be so much nonsense to many
mathematicians, but it is certainly consistent. The serious charge Henri
Poincaré expressed in his aphorism, La logistique n’est plus stérile: elle engendre
la contradiction [Logic is sterile no longer: it is engendering contradiction],
has been successfully rebutted by the logistic doctrine so far as the infinite
is concerned.
To Cantor’s alephs then, we may ascribe the same existence as to the
number 7. An existence statement free from self-contradiction may be
made relative to either. For that matter, there is no valid reason to trust
in the finite any more than in the infinite. It is as permissible to discard
the infinite as it is to reject the impressions of one’s senses. It is neither
more, nor less scientific to do so. In the final analysis, this is a matter of
faith and taste, but not on a par with rejecting the belief in Santa Claus.
Infinite classes, judged by finite standards, generate paradoxes much
more absurd and a great deal less pleasing than the belief in Santa Claus;
but when they are judged by the appropriate standards, they lose their
odd appearance, behave as predictably as any finite integer.
At last in its proper setting, the infinite has assumed a respectable
place next to the finite, just as real and just as dependable, even though
wholly different in character. Whatever the infinite may be, it is no
longer a purple cow.
1.
an, even in the lower stages of development, possesses a
faculty which, for want of a better name, I shall call number sense. This
faculty permits him to recognize that something has changed in a small
collection when, without his direct knowledge, an object has been
removed from or added to the collection.
Number sense should not be confused with counting, which is
probably of a much later vintage, and involves, as we shall see, a rather
intricate mental process. Counting, so far as we know, is an attribute
exclusively human, whereas some brute species seem to possess a
rudimentary number sense akin to our own. At least, such is the opinion
of competent observers of animal behavior, and the theory is supported
by a weighty mass of evidence.
Many birds, for instance, possess such a number sense. If a nest
contains four eggs one can safely be taken, but when two are removed
the bird generally deserts. In some unaccountable way the bird can
distinguish two from three. But this faculty is by no means confined to
birds. In fact the most striking instance we know is that of the insect
called the “solitary wasp.” The mother wasp lays her eggs in individual
cells and provides each egg with a number of live caterpillars on which
the young feed when hatched. Now, the number of victims is remarkably
constant for a given species of wasp: some species provide 5, others 12,
others again as high as 24 caterpillars per cell. But most remarkable is
the case of the Genus Eumenus, a variety in which the male is much smaller
than the female. In some mysterious way the mother knows whether the
egg will produce a male or a female grub and apportions the quantity of
food accordingly; she does not change the species or size of the prey,
but if the egg is male she supplies it with five victims, if female with ten.
165
166 Tobias Dantzig
F I N G E R P R I NTS 167
The regularity in the action of the wasp and the fact that this action is
connected with a fundamental function in the life of the insect make
this last case less convincing than the one which follows. Here the action
of the bird seems to border on the conscious:
A squire was determined to shoot a crow which made its nest in the
watchtower of his estate. Repeatedly he had tried to surprise the bird,
but in vain: at the approach of man the crow would leave its nest.
From a distant tree it would watchfully wait until the man had left the
tower and then return to its nest. One day the squire hit upon a ruse:
two men entered the tower, one remained within, the other came out
and went on. But the bird was not deceived: it kept away until the
man within came out. The experiment was repeated on the succeeding
days with two, three, then four men, yet without success. Finally, five
men were sent: as before, all entered the tower, and one remained
while the other four came out and went away. Here the crow lost count.
Unable to distinguish between four and five it promptly returned to its
nest.
to a remarkable degree. They reveal that those savages who have not
reached the stage of finger counting are almost completely deprived of all
perception of number. Such is the case among numerous tribes in
Australia, the South Sea Islands, South America, and Africa. Curr,
who has made an extensive study of primitive Australia, holds that but
few of the natives are able to discern four, and that no Australian in
his wild state can perceive seven. The Bushmen of South Africa have
no number words beyond one, two and many, and these words are so
inarticulate that it may be doubted whether the natives attach a clear
meaning to them.
We have no reasons to believe and many reasons to doubt that our
own remote ancestors were better equipped, since practically all
European languages bear traces of such early limitations. The
English thrice, just like the Latin ter, has the double meaning: three
times, and many. There is a plausible connection between the Latin
tres, three, and trans, beyond; the same can be said regarding the French
très, very, and trois, three.
The genesis of number is hidden behind the impenetrable veil of
countless prehistoric ages. Has the concept been born of experience, or
has experience merely served to render explicit what was already latent
in the primitive mind? Here is a fascinating subject for metaphysical
speculation, but for this very reason beyond the scope of this study.
If we are to judge of the development of our own remote ancestors by
the mental state of contemporary tribes we cannot escape the conclusion
that the beginnings were extremely modest. A rudimentary number sense,
not greater in scope than that possessed by birds, was the nucleus from
which the number concept grew. And there is little doubt that, left to
this direct number perception, man would have advanced no further in
the art of reckoning than the birds did. But through a series of remarkable
circumstances man has learned to aid his exceedingly limited perception
of number by an artifice which was destined to exert a tremendous
influence on his future life. This artifice is counting, and it is to counting
that we owe the extraordinary progress which we have made in expressing
our universe in terms of number.
3. There are primitive languages which have words for every color of
the rainbow but have no word for color; there are others which have all
number words but no word for number. The same is true of other
conceptions. The English language is very rich in native expressions
for particular types of collections: flock, herd, set, lot and bunch apply to
F I N G E R P R I NTS 169
special cases; yet the words collection and aggregate are of foreign
extraction.
The concrete preceded the abstract. “It must have required many ages
to discover,” says Bertrand Russell, “that a brace of pheasants and a couple
of days were both instances of the number two.” To this day we have
quite a few ways of expressing the idea two: pair, couple, set, team, twin,
brace, etc., etc.
A striking example of this extreme concreteness of the early number
concept is the Thimshian language of a British Columbia tribe. There
we find seven distinct sets of number words: one for flat objects and
animals; one for round objects and time; one for counting men; one for
long objects and trees; one for canoes; one for measures; one for counting
when no definite object is referred to. The last is probably a later
development; the others must be relics of the earliest days when the
tribesmen had not yet learned to count.
It is counting that consolidated the concrete and therefore
heterogeneous notion of plurality, so characteristic of primitive man,
into the homogeneous abstract number concept, which made mathematics
possible.
number that the two aspects appear to us as one. To determine the plurality
of a collection, i.e., its cardinal number, we do not bother any more to
find a model collection with which we can match it—we count it. And to
the fact that we have learned to identify the two aspects of number is
due our progress in mathematics. For whereas in practice we are really
interested in the cardinal number, this latter is incapable of creating an
arithmetic. The operations of arithmetic are based on the tacit assumption
that we can always pass from any number to its successor, and this is the essence
of the ordinal concept.
And so matching by itself is incapable of creating an art of reckoning.
Without our ability to arrange things in ordered succession little progress
could have been made. Correspondence and succession, the two
principles which permeate all mathematics—nay, all realms of exact
thought—are woven into the very fabric of our number system.
Persian pentcha, hand; the Russian piat, five, with piast, the outstretched
hand.
It is to his articulate ten fingers that man owes his success in
calculation. It is these fingers which have taught him to count and thus
extend the scope of number indefinitely. Without this device the number
technique of man could not have advanced far beyond the rudimentary
number sense. And it is reasonable to conjecture that without our fingers
the development of number, and consequently that of the exact sciences,
to which we owe our material and intellectual progress, would have
been hopelessly dwarfed.
7. And yet, except that our children still learn to count on their fingers
and that we ourselves sometimes resort to it as a gesture of emphasis,
finger counting is a lost art among modern civilized people. The advent
of writing, simplified numeration, and universal schooling have rendered
the art obsolete and superfluous. Under the circumstances it is only
natural for us to underestimate the role that finger counting has played
in the history of reckoning. Only a few hundred years ago finger counting
was such a widespread custom in Western Europe that no manual of
arithmetic was complete unless it gave full instructions in the method.
(See figure on page 166.)
The art of using his fingers in counting and in performing the simple
operations of arithmetic was then one of the accomplishments of an
educated man. The greatest ingenuity was displayed in devising rules
for adding and multiplying numbers on one’s fingers. Thus, to this day,
the peasant of central France (Auvergne) uses a curious method for
multiplying numbers above 5. If he wishes to multiply 9 × 8, he bends
down 4 fingers on his left hand (4 being the excess of 9 over 5), and 3
fingers on his right hand (8 – 5 = 3). Then the number of the bentdown
fingers gives him the tens of the result (4 + 3 = 7), while the product of
the unbent fingers gives him the units (1 × 2 = 2).
Artifices of the same nature have been observed in widely separated
places, such as Bessarabia, Serbia and Syria. Their striking similarity
and the fact that these countries were all at one time parts of the great
Roman Empire lead one to suspect the Roman origin of these devices.
Yet, it may be maintained with equal plausibility that these methods
evolved independently, similar conditions bringing about similar results.
Even today the greater portion of humanity is counting on fingers: to
primitive man, we must remember, this is the only means of performing
the simple calculations of his daily life.
F I N G E R P R I NTS 173
to count, he tucks his weapon under his arm, the left arm as a rule, and
counts on his left hand, using his right hand as check-off. This may
explain why the left hand is almost universally used by right-handed
people for counting.
Many languages still bear the traces of a quinary system, and it is
reasonable to believe that some decimal systems passed through the
quinary stage. Some philologists claim that even the Indo-European
number languages are of a quinary origin. They point to the Greek
word pempazein, to count by fives, and also to the unquestionably quinary
character of the Roman numerals. However, there is no other evidence
of this sort, and it is much more probable that our group of languages
passed through a preliminary vigesimal stage.
This latter probably originated among the primitive tribes who counted
on their toes as well as on their fingers. A most striking example of such
a system is that used by the Maya Indians of Central America. Of the
same general character was the system of the ancient Aztecs. The day of
the Aztecs was divided into 20 hours; a division of the army contained
8000 soldiers (8000 = 20 × 20 × 20).
While pure vigesimal systems are rare, there are numerous languages
where the decimal and the vigesimal systems have merged. We have the
English score, twoscore, and threescore; the French vingt (20) and quatre-
vingt (4 × 20). The old French used this form still more frequently; a
hospital in Paris originally built for 300 blind veterans bears the quaint
name of Quinze-Vingt (Fifteenscore); the name Onze-Vingt (Elevenscore) was
given to a corps of police sergeants comprising 220 men.
10. There exists among the most primitive tribes of Australia and
Africa a system of numeration which has neither 5, 10, nor 20 for base.
It is a binary system, i.e., of base two. These savages have not yet reached
finger counting. They have independent numbers for one and two,
and composite numbers up to six. Beyond six everything is denoted by
“heap.”
Curr, whom we have already quoted in connection with the Australian
tribes, claims that most of these count by pairs. So strong, indeed, is this
habit of the native that he will rarely notice that two pins have been
removed from a row of seven; he will, however, become immediately
aware if one pin is missing. His sense of parity is stronger than his number
sense.
Curiously enough, this most primitive of bases had an eminent advocate
in relatively recent times in no less a person than Leibnitz. A binary
F I N G E R P R I NTS 175
Decimal 1 2 3 4 5 6 7 8
Binary 1 10 11 100 101 110 111 1000
Decimal 9 10 11 12 13 14 15 16
Binary 1001 1010 1011 1100 1101 1110 1111 10000
The advantages of the base two are economy of symbols and tremendous
simplicity in operations. It must be remembered that every system requires
that tables of addition and multiplication be committed to memory. For
the binary system these reduce to 1 + 1 = 10 and 1 × 1 = 1; whereas for
the decimal, each table has 100 entries. Yet this advantage is more than
offset by lack of compactness: thus the decimal number 4096 = 212 would
be expressed in the binary system by 1,000,000,000,000.
It is the mystic elegance of the binary system that made Leibnitz
exclaim: Omnibus ex nihil ducendis sufficit unum. (One suffices to derive all
out of nothing.) Says Laplace:
Leibnitz saw in his binary arithmetic the image of Creation. . . . He
imagined that Unity represented God, and Zero the void; that the
Supreme Being drew all beings from the void, just as unity and zero
express all numbers in his system of numeration. This conception was
so pleasing to Leibnitz that he communicated it to the Jesuit, Grimaldi,
president of the Chinese tribunal for mathematics, in the hope that
this emblem of creation would convert the Emperor of China, who
was very fond of the sciences. I mention this merely to show how the
prejudices of childhood may cloud the vision even of the greatest men!
insist on a base with the greatest number of divisors, such as twelve, and the
mathematician, who would want a prime number, such as seven or eleven, for
a base. As a matter of fact, late in the eighteenth century the great naturalist
Buffon proposed that the duodecimal system (base 12) be universally adopted.
He pointed to the fact that 12 has 4 divisors, while 10 has only 2, and
maintained that throughout the ages this inadequacy of our decimal system
had been so keenly felt that, in spite of 10 being the universal base, most
measures had 12 secondary units.
On the other hand the great mathematician Lagrange claimed that a
prime base is far more advantageous. He pointed to the fact that with a
prime base every systematic fraction would be irreducible and would
therefore represent the number in a unique way. In our present
numeration, for instance, the decimal fraction .36 stands really for many
fractions: 36 100, 18 50, and 9 25. . . . Such an ambiguity would be
considerably lessened if a prime base, such as eleven, were adopted.
But whether the enlightened group to whom we would entrust the
selection of the base decided on a prime or a composite base, we may rest
assured that the number ten would not even be considered, for it is
neither prime nor has it a sufficient number of divisors.
In our own age, when calculating devices have largely supplanted
mental arithmetic, nobody would take either proposal seriously. The
advantages gained are so slight, and the tradition of counting by tens so
firm, that the challenge seems ridiculous.
From the standpoint of the history of culture a change of base, even if
practicable, would be highly undesirable. As long as man counts by
tens, his ten fingers will remind him of the human origin of this most
important phase of his mental life. So may the decimal system stand as a
living monument to the proposition: Man is the measure of all things.
Number Words of Some Indo-European Languages Showing
the Extraordinary Stability of Number Words
Ancient
Sanskrit Greek Latin German English French Russian
1 eka en unus eins one un odyn
2 dva duo duo zwei two deux dva
3 tri tri tres drei three trois tri
4 catur tetra quatuor vier four quatre chetyre
5 panca pente quinque fünf five cinq piat
6 sas hex sex sechs six six shest
7 sapta hepta septem sieben seven sept sem
8 asta octo octo acht eight huit vosem
9 nava ennea novem neun nine neuf deviat
10 daca deca decem zehn ten dix desiat
100 cata ecaton centum hundert hundred cent sto
1000 sehastre xilia mille tausend thousand mille tysiaca
F I N G E R P R I NTS 177
1 hun 1
20 kal 20
202 bak 400
203 pic 8000
204 calab 160,000
205 kinchel 3,200,000
206 alce 64,000,000
1.
s I am writing these lines there rings in my ears the old
refrain:
Reading, ’Riting, ’Rithmetic,
Taught to the tune of a hickory-stick!
In this chapter I propose to tell the story of one of three R’s, the one,
which, though oldest, came hardest to mankind.
It is not a story of brilliant achievement, heroic deeds, or noble sacrifice.
It is a story of blind stumbling and chance discovery, of groping in the dark
and refusing to admit the light. It is a story replete with obscurantism and
prejudice, of sound judgment often eclipsed by loyalty to tradition, and of
reason long held subservient to custom. In short, it is a human story.
178
TH E E M PTY CO LU M N 179
more likely that they developed their numerations along the lines of
least resistance, i.e., that their numerations were but an outgrowth of the
natural process of tallying. (See figure, page 180.)
Indeed, whether it be the cuneiform numerals of the ancient
Babylonians, the hieroglyphics of the Egyptian papyri, or the queer
figures of the early Chinese records, we find everywhere a distinctly
cardinal principle. Each numeral up to nine is merely a collection of
strokes. The same principle is used beyond nine, units of a higher class,
such as tens, hundreds, etc., being represented by special symbols.
3. The English tally stick, of obscure but probably very ancient origin,
also bears this unquestionably cardinal character. A schematic picture of
the tally is shown in the accompanying figure. The small notches each
represent a pound sterling, the larger ones 10 pounds, 100 pounds, etc.
It is curious that the English tally persisted for many centuries after
the introduction of modern numeration made its use ridiculously
obsolete. In fact it was responsible for an important episode in the history
of Parliament. Charles Dickens described this episode with inimitable
sarcasm in an address on administrative reform, which he delivered a
few years after the incident occurred.
Ages ago a savage mode of keeping accounts on notched sticks was
introduced into the Court of Exchequer and the accounts were kept much
as Robinson Crusoe kept his calendar on the desert island. A multitude of
accountants, bookkeepers, and actuaries were born and died. . . . Still
official routine inclined to those notched sticks as if they were pillars of the
Constitution, and still the Exchequer accounts continued to be kept on
certain splints of elm-wood called tallies. In the reign of George III an
inquiry was made by some revolutionary spirit whether, pens, ink and
paper, slates and pencils being in existence, this obstinate adherence to
an obsolete custom ought to be continued, and whether a change ought
not be effected. All the red tape in the country grew redder at the bare
mention of this bold and original conception, and it took until 1826 to
get these sticks abolished. In 1834 it was found that there was a
considerable accumulation of them; and the question then arose, what
was to be done with such worn-out, worm-eaten, rotten old bits of wood?
The sticks were housed in Westminster, and it would naturally occur to
any intelligent person that nothing could be easier than to allow them to
be carried away for firewood by the miserable people who lived in that
neighbourhood. However, they never had been useful, and official routine
required that they should never be, and so the order went out that
they were to be privately and confidentially burned. It came to pass that
180 Tobias Dantzig
TH E E M PTY CO LU M N 181
they were burned in a stove in the House of Lords. The stove, over-
gorged with these preposterous sticks, set fire to the panelling; the
panelling set fire to the House of Commons; the two houses were
reduced to ashes; architects were called in to build others; and we are
now in the second million of the cost thereof.
science was built around religion, but even the enlightened Greeks never
completely freed themselves from this mysticism of number and form.
And to a certain extent this awe persists to this day. The average man
identifies mathematical ability with quickness in figures. “So you are a
mathematician? Why, then you have no trouble with your income-tax
return!” What mathematician has not at least once in his career been so
addressed? There is, perhaps, unconscious irony in these words, for are
not most professional mathematicians spared all trouble incident to
excessive income?
series of wire rods with sliding buttons for counters. Finally, it is more
than probable that the ancient Hindu dust board was also an abacus in
principle, the part of the counters here being played by erasable marks
written on sand.
The origin of the word abacus is not certain. Some trace it to the
Semitic abac, dust; others believe that it came from the Greek abax, slab.
The instrument was widely used in Greece, and we find references to it
in Herodotus and Polybius. The latter, commenting on the court of
Philip II of Macedonia in his Historia, makes this suggestive statement:
Like counters on the abacus which at the pleasure of the calculator
may at one moment be worth a talent and the next moment a chalcus,
so are the courtiers at their King’s nod at one moment at the height of
prosperity and at the next objects of human pity.
To this day the counting board is in daily use in the rural districts of
Russia and throughout China, where it persists in open competition
with modern calculating devices. But in Western Europe and America
the abacus survived as a mere curiosity which few people have seen except
in pictures. Few realize how extensively the abacus was used in their own
countries only a few hundred years ago, where after a fashion it man-
TH E E M PTY CO LU M N 185
aged to meet the difficulties which were beyond the power of a clumsy
numeration.
the numeral a value which depends not only on the member of the
natural sequence it represents, but also on the position it occupies with
respect to the other symbols of the group. Thus, the same digit 2 has
different meanings in the three numbers 342, 725, 269: in the first case
it stands for two; in the second for twenty; in the third for two hundred.
As a matter of fact 342 is just an abbreviation for three hundred plus
four tens plus two units.
But that is precisely the scheme of the counting board, where 342 is
represented by
10. How the Indian sunya became the zero of today constitutes one of
the most interesting chapters in the history of culture. When the Arabs
of the tenth century adopted the Indian numeration, they translated the
Indian sunya by their own, sifr, which meant “empty” in Arabic. When
the Indo-Arabic numeration was first introduced into Italy, sifr was
latinized into zephirum. This happened at the beginning of the thirteenth
century, and in the course of the next hundred years the word underwent
a series of changes which culminated in the Italian zero.
About the same time Jordanus Nemerarius was introducing the Arabic
TH E E M PTY CO LU M N 187
11. Today, when positional numeration has become a part of our daily
life, it seems that the superiority of this method, the compactness of its
notation, the ease and elegance it introduced in calculations, should have
assured the rapid and sweeping acceptance of it. In reality, the transition,
far from being immediate, extended over long centuries. The struggle
between the Abacists, who defended the old traditions, and the Algorists,
who advocated the reform, lasted from the eleventh to the fifteenth
century and went through all the usual stages of obscurantism and reac-
188 Tobias Dantzig
12. As to the final victory of the Algorists, no definite date can be set.
We do know that at the beginning of the sixteenth century the supremacy
of the new numeration was incontestable. Since then progress was
unhampered, so that in the course of the next hundred years all the
rules of operations, both on integers and on common and decimal
fractions, reached practically the same scope and form in which they are
taught today in our schools.
Another century, and the Abacists and all they stood for were so
completely forgotten that various peoples of Europe began each to regard
the positional numeration as its own national achievement. So, for
instance, early in the nineteenth century we find that Arabic numerals
were called in Germany Deutsche with a view to differentiating them
from the Roman, which were recognized as of foreign origin.
As to the abacus itself, no traces of it are found in Western Europe
during the eighteenth century. Its reappearance early in the nineteenth
century occurred under very curious circumstances. The mathematician
Poncelet, a general under Napoleon, was captured in the Russian
campaign and spent many years in Russia as a prisoner of war. Upon
returning to France he brought, among other curios, a Russian abacus.
For many years to come, this importation of Poncelet’s was regarded as a
great curiosity of “barbaric” origin. Such examples of national amnesia
abound in the history of culture. How many educated people even today
know that only four hundred years ago finger counting was the average
TH E E M PTY CO LU M N 189
man’s only means of calculating, while the counting board was accessible
only to the professional calculators of the time?
190
192 Leonhard Euler
1.
193
194 Leonhard Euler
lowing very general problem for myself: Given any configuration of the
river and the branches into which it may divide, as well as any number
of bridges, to determine whether or not it is possible to cross each bridge
exactly once.
Fig. 1
across bridge a or b, I denote this crossing by the letters AB, the first of
which designates the area whence he came, the second the area where
he arrives after crossing the bridge. If the traveller then crosses from B
over bridge f into D, this crossing is denoted by the letters BD; the two
crossings AB and BD performed in succession I denote simply by the
three letters ABD, since the middle letter B designates the area into
which the first crossing leads as well as the area out of which the second
crossing leads.
5. Similarly, if the traveller proceeds from D across bridge g into C, I
designate these three successive crossings by the four letters ABDC.
These four letters signify that the traveller who was originally in A
crossed over into B, then to D, and finally to C; and since these areas
are separated from one another by the river the traveller must necessarily
have crossed three bridges. The crossing of four bridges will be
represented by five letters, and if the traveller crosses an arbitrary number
of bridges his journey will be described by a number of letters that is one
greater than the number of bridges. For example, eight letters are needed
to denote the crossing of seven bridges.
6. With this method I pay no attention to which bridges are used;
that is to say, if the crossing from one area to another can be made by
way of several bridges it makes no difference which one is used, so long
as it leads to the desired area. Thus if a route could be laid out over the
seven Königsberg bridges so that each bridge were crossed once and
only once, we would be able to describe this route by using eight letters,
and in this series of letters the combination AB (or BA) would have to
occur twice, since there are two bridges a and b, connecting the regions
A and B; similarly the combination AC would occur twice, while the
combinations AD, BD, and CD would each occur once.
7. Our question is now reduced to whether from the four letters A, B,
C, and D a series of eight letters can be formed in which all the
combinations just mentioned occur the required number of times. Before
making the effort, however, of trying to find such an arrangement we do
well to consider whether its existence is even theoretically possible or
not. For if it could be shown that such an arrangement is in fact
impossible, then the effort expended on finding it would be wasted.
Therefore I have sought for a rule that would determine without difficulty
as regards this and all similar questions whether the required arrangement
of letters is feasible.
8. For the purpose of finding such a rule I take a single region A into
which an arbitrary number of bridges, a, b, c, d, etc., leads (Fig. 2).
196 Leonhard Euler
Of these bridges I first consider only a. If the traveller crosses this bridge
he must either have been in A before crossing or have reached A after
crossing, so that according to the above method of denotation the letter
A will appear exactly once. If there are three bridges, a, b, c, leading
Fig. 2
to A and the traveller crosses all three, then the letter A will occur twice
in the expression for his route, whether it begins at A or not. And if
there are five bridges leading to A the expression for a route that crosses
them all will contain the letter A three times. If the number of bridges is
odd, increase it by one, and take half the sum; the quotient represents
the number of times the letter A appears.
9. Let us now return to the Königsberg problem (Fig. 1). Since there
are five bridges, a, b, c, d, e, leading to (and from) island A, the letter A
must occur three times in the expression describing the route. The letter
B must occur twice, since three bridges lead to B; similarly D and C
must each occur twice. That is to say, the series of eight letters that
represents the crossing of the seven bridges must contain A three times
and B, C, and D each twice; but this is quite impossible with a series of
eight letters. Thus it is apparent that a crossing of the seven bridges of
Königsberg in the manner required cannot be effected.
10. Using this method we are always able, whenever the number of
bridges leading to a particular region is odd, to determine whether it is
possible, in a journey, to cross each bridge exactly once. Such a route
exists if the number of bridges plus one is equal to the sum of the numbers
that indicate how often each individual letter must occur. On the other
hand, if this sum is greater than the number of bridges plus one, as it is
in our example, then the desired route cannot be constructed. The rule
that I gave (section 8) for determining from the number of bridges that
lead to A how often the letter A will occur in the route description is
independent of whether these bridges all come from a single region B,
as in Fig. 2, or from several regions, because I am considering only the
TH E S EVE N B R I D G E S O F KÖ N I G S B E RG 197
region A, and attempting to determine how often the letter A must occur.
11. When the number of bridges leading to A is even, we must take
into account whether the route begins in A or not. For example, if there
are two bridges that lead to A and the route starts from A, then the letter
A will occur twice, once to indicate the departure from A by one of the
bridges and a second time to indicate the return to A by the other bridge.
However, if the traveller starts his journey in another region, the letter
A will occur only once, since by my method of description the single
occurrence of A indicates an entrance into as well as a departure from A.
12. Suppose, as in our case, there are four bridges leading into the
region A, and the route is to begin at A. The letter A will then occur
three times in the expression for the whole route, while if the journey
had started in another region, A would occur only twice. With six bridges
leading to A the letter A will occur four times if A is the starting point,
otherwise only three times. In general, if the number of bridges is even,
the number of occurrences of the letter A, when the starting region is
not A, will be half the number of the bridges; one more than half, when
the route starts from A.
13. Every route must, of course, start in some one region, thus from
the number of bridges that lead to each region I determine the number
of times that the corresponding letter will occur in the expression for the
entire route as follows: When the number of the bridges is odd I increase
it by one and divide by two; when the number is even I simply divide it
by two. Then if the sum of the resulting numbers is equal to the actual
number of bridges plus one, the journey can be accomplished, though it
must start in a region approached by an odd number of bridges. But if
the sum is one less than the number of bridges plus one, the journey is
feasible if its starting point is a region approached by an even number of
bridges, for in that case the sum is again increased by one.
14. My procedure for determining whether in any given system of
rivers and bridges it is possible to cross each bridge exactly once is as
follows: 1. First I designate the individual regions separated from one
another by the water as A, B, C, etc. 2. I take the total number of bridges,
increase it by one, and write the resulting number uppermost. 3. Under
this number I write the letters A, B, C, etc., and opposite each of these
I note the number of bridges that lead to that particular region. 4. I
place an asterisk next the letters that have even numbers opposite them.
5. Opposite each even number I write the half of that number and opposite
each odd number I write half of the sum formed by that number plus
one. 6. I add up the last column of numbers. If the sum is one less
198 Leonhard Euler
than, or equal to, the number written at the top, I conclude that the
required journey can be made. But it must be noted that when the sum
is one less than the number at the top, the route must start from a region
marked with an asterisk. And in the other case, when these two numbers
are equal, it must start from a region that does not have an asterisk.
For the Königsberg problem I would set up the tabulation as follows:
Number of bridges 7, giving 8 ( = 7 + 1) bridges
A, 5 3
B, 3 2
C, 3 2
D, 3 2
The last column now adds up to more than 8, and hence the required
journey cannot be made.
15. Let us take an example of two islands, with four rivers forming the
surrounding water, as shown in Fig. 3. Fifteen bridges, marked a, b, c, d,
Fig. 3
etc., cross the water around the islands and the adjoining rivers; the
question is whether a journey can be arranged that will pass over all the
bridges, but not over any of them more than once. 1. I begin by marking
all the regions that are separated from one another by the water with the
letters A, B, C, D, E, F—there are six of them. 2. I take the number of
bridges—15—add one and write this number—16—uppermost. 3. I write
the letters A, B, C, etc., in a column and opposite each letter I write
the number of bridges connecting with that region, e.g., 8 bridges for
A, 4 for B, etc. 4. The letters that have even numbers opposite them
TH E S EVE N B R I D G E S O F KÖ N I G S B E RG 199
18. Since the sum of the numbers opposite A, B, C, etc., is double the
number of bridges, it is clear that if this sum is increased by two and
then divided by 2 the result will be the number written at the top. When
all the numbers in the second column are even, and the half of each is
written down in the third column, the total of this column will be one
less than the number at the top. In that case it will always be possible to
cross all the bridges. For in whatever region the journey begins, there
will be an even number of bridges leading to it, which is the requirement.
In the Königsberg problem we could, for instance, arrange matters so
that each bridge is crossed twice, which is equivalent to dividing each
bridge into two, whence the number of bridges leading to each region
would be even.
19. Further, when only two of the numbers opposite the letters are
odd, and the others even, the required route is possible provided it
begins in a region approached by an odd number of bridges. We take
half of each even number, and likewise half of each odd number after
adding one, as our procedure requires; the sum of these halves will then
be one greater than the number of bridges, and hence equal to the number
written at the top.
Similarly, where four, six, or eight, etc., of the numbers in the second
column are odd it is evident that the sum of the numbers in the third
column will be one, two, three, etc., greater than the top number, as the
case may be, and hence the desired journey is impossible.
20. Thus for any configuration that may arise the easiest way of
determining whether a single crossing of all the bridges is possible is to
apply the following rules:
If there are more than two regions which are approached by an odd
number of bridges, no route satisfying the required conditions can be
found.
If, however, there are only two regions with an odd number of
approach bridges, the required journey can be completed provided it
originates in one of the regions.
If, finally, there is no region with an odd number of approach
bridges, the required journey can be effected, no matter where it begins.
These rules solve completely the problem initially proposed.
21. After we have determined that a route actually exists we are left
with the question how to find it. To this end the following rule will serve:
Wherever possible we mentally eliminate any two bridges that connect
the same two regions; this usually reduces the number of bridges
considerably. Then—and this should not be difficult—we proceed to trace the
TH E S EVE N B R I D G E S O F KÖ N I G S B E RG 201
required route across the remaining bridges. The pattern of this route,
once we have found it, will not be substantially affected by the restoration
of the bridges which were first eliminated from consideration—as a little
thought will show; therefore I do not think I need say more about finding
the routes themselves.
Norman Robert Campbell
1880–1949
204
M EAS U RE M E NT 205
potatoes I may ask what it weighs and what it costs; to those questions I
shall expect a number in answer; it weighs 56 lbs. and costs 5 shillings.
But I may also ask of what variety the potatoes are, and whether they are
good cookers; to those questions I shall not expect a number in answer.
The dealer may possibly call the variety “No. 11” in somebody’s catalogue;
but even if he does, I shall feel that such use of a number is not real
measurement, and is not of the same kind as the use in connection with
weight or cost. What is the difference? Why are some properties
measurable and others not? Those are the questions I want to discuss.
And I will outline the answer immediately in order that the reader may
see at what the subsequent discussion is aiming. The difference is this.
Suppose I have two sacks of potatoes which are identical in weight, cost,
variety, and cooking qualities; and that I pour the two sacks into one so
that there is now only one sack of potatoes. This sack will differ from
the two original sacks in weight and cost (the measurable properties),
but will not differ from them in variety and cooking qualities (the
properties that are not measurable). The measurable properties of a body
are those which are changed by the combination of similar bodies; the
non-measurable properties are those that are not changed. We shall see
that this definition is rather too crude, but it will serve for the present.
Numbers. In order to see why this difference is so important we must
inquire more closely into the meaning of “number.” And at the outset
we must note that confusion is apt to arise because that word is used to
denote two perfectly different things. It sometimes means a mere name
or word or symbol, and it sometimes means a property of an object.
Thus, besides the properties which have been mentioned, the sack of
potatoes has another definite property, namely the number of potatoes in
it, and the number is as much a property of the object which we call a
sack of potatoes as its weight or its cost. This property can be (and must
be) “represented by a number” just as the weight can be; for instance, it
might be represented by 200. But this “200” is not itself a property of the
sack; it is a mere mark on the paper for which would be substituted, if I
was speaking instead of writing, a spoken sound; it is a name or symbol
for the property. When we say that measurement is the representation of
properties by “numbers,” we mean that it is the representation of
properties, other than number, by the symbols which are always used to
represent number. Moreover, there is a separate word for these symbols;
they are called “numerals.” We shall always use that word in future and
confine “number” to the meaning of the property which is always
represented by numerals.
206 N. R. Campbell
These considerations are not mere quibbling over words; they bring
out clearly an important point, namely, that the measurable properties of
an object must resemble in some special way the property number, since
they can be fitly represented by the same symbols; they must have some
quality common with number. We must proceed to ask what this common
quality is, and the best way to begin is to examine the property number
rather more closely.
The number of a sack of potatoes, or, as it is more usually expressed,
the number of potatoes contained in it, is ascertained by the process of
counting. Counting is inseparably connected in our minds to-day with
numerals, but the process can be, and at an earlier stage of civilization
was, carried on without them. Without any use of numerals I can
determine whether the number of one sack of potatoes is equal to that of
another. For this purpose I take a potato from one sack, mark it in some
way to distinguish it from the rest (e.g. by putting it into a box), and
then perform a similar operation on a potato from the other sack. I then
repeat this double operation continually until I have exhausted the
potatoes from one sack. If the operation which exhausts the potatoes
from one sack exhausts also the potatoes from the other, then I know
that the sacks had the same number of potatoes; if not, then the sack
which is not exhausted had a larger number of potatoes than the other.
The Rules for Counting. This process could be applied equally well if
the objects counted against each other were not of the same nature. The
potatoes in a sack can be counted, not only against another collection of
potatoes, but also against the men in a regiment or against the days in
the year. The “mark,” which is used for distinguishing the objects in the
process of counting, may have to be altered to suit the objects counted,
but some other suitable mark could be found which would enable the
process to be carried out. If, having never heard of counting before, we
applied the process to all kinds of different objects, we should soon
discover certain rules which would enable us to abbreviate and simplify
the process considerably. These rules appear to us to-day so obvious as
to be hardly worth stating, but as they are undoubtedly employed in
modern methods of counting, we must notice them here. The first is
that if two sets of objects, when counted against a third set, are found to
have the same number as that third set, then, when counted against each
other they will be found to have the same number. This rule enables us to
determine whether two sets of objects have the same number without
bringing them together; if I want to find out whether the number of potatoes
in the sack I propose to buy is the same as that in a sack I have at home, I
M EAS U RE M E NT 207
need not bring my sack to the shop; I can count the potatoes at the shop
against some third collection, take this collection home, and count it
against my potatoes. Accordingly the discovery of this first rule
immediately suggests the use of portable collections which can be
counted, first against one collection and then against another, in order
to ascertain whether these two have the same number.
The value of this suggestion is increased greatly by the discovery of a
second rule. It is that by starting with a single object and continually
adding to it another single object, we can build up a series of collections
of which one will have the same number as any other collection
whatsoever. This rule helps us in two ways. First, since it states that it is
possible to make a standard series of collections one of which will have
the same number as any other collection, it suggests that it might be
well to count collections, not against each other, but against a standard
series of collections. If we could carry this standard series about with us,
we could always ascertain whether any one collection had the same
number as any other by observing whether the member of the standard
series which had the same number as the first had also the same number
as the second. Next, it shows us how to make such a standard series
with the least possible cumbrousness. If we had to have a totally different
collection for each member of the standard series, the whole series would
be impossibly cumbrous; but our rule shows that the earlier members of
the series (that is those with the smaller number) may be all parts of the
later members. Suppose we have a collection of objects, each
distinguishable from each other, and agree to take one of these objects as
the first member of the series; this object together with some other as the
next member; these objects with yet another as the next member; and so
on. Then we shall obtain, according to our rule, a series, some member
of which has the same number as any other collection we want to count,
and yet the number of objects, in all the members of the standard series
taken together, will not be greater than that of the largest collection we
want to count.
And, of course, this is the process actually adopted. For the successive
members of the standard series compounded in this way, primitive man
chose, as portable, distinguishable objects, his fingers and toes. Civilized
man invented numerals for the same purpose. Numerals are simply
distinguishable objects out of which we build our standard series of
collections by adding them in turn to previous members of the series. The
first member of our standard series is 1, the next 1, 2, the next 1, 2, 3 and
so on. We count other collections against these members of the standard
208 N. R. Campbell
1. Numerals have also an immense advantage over fingers and toes as objects of which the
standard series may be formed, in that the series can be extended indefinitely by a
simple rule which automatically gives names to any new numerals that may be required.
Even if we have never hitherto had reason to carry the series beyond (say) 131679 in
order to count all the collections we have met with, when we do meet at last with a
larger collection, we know at once that the objects we must add to our standard series
are 131680, 131681, and so on. This is a triumph of conventional nomenclature,
much more satisfactory than the old convention that when we have exhausted our
fingers we must begin on our toes, but it is not essentially different.
M EAS U RE M E NT 209
in the history of mankind, and without them all, our habitual use of
numbers would be impossible.
What Properties Are Measurable? And now, after this discussion of
number, we can return to the other measurable properties of objects which,
like number, can be represented by numerals. We can now say more
definitely what is the characteristic of these properties which makes them
measurable. It is that there are rules true of these properties, closely
analogous to the rules on which the use of number depends. If a property
is to be measurable it must be such that (1) two objects which are the
same in respect of that property as some third object are the same as each
other; (2) by adding objects successively we must be able to make a
standard series one member of which will be the same in respect of the
property as any other object we want to measure; (3) equals added to
equals produce equal sums. In order to make a property measurable we
must find some method of judging equality and of adding objects, such
that these rules are true.
Let me explain what is meant by using as an example the measurable
property, weight.
Weight is measured by the balance. Two bodies are judged to have
the same weight if, when they are placed in opposite pans, neither tends
to sink; and two bodies are added in respect of weight when they are
both placed on the same pan of the balance. With these definitions of
equality and addition, it is found that the three rules are obeyed. (1) If
the body A balances the body B, and B balances C, then A balances C.
(2) By placing a body in one pan and continually adding it to others,
collections can be built up which will balance any other body placed in
the other pan. (3) If the body A balances the body B, and C balances D,
then A and C in the same pan will balance B and D in the other pan. To
make the matter yet clearer let us take another measurable property, length.
Two straight rods are judged equal in length, if they can be placed so
that both ends of one are contiguous to both ends of the other; they are
added in respect of length, when they are placed with one end of one
contiguous with one end of the other, while the two form a single straight
rod. Here again we find the three rules fulfilled. Bodies which are equal
in length to the same body are equal in length to each other. By adding
successively rods to each other, a rod can be built up which is equal to
any other rod. And equal rods added to equal rods produce equal rods.
Length is therefore a measurable property.
It is because these rules are true that measurement of these properties
is useful and possible; it is these rules that make the measurable prop-
210 N. R. Campbell
ing it, is one that rests entirely upon experimental inquiry. It is a part,
and a most important part, of experimental science. Whenever a new
branch of physics is opened up (for, as has been said, physics is the
science that deals with such processes of measurement), the first step is
always to find some process for measuring the new properties that are
investigated; and it is not until this problem has been solved, that any
great progress can be made along the branch. Its solution demands the
discovery of new laws. We can actually trace the development of new
measurable properties in this way in the history of science. Before the
dawn of definite history, laws had been discovered which made
measurable some of the properties employed by modern science. History
practically begins with the Greeks, but before their time the properties,
weight, length, volume, and area had been found to be measurable; the
establishment of the necessary laws had probably occurred in the great
period of Babylonian and Egyptian civilization. The Greeks, largely in
the person of Archimedes, found how to measure force by establishing the
laws of the lever, and other mechanical systems. Again from the earliest
era, there have been rough methods of measuring periods of time,2 but a
true method, really obeying the three rules, was not discovered till the
seventeenth century; it arose out of Galileo’s laws of the pendulum. Modern
science has added greatly to the list of measurable properties; the science
of electricity is based on the discovery, by Cavendish and Coulomb, of
the law necessary to measure an electric charge; on the laws, discovered
by Öersted and Ampère, necessary to measure an electric current; and on
the laws, discovered by Ohm and Kirchhoff, necessary to measure electrical
resistance. And the discovery of similar laws has made possible the
development of other branches of physics.
But, it may be asked, has there ever been a failure to discover the
necessary laws? The answer is that there are certainly many properties
which are not measurable in the sense that we have been discussing;
there are more properties, definitely recognized by science, that are not so
measurable than are so measurable. But, as will appear presently, the very
nature of these properties makes it impossible that they should be measured
in this way. For the only properties to which this kind of measurement
seems conceivably applicable, are those which fulfil the condition
stated provisionally on p. 205; they must be such that the combina-
2. By a period of time I mean the thing that is measured when we say that it took us 3
hours to do so-and-so. This is a different “time” from that which is measured when we
say it is 3 o’clock. The difference is rather abstruse and cannot be discussed here; but
it may be mentioned that the “measurement” involved in “3 o’clock” is more like that
discussed later in the chapter.
212 N. R. Campbell
tion of objects possessing the property increases that property. For this is
the fundamental significance of the property number; it is something that
is increased by addition; any property which does not agree with number
in this matter cannot be very closely related to number and cannot possibly
be measured by the scheme that has been described. But it will be seen
that fulfilment of this condition only makes rule (2) true; it is at least
conceivable that a property might obey rule (2) and not rules (1) and (3).
Does that ever happen, or can we always find methods of addition and of
judging equality such that, if rule (2) is true, the laws are such that rules
(1) and (3) are also true? In the vast majority of cases we can find such
methods and such laws; and it is a very remarkable fact that we can; it is
only one more instance of the way in which nature kindly falls in with
our ideas of what ought to be. But I think there is one case in which the
necessary methods and laws have not yet been found and are not likely to
be found. It is a very difficult matter concerning which even expert
physicists might differ, and so no discussion of it can be entered on here.
But it is mentioned in order to impress the reader with the fact that
measurement does depend upon experimental laws; that it does depend
upon the facts of the external world; and that it is not wholly within our
power to determine whether we will or will not measure a certain property.
That is the feature of measurement which it is really important to grasp
for a proper understanding of science.
Multiplication. Before we pass to another kind of measurement reference
must be made to a matter which space does not allow to be discussed
completely. In stating the rules that were necessary in order that weight
should be measurable (p. 209), it was said that a collection having the
same weight as any given body could be made by adding other bodies to
that first selected. Now this statement is not strictly true; it is only true
if the body first selected has a smaller weight than any other body it is
desired to weigh; and even if this condition is fulfilled, it is not true if
the bodies added successively to the collection are of the same weight as
that first selected. Thus if my first body weighs 1 lb., I cannot by adding
to it make a collection which weighs less than 1 lb., and by adding
bodies which each weigh 1 lb., I cannot make a collection which has the
same weight as a body weighing (say) 2½ lb.
These facts, to which there is no true analogy in connection with
number, force us to recognize “fractions.” A considerable complication is
thereby introduced, and the reader must accept my assurance that they
can all be solved by simple developments of the process of measurement
that has been sketched. But for a future purpose it is necessary to notice
M EAS U RE M E NT 213
ties. We have now considered one way in which this assignment is made,
and have brought to light the laws which must be true if this way is to
be possible. And it is the fundamental way. We are now going to consider
some other ways in which numerals are assigned to represent properties;
but it is important to insist at the outset, and to remember throughout,
that these other ways are wholly dependent upon the fundamental
process, which we have just been discussing, and must be so dependent
if the numerals are to represent “real properties” and to tell us something
scientifically significant about the bodies to which they are attached.
This statement is confirmed by history; all properties measured in the
definitely pre-scientific era were measured (or at least measurable) by the
fundamental process; that is true of weight, length, volume, area and
periods of time. The dependent measurement, which we are now about
to consider, is a product of definitely and consciously scientific
investigation, although the actual discovery may, in a few cases, be lost
in the mists of the past.
The property which we shall take as an example of this dependent or,
as it will be termed, derived measurement, is density. Every one has some
idea of what density means and realizes, vaguely at least, why we say
that iron is denser than wood or mercury than water; and most people
probably know how density is measured, and what is meant when it is
said that the density of iron is 8 times that of wood, and the density of
mercury 13½ times that of water. But they will feel also that there is
something more scientific and less purely common-sense about the
measurement of density than about the measurement of weight; as a
matter of fact the discovery of the measurement of density certainly falls
within the historic period and probably may be attributed to Archimedes
(about 250 B.C.). And a little reflection will convince them that there is
something essentially different in the two processes.
For what we mean when we say a body has a weight 2 is that a body
of the same weight can be made by combining 2 bodies of the weight 1;
that is the fundamental meaning of weight; it is what makes weight
physically important and, as we have just seen, makes it measurable. But
when we say that mercury has a density 13½ we do not mean that a body
of the same density can be prepared by combining 13½ bodies of the
density 1 (water). For, if we did mean that, the statement would not be
true. However many pieces of water we take, all of the same density,
we cannot produce a body with any different density. Combine water
with water as we will, the resulting body has the density of water. And
this, a little reflection will show, is part of the fundamental meaning
M EAS U RE M E NT 215
3. Numerals are also used to represent objects, such as soldiers or telephones, which have
no natural order. They are used here because they provide an inexhaustible series of
names, in virtue of the ingenious device by which new numerals can always be invented
when the old ones have been used up.
216 N. R. Campbell
member of the series was denser than the preceding and less dense than
the following member. We might then assign to the first liquid the density
1, to the second 2, and so on; and we should then have assigned numerals
in a way which would be physically significant and indicate definite
physical facts. The fact that A was represented by 2 and B by 7 would
mean that there was some solid body which would float in B, but not in
A. We should have achieved something that might fairly be called
measurement.
Here again it is important to notice that the possibility of such
measurement depends upon definite laws; we could not have predicted
beforehand that such an arrangement of liquids was possible unless we
knew these laws. One law involved is this: If B is denser than A, and C
denser than B, then C is denser than A. That sounds like a truism; but
it is not. According to our definition it implies that the following statement
is always true: If a body X floats in B and sinks in A, then if another
body Y sinks in B it will also sink in A. That is a statement of facts;
nothing but experiment could prove that it is true; it is a law. And if it
were not true, we could not arrange liquids naturally in a definite order.
For the test with X would prove that B was denser than A, while the test
with Y (floating in A, but sinking in B) would prove that A was denser
than B. Are we then to put A before or after B in the order of density?
We should not know. The order would be indeterminate and, whether
we assigned a higher or a lower numeral to A than to B, the assignment
would represent no definite physical fact: it would be arbitrary.
In order to show that the difficulty might occur, and that it is an
experimental law that it does not occur, an instance in which a similar
difficulty has actually occurred may be quoted. An attempt has been
made to define the “hardness” of a body by saying that A is harder than
B if A will scratch B. Thus diamond will scratch glass, glass iron, iron
lead, lead chalk, and chalk butter; so that the definition leads to the
order of hardness: diamond, glass, iron, lead, chalk, butter. But if there
is to be a definite order, it must be true in all cases that if A is harder
than B and B than C, then A is harder than C; in other words, if A will
scratch B and B C, then A will scratch C. But it is found experimentally
that there are exceptions to this rule, when we try to include all bodies
within it and not only such simple examples as have been quoted.
Accordingly the definition does not lead to a definite order of hardness
and does not permit the measurement of hardness.
There are other laws of the same kind that have to be true if the order
is to be definite and the measurement significant; but they will not be
M EAS U RE M E NT 217
given in detail. One of them the reader may discover for himself, if he
will consider the property colour. Colour is not a property measurable
in the way we are considering, and for this reason. If we take all reds
(say) of a given shade, we can arrange them definitely in an order of
lightness and darkness; but no colour other than red will fall in this
order. On the other hand, we might possibly take all shades and arrange
them in order of redness—pure red, orange, yellow, and so on; but in
this order there would be no room for reds of different lightness. Colours
cannot be arranged in a single order, and it is for this reason that colour
is not measurable as is density.
Numerical Laws. But though arrangement in this manner in an order
and the assignment of numerals in the order of the properties are to
some extent measurement and represent something physically significant,
there is still a large arbitrary element involved. If the properties A, B, C,
D, are naturally arranged in that order, then in assigning numerals to
represent the properties I must not assign to A 10, to B 3, to C 25, to D
18; for if I did so the order of the numerals would not be that of the
properties. But I have an endless number of alternatives left; I might put
A 1, B 2, C 3, D 4; or A 10, B 100, C 1,000, D 10,000; or A 3, B 9, C
27, D 81; and so on. In the true and fundamental measurement of the
first part of the chapter there was no such latitude. When I had fixed
the numeral to be assigned to one property, there was no choice at all of
the numerals to be assigned to the others; they were all fixed. Can I
remove this latitude here too and find a way of fixing definitely what
numeral is to be assigned to represent each property?
In some cases, I can; and one of these cases is density. The procedure
is this. I find that by combining the numerals representing other properties
of the bodies, which can be measured definitely according to the
fundamental process, I can obtain a numeral for each body, and that
these numerals lie in the order of the property I want to measure. If I
take these numerals as representing the property, then I still get numerals
in the right order, but the numeral for each property is definitely fixed.
An example will be clearer than this general statement. In the case of
density, I find that if I measure the weight and the volume of a body
(both measurable by the fundamental process and therefore definitely fixed),
and I divide the weight by the volume, then the numerals thus obtained
for different bodies lie in the order of their densities, as density was defined
on pp. 215–216. Thus I find that 1 gallon of water weighs 10 lb., but 1
gallon of mercury weighs 135 lb.; the weight divided by the volume for
water is 10, for mercury is 135; 135 is greater than 10; accordingly, if the
218 N. R. Campbell
method is correct, mercury should be denser than water and any body
which sinks in mercury should sink in water. And that is actually found
to be true. If therefore I take as the measure of the density of a substance,
its weight divided by its volume, then I get a number which is definitely
fixed,4 and the order of which represents the order of density. I have
arrived at a method of measurement which is as definitely fixed as the
fundamental process and yet conveys adequately the physically significant
facts about order.
The invention of this process of measurement for properties not suited
for fundamental measurement is a very notable achievement of deliberate
scientific investigation. The process was not invented by common sense;
it was certainly invented in the historic period, but it was not until the
middle of the eighteenth century that its use became widespread. 5 To-
day it is one of the most powerful weapons of scientific investigation;
and it is because so many of the properties of importance to other sciences
are measured in this way that physics, the science to which this process
belongs, is so largely the basis of other sciences. But it may appear
exceedingly obvious to the reader, and he may wonder why the invention
was delayed so long. He may say that the notion of density, in the sense
that a given volume of the denser substance weighs more than the same
volume of the less dense, is the fundamental notion; it is what we mean
when we speak of one substance being denser (or in popular language
“heavier”) than another; and that all that has been discovered in this
instance is that the denser body, in this sense, is also denser in the sense
of pp. 215–216. This in itself would be a very noteworthy discovery, but
the reader who raises such an objection has overlooked a yet more
noteworthy discovery that is involved.
For we have observed that it is one of the most characteristic features
of density that it is the same for all bodies, large and small, made of the
same substance. It is this feature which makes it impossible to measure it
by the fundamental process. The new process will be satisfactory only if
it preserves this feature. If we are going to represent density by the weight
divided by the volume, the density of all bodies made of the same sub-
4. Except in so far as I may change the units in which I measure weights and volume. I
should get a different number if I measured the volume in pints and the weight in tons.
But this latitude in the choice of units introduces a complication which it will be better
to leave out of account here. There is no reason why we should not agree once and for
all to use the same units; and if we did that the complication would not arise.
5. I think that until the eighteenth century only two properties were measured in this way
which were not measurable by the fundamental process, namely density and constant
acceleration.
M EAS U RE M E NT 219
stance will be the same, as it should be, only if for all of them the weight
divided by the density is the same, that is to say, in rather more technical
language, if the weight is proportional to the density. In adopting the
new process for measuring density and assigning numerals to represent
it in a significant manner, we are, in fact, assuming that, for portions of
the same substance, whether they are large or small, the weight is
proportional to the volume. If we take a larger portion of the same
substance and thereby double the weight, we must find, if the process of
measurement is to be a success, that we also double the volume; and this
law must be true for all substances to which the conception of density is
applicable at all.
Of course every one knows that this relation is actually true; it is so
familiar that we are apt to forget that it is an experimental truth that was
discovered relatively late in the history of civilization, which easily might
not be true. Perhaps it is difficult to-day to conceive that when we take
“more” of a substance (meaning thereby a greater volume) the weight
should not increase, but it is quite easy to conceive that the weight
should not increase proportionally to the volume; and yet it is upon
strict proportionality that the measurement of density actually depends.
If the weight had not been proportional to the volume, it might still
have been possible to measure density, so long as there was some fixed
numerical relation between weight and volume. It is this idea of a fixed
numerical relation, or, as we shall call it henceforward, a numerical law,
that is the basis of the “derived” process of measurement that we are
considering; and the process is of such importance to science because it
is so intimately connected with such numerical laws. The recognition
of such laws is the foundation of modern physics.
The Importance of Measurement. For why is the process of measurement
of such vital importance; why are we so concerned to assign numerals to
represent properties. One reason doubtless is that such assignment enables
us to distinguish easily and minutely between different but similar
properties. It enables us to distinguish between the density of lead and
iron far more simply and accurately than we could do by saying that
lead is rather denser than iron, but not nearly so dense as gold—and so
on. But for that purpose the “arbitrary” measurement of density,
depending simply on the arrangements of the substances in their order
(pp. 215–216), would serve equally well. The true answer to our question
is seen by remembering . . . that the terms between which laws express
relationships are themselves based on laws and represent collections of other
terms related by laws. When we measure a property, either by the funda-
220 N. R. Campbell
I now try to find some fixed relation between the corresponding numbers
in the two columns; and I shall succeed in that attempt if I can find
some rule whereby, starting with the number in one column, I can arrive
at the corresponding number in the other. If I find such a rule—and if
the rule holds good for all the further measurements that I may make—
then I have discovered a numerical law.
In the example we have taken the rule is easy to find. I have only to
divide the numbers in the second column by 7 in order to arrive at those in
the first, or multiply those in the first by 7 in order to arrive at those in the
second. That is a definite rule which I can always apply whatever the
numbers are; it is a rule which might always be true, but need not always
be true; whether or no it is true is a matter for experiment to decide. So
much is obvious; but now I want to ask a further and important question.
222
N U M E RICAL LAWS AN D MATH E MATICS 223
How did we ever come to discover this rule; what suggested to us to try
division or multiplication by 7: and what is the precise significance of
division and multiplication in this connection?
The Source of Numerical Relations. The answer to the first part of this
question is given by the discussion on p. 213. Division and multiplication
are operations of importance in the counting of objects; in such counting
the relation between 21, 7, 3 (the third of which results from the division
of the first by the second) corresponds to a definite relation between the
things counted; it implies that if I divide the 21 objects into 7 groups,
each containing the same number of objects, then the number of objects
in each of the 7 groups is 3. By examining such relations through the
experimental process of counting we arrive at the multiplication (or
division) table. This table, when it is completed, states a long series of
relations between numerals, each of which corresponds to an
experimental fact; the numerals represent physical properties (numbers)
and in any given relation (e.g., 7 × 3 = 21) each numeral represents a
different property. But when we have got the multiplication table, a
statement of relations between numerals, we can regard it, and do usually
regard it, simply as a statement of relations between numerals; we can
think about it without any regard to what those numerals represented
when we were drawing up the table. And if any other numerals are
presented to our notice, it is possible and legitimate to ask whether these
numerals, whatever they may represent, are in fact related as are the
numerals in the multiplication table. In particular, when we are seeking
a numerical relation between the columns of Table I, we may inquire,
and it is natural for us to inquire, whether by means of the multiplication
we can find a rule which will enable us to arrive at the numeral in the
second column starting from that in the first.
That explains why it is so natural to us to try division when we are
seeking a relation between numbers. But it does not answer the second
part of the question; for in the numerical law that we are considering,
the relation between the things represented by the numerals is not that
which we have just noticed between things counted. When we say that,
by dividing the volume by 7, we can arrive at the weight, we do not mean
that the weight is the volume of each of the things at which we arrive by
dividing the substance into 7 portions, each having the same volume.
For a weight can never be a volume, any more than a soldier can be a
number; it can only be represented by the same numeral as a volume, as
a soldier can be represented by a numeral which also represents a number.
The distinction is rather subtle, but if the reader is to understand what
224 N. R. Campbell
follows, he must grasp it. The relation which we have found between
weight and volume is a pure numerical relation; it is suggested by the
relation between actual things, namely collections which we count; but
it is not that relation. The difference may be expressed again by means
of the distinction between numbers and numerals. The relation between
actual things counted is a relation between the numbers—which are
physical properties—of those things; the relation between weight and
volume is a relation between numerals, the numerals that are used to
represent those properties. The physical relation in the second case is
not between numbers at all, but between weight and volume which are
properties quite different from numbers; it appears very similar to that
between numbers only because we use numerals, originally invented to
represent numbers, to represent other properties. The relation stated by
a numerical law is a relation between numerals, and only between
numerals, though the idea that there may be such a relation has been
suggested to us by the study of the physical property, number.
If we understand this, we shall see what a very remarkable thing it is
that there should be numerical laws at all, and shall see why the idea of
such a law arose comparatively late in the history of science. For even
when we know the relations between numbers, there is no reason to believe
that there must be any relations of the same kind between the numerals
which are used to represent, not only numbers, but also other properties.
Until we actually tried, there was no reason to think that it must be possible
to find at all numerical laws, stating numerical relations such as those of
division and multiplication. The fact that there are such relations is a new
fact, and ought to be surprising. As has been said so often, it does frequently
turn out that suggestions made simply by our habits of mind are actually
true; and it is because they are so often true that science is interesting. But
every time they are true there is reason for wonder and astonishment.
And there is a further consequence yet more deserving of our attention
at present. If we realize that the numerical relations in numerical laws,
though suggested by relations between numbers, are not those relations,
we shall be prepared to find also numerical relations which are not even
suggested by relations between numbers, but only by relations between
numerals. Let me take an example. Consider the pairs of numerals
(1, 1), (2, 4), (3, 9), (4, 16) . . . Our present familiarity with numerals
enables us to see at once what is the relation between each pair; it is that
the second numeral of the pair is arrived at by multiplying the first
numeral by itself; 1 is equal to 1 × 1, 4 to 2 × 2, 9 to 3 × 3; and so on. But,
if the reader will consider the matter, he will see that the multiplication
N U M E RICAL LAWS AN D MATH E MATICS 225
and so on. Here, again, is a pure numerical operation which does not
correspond to any simple physical relation upon numbers; there is no
collection simply related to another collection in such a way that the
number of the first is equal to that obtained by dividing 1 by the number
of the second. (Indeed, as we have seen that fractions have no application
to number, and since this rule must lead to fractions, there cannot be
such a relation.) And yet once more we find that this numerical relation
does occur in a numerical law. If the first column represented the pressure
226 N. R. Campbell
volume of any gas is proportional to the pressure upon it. That conclusion
seems to follow directly without any need for further experiments.
Accordingly we appear to have arrived at a fresh numerical law without
adducing any fresh experimental evidence. But is that possible? All our
previous inquiry leads us to believe that laws, whether numerical or
other, can only be proved by experimental inquiry and that the proof of
a new law without new experimental evidence is impossible. How are
we to reconcile the two conclusions? When we have answered that
question we shall understand what is the importance of calculation for
science.
Let us first note that it is possible, without violating the conclusions
already reached, to deduce something from a numerical law by a process
of mere thought without new experiment. For instance, from the law
that the density of iron is 7, I can deduce that a portion of it which has
a volume 1 will have a weight 7. But this deduction is merely stating in
new terms what was asserted by the original law; when I said that the
density of iron was 7, I meant (among other things) that a volume 1 had
a weight 7; if I had not meant that I should never have asserted the law.
The “deduction” is nothing but a translation of the law (or of part of it)
into different language, and is of no greater scientific importance than a
translation from (say) English into French. One kind of translation, like
the other, may have useful results, but it is not the kind of useful result
that is obtained from calculation. Pure deduction never achieves anything
but this kind of translation; it never leads to anything new. But the
calculation taken as an example does lead to something new. Neither
when I asserted the first law, nor when I asserted the second did I mean
what is asserted by the third; I might have asserted the first without
knowing the second and the second without knowing the first (for I
might have known what the density of a gas was under different
conditions without knowing precisely how it is measured); and I might
have asserted either of them, without knowing the third. The third law
is not merely an expression in different words of something known before;
it is a new addition to knowledge.
But we have added to knowledge only because we have introduced
an assertion which was not contained in the two original statements.
The deduction depends on the fact that if one thing (A) is proportional
to another thing (B) and if B is proportional to a third thing (C), then A
is proportional to C. This proposition was not contained in the original
statements. But, the reader may reply, it was so contained, because it is
involved in the very meaning of “proportional”; when we say that A is pro-
230 N. R. Campbell
portional to B, we mean to imply the fact which has just been stated.
Now that is perfectly true if we are thinking of the mathematical meaning
of “proportional,” but it is not true if we are thinking of the physical
meaning. The proposition which we have really used in making our
deduction is this: If weight is proportional (in the mathematical sense)
to density, when weight is varied by taking different substances, then it
is also proportional to density when weight is varied by compressing
more of the same substance into the same volume. That is a statement
which experiment alone can prove, and it is because we have in fact
assumed that experimental statement that we have been able to “deduce”
a new piece of experimental knowledge. It is involved in the original
statements only if, when it is said that density is proportional to pressure,
it is implied that it has been ascertained by experiment that the law of
density is true, and that there is a constant density of a gas, however
compressed, given by dividing the weight by the volume.
The conclusion I want to draw is this. When we appear to arrive at
new scientific knowledge by mere deduction from previous knowledge,
we are always assuming some experimental fact which is not clearly
involved in the original statements. What we usually assume is that some
law is true in circumstances rather more general than those we have
considered hitherto. Of course the assumption may be quite legitimate,
for the great value of laws is that they are applicable to circumstances
more general than those of the experiments on which they are based; but
we can never be perfectly sure that it is legitimate until we try. Calculation,
then, when it appears to add anything to our knowledge, is always slightly
precarious; like theory, it suggests strongly that some law may be true,
rather than proves definitely that some law must be true.
So far we have spoken of calculation as if it were merely deduction;
we have not referred to the fact that calculation always involves a special
type of deduction, namely mathematical deduction. For there are, of
course, forms of deduction which are not mathematical. All argument is
based, or should be based, upon the logical processes which are called
deduction; and most of us are prepared to argue, however slight our
mathematical attainments. I do not propose to discuss here generally
what are the distinctive characteristics of mathematical argument; for an
exposition of that matter the reader should turn to works in which mathe-
maticians expound their own study.1 I want only to consider why it is that
1. See, for example, the essays in this volume by Alfred North Whitehead, Henri Poincaré,
A. R. Forsyth, and Lancelot Hogben.
N U M E RICAL LAWS AN D MATH E MATICS 231
this kind of deduction has such a special significance for science. And,
stated briefly, the reason is this. The assumption, mentioned in the last
paragraph, which is introduced in the process of deduction, is usually
suggested by the form of the deduction and by the ideas naturally
associated with it. (Thus, in the example we took, the assumption is
suggested by the proposition quoted about proportionality which is the
idea especially associated by the form of the deduction). The assumptions
thus suggested by mathematical deduction are almost invariably found
to be actually true. It is this fact which gives to mathematical deduction
its special significance for science.
The Newtonian Assumption. Again an example is necessary and we will
take one which brings us close to the actual use of mathematics in science.
Let us return to Table II which gives the relation between the time for
which a body has fallen and the distance through which it has fallen.
The falling body, like all moving bodies, has a “velocity.” By the velocity
of a body we mean the distance that it moves in a given time, and we
measure the velocity by dividing that distance by that time (as we measure
density by dividing the weight by the volume). But this way of measuring
velocity gives a definite result only when the velocity is constant, that is
to say, when the distance travelled is proportional to the time and the
distance travelled in any given time is always the same (compare what
was said about density on pp. 217–218). This condition is not fulfilled
in our example; the distance fallen in the first second is 1, in the next 3,
in the third 5, in the next 7—and so on. We usually express that fact by
saying that the velocity increases as the body falls; but we ought really to
ask ourselves whether there is such a thing as velocity in this case and
whether, therefore, the statement can mean anything. For what is the
velocity of the body at the end of the 3rd second—i.e. at the time called 3.
We might say that it is to be found by taking the distance travelled in the
second before 3, which is 5, or in the second after 3, which is 7, or in the
second of which the instant “3” is the middle (from 2½ to 3½), which
turns out to be 6. Or again we might say it is to be found by taking half the
distance travelled in the two seconds of which “3” is the middle (from 2
to 4) which is again 6. We get different values for the velocity according
to which of these alternatives we adopt. There are doubtless good reasons
in this example for choosing the alternative 6, for two ways (and really
many more than two ways, all of them plausible) lead to the same result.
But if we took a more complicated relation between time and distance
than that of Table II, we should find that these two ways gave different
results, and that neither of them were obviously more plausible than any
232 N. R. Campbell
MATHEMATICAL TH EORIES
means; let me try an example. Suppose you found a page with the
following marks on it—never mind if they mean anything:
I think you would see that the set of symbols on the right side are
“prettier” in some sense than those on the left; they are more symmetrical.
Well, the great physicist James Clerk Maxwell, about 1870, thought so
too; and by substituting the symbols on the right side for those on the
left, he founded modern physics, and, among other practical results,
made wireless telegraphy possible.
It sounds incredible; and I must try to explain a little more. The symbols
on the left side represent two well-known electrical laws: Ampère’s Law
and Faraday’s Law; or rather a theory suggested by an analogy with those
laws. The symbols i, j, k represent in those laws an electric current. For
supposing that there were such currents (not currents perceptible in the
ordinary way, but theoretical currents, as molecules are theoretical hard
particles), he arrived at the unexpected result that an alteration in an
electric current in one place would be reproduced at another far distant
from it by waves travelling from one to the other through absolutely
empty space between. Hertz actually produced and detected such waves;
and Marconi made them a commercial article.
That is the best attempt I can make at explaining the matter. It is one
more illustration of the marvellous power of pure thought, aiming only
at the satisfaction of intellectual desires, to control the external world.
Since Maxwell’s time, there have been many equally wonderful theories,
the form of which is suggested by nothing but the mathematician’s sense
for symbols. The latest are those of Sommerfeld, based [on] the ideas of
Niels Bohr, and of Einstein. Every one has heard of the latter, but the
former (which concerns the constitution of the atom) is quite as marvellous.
But of these I could not give, even if space allowed, even such an explanation
as I have attempted for Maxwell’s. And the reason is this: A theory by
itself means nothing experimental; . . . it is only when something is deduced
from it that it is brought within the range of our material senses. Now in
Maxwell’s theory, the symbols, in the alteration of which the characteristic
feature of the theory depends, are retained through the deduction and
appear in the law which is compared with experiment. Accordingly it is
possible to give some idea of what these symbols mean in terms of things
experimentally observed. But in Sommerfeld’s or Einstein’s theory the
symbols, which are necessarily involved in the assumption which
differentiates their theories from others, disappear during the deduction;
they leave a mark on the other symbols which remain and alter the
relation between them; but the symbols on the relations of which the whole
theory hangs do not appear at all in any law deduced from the theory. It
is quite impossible to give any idea of what they mean in terms of
experiment. 3 Probably some of my readers will have read the very
interesting and ingenious attempts to “explain Einstein” which have
been published, and will feel that they really have a grasp of the matter.
Personally I doubt it; the only way to understand what Einstein did is to
look at the symbols in which his theory must ultimately be expressed and
to realize that it was reasons of symbolic form, and such reasons alone,
3. The same is true really of the exposition of the Newtonian assumption attempted on
p. 233. It is strictly impossible to state exactly what is the assumption discussed there
without using symbols. The acute reader will have guessed already that on that page I
felt myself skating on very thin ice.
238 N. R. Campbell
which led him to arrange the symbols in the way he did and in no other.
But now I have waded into such deep water that it is time to retrace
my steps and return to the safe shore of the affairs of practical life.
239
240 W. K. Clifford
of the Exact Sciences. Clifford chose the new title a few days before
he died.
n my first lecture I said that, out of the pictures which are all that
we can really see, we imagine a world of solid things; and that this
world is constructed so as to fulfil a certain code of rules, some called
axioms, and some called definitions, and some called postulates, and
some assumed in the course of demonstration, but all laid down in one
form or another in Euclid’s Elements of Geometry. It is this code of rules
that we have to consider to-day. I do not, however, propose to take this
book that I have mentioned, and to examine one after another the rules
as Euclid has laid them down or unconsciously assumed them;
notwithstanding that many things might be said in favour of such a
course. This book has been for nearly twenty-two centuries the
encouragement and guide of that scientific thought which is one thing
with the progress of man from a worse to a better state. The
encouragement; for it contained a body of knowledge that was really
known and could be relied on, and that moreover was growing in extent
and application. For even at the time this book was written—shortly
after the foundation of the Alexandrian Museum—Mathematic was no
longer the merely ideal science of the Platonic school, but had started
on her career of conquest over the whole world of Phenomena. The
guide; for the aim of every scientific student of every subject was to
bring his knowledge of that subject into a form as perfect as that which
geometry had attained. Far up on the great mountain of Truth, which
all the sciences hope to scale, the foremost of that sacred sisterhood
was seen, beckoning to the rest to follow her. And hence she was called,
in the dialect of the Pythagoreans, “the purifier of the reasonable soul.”
Being thus in itself at once the inspiration and the aspiration of
scientific thought, this book of Euclid’s has had a history as chequered
as that of human progress itself. It embodied and systematized the
truest results of the search after truth that was made by Greek,
243
244 W. K. Clifford
Egyptian, and Hindu. It presided for nearly eight centuries over that
promise of light and right that was made by the civilized Aryan races on
the Mediterranean shores; that promise, whose abeyance for nearly as
long an interval is so full of warning and of sadness for ourselves. It went
into exile along with the intellectual activity and the goodness of Europe.
It was taught, and commented upon, and illustrated, and supplemented,
by Arab and Nestorian, in the Universities of Bagdad and of Cordova.
From these it was brought back into barbaric Europe by terrified students
who dared tell hardly any other thing of what they had learned among
the Saracens. Translated from Arabic into Latin, it passed into the schools
of Europe, spun out with additional cases for every possible variation of
the figure, and bristling with words which had sounded to Greek ears
like the babbling of birds in a hedge. At length the Greek text appeared
and was translated; and, like other Greek authors, Euclid became an
authority. There had not yet arisen in Europe “that fruitful faculty,” as
Mr. Winwood Reade calls it, “with which kindred spirits contemplate
each other’s works; which not only takes, but gives; which produces from
whatever it receives; which embraces to wrestle, and wrestles to embrace.”
Yet it was coming; and though that criticism of first principles which
Aristotle and Ptolemy and Galen underwent waited longer in Euclid’s
case than in theirs, it came for him at last. What Vesalius was to Galen,
what Copernicus was to Ptolemy, that was Lobachevski to Euclid. There
is, indeed, a somewhat instructive parallel between the last two cases.
Copernicus and Lobachevski were both of Slavic origin. Each of them
has brought about a revolution in scientific ideas so great that it can only
be compared with that wrought by the other. And the reason of the
transcendent importance of these two changes is that they are changes in
the conception of the Cosmos. Before the time of Copernicus, men knew all
about the Universe. They could tell you in the schools, pat off by heart, all
that it was, and what it had been, and what it would be. There was the flat
earth, with the blue vault of heaven resting on it like the dome of a cathedral,
and the bright cold stars stuck into it; while the sun and planets moved in
crystal spheres between. Or, among the better informed, the earth was a
globe in the centre of the universe, heaven a sphere concentric with it;
intermediate machinery as before. At any rate, if there was anything beyond
heaven, it was a void space that needed no further description. The history
of all this could be traced back to a certain definite time, when it began;
behind that was a changeless eternity that needed no further history. Its
future could be predicted in general terms as far forward as a certain epoch,
about the precise determination of which there were, indeed, differences
TH E POSTU LATE S OF TH E SCI E NCE OF S PACE 245
among the learned. But after that would come again a changeless eternity,
which was fully accounted for and described. But in any case the Universe
was a known thing. Now the enormous effect of the Copernican system,
and of the astronomical discoveries that have followed it, is that, in place
of this knowledge of a little, which was called knowledge of the Universe,
of Eternity and Immensity, we have now got knowledge of a great deal
more; but we only call it the knowledge of Here and Now. We can tell a
great deal about the solar system; but, after all, it is our house, and not the
city. We can tell something about the star-system to which our sun belongs;
but, after all, it is our star-system, and not the Universe. We are talking
about Here with the consciousness of a There beyond it, which we may
know some time, but do not at all know now. And though the nebular
hypothesis tells us a great deal about the history of the solar system, and
traces it back for a period compared with which the old measure of the
duration of the Universe from beginning to end is not a second to a
century, yet we do not call this the history of eternity. We may put it all
together and call it Now, with the consciousness of a Then before it, in
which things were happening that may have left records; but we have not
yet read them. This, then, was the change effected by Copernicus in the
idea of the Universe. But there was left another to be made. For the laws
of space and motion, that we are presently going to examine, implied an
infinite space and an infinite duration, about whose properties as space
and time everything was accurately known. The very constitution of those
parts of it which are at an infinite distance from us, “geometry upon the
plane at infinity,” is just as well known, if the Euclidean assumptions are
true, as the geometry of any portion of this room. In this infinite and
thoroughly well-known space the Universe is situated during at least some
portion of an infinite and thoroughly well-known time. So that here we
have real knowledge of something at least that concerns the Cosmos;
something that is true throughout the Immensities and the Eternities.
That something Lobachevski and his successors have taken away. The
geometer of to-day knows nothing about the nature of actually existing
space at an infinite distance; he knows nothing about the properties of this
present space in a past or a future eternity. He knows, indeed, that the laws
assumed by Euclid are true with an accuracy that no direct experiment can
approach, not only in this place where we are, but in places at a distance
from us that no astronomer has conceived; but he knows this as of Here and
Now; beyond his range is a There and Then of which he knows nothing at
present, but may ultimately come to know more. So, you see, there is a real
parallel between the work of Copernicus and his successors on the
246 W. K. Clifford
one hand, and the work of Lobachevski and his successors on the other.
In both of these the knowledge of Immensity and Eternity is replaced by
knowledge of Here and Now. And in virtue of these two revolutions the
idea of the Universe, the Macrocosm, the All, as subject of human
knowledge, and therefore of human interest, has fallen to pieces.
It will now, I think, be clear to you why it will not do to take for our
present consideration the postulates of geometry as Euclid has laid them
down. While they were all certainly true, there might be substituted for
them some other group of equivalent propositions; and the choice of the
particular set of statements that should be used as the groundwork of the
science was to a certain extent arbitrary, being only guided by convenience
of exposition. But from the moment that the actual truth of these
assumptions becomes doubtful, they fall of themselves into a necessary
order and classification; for we then begin to see which of them may be
true independently of the others. And for the purpose of criticizing the
evidence for them, it is essential that this natural order should be taken;
for I think you will see presently that any other order would bring
hopeless confusion into the discussion.
Space is divided into parts in many ways. If we consider any material
thing, space is at once divided into the part where that thing is and the
part where it is not. The water in this glass, for example, makes a
distinction between the space where it is and the space where it is not.
Now, in order to get from one of these to the other you must cross the
surface of the water; this surface is the boundary of the space where the
water is which separates it from the space where it is not. Every thing,
considered as occupying a portion of space, has a surface which separates
the space where it is from the space where it is not. But, again, a surface
may be divided into parts in various ways. Part of the surface of this
water is against the air, and part is against the glass. If you travel over
the surface from one of these parts to the other, you have to cross the line
which divides them; it is this circular edge where water, air, and glass
meet. Every part of a surface is separated from the other parts by a line
which bounds it. But now suppose, further, that this glass had been so
constructed that the part towards you was blue and the part towards me
was white, as it is now. Then this line, dividing two parts of the surface
of the water, would itself be divided into two parts; there would be a
part where it was against the blue glass, and a part where it was against the
white glass. If you travel in thought along that line, so as to get from one
of these two parts to the other, you have to cross a point which separates
them, and is the boundary between them. Every part of a line is separated
TH E POSTU LATE S OF TH E SCI E NCE OF S PACE 247
from the other parts by points which bound it. So we may say alto-
gether—
The boundary of a solid (i.e., of a part of space) is a surface.
The boundary of a part of a surface is a line.
The boundaries of a part of a line are points.
And we are only settling the meanings in which words are to be
used. But here we may make an observation which is true of all space
that we are acquainted with: it is that the process ends here. There are
no parts of a point which are separated from one another by the next link
in the series. This is also indicated by the reverse process.
For I shall now suppose this point—the last thing that we got to—to
move round the tumbler so as to trace out the line, or edge, where air,
water, and glass meet. In this way I get a series of points, one after
another; a series of such a nature that, starting from any one of them,
only two changes are possible that will keep it within the series: it must
go forwards or it must go backwards, and each of these is perfectly
definite. The line may then be regarded as an aggregate of points. Now
let us imagine, further, a change to take place in this line, which is
nearly a circle. Let us suppose it to contract towards the centre of the
circle, until it becomes indefinitely small, and disappears. In so doing it
will trace out the upper surface of the water, the part of the surface
where it is in contact with the air. In this way we shall get a series of
circles one after another—a series of such a nature that, starting from any
one of them, only two changes are possible that will keep it within the
series: it must expand or it must contract. This series, therefore, of circles,
is just similar to the series of points that make one circle; and just as the
line is regarded as an aggregate of points, so we may regard this surface
as an aggregate of lines. But this surface is also in another sense an
aggregate of points, in being an aggregate of aggregates of points. But,
starting from a point in the surface, more than two changes are possible
that will keep it within the surface, for it may move in any direction.
The surface, then, is an aggregate of points of a different kind from the
line. We speak of the line as a point-aggregate of one dimension, because,
starting from one point, there are only two possible directions of change;
so that the line can be traced out in one motion. In the same way, a
surface is a line-aggregate of one dimension, because it can be traced out
by one motion of the line; but it is a point-aggregate of two dimensions,
because, in order to build it up of points, we have first to aggregate
points into a line, and then lines into a surface. It requires two motions
of a point to trace it out.
248 W. K. Clifford
the water, you will find yourself believing that between any two points
of it you can put more points of division, and between any two of these
more again, and so on; and you do not believe there can be any end to
the process. We may express that by saying you believe that between any
two points of the line there is an infinite number of other points. But
now here is an aggregate of marbles, which, regarded as an aggregate,
has many characters of resemblance with the aggregate of points. It is a
series of marbles, one after another; and if we take into account the
relations of nextness or contiguity which they possess, then there are
only two changes possible from one of them as we travel along the series:
we must go to the next in front, or to the next behind. But yet it is not
true that between any two of them here is an infinite number of other
marbles; between these two, for example, there are only three. There,
then, is a distinction at once between the two kinds of aggregates. But
there is another, which was pointed out by Aristotle in his Physics and
made the basis of a definition of continuity. I have here a row of two
different kinds of marbles, some white and some black. This aggregate
is divided into two parts, as we formerly supposed the line to be. In the
case of the line the boundary between the two parts is a point which is the
element of which the line is an aggregate. In this case before us, a marble
is the element; but here we cannot say that the boundary between the two
parts is a marble. The boundary of the white parts is a white marble, and
the boundary of the black parts is a black marble; these two adjacent parts
have different boundaries. Similarly, if instead of arranging my marbles
in a series, I spread them out on a surface, I may have this aggregate
divided into two portions—a white portion and a black portion; but the
boundary of the white portion is a row of white marbles, and the boundary
of the black portion is a row of black marbles. And lastly, if I made a heap
of white marbles, and put black marbles on the top of them, I should have
a discrete aggregate of three dimensions divided into two parts: the
boundary of the white part would be a layer of white marbles, and the
boundary of the black part would be a layer of black marbles. In all these
cases of discrete aggregates, when they are divided into two parts, the two
adjacent parts have different boundaries. But if you come to consider an
aggregate that you believe to be continuous, you will see that you think of
two adjacent parts as having the same boundary. What is the boundary
between water and air here? Is it water? No; for there would still have to
be a boundary to divide that water from the air. For the same reason it
cannot be air. I do not want you at present to think of the actual physical
facts by the aid of any molecular theories; I want you only to think of
250 W. K. Clifford
flatter it gets. And you may easily suppose that this process would go on
indefinitely; that the curvature would become less and less the more the
surface was magnified. Any curved surface which is such that the more
you magnify it the flatter it gets, is said to possess the property of elementary
flatness. But if every succeeding power of our imaginary microscope
disclosed new wrinkles and inequalities without end, then we should say
that the surface did not possess the property of elementary flatness.
But how am I to explain how solid space can have this property of
elementary flatness? Shall I leave it as a mere analogy, and say that it is
the same kind of property as this of the curve and surface, only in three
dimensions instead of one or two? I think I can get a little nearer to it
than that; at all events I will try.
If we start to go out from a point on a surface, there is a certain choice
of directions in which we may go. These directions make certain angles
with one another. We may suppose a certain direction to start with, and
then gradually alter that by turning it round the point: we find thus a
single series of directions in which we may start from the point. According
to our first postulate, it is a continuous series of directions. Now when I
speak of a direction from the point, I mean a direction of starting; I say
nothing about the subsequent path. Two different paths may have the
same direction at starting; in this case they will touch at the point; and
there is an obvious difference between two paths which touch and two
paths which meet and form an angle. Here, then, is an aggregate of
directions, and they can be changed into one another. Moreover, the
changes by which they pass into one another have magnitude, they
constitute distance-relations; and the amount of change necessary to turn
one of them into another is called the angle between them. It is involved
in this postulate that we are considering, that angles can be compared in
respect of magnitude. But this is not all. If we go on changing a direction
of start, it will, after a certain amount of turning, come round into itself
again, and be the same direction. On every surface which has the property
of elementary flatness, the amount of turning necessary to take a direction
all round into its first position is the same for all points of the surface. I
will now show you a surface which at one point of it has not this property.
I take this circle of paper from which a sector has been cut out, and bend
it round so as to join the edges; in this way I form a surface which is called
a cone. Now on all points of this surface but one, the law of elementary
flatness holds good. At the vertex of the cone, however, notwithstanding
that there is an aggregate of directions in which you may start, such that
by continuously changing one of them you may get it round into its original
position, yet the whole amount of change necessary to effect this is
252 W. K. Clifford
not the same at the vertex as it is at any other point of the surface. And
this you can see at once when I unroll it; for only part of the directions
in the plane have been included in the cone. At this point of the cone,
then, it does not possess the property of elementary flatness; and no
amount of magnifying would ever make a cone seem flat at its vertex.
To apply this to solid space, we must notice that here also there is a
choice of directions in which you may go out from any point; but it is a
much greater choice than a surface gives you. Whereas in a surface the
aggregate of directions is only of one dimension, in solid space it is of
two dimensions. But here also there are distance-relations, and the
aggregate of directions may be divided into parts which have quantity.
For example, the directions which start from the vertex of this cone are
divided into those which go inside the cone, and those which go outside
the cone. The part of the aggregate which is inside the cone is called a
solid angle. Now in those spaces of three dimensions which have the
property of elementary flatness, the whole amount of solid angle round
one point is equal to the whole amount round another point. Although
the space need not be exactly similar to itself in all parts, yet the aggregate
of directions round one point is exactly similar to the aggregate of
directions round another point, if the space has the property of elementary
flatness.
How does Euclid assume this postulate of Elementary Flatness? In
his fourth postulate he has expressed it so simply and clearly that you
will wonder how anybody could make all this fuss. He says, “All right
angles are equal.”
Why could I not have adopted this at once, and saved a great deal of
trouble? Because it assumes the knowledge of a surface possessing the
property of elementary flatness in all its points. Unless such a surface is
first made out to exist, and the definition of a right angle is restricted to
lines drawn upon it—for there is no necessity for the word straight in that
definition—the postulate in Euclid’s form is obviously not true. I can
make two lines cross at the vertex of a cone so that the four adjacent
angles shall be equal, and yet not one of them equal to a right angle.
I pass on to the third postulate of the science of space—the postulate of
Superposition. According to this postulate a body can be moved about in
space without altering its size or shape. This seems obvious enough, but it
is worth while to examine a little closely into the meaning of it. We must
define what we mean by size and by shape. When we say that a body can
be moved about without altering its size, we mean that it can be so moved
as to keep unaltered the length of all the lines in it. This postulate there-
TH E POSTU LATE S OF TH E SCI E NCE OF S PACE 253
the length of any lines upon it, or in the size of any angles upon it. 1 I do
not in any way alter the figures drawn upon it, or the possibility of
drawing figures upon it, so far as their relations with the surface itself are
concerned. This property of the surface, then, could be ascertained by
people who lived entirely in it, and were absolutely ignorant of a third
dimension. As a point-aggregate of two dimensions, it has in itself
properties determining the distance-relations of the points upon it, which
are absolutely independent of the existence of any points which are not
upon it.
Now here is a surface which has not that property. You observe that it
is not of the same shape all over, and that some parts of it are more
curved than other parts. If you drew a figure upon this surface, and
then tried to move it about, you would find that it was impossible to do
so without altering the size and shape of the figure. Some parts of it
would have to expand, some to contract, the lengths of the lines could
not all be kept the same, the angles would not hit off together. And this
property of the surface—that its parts are different from one another—is a
property of the surface itself, a part of its internal economy, absolutely
independent of any relations it may have with space outside of it. For, as
with the other one, I can pull it about in all sorts of ways, and, so long
as I do not stretch it or tear it, I make no alteration in the length of lines
drawn upon it or in the size of the angles.
Here, then, is an intrinsic difference between these two surfaces, as
surfaces. They are both point-aggregates of two dimensions; but the points
in them have certain relations of distance (distance measured always on
the surface), and these relations of distance are not the same in one case
as they are in the other.
The supposed people living in the surface and having no idea of a
third dimension might, without suspecting that third dimension at all,
make a very accurate determination of the nature of their locus in quo. If the
people who lived on the surface of the sphere were to measure the angles
of a triangle, they would find them to exceed two right angles by a quantity
proportional to the area of the triangle. This excess of the angles above
two right angles, being divided by the area of the triangle, would be
found to give exactly the same quotient at all parts of the sphere. That
1. This figure was made of linen, starched upon a spherical surface, and taken off when
dry. That mentioned in the next paragraph was similarly stretched upon the irregular
surface of the head of a bust. For durability these models should be made of two
thicknesses of linen starched together in such a way that the fibres of one bisect the
angles between the fibres of the other, and the edge should be bound by a thin slip of
paper. They will then retain their curvature unaltered for a long time.
TH E POSTU LATE S OF TH E SCI E NCE OF S PACE 255
quotient is called the curvature of the surface; and we say that a sphere
is a surface of uniform curvature. But if the people living on this irregular
surface were to do the same thing, they would not find quite the same
result. The sum of the angles would, indeed, differ from two right angles,
but sometimes in excess, and sometimes in defect, according to the part
of the surface where they were. And though for small triangles in any
one neighbourhood the excess or defect would be nearly proportional to
the area of the triangle, yet the quotient obtained by dividing this excess
or defect by the area of the triangle would vary from one part of the
surface to another. In other words, the curvature of this surface varies
from point to point; it is sometimes positive, sometimes negative,
sometimes nothing at all.
But now comes the important difference. When I speak of a triangle,
what do I suppose the sides of that triangle to be?
If I take two points near enough together upon a surface, and stretch
a string between them, that string will take up a certain definite position
upon the surface, marking the line of shortest distance from one point to
the other. Such a line is called a geodesic line. It is a line determined by
the intrinsic properties of the surface, and not by its relations with external
space. The line would still be the shortest line, however the surface
were pulled about without stretching or tearing. A geodesic line may be
produced, when a piece of it is given; for we may take one of the points,
and, keeping the string stretched, make it go round in a sort of circle
until the other end has turned through two right angles. The new position
will then be a prolongation of the same geodesic line.
In speaking of a triangle, then, I meant a triangle whose sides are
geodesic lines. But in the case of a spherical surface—or, more generally,
of a surface of constant curvature—these geodesic lines have another and
most important property. They are straight, so far as the surface is
concerned. On this surface a figure may be moved about without altering
its size or shape. It is possible, therefore, to draw a line which shall be of
the same shape all along and on both sides. That is to say, if you take a
piece of the surface on one side of such a line, you may slide it all along
the line and it will fit; and you may turn it round and apply it to the
other side, and it will fit there also. This is Leibnitz’s definition of a
straight line, and, you see, it has no meaning except in the case of a
surface of constant curvature, a surface all parts of which are alike.
Now let us consider the corresponding things in solid space. In this
also we may have geodesic lines; namely, lines formed by stretching a
string between two points. But we may also have geodesic surfaces; and
256 W. K. Clifford
The supposition made by Lobachevski was that the three first postulates
were true, but not the fourth. Of the two Euclidean postulates included
in this, he admitted one, viz., that two straight lines cannot enclose a
space, or that two lines which once diverge go on diverging for ever. But
he left out the postulate about parallels, which may be stated in this form.
If through a point outside of a straight line there be drawn another,
indefinitely produced both ways; and if we turn this second one round so
as to make the point of intersection travel along the first line, then at the
very instant that this point of intersection disappears at one end it will
reappear at the other, and there is only one position in which the lines do
not intersect. Lobachevski supposed, instead, that there was a finite angle
through which the second line must be turned after the point of intersection
had disappeared at one end, before it reappeared at the other. For all
positions of the second line within this angle there is then no intersection.
In the two limiting positions, when the lines have just done meeting at
one end, and when they are just going to meet at the other, they are called
parallel; so that two lines can be drawn through a fixed point parallel to a
given straight line. The angle between these two depends in a certain way
upon the distance of the point from the line. The sum of the angles of a
triangle is less than two right angles by a quantity proportional to the area
of the triangle. The whole of this geometry is worked out in the style of
Euclid, and the most interesting conclusions are arrived at; particularly
in the theory of solid space, in which a surface turns up which is not
plane relatively to that space, but which, for purposes of drawing figures
upon it, is identical with the Euclidean plane.
It was Riemann, however, who first accomplished the task of analysing
all the assumptions of geometry, and showing which of them were
independent. This very disentangling and separation of them is sufficient
to deprive them for the geometer of their exactness and necessity; for the
process by which it is effected consists in showing the possibility of
conceiving these suppositions one by one to be untrue; whereby it is
clearly made out how much is supposed. But it may be worth while to
state formally the case for and against them.
When it is maintained that we know these postulates to be universally
true, in virtue of certain deliverances of our consciousness, it is implied
that these deliverances could not exist, except upon the supposition that
the postulates are true. If it can be shown, then, from experience that
our consciousness would tell us exactly the same things if the postulates
are not true, the ground of their validity will be taken away. But this is
a very easy thing to show.
258 W. K. Clifford
That same faculty which tells you that space is continuous tells you
that this water is continuous, and that the motion perceived in a wheel
of life is continuous. Now we happen to know that if we could magnify
this water as much again as the best microscopes can magnify it, we
should perceive its granular structure. And what happens in a wheel of
life is discovered by stopping the machine. Even apart, then, from our
knowledge of the way nerves act in carrying messages, it appears that we
have no means of knowing anything more about an aggregate than that
it is too fine grained for us to perceive its discontinuity, if it has any.
Nor can we, in general, receive a conception as positive knowledge
which is itself founded merely upon inaction. For the conception of a
continuous thing is of that which looks just the same however much
you magnify it. We may conceive the magnifying to go on to a certain
extent without change, and then, as it were, leave it going on, without
taking the trouble to doubt about the changes that may ensue.
In regard to the second postulate, we have merely to point to the
example of polished surfaces. The smoothest surface that can be made is
the one most completely covered with the minutest ruts and furrows. Yet
geometrical constructions can be made with extreme accuracy upon such
a surface, on the supposition that it is an exact plane. If, therefore, the
sharp points, edges, and furrows of space are only small enough, there
will be nothing to hinder our conviction of its elementary flatness. It
has even been remarked by Riemann that we must not shrink from this
supposition if it is found useful in explaining physical phenomena.
The first two postulates may therefore be doubted on the side of the
very small. We may put the third and fourth together, and doubt them
on the side of the very great. For if the property of elementary flatness
exist on the average, the deviations from it being, as we have supposed,
too small to be perceived, then, whatever were the true nature of space,
we should have exactly the conceptions of it which we now have, if
only the regions we can get at were small in comparison with the areas
of curvature. If we suppose the curvature to vary in an irregular manner,
the effect of it might be very considerable in a triangle formed by the
nearest fixed stars; but if we suppose it approximately uniform to the
limit of telescopic reach, it will be restricted to very much narrower
limits. I cannot perhaps do better than conclude by describing to you as
well as I can what is the nature of things on the supposition that the
curvature of all space is nearly uniform and positive.
In this case the Universe, as known, becomes again a valid conception;
TH E POSTU LATE S OF TH E SCI E NCE OF S PACE 259
for the extent of space is a finite number of cubic miles.2 And this comes
about in a curious way. If you were to start in any direction whatever,
and move in that direction in a perfect straight line according to the
definition of Leibnitz; after travelling a most prodigious distance, to
which the parallactic unit—200,000 times the diameter of the earth’s
orbit—would be only a few steps, you would arrive at—this place. Only,
if you had started upwards, you would appear from below. Now, one of
two things would be true. Either, when you had got half-way on your
journey, you came to a place that is opposite to this, and which you must
have gone through, whatever direction you started in; or else all paths
you could have taken diverge entirely from each other till they meet
again at this place. In the former case, every two straight lines in a plane
meet in two points, in the latter they meet only in one. Upon this
supposition of a positive curvature, the whole of geometry is far more
complete and interesting; the principle of duality, instead of half breaking
down over metric relations, applies to all propositions without exception.
In fact, I do not mind confessing that I personally have often found
relief from the dreary infinities of homaloidal space in the consoling
hope that, after all, this other may be the true state of things.
2. The assumptions here made about the Zusammenhang [continuity] of space are the
simplest ones, but even the finite extent does not follow necessarily from uniform
positive curvature, as Riemann seems to have supposed.
Henri Poincaré
1854–1912
260
262 Henri Poincaré
and three books on the philosophy of science. His work falls into
three main divisions: pure mathematics, astronomy, and physics.
His most important work is in pure analytical mathematics.
Poincaré won many honors and prizes and was elected to
membership in the most distinguished scientific bodies, being
appointed to the Academy of Science at the early age of thirty-two.
The literary quality of his popular and philosophical essays was
recognized by the French Academy. Because of the breadth of his
mathematical knowledge he has been called the “last universalist.”
He died at Paris on July 17, 1912.
then, were very different. Many theorems which held for one would
not hold for the others; yet there were common theorems, too. For
example, “the base angles of an isosceles triangle are equal” and
“two lines which are parallel to a third are parallel to each other”
are common to both the Lobachevskian and the Euclidian geometries.
On the other hand, “the area of a circle is r2” is valid only in one
geometry—the Euclidian.
But how can these new geometries be true if the Euclidian
geometry is? How can they be self-consistent? They are consistent
if there is no contradiction among their theorems. But since all the
infinity of possible theorems have not been deduced, how do we
know that some contradiction will not turn up in the future? Poincaré
points out that since a limiting case of both the Lobachevskian and
the Riemannian geometries is equivalent to a branch of ordinary
Euclidian geometry, neither can be regarded as inconsistent—unless
Euclid is also inconsistent! The same conclusion is reached by the
dictionary of terms given on pp. 268–269, whereby Lobachevskian
theorems can be translated into Euclidian theorems.
The question which of the geometries is true still impends.
Poincaré’s answer was that “one geometry can not be more true
than another; it can only be more convenient.” The most convenient is
the Euclidian: it is simplest in itself, in the sense that plane
trigonometry is simpler than spherical trigonometry, and it also
accords best with the properties of the physical objects that we see,
handle, and measure.
Little need be said of the second and third selections. They speak
for themselves and almost read themselves. One thing that may
occur to you in reading the chapter on mathematical discovery,
though Poincaré does not spell it out, is that the creative mind is not
one that simply has more new and important ideas. It is a mind that
simply has more ideas and works faster in eliminating the uninteresting
ones. Secondly, the new ideas would never be discovered if the
mathematician were not always looking for “elegant” short cuts—
shorter proofs and simplifications.
A good memory is necessary, of course, and also careful analysis
which clarifies the problem. The originality of Poincaré’s theory of
discovery is the role which he assigns to the unconscious, and the
interplay between conscious and “unconscious work.” The solution
to a problem may come suddenly, after the mathematician has given
up hope and has turned to altogether unrelated activities.
264 Henri Poincaré
265
266 Henri Poincaré
brated memoir entitled: Ueber die Hypothesen welche der Geometrie zu Grunde
liegen. This paper has inspired most of the recent works of which I shall
speak further on, and among which it is proper to cite those of Beltrami
and of Helmholtz.
The Bolyai-Lobachevski Geometry. If it were possible to deduce Euclid’s
postulate from the other axioms, it is evident that in denying the postulate
and admitting the other axioms, we should be led to contradictory
consequences; it would therefore be impossible to base on such premises
a coherent geometry.
Now this is precisely what Lobachevski did.
He assumes at the start that: Through a given point can be drawn two
parallels to a given straight line.
And he retains besides all Euclid’s other axioms. From these hypotheses
he deduces a series of theorems among which it is impossible to find any
contradiction, and he constructs a geometry whose faultless logic is inferior
in nothing to that of the Euclidean geometry. The theorems are, of course,
very different from those to which we are accustomed, and they cannot
fail to be at first a little disconcerting. Thus the sum of the angles of a
triangle is always less than two right angles, and the difference between
this sum and two right angles is proportional to the surface of the triangle.
It is impossible to construct a figure similar to a given figure but of different
dimensions. If we divide a circumference into n equal parts, and draw
tangents at the points of division, these n tangents will form a polygon if
the radius of the circle is small enough; but if this radius is sufficiently
great they will not meet.
It is useless to multiply these examples; Lobachevski’s propositions
have no relation to those of Euclid, but they are not less logically bound
one to another.
Riemann’s Geometry. Imagine a world uniquely peopled by beings of no
thickness (height); and suppose these “infinitely flat” animals are all in
the same plane and cannot get out. Admit besides that this world is
sufficiently far from others to be free from their influence. While we are
making hypotheses, it costs us no more to endow these beings with
reason and believe them capable of creating a geometry. In that case,
they will certainly attribute to space only two dimensions.
But suppose now that these imaginary animals, while remaining
without thickness, have the form of a spherical, and not of a plane, figure,
and are all on the same sphere without power to get off. What geometry will
they construct? First it is clear they will attribute to space only two
dimensions; what will play for them the role of the straight line will be
the shortest path from one point to another on the sphere, that is to say,
S PAC E 267
Circle: Circle.
Angle: Angle.
Distance between two points: Logarithm of the cross ratio of these two
points and the intersections of the fundamental plane with a circle
passing through these two points and cutting it orthogonally. Etc., etc.
Now take Lobachevski’s theorems and translate them with the aid of
this dictionary as we translate a German text with the aid of a German-
English dictionary. We shall thus obtain theorems of the ordinary geometry. For
example, that theorem of Lobachevski: “the sum of the angles of a triangle
is less than two right angles” is translated thus: “If a curvilinear triangle
has for sides circle-arcs which prolonged would cut orthogonally the
fundamental plane, the sum of the angles of this curvilinear triangle
will be less than two right angles.” Thus, however far the consequences
of Lobachevski’s hypotheses are pushed, they will never lead to a
contradiction. In fact, if two of Lobachevski’s theorems were
contradictory, it would be the same with the translations of these two
theorems, made by the aid of our dictionary, but these translations are
theorems of ordinary geometry and no one doubts that the ordinary
geometry is free from contradiction. Whence comes this certainty and is
it justified? That is a question I cannot treat here because it would require
to be enlarged upon, but which is very interesting and I think not
insoluble.
Nothing remains then of the objection above formulated. This is not
all. Lobachevski’s geometry, susceptible of a concrete interpretation,
ceases to be a vain logical exercise and is capable of applications; I
have not the time to speak here of these applications, nor of the aid
that Klein and I have gotten from them for the integration of linear
differential equations.
This interpretation moreover is not unique, and several dictionaries
analogous to the preceding could be constructed, which would enable
us by a simple “translation” to transform Lobachevski’s theorems into
theorems of ordinary geometry.
The Implicit Axioms. Are the axioms explicitly enunciated in our treatises
the sole foundations of geometry? We may be assured of the contrary by
noticing that after they are successively abandoned there are still left
over some propositions common to the theories of Euclid, Lobachevski
and Riemann. These propositions must rest on premises the geometers
admit without enunciation. It is interesting to try to disentangle them
from the classic demonstrations.
[John] Stuart Mill has claimed that every definition contains an axiom,
270 Henri Poincaré
Let us begin by a little paradox. Beings with minds like ours, and
having the same senses as we, but without previous education, would
receive from a suitably chosen external world impressions such that they
274 Henri Poincaré
body in the second change which corrects the first. Under these
conditions, compensation may take place.
But we who as yet know nothing of geometry, since for us the notion
of space is not yet formed, we cannot reason thus, we cannot foresee a
priori whether compensation is possible. But experience teaches us that
it sometimes happens, and it is from this experimental fact that we start
to distinguish changes of state from changes of position.
Solid Bodies and Geometry. Among surrounding objects there are some
which frequently undergo displacements susceptible of being thus
corrected by a correlative movement of our own body; these are the solid
bodies. The other objects, whose form is variable, only exceptionally
undergo like displacements (change of position without change of form).
When a body changes its place and its shape, we can no longer, by
appropriate movements, bring back our sense organs into the same relative
situation with regard to this body; consequently we can no longer re-
establish the primitive totality of impressions.
It is only later, and as a consequence of new experiences, that we
learn how to decompose the bodies of variable form into smaller elements,
such that each is displaced almost in accordance with the same laws as
solid bodies. Thus we distinguish “deformations” from other changes of
state; in these deformations, each element undergoes a mere change of
position, which can be corrected, but the modification undergone by
the aggregate is more profound and is no longer susceptible of correction
by a correlative movement. Such a notion is already very complex and
must have been relatively late in appearing; moreover it could not have
arisen if the observation of solid bodies had not already taught us to
distinguish changes of position. Therefore, if there were no solid bodies in
nature, there would be no geometry.
Another remark also deserves a moment’s attention. Suppose a solid
body to occupy successively the positions α and β; in its first position, it
will produce on us the totality of impressions A, and in its second position
the totality of impressions B. Let there be now a second solid body,
having qualities entirely different from the first, for example, a different
color. Suppose it to pass from the position α, where it gives us the totality
of impressions A′ , to the position β , where it gives the totality of
impressions B′. In general, the totality A will have nothing in common
with the totality A′, nor the totality B with the totality B′. The transition
from the totality A to the totality B and that from the totality A′ to the
totality B′ are therefore two changes which in themselves have in general
nothing in common.
280 Henri Poincaré
rigid solids move, for these imaginary beings it will be the study of the
laws of motion of solids distorted by the differences of temperature just spoken
of. No doubt, in our world, natural solids likewise undergo variations
of form and volume due to warming or cooling. But we neglect these
variations in laying the foundations of geometry, because, besides their
being very slight, they are irregular and consequently seem to us
accidental. In our hypothetical world, this would no longer be the case,
and these variations would follow regular and very simple laws. Moreover,
the various solid pieces of which the bodies of its inhabitants would be
composed would undergo the same variations of form and volume.
I will make still another hypothesis; I will suppose light traverses
media diversely refractive and such that the index of refraction is
inversely proportional to R 2 – r 2. It is easy to see that, under these
conditions, the rays of light would not be rectilinear, but circular.
To justify what precedes, it remains for me to show that certain changes
in the position of external objects can be corrected by correlative movements
of the sentient beings inhabiting this imaginary world, and that in such
a way as to restore the primitive aggregate of impressions experienced by
these sentient beings.
Suppose in fact that an object is displaced, undergoing deformation,
not as a rigid solid, but as a solid subjected to unequal dilatations in
exact conformity to the law of temperature above supposed. Permit me
for brevity to call such a movement a non-Euclidean displacement. If a sentient
being happens to be in the neighborhood, his impressions will be modified
by the displacement of the object, but he can re-establish them by moving
in a suitable manner. It suffices if finally the aggregate of the object and
the sentient being, considered as forming a single body, has undergone
one of those particular displacements I have just called non-Euclidean.
This is possible if it be supposed that the limbs of these beings dilate
according to the same law as the other bodies of the world they inhabit.
Although from the point of view of our ordinary geometry there is a
deformation of the bodies in this displacement and their various parts
are no longer in the same relative position, nevertheless we shall see that
the impressions of the sentient being have once more become the same.
In fact, though the mutual distances of the various parts may have varied,
yet the parts originally in contact are again in contact. Therefore the
tactile impressions have not changed. On the other hand, taking into
account the hypothesis made above in regard to the refraction and the
curvature of the rays of light, the visual impressions will also have
remained the same.
S PAC E 283
ference, and see if the ratio of these two lengths is equal to π, what shall
we have done? We shall have made an experiment on the properties of
the matter with which we constructed this round thing, and of that of
which the measure used was made.
3. Geometry and Astronomy. The question has also been put in another
way. If Lobachevski’s geometry is true, the parallax of a very distant star
will be finite; if Riemann’s is true, it will be negative. These are results
which seem within the reach of experiment, and there have been hopes
that astronomical observations might enable us to decide between the
three geometries.
But in astronomy “straight line” means simply “path of a ray of light.”
If therefore negative parallaxes were found, or if it were demonstrated
that all parallaxes are superior to a certain limit, two courses would be
open to us: we might either renounce Euclidean geometry, or else modify
the laws of optics and suppose that light does not travel rigorously in a
straight line. It is needless to add that all the world would regard the
latter solution as the more advantageous. The Euclidean geometry has,
therefore, nothing to fear from fresh experiments.
4. Is the position tenable that certain phenomena, possible in Euclidean
space, would be impossible in non-Euclidean space, so that experience,
in establishing these phenomena, would directly contradict the non-
Euclidean hypothesis? For my part I think no such question can be put.
To my mind it is precisely equivalent to the following, whose absurdity
is patent to all eyes: are there lengths expressible in meters and
centimeters, but which cannot be measured in fathoms, feet and inches,
so that experience, in ascertaining the existence of these lengths, would
directly contradict the hypothesis that there are fathoms divided into
six feet?
Examine the question more closely. I suppose that the straight line
possesses in Euclidean space any two properties which I shall call A and
B; that in non-Euclidean space it still possesses the property A, but no
longer has the property B; finally I suppose that in both Euclidean and
non-Euclidean space the straight line is the only line having the property
A. If this were so, experience would be capable of deciding between the
hypothesis of Euclid and that of Lobachevski. It would be ascertained
that a definite concrete object, accessible to experiment, for example, a
pencil of rays of light, possesses the property A; we should conclude that
it is rectilinear, and then investigate whether or not it has the property B.
But this is not so; no property exists which, like this property A, can be
an absolute criterion enabling us to recognize the straight line and to
286 Henri Poincaré
distinguish it from every other line. Shall we say, for instance: “The
following is such a property: the straight line is a line such that a figure
of which this line forms a part can be moved without the mutual distances
of its points varying and so that all points of this line remain fixed”?
This, in fact, is a property which, in Euclidean or non-Euclidean
space, belongs to the straight line and belongs only to it. But how shall
we ascertain experimentally whether it belongs to this or that concrete
object? It will be necessary to measure distances, and how shall one
know that any concrete magnitude which I have measured with my
material instrument really represents the abstract distance? We have only
pushed back the difficulty. In reality the property just enunciated is not
a property of the straight line alone, it is a property of the straight line
and distance. For it to serve as absolute criterion, we should have to be
able to establish not only that it does not also belong to a line other than
the straight line and to distance, but in addition that it does not belong to
a line other than the straight line and to a magnitude other than distance.
Now this is not true. It is therefore impossible to imagine a concrete
experiment which can be interpreted in the Euclidean system and not in
the Lobachevskian system, so that I may conclude: No experience will
ever be in contradiction to Euclid’s postulate; nor, on the other hand,
will any experience ever contradict the postulate of Lobachevski.
5. But it is not enough that the Euclidean (or non-Euclidean) geometry
can never be directly contradicted by experience. Might it not happen
that it can accord with experience only by violating the principle of
sufficient reason or that of the relativity of space?
I will explain myself: Consider any material system; we shall have to
regard, on the one hand, “the state” of the various bodies of this system
(for instance, their temperature, their electric potential, etc.), and, on
the other hand, their position in space; and among the data which enable
us to define this position we shall, moreover, distinguish the mutual
distances of these bodies, which define their relative positions, from the
conditions which define the absolute position of the system and its
absolute orientation in space.
The laws of the phenomena which will happen in this system will
depend on the state of these bodies and their mutual distances; but,
because of the relativity and passivity of space, they will not depend on
the absolute position and orientation of the system. In other words, the
state of the bodies and their mutual distances at any instant will depend
solely on the state of these same bodies and on their mutual distances at
the initial instant, but will not at all depend on the absolute initial position
S PAC E 287
of the system or on its absolute initial orientation. This is what for brevity
I shall call the law of relativity.
Hitherto I have spoken as a Euclidean geometer. As I have said, an
experience, whatever it be, admits of an interpretation on the Euclidean
hypothesis; but it admits of one equally on the non-Euclidean hypothesis.
Well, we have made a series of experiments; we have interpreted them
on the Euclidean hypothesis, and we have recognized that these
experiments thus interpreted do not violate this “law of relativity.”
We now interpret them on the non-Euclidean hypothesis: this is always
possible; only the non-Euclidean distances of our different bodies in
this new interpretation will not generally be the same as the Euclidean
distances in the primitive interpretation.
Will our experiments, interpreted in this new manner, still be in accord
with our “law of relativity”? And if there were not this accord, should
we not have also the right to say experience had proven the falsity of the
non-Euclidean geometry? It is easy to see that this is an idle fear; in fact,
to apply the law of relativity in all rigor, it must be applied to the entire
universe. For if only a part of this universe were considered, and if the
absolute position of this part happened to vary, the distances to the other
bodies of the universe would likewise vary, their influence on the part
of the universe considered would consequently augment or diminish,
which might modify the laws of the phenomena happening there.
But if our system is the entire universe, experience is powerless to
give information about its absolute position and orientation in space.
All that our instruments, however perfected they may be, can tell us will
be the state of the various parts of the universe and their mutual distances.
So our law of relativity may be thus enunciated: The readings we
shall be able to make on our instruments at any instant will depend only
on the readings we could have made on these same instruments at the
initial instant. Now such an enunciation is independent of every
interpretation of experimental facts. If the law is true in the Euclidean
interpretation, it will also be true in the non-Euclidean interpretation.
Allow me here a short digression. I have spoken above of the data
which define the position of the various bodies of the system; I should
likewise have spoken of those which define their velocities; I should
then have had to distinguish the velocities with which the mutual
distances of the different bodies vary; and, on the other hand, the
velocities of translation and rotation of the system, that is to say, the
velocities with which its absolute position and orientation vary.
To fully satisfy the mind, the law of relativity should be expressible
288 Henri Poincaré
thus: The state of bodies and their mutual distances at any instant, as
well as the velocities with which these distances vary at this same instant,
will depend only on the state of those bodies and their mutual distances
at the initial instant, and the velocities with which these distances vary
at this initial instant, but they will not depend either upon the absolute
initial position of the system, or upon its absolute orientation, or upon
the velocities with which this absolute position and orientation varied
at the initial instant.
Unhappily the law thus enunciated is not in accord with experiments,
at least as they are ordinarily interpreted. Suppose a man be transported
to a planet whose heavens were always covered with a thick curtain of
clouds, so that he could never see the other stars; on that planet he
would live as if it were isolated in space. Yet this man could become aware
that it turned, either by measuring its oblateness (done ordinarily by the
aid of astronomic observations, but capable of being done by purely
geodetic means), or by repeating the experiment of Foucault’s pendulum.
The absolute rotation of this planet could therefore be made evident.
That is a fact which shocks the philosopher, but which the physicist
is compelled to accept. We know that from this fact Newton inferred the
existence of absolute space; I myself am quite unable to adopt this
view. . . . For the moment it is not my intention to enter upon this
difficulty. Therefore I must resign myself, in the enunciation of the law
of relativity, to including velocities of every kind among the data which
define the state of the bodies. However that may be, this difficulty is the
same for Euclid’s geometry as for Lobachevski’s; I therefore need not
trouble myself with it, and have only mentioned it incidentally.
What is important is the conclusion: experiment cannot decide
between Euclid and Lobachevski. To sum up, whichever way we look at
it, it is impossible to discover in geometric empiricism a rational meaning.
6. Experiments only teach us the relations of bodies to one another;
none of them bears or can bear on the relations of bodies with space, or
on the mutual relations of different parts of space.
“Yes,” you reply, “a single experiment is insufficient, because it gives
me only a single equation with several unknowns; but when I shall have
made enough experiments I shall have equations enough to calculate all
my unknowns.”
To know the height of the mainmast does not suffice for calculating the
age of the captain. When you have measured every bit of wood in the
ship you will have many equations, but you will know his age no better.
All your measurements bearing only on your bits of wood can reveal to
S PAC E 289
That they are compatible with the Euclidean group is easy to see. For
they could be made if the body αβγ was a rigid solid of our ordinary
geometry presenting the form of a right-angled triangle, and if the points
ABCDEFGH were the summits of a polyhedron formed of two regular
hexagonal pyramids of our ordinary geometry, having for common base
ABCDEF and for apices the one G and the other H.
Suppose now that in place of the preceding determination it is observed
that as above αβγ can be successively applied to AGO, BGO, CGO, DGO,
EGO, AHO, BHO, CHO, DHO, EHO, FHO, then that αβ (and no longer
αγ) can be successively applied to AB, BC, CD, DE, EF and FA.
These are determinations which could be made if non-Euclidean
geometry were true, if the bodies αβγ and OABCDEFGH were rigid
solids, and if the first were a right-angled triangle and the second a
double regular hexagonal pyramid of suitable dimensions. Therefore
these new determinations are not possible if the bodies move according
to the Euclidean group; but they become so if it be supposed that the
bodies move according to the Lobachevskian group. They would suffice,
therefore (if one made them), to prove that the bodies in question do not
move according to the Euclidean group.
Thus, without making any hypothesis about form, about the nature
of space, about the relations of bodies to space, and without attributing
to bodies any geometric property, I have made observations which have
enabled me to show in one case that the bodies experimented upon move
according to a group whose structure is Euclidean, in the other case that
they move according to a group whose structure is Lobachevskian.
And one may not say that the first aggregate of determinations would
constitute an experiment proving that space is Euclidean, and the second
an experiment proving that space is non-Euclidean. In fact one could
imagine (I say imagine) bodies moving so as to render possible the second
series of determinations. And the proof is that the first mechanician met
could construct such bodies if he cared to take the pains and make the
outlay. You will not conclude from that, however, that space is non-
Euclidean. Nay, since the ordinary solid bodies would continue to exist
when the mechanician had constructed the strange bodies of which I
have just spoken, it would be necessary to conclude that space is at the
same time Euclidean and non-Euclidean.
Suppose, for example, that we have a great sphere of radius R and that
the temperature decreases from the center to the surface of this sphere
according to the law of which I have spoken in describing the non-
Euclidean world. We might have bodies whose expansion would be neg-
S PAC E 291
ligible and which would act like ordinary rigid solids; and, on the other
hand, bodies very dilatable and which would act like non-Euclidean
solids. We might have two double pyramids OABC DE FG H and
O′A′B′C′D′E′F′G′H′ and two triangles αβγ and α′β′γ′. The first double
pyramid might be rectilinear and the second curvilinear; the triangle
αβγ might be made of inexpansible matter and the other of a very dilatable
matter. It would then be possible to make the first observations with the
double pyramid OAH and the triangle αβγ, and the second with the
double pyramid O′A′H′ and the triangle α′β′γ′. And then experiment
would seem to prove first that the Euclidean geometry is true and then
that it is false. Experiments therefore have a bearing, not on space, but on bodies.
SUPPLEMENT
ANCESTRAL EXPERIENCE
It has often been said that if individual experience could not create
geometry the same is not true of ancestral experience. But what does
that mean? Is it meant that we could not experimentally demonstrate
Euclid’s postulate, but that our ancestors have been able to do it? Not in
the least. It is meant that by natural selection our mind has adapted itself
to the conditions of the external world, that it has adopted the geometry
most advantageous to the species: or in other words the most convenient. This
is entirely in conformity with our conclusions; geometry is not true, it is
advantageous.
other plays, rejecting them for other reasons, and then finally I should
make the move first examined, having meantime forgotten the danger I
had foreseen.
In a word, my memory is not bad, but it would be insufficient to
make me a good chess player. Why then does it not fail me in a difficult
piece of mathematical reasoning where most chess players would lose
themselves? Evidently because it is guided by the general march of the
reasoning. A mathematical demonstration is not a simple juxtaposition
of syllogisms, it is syllogisms placed in a certain order, and the order in
which these elements are placed is much more important than the elements
themselves. If I have the feeling, the intuition, so to speak, of this order,
so as to perceive at a glance the reasoning as a whole, I need no longer
fear lest I forget one of the elements, for each of them will take its allotted
place in the array, and that without any effort of memory on my part.
It seems to me then, in repeating a reasoning learned, that I could
have invented it. This is often only an illusion; but even then, even if I
am not so gifted as to create it by myself, I myself reinvent it in so far as
I repeat it.
We know that this feeling, this intuition of mathematical order, that
makes us divine hidden harmonies and relations, cannot be possessed
by everyone. Some will not have either this delicate feeling so difficult
to define, or a strength of memory and attention beyond the ordinary,
and then they will be absolutely incapable of understanding higher
mathematics. Such are the majority. Others will have this feeling only in
a slight degree, but they will be gifted with an uncommon memory and
a great power of attention. They will learn by heart the details one after
another; they can understand mathematics and sometimes make
applications, but they cannot create. Others, finally, will possess in a
less or greater degree the special intuition referred to, and then not only
can they understand mathematics even if their memory is nothing
extraordinary, but they may become creators and try to invent with more
or less success according as this intuition is more or less developed in
them.
In fact, what is mathematical creation? It does not consist in making
new combinations with mathematical entities already known. Anyone
could do that, but the combinations so made would be infinite in number
and most of them absolutely without interest. To create consists precisely
in not making useless combinations and in making those which are useful
and which are only a small minority. Invention is discernment, choice.
How to make this choice I have before explained; the mathematical
MATH E MATICAL CREATION 297
facts worthy of being studied are those which, by their analogy with
other facts, are capable of leading us to the knowledge of a mathematical
law just as experimental facts lead us to the knowledge of a physical law.
They are those which reveal to us unsuspected kinship between other
facts, long known, but wrongly believed to be strangers to one another.
Among chosen combinations the most fertile will often be those formed
of elements drawn from domains which are far apart. Not that I mean as
sufficing for invention the bringing together of objects as disparate as
possible; most combinations so formed would be entirely sterile. But
certain among them, very rare, are the most fruitful of all.
To invent, I have said, is to choose; but the word is perhaps not
wholly exact. It makes one think of a purchaser before whom are displayed
a large number of samples, and who examines them, one after the other,
to make a choice. Here the samples would be so numerous that a whole
lifetime would not suffice to examine them. This is not the actual state
of things. The sterile combinations do not even present themselves to
the mind of the inventor. Never in the field of his consciousness do
combinations appear that are not really useful, except some that he rejects
but which have to some extent the characteristics of useful combinations.
All goes on as if the inventor were an examiner for the second degree
who would only have to question the candidates who had passed a
previous examination.
But what I have hitherto said is what may be observed or inferred in
reading the writings of the geometers, reading reflectively.
It is time to penetrate deeper and to see what goes on in the very soul
of the mathematician. For this, I believe, I can do best by recalling
memories of my own. But I shall limit myself to telling how I wrote my
first memoir on Fuchsian functions. I beg the reader’s pardon; I am
about to use some technical expressions, but they need not frighten him,
for he is not obliged to understand them. I shall say, for example, that I
have found the demonstration of such a theorem under such
circumstances. This theorem will have a barbarous name, unfamiliar to
many, but that is unimportant; what is of interest for the psychologist is
not the theorem but the circumstances.
For fifteen days I strove to prove that there could not be any functions
like those I have since called Fuchsian functions. I was then very
ignorant; every day I seated myself at my work-table, stayed an hour or
two, tried a great number of combinations and reached no results. One
evening, contrary to my custom, I drank black coffee and could not sleep.
Ideas rose in crowds; I felt them collide until pairs interlocked, so to
298 Henri Poincaré
which I have just spoken, and which, once aroused, will call our attention
to them, and thus give them occasion to become conscious.
This is only a hypothesis, and yet here is an observation which may
confirm it: when a sudden illumination seizes upon the mind of the
mathematician, it usually happens that it does not deceive him, but it
also sometimes happens, as I have said, that it does not stand the test of
verification; well, we almost always notice that this false idea, had it
been true, would have gratified our natural feeling for mathematical
elegance.
Thus it is this special esthetic sensibility which plays the role of the
delicate sieve of which I spoke, and that sufficiently explains why the
one lacking it will never be a real creator.
Yet all the difficulties have not disappeared. The conscious self is
narrowly limited, and as for the subliminal self we know not its
limitations, and this is why we are not too reluctant in supposing that it
has been able in a short time to make more different combinations than
the whole life of a conscious being could encompass. Yet these limitations
exist. Is it likely that it is able to form all the possible combinations,
whose number would frighten the imagination? Nevertheless that would
seem necessary, because if it produces only a small part of these
combinations, and if it makes them at random, there would be small chance
that the good, the one we should choose, would be found among them.
Perhaps we ought to seek the explanation in that preliminary period
of conscious work which always precedes all fruitful unconscious labor.
Permit me a rough comparison. Figure the future elements of our
combinations as something like the hooked atoms of Epicurus. During
the complete repose of the mind, these atoms are motionless, they are, so
to speak, hooked to the wall; so this complete rest may be indefinitely
prolonged without the atoms meeting, and consequently without any
combination between them.
On the other hand, during a period of apparent rest and unconscious
work, certain of them are detached from the wall and put in motion.
They flash in every direction through the space (I was about to say the
room) where they are enclosed, as would, for example, a swarm of gnats
or, if you prefer a more learned comparison, like the molecules of gas in
the kinematic theory of gases. Then their mutual impacts may produce
new combinations.
What is the role of the preliminary conscious work? It is evidently to
mobilize certain of these atoms, to unhook them from the wall and put
them in swing. We think we have done no good, because we have moved
MATH E MATICAL CREATION 303
not as yet the laws of astronomy; would they have dreamed of saying
that the stars move at random? If a modern physicist studies a new
phenomenon, and if he discovers its law Tuesday, would he have said
Monday that this phenomenon was fortuitous? Moreover, do we not
often invoke what Bertrand calls the laws of chance, to predict a
phenomenon? For example, in the kinetic theory of gases we obtain the
known laws of Mariotte and of Gay-Lussac by means of the hypothesis
that the velocities of the molecules of gas vary irregularly, that is to say
at random. All physicists will agree that the observable laws would be
much less simple if the velocities were ruled by any simple elementary
law whatsoever, if the molecules were, as we say, organized, if they were
subject to some discipline. It is due to chance, that is to say, to our
ignorance, that we can draw our conclusions; and then if the word
chance is simply synonymous with ignorance what does that mean? Must
we therefore translate as follows?
“You ask me to predict for you the phenomena about to happen. If,
unluckily, I knew the laws of these phenomena I could make the
prediction only by inextricable calculations and would have to renounce
attempting to answer you; but as I have the good fortune not to know
them, I will answer you at once. And what is most surprising, my answer
will be right.”
So it must well be that chance is something other than the name we
give our ignorance, that among phenomena whose causes are unknown
to us we must distinguish fortuitous phenomena about which the calculus
of probabilities will provisionally give information, from those which
are not fortuitous and of which we can say nothing so long as we shall
not have determined the laws governing them. For the fortuitous
phenomena themselves, it is clear that the information given us by the
calculus of probabilities will not cease to be true upon the day when
these phenomena shall be better known.
The director of a life insurance company does not know when each of
the insured will die, but he relies upon the calculus of probabilities and
on the law of great numbers, and he is not deceived, since he distributes
dividends to his stockholders. These dividends would not vanish if a
very penetrating and very indiscreet physician should, after the policies
were signed, reveal to the director the life chances of the insured. This
doctor would dissipate the ignorance of the director, but he would have
no influence on the dividends, which evidently are not an outcome of
this ignorance.
CHANCE 307
spreads its ravages over countries it would have spared. This we could
have foreseen if we had known that tenth of a degree, but the observations
were neither sufficiently close nor sufficiently precise, and for this reason
all seems due to the agency of chance. Here again we find the same
contrast between a very slight cause, unappreciable to the observer, and
important effects, which are sometimes tremendous disasters.
Let us pass to another example, the distribution of the minor planets
on the zodiac. Their initial longitudes may have been any longitudes
whatever; but their mean motions were different and they have revolved
for so long a time that we may say they are now distributed at random
along the zodiac. Very slight initial differences between their distances
from the sun, or, what comes to the same thing, between their mean
motions, have ended by giving enormous differences between their present
longitudes. An excess of the thousandth of a second in the daily mean
motion will give in fact a second in three years, a degree in ten thousand
years, an entire circumference in three or four million years, and what
is that to the time which has passed since the minor planets detached
themselves from the nebula of Laplace? Again therefore we see a slight
cause and a great effect; or better, slight differences in the cause and
great differences in the effect.
The game of roulette does not take us as far as might seem from the
preceding example. Assume a needle to be turned on a pivot over a dial
divided into a hundred sectors alternately red and black. If it stops on a
red sector I win; if not, I lose. Evidently all depends upon the initial
impulse I give the needle. The needle will make, suppose, ten or twenty
turns, but it will stop sooner or not so soon, according as I shall have
pushed it more or less strongly. It suffices that the impulse vary only by
a thousandth or a two thousandth to make the needle stop over a black
sector or over the following red one. These are differences the muscular
sense cannot distinguish and which elude even the most delicate
instruments. So it is impossible for me to foresee what the needle I have
started will do, and this is why my heart throbs and I hope everything
from luck. The difference in the cause is imperceptible, and the difference
in the effect is for me of the highest importance, since it means my
whole stake.
because, said he, a cause can have only one effect, while the same effect
might be produced by several different causes. It is clear no scientist can
subscribe to this conclusion. The laws of nature bind the antecedent to
the consequent in such a way that the antecedent is as well determined
by the consequent as the consequent by the antecedent. But whence
came the error of this philosopher? We know that in virtue of Carnot’s
principle physical phenomena are irreversible and the world tends toward
uniformity. When two bodies of different temperature come in contact,
the warmer gives up heat to the colder; so we may foresee that the
temperature will equalize. But once equal, if asked about the anterior
state, what can we answer? We might say that one was warm and the
other cold, but not be able to divine which formerly was the warmer.
And yet in reality the temperatures will never reach perfect equality.
The difference of the temperatures only tends asymptotically toward zero.
There comes a moment when our thermometers are powerless to make it
known. But if we had thermometers a thousand times, a hundred thousand
times as sensitive, we should recognize that there still is a slight difference,
and that one of the bodies remains a little warmer than the other, and so
we could say this it is which formerly was much the warmer.
So then there are, contrary to what we found in the former examples,
great differences in cause and slight differences in effect. Flammarion
once imagined an observer going away from the earth with a velocity
greater than that of light; for him time would have changed sign. History
would be turned about, and Waterloo would precede Austerlitz. Well,
for this observer, effects and causes would be inverted; unstable
equilibrium would no longer be the exception. Because of the universal
irreversibility, all would seem to him to come out of a sort of chaos in
unstable equilibrium. All nature would appear to him delivered over to
chance.
We may take still a third point of view, less important than the first
two and upon which I shall lay less stress. When we seek to foresee an
event and examine its antecedents, we strive to search into the anterior
situation. This could not be done for all parts of the universe and we are
content to know what is passing in the neighborhood of the point where
the event should occur, or what would appear to have some relation to
it. An examination cannot be complete and we must know how to choose.
But it may happen that we have passed by circumstances which at first
sight seemed completely foreign to the foreseen happening, to which
one would never have dreamed of attributing any influence and which
nevertheless, contrary to all anticipation, come to play an important role.
A man passes in the street going to his business; some one knowing
the business could have told why he started at such a time and went by
such a street. On the roof works a tiler. The contractor employing him
could in a certain measure foresee what he would do. But the passer-by
scarcely thinks of the tiler, nor the tiler of him; they seem to belong to
two worlds completely foreign to one another. And yet the tiler drops a
tile which kills the man, and we do not hesitate to say this is chance.
Our weakness forbids our considering the entire universe and makes us
312 Henri Poincaré
All we have said still does not explain why chance obeys laws. Does
the fact that the causes are slight or complex suffice for our foreseeing, if
not their effects in each case, at least what their effects will be, on the
average? To answer this question we had better take up again some of the
examples already cited.
I shall begin with that of the roulette. I have said that the point where
the needle will stop depends upon the initial push given it. What is the
probability of this push having this or that value? I know nothing about
it, but it is difficult for me not to suppose that this probability is represented
by a continuous analytic function. The probability that the push is
comprised between α and α + ⑀ will then be sensibly equal to the prob-
ability of its being comprised between α + ⑀ and α + 2⑀, provided ⑀ be very
small. This is a property common to all analytic functions. Minute variations
of the function are proportional to minute variations of the variable.
But we have assumed that an exceedingly slight variation of the push
suffices to change the color of the sector over which the needle finally
stops. From α to α + ⑀ it is red, from α + ⑀ to α + 2⑀ it is black; the
probability of each red sector is therefore the same as of the following
black, and consequently the total probability of red equals the total
probability of black.
The datum of the question is the analytic function representing the
probability of a particular initial push. But the theorem remains true
whatever be this datum, since it depends upon a property common to all
analytic functions. From this it follows finally that we no longer need
the datum.
What we have just said for the case of the roulette applies also to the
example of the minor planets. The zodiac may be regarded as an immense
CHANCE 313
roulette on which have been tossed many little balls with different initial
impulses varying according to some law. Their present distribution is
uniform and independent of this law, for the same reason as in the
preceding case. Thus we see why phenomena obey the laws of chance
when slight differences in the causes suffice to bring on great differences
in the effects. The probabilities of these slight differences may then be
regarded as proportional to these differences themselves, just because
these differences are minute, and the infinitesimal increments of a
continuous function are proportional to those of the variable.
Take an entirely different example, where intervenes especially the
complexity of the causes. Suppose a player shuffles a pack of cards. At
each shuffle he changes the order of the cards, and he may change them
in many ways. To simplify the exposition, consider only three cards.
The cards which before the shuffle occupied respectively the places 123,
may after the shuffle occupy the places
123, 231, 312, 321, 132, 213.
Each of these six hypotheses is possible and they have respectively for
probabilities:
p 1, p 2, p 3 , p 4, p 5, p 6.
The sum of these six numbers equals 1; but this is all we know of
them; these six probabilities depend naturally upon the habits of the
player which we do not know.
At the second shuffle and the following, this will recommence, and
under the same conditions; I mean that p4 for example represents always
the probability that the three cards which occupied after the nth shuffle
and before n + 1th the places 123, occupy the places 321 after the n + 1th
shuffle. And this remains true whatever be the number n, since the habits
of the player and his way of shuffling remain the same.
But if the number the shuffles is very great, the cards which before
the first shuffle occupied the places 123 may, after the last shuffle, occupy
the places
123, 231, 312, 321, 132, 213
and the probability of these six hypotheses will be sensibly the same and
equal to 1/6; and this will be true whatever be the numbers p1 . . . p6
which we do not know. The great number of shuffles, that is to say the
complexity of the causes, has produced uniformity.
This would apply without change if there were more than three cards,
314 Henri Poincaré
but even with three cards the demonstration would be complicated; let
it suffice to give it for only two cards. Then we have only two possibilities
12, 21 with the probabilities p1 and p2 = 1 – p1.
Suppose n shuffles and suppose I win one franc if the cards are finally
in the initial order and lose one if they are finally inverted. Then, my
mathematical expectation will be (p1 – p2)n.
The difference p1 – p2 is certainly less than 1; so that if n is very great
my expectation will be zero; we need not learn p1 and p2 to be aware that
the game is equitable.
There would always be an exception if one of the numbers p1 and p2
was equal to 1 and the other naught. Then it would not apply because our
initial hypotheses would be too simple.
What we have just seen applies not only to the mixing of cards, but to
all mixings, to those of powders and of liquids, and even to those of the
molecules of gases in the kinetic theory of gases.
To return to this theory, suppose for a moment a gas whose molecules
cannot mutually clash, but may be deviated by hitting the insides of the
vase wherein the gas is confined. If the form of the vase is sufficiently
complex the distribution of the molecules and that of the velocities will
not be long in becoming uniform. But this will not be so if the vase is
spherical or if it has the shape of a cuboid. Why? Because in the first
case the distance from the center to any trajectory will remain constant;
in the second case this will be the absolute value of the angle of each
trajectory with the faces of the cuboid.
So we see what should be understood by conditions too simple; they
are those which conserve something, which leave an invariant remaining.
Are the differential equations of the problem too simple for us to apply
the laws of chance? This question would seem at first view to lack precise
meaning; now we know what it means. They are too simple if they
conserve something, if they admit a uniform integral. If something in
the initial conditions remains unchanged, it is clear the final situation
can no longer be independent of the initial situation.
We come finally to the theory of errors. We know not to what are due
the accidental errors, and precisely because we do not know, we are aware
they obey the law of Gauss. Such is the paradox. The explanation is nearly
the same as in the preceding cases. We need know only one thing: that
the errors are very numerous, that they are very slight, that each may be as
well negative as positive. What is the curve of probability of each of them?
We do not know; we only suppose it is symmetric. We prove then that the
resultant error will follow Gauss’s law, and this resulting law is
CHANCE 315
But we are not through with paradoxes. I have just recalled the figment
of Flammarion, that of the man going quicker than light, for whom time
changes sign. I said that for him all phenomena would seem due to
chance. That is true from a certain point of view, and yet all these
phenomena at a given moment would not be distributed in conformity
with the laws of chance, since the distribution would be the same as for
us, who, seeing them unfold harmoniously and without coming out of a
primal chaos, do not regard them as ruled by chance.
What does that mean? For Lumen, Flammarion’s man, slight causes
seem to produce great effects; why do not things go on as for us when
we think we see grand effects due to little causes? Would not the same
reasoning be applicable in his case?
Let us return to the argument. When slight differences in the causes
produce vast differences in the effects, why are these effects distributed
according to the laws of chance? Suppose a difference of a millimeter in
the cause produces a difference of a kilometer in the effect. If I win in
case the effect corresponds to a kilometer bearing an even number, my
probability of winning will be 1/2. Why? Because to make that, the
cause must correspond to a millimeter with an even number. Now,
according to all appearance, the probability of the cause varying between
certain limits will be proportional to the distance apart of these limits,
provided this distance be very small. If this hypothesis were not admitted
there would no longer be any way of representing the probability by a
continuous function.
What now will happen when great causes produce small effects? This
is the case where we should not attribute the phenomenon to chance
and where on the contrary Lumen would attribute it to chance. To a
difference of a kilometer in the cause would correspond a difference of a
millimeter in the effect. Would the probability of the cause being comprised
between two limits n kilometers apart still be proportional to n? We have
no reason to suppose so, since this distance, n kilometers, is great. But the
probability that the effect lies between two limits n millimeters apart will
be precisely the same, so it will not be proportional to n, even though this
distance, n millimeters, be small. There is no way therefore of representing
the law of probability of effects by a continuous curve. This curve,
understand, may remain continuous in the analytic sense of the word; to
infinitesimal variations of the abscissa will correspond infinitesimal varia-
316 Henri Poincaré
tions of the ordinate. But practically it will not be continuous, since very
small variations of the ordinate would not correspond to very small
variations of the abscissa. It would become impossible to trace the curve
with an ordinary pencil; that is what I mean.
So what must we conclude? Lumen has no right to say that the
probability of the cause (his cause, our effect) should be represented
necessarily by a continuous function. But then why have we this right?
It is because this state of unstable equilibrium which we have been calling
initial is itself only the final outcome of a long previous history. In the
course of this history complex causes have worked a great while: they
have contributed to produce the mixture of elements and they have
tended to make everything uniform at least within a small region; they
have rounded off the corners, smoothed down the hills and filled up
the valleys. However capricious and irregular may have been the primitive
curve given over to them, they have worked so much toward making it
regular that finally they deliver over to us a continuous curve. And this
is why we may in all confidence assume its continuity.
Lumen would not have the same reasons for such a conclusion. For
him complex causes would not seem agents of equalization and regularity,
but on the contrary would create only inequality and differentiation.
He would see a world more and more varied come forth from a sort of
primitive chaos. The changes he could observe would be for him
unforeseen and impossible to foresee. They would seem to him due to
some caprice or another; but this caprice would be quite different from
our chance, since it would be opposed to all law, while our chance still
has its laws. All these points call for lengthy explications, which perhaps
would aid in the better comprehension of the irreversibility of the
universe.
back to what has already been said. A difference is very slight, an interval
is very small, when within the limits of this interval the probability
remains sensibly constant. And why may this probability be regarded as
constant within a small interval? It is because we assume that the law of
probability is represented by a continuous curve, continuous not only
in the analytic sense, but practically continuous, as already explained.
This means that it not only presents no absolute hiatus, but that it has
neither salients nor re-entrants too acute or too accentuated.
And what gives us the right to make this hypothesis? We have already
said it is because, since the beginning of the ages, there have always
been complex causes ceaselessly acting in the same way and making the
world tend toward uniformity without ever being able to turn back.
These are the causes which little by little have flattened the salients and
filled up the re-entrants, and this is why our probability curves now
show only gentle undulations. In milliards of milliards of ages another
step will have been made toward uniformity, and these undulations will
be ten times as gentle; the radius of mean curvature of our curve will
have become ten times as great. And then such a length as seems to us
today not very small, since on our curve an arc of this length cannot be
regarded as rectilineal, should on the contrary at that epoch be called
very little, since the curvature will have become ten times less and an
arc of this length may be sensibly identified with a sect.
Thus the phrase “very slight” remains relative; but it is not relative to
such or such a man, it is relative to the actual state of the world. It will
change its meaning when the world shall have become more uniform,
when all things shall have blended still more. But then doubtless men
can no longer live and must give place to other beings—should I say far
smaller or far larger? So that our criterion, remaining true for all men,
retains an objective sense.
And on the other hand what means the phrase “very complex”? I
have already given one solution, but there are others. Complex causes
we have said produce a blend more and more intimate, but after how
long a time will this blend satisfy us? When will it have accumulated
sufficient complexity? When shall we have sufficiently shuffled the cards?
If we mix two powders, one blue, the other white, there comes a moment
when the tint of the mixture seems to us uniform because of the
feebleness of our senses; it will be uniform for the presbyope, forced to
gaze from afar, before it will be so for the myope. And when it has become
uniform for all eyes, we still could push back the limit by the use of
instruments. There is no chance for any man ever to discern the infinite
318 Henri Poincaré
variety which, if the kinetic theory is true, hides under the uniform
appearance of a gas. And yet if we accept Gouy’s ideas on the Brownian
movement, does not the microscope seem on the point of showing us
something analogous?
This new criterion is therefore relative like the first; and if it retains
an objective character, it is because all men have approximately the same
senses, the power of their instruments is limited, and besides they use
them only exceptionally.
century was unique in the history of ideas. Never before nor since
has man been so sure of his ability to comprehend all of nature.
Laplace died in 1827. He surrounded himself with astronomers,
physicists, naturalists, and mathematicians during his last years. Busy
and happy, he received distinguished visitors from all parts of the
world. His scientific genius earned for him the title of “the Newton
of France.”
Laplace has been criticized for his infinite adaptability to changing
political environments; his contemporaries cynically referred to his
“suppleness.” During the turbulent times of the French Revolution
he kept his head—literally—and prospered. As his books entered
into successive editions, the introductions were changed to fit the
times. Laplace dedicated the 1812 edition of The Analytical Theory of
Probabilities to “Napoleon the Great”; in the 1814 edition he
suppressed this dedication and wrote “that the fall of empires which
aspired to universal domination could be predicted with a very high
probability by one versed in the calculus of chance.”
Probability
from A Philosophical Essay on Probabilities
INTRODUCTION
CONCERNING PROBABILITY
325
326 Laplace
as the revolutions of the sun. In ignorance of the ties which unite such
events to the entire system of the universe, they have been made to
depend upon final causes or upon hazard, according as they occur and
are repeated with regularity, or appear without regard to order; but these
imaginary causes have gradually receded with the widening bounds of
knowledge and disappear entirely before sound philosophy, which sees
in them only the expression of our ignorance of the true causes.
Present events are connected with preceding ones by a tie based upon
the evident principle that a thing cannot occur without a cause which
produces it. This axiom, known by the name of the principle of sufficient
reason, extends even to actions which are considered indifferent; the freest
will is unable without a determinative motive to give them birth; if we
assume two positions with exactly similar circumstances and find that the
will is active in the one and inactive in the other, we say that its choice is
an effect without a cause. It is then, says Leibnitz, the blind chance of the
Epicureans. The contrary opinion is an illusion of the mind, which, losing
sight of the evasive reasons of the choice of the will in indifferent things,
believes that choice is determined of itself and without motives.
We ought then to regard the present state of the universe as the effect
of its anterior state and as the cause of the one which is to follow. Given
for one instant an intelligence which could comprehend all the forces
by which nature is animated and the respective situation of the beings
who compose it—an intelligence sufficiently vast to submit these data to
analysis—it would embrace in the same formula the movements of the
greatest bodies of the universe and those of the lightest atom; for it,
nothing would be uncertain and the future, as the past, would be present
to its eyes. The human mind offers, in the perfection which it has been
able to give to astronomy, a feeble idea of this intelligence. Its discoveries
in mechanics and geometry, added to that of universal gravity, have
enabled it to comprehend in the same analytical expressions the past
and future states of the system of the world. Applying the same method
to some other objects of its knowledge, it has succeeded in referring to
general laws observed phenomena and in foreseeing those which given
circumstances ought to produce. All these efforts in the search for truth
tend to lead it back continually to the vast intelligence which we have
just mentioned, but from which it will always remain infinitely removed.
This tendency, peculiar to the human race, is that which renders it
superior to animals; and their progress in this respect distinguishes
nations and ages and constitutes their true glory.
Let us recall that formerly, and at no remote epoch, an unusual rain or
P RO BAB I LITY 327
an extreme drought, a comet having in train a very long tail, the eclipses,
the aurora borealis, and in general all the unusual phenomena were
regarded as so many signs of celestial wrath. Heaven was invoked in
order to avert their baneful influence. No one prayed to have the planets
and the sun arrested in their courses: observation had soon made apparent
the futility of such prayers. But as these phenomena, occurring and
disappearing at long intervals, seemed to oppose the order of nature, it
was supposed that Heaven, irritated by the crimes of the earth, had created
them to announce its vengeance. Thus the long tail of the comet of 1456
spread terror through Europe, already thrown into consternation by the
rapid successes of the Turks, who had just overthrown the Lower Empire.
This star after four revolutions has excited among us a very different
interest. The knowledge of the laws of the system of the world acquired
in the interval had dissipated the fears begotten by the ignorance of the
true relationship of man to the universe; and Halley, having recognized
the identity of this comet with those of the years 1531, 1607, and 1682,
announced its next return for the end of the year 1758 or the beginning
of the year 1759. The learned world awaited with impatience this return
which was to confirm one of the greatest discoveries that have been
made in the sciences, and fulfill the prediction of Seneca when he said,
in speaking of the revolutions of those stars which fall from an enormous
height: “The day will come when, by study pursued through several
ages, the things now concealed will appear with evidence; and posterity
will be astonished that truths so clear had escaped us.” Clairaut then
undertook to submit to analysis the perturbations which the comet had
experienced by the action of the two great planets, Jupiter and Saturn;
after immense calculations he fixed its next passage at the perihelion
toward the beginning of April, 1759, which was actually verified by
observation. The regularity which astronomy shows us in the movements
of the comets doubtless exists also in all phenomena.
The curve described by a simple molecule of air or vapor is regulated
in a manner just as certain as the planetary orbits; the only difference
between them is that which comes from our ignorance.
Probability is relative, in part to this ignorance, in part to our
knowledge. We know that of three or a greater number of events a single
one ought to occur; but nothing induces us to believe that one of them
will occur rather than the others. In this state of indecision it is impossible
for us to announce their occurrence with certainty. It is, however, probable
that one of these events, chosen at will, will not occur because we see
several cases equally possible which exclude its occurrence, while only
a single one favors it.
328 Laplace
The theory of chance consists in reducing all the events of the same
kind to a certain number of cases equally possible, that is to say, to such
as we may be equally undecided about in regard to their existence, and
in determining the number of cases favorable to the event whose
probability is sought. The ratio of this number to that of all the cases
possible is the measure of this probability, which is thus simply a fraction
whose numerator is the number of favorable cases and whose denominator
is the number of all the cases possible.
The preceding notion of probability supposes that, in increasing in the
same ratio the number of favorable cases and that of all the cases possible,
the probability remains the same. In order to convince ourselves let us
take two urns, A and B, the first containing four white and two black
balls, and the second containing only two white balls and one black one.
We may imagine the two black balls of the first urn attached by a thread
which breaks at the moment when one of them is seized in order to be
drawn out, and the four white balls thus forming two similar systems. All
the chances which will favor the seizure of one of the balls of the black
system will lead to a black ball. If we conceive now that the threads which
unite the balls do not break at all, it is clear that the number of possible
chances will not change any more than that of the chances favorable to
the extraction of the black balls; but two balls will be drawn from the urn
at the same time; the probability of drawing a black ball from the urn A
will then be the same as at first. But then we have obviously the case of
urn B with the single difference that the three balls of this last urn would
be replaced by three systems of two balls invariably connected.
When all the cases are favorable to an event the probability changes
to certainty and its expression becomes equal to unity. Upon this
condition, certainty and probability are comparable, although there may
be an essential difference between the two states of the mind when a
truth is rigorously demonstrated to it, or when it still perceives a small
source of error.
In things which are only probable the difference of the data, which
each man has in regard to them, is one of the principal causes of the
diversity of opinions which prevail in regard to the same objects. Let us
suppose, for example, that we have three urns, A, B, C, one of which
contains only black balls while the two others contain only white balls; a
ball is to be drawn from the urn C and the probability is demanded that
this ball will be black. If we do not know which of the three urns contains
black balls only, so that there is no reason to believe that it is C rather than
B or A, these three hypotheses will appear equally possible, and since a
P RO BAB I LITY 329
black ball can be drawn only in the first hypothesis, the probability of
drawing it is equal to one third. If it is known that the urn A contains
white balls only, the indecision then extends only to the urns B and C,
and the probability that the ball drawn from the urn C will be black is
one half. Finally this probability changes to certainty if we are assured
that the urns A and B contain white balls only.
It is thus that an incident related to a numerous assembly finds various
degrees of credence, according to the extent of knowledge of the auditors.
If the man who reports it is fully convinced of it and if, by his position
and character, he inspires great confidence, his statement, however
extraordinary it may be, will have for the auditors who lack information
the same degree of probability as an ordinary statement made by the
same man, and they will have entire faith in it. But if some one of them
knows that the same incident is rejected by other equally trustworthy
men, he will be in doubt and the incident will be discredited by the
enlightened auditors, who will reject it whether it be in regard to facts
well averred or the immutable laws of nature.
It is to the influence of the opinion of those whom the multitude judges
best informed and to whom it has been accustomed to give its confidence
in regard to the most important matters of life that the propagation of
those errors is due which in times of ignorance have covered the face of
the earth. Magic and astrology offer us two great examples. These errors
inculcated in infancy, adopted without examination, and having for a
basis only universal credence, have maintained themselves during a very
long time; but at last the progress of science has destroyed them in the
minds of enlightened men, whose opinion consequently has caused them
to disappear even among the common people, through the power of
imitation and habit which had so generally spread them abroad. This
power, the richest resource of the moral world, establishes and conserves
in a whole nation ideas entirely contrary to those which it upholds
elsewhere with the same authority. What indulgence ought we not then
to have for opinions different from ours, when this difference often depends
only upon the various points of view where circumstances have placed us!
Let us enlighten those whom we judge insufficiently instructed; but first
let us examine critically our own opinions and weigh with impartiality
their respective probabilities.
The difference of opinions depends, however, upon the manner in
which the influence of known data is determined. The theory of
probabilities holds to considerations so delicate that it is not surprising
that with the same data two persons arrive at different results, es-
330 Laplace
TH E G ENERAL PRINCIPLES
OF TH E CALCULUS OF PROBABILITIES
probability of drawing a white ball from the urn C is 2/3, since of the
three urns only two contain balls of that color. But when a white ball
has been drawn from the urn C, the indecision relative to that one of
the urns which contain only black balls extends only to the urns A and
B; the probability of drawing a white ball from the urn B is 1/2; the
product of 2/3 by 1/2, or 1/3, is then the probability of drawing two
white balls at one time from the urns B and C.
We see by this example the influence of past events upon the probability
of future events. For the probability of drawing a white ball from the
urn B, which primarily is 2/3, becomes 1/2 when a white ball has been
drawn from the urn C; it would change to certainty if a black ball had
been drawn from the same urn. We will determine this influence by
means of the following principle, which is a corollary of the preceding
one.
Fifth Principle. If we calculate a priori the probability of the occurred
event and the probability of an event composed of that one and a second
one which is expected, the second probability divided by the first will
be the probability of the event expected, drawn from the observed event.
Here is presented the question raised by some philosophers touching
the influence of the past upon the probability of the future. Let us suppose
at the play of heads and tails that heads has occurred oftener than tails.
By this alone we shall be led to believe that in the constitution of the
coin there is a secret cause which favors it. Thus in the conduct of life
constant happiness is a proof of competency which should induce us to
employ preferably happy persons. But if by the unreliability of
circumstances we are constantly brought back to a state of absolute
indecision, if, for example, we change the coin at each throw at the play
of heads and tails, the past can shed no light upon the future and it
would be absurd to take account of it.
Sixth Principle. Each of the causes to which an observed event may be
attributed is indicated with just as much likelihood as there is probability
that the event will take place, supposing the event to be constant. The
probability of the existence of any one of these causes is then a fraction
whose numerator is the probability of the event resulting from this cause
and whose denominator is the sum of the similar probabilities relative to
all the causes; if these various causes, considered a priori, are unequally
probable, it is necessary, in place of the probability of the event resulting
from each cause, to employ the product of this probability by the possibility
of the cause itself. This is the fundamental principle of this branch of
the analysis of chances which consists in passing from events to causes.
P RO BAB I LITY 333
CONCERNING HOPE
gives to the product of his labor and to his hopes a value at least equal to
that which is absolutely necessary to sustain him.
If we apply analysis to the principle just propounded, we obtain the
following rule: Let us designate by unity the part of the fortune of an
individual, independent of his expectations. If we determine the different
values that this fortune may have by virtue of these expectations and
their probabilities, the product of these values raised respectively to the
powers indicated by their probabilities will be the physical fortune which
would procure for the individual the same moral advantage which he
receives from the part of his fortune taken as unity and from his
expectations; by subtracting unity from the product, the difference will
be the increase of the physical fortune due to expectations: we will call
this increase moral hope. It is easy to see that it coincides with mathematical
hope when the fortune taken as unity becomes infinite in reference to
the variations which it receives from the expectations. But when these
variations are an appreciable part of this unity the two hopes may differ
very materially among themselves.
This rule conduces to results conformable to the indications of
common sense which can by this means be appreciated with some
exactitude. Thus in the preceding question it is found that if the fortune
of Paul is two hundred francs, he ought not reasonably to stake more
than nine francs. The same rule leads us again to distribute the danger
over several parts of a benefit expected rather than to expose the entire
benefit to this danger. It results similarly that at the fairest game the
loss is always greater than the gain. Let us suppose, for example, that a
player having a fortune of one hundred francs risks fifty at the play of
heads and tails; his fortune after his stake at the play will be reduced to
eighty-seven francs, that is to say, this last sum would procure for the
player the same moral advantage as the state of his fortune after
the stake. The play is then disadvantageous even in the case where the
stake is equal to the product of the sum hoped for, by its probability.
We can judge by this of the immorality of games in which the sum
hoped for is below this product. They subsist only by false reasonings
and by the cupidity which they excite and which, leading the people
to sacrifice their necessaries to chimerical hopes whose improbability
they are not in condition to appreciate, are the source of an infinity of
evils.
The disadvantage of games of chance, the advantage of not exposing
to the same danger the whole benefit that is expected, and all the similar
results indicated by common sense, subsist, whatever may be the function
338 Laplace
of the physical fortune which for each individual expresses his moral
fortune. It is enough that the proportion of the increase of this function
to the increase of the physical fortune diminishes in the measure that
the latter increases.
339
340 C. S. Peirce
Our idea of anything is our idea of its sensible effects. . . . What a thing
means is simply what habit it involves. . . . There is no distinction of
meaning so fine as to consist in anything but a possible difference of
practice. . . . The final upshot of thinking is the exercise of volition. . . .
342
TH E RE D AN D TH E B LACK 343
put its problems into equations without such an aid. But, beyond this, the
fundamental principles of its calculus are more or less in dispute. In regard
to that class of questions to which it is chiefly applied for practical purposes,
there is comparatively little doubt; but in regard to others to which it has
been sought to extend it, opinion is somewhat unsettled.
This last class of difficulties can only be entirely overcome by making
the idea of probability perfectly clear in our minds in the way set forth
in our last paper.1
1. [Peirce is here referring to his essay How To Make Our Ideas Clear (Ed.).]
344 C. S. Peirce
According to this, that real and sensible difference between one degree
of probability and another, in which the meaning of the distinction lies,
is that in the frequent employment of two different modes of inference,
one will carry truth with it oftener than the other. It is evident that this
is the only difference there is in the existing fact. Having certain premises,
a man draws a certain conclusion, and as far as this inference alone is
concerned the only possible practical question is whether that conclusion
is true or not, and between existence and nonexistence there is no middle
term. “Being only is and nothing is altogether not,” said Parmenides;
and this is in strict accordance with the analysis of the conception of
reality given in the last paper. For we found that the distinction of reality
and fiction depends on the supposition that sufficient investigation would
cause one opinion to be universally received and all others to be rejected.
That presupposition, involved in the very conceptions of reality and
figment, involves a complete sundering of the two. It is the heaven-and-
hell idea in the domain of thought. But, in the long run, there is a real
fact which corresponds to the idea of probability, and it is that a given
mode of inference sometimes proves successful and sometimes not, and
that in a ratio ultimately fixed. As we go on drawing inference after
inference of the given kind, during the first ten or hundred cases the ratio
of successes may be expected to show considerable fluctuations; but when
we come into the thousands and millions, these fluctuations become less
and less; and if we continue long enough, the ratio will approximate
toward a fixed limit. We may, therefore, define the probability of a mode
of argument as the proportion of cases in which it carries truth with it.
The inference from the premise, A, to the conclusion, B, depends, as
we have seen, on the guiding principle that if a fact of the class A is
true, a fact of the class B is true. The probability consists of the fraction
whose numerator is the number of times in which both A and B are
true, and whose denominator is the total number of times in which A is
true, whether B is so or not. Instead of speaking of this as the probability
of the inference, there is not the slightest objection to calling it the
probability that if A happens, B happens. But to speak of the probability
of the event B, without naming the condition, really has no meaning at
all. It is true that when it is perfectly obvious what condition is meant,
the ellipsis may be permitted. But we should avoid contracting the habit
of using language in this way (universal as the habit is), because it gives
rise to a vague way of thinking, as if the action of causation might either
determine an event to happen or determine it not to happen, or leave it
more or less free to happen or not, so as to give rise to an inherent chance
TH E RE D AN D TH E B LACK 345
mentioned. Yet the case of the other side is not yet exhausted. Although
probability will probably manifest its effect in, say, a thousand risks, by a
certain proportion between the numbers of successes and failures, yet this,
as we have seen, is only to say that it certainly will, at length, do so. Now
the number of risks, the number of probable inferences, which a man
draws in his whole life, is a finite one, and he cannot be absolutely certain
that the mean result will accord with the probabilities at all. Taking all his
risks collectively, then, it cannot be certain that they will not fail, and his
case does not differ, except in degree, from the one last supposed. It is an
indubitable result of the theory of probabilities that every gambler, if he
continues long enough, must ultimately be ruined. Suppose he tries the
martingale, which some believe infallible, and which is, as I am informed,
disallowed in the gambling houses. In this method of playing, he first
bets say $1; if he loses it he bets $2; if he loses that he bets $4; if he loses
that he bets $8; if he then gains he has lost 1 + 2 + 4 = 7, and he has
gained $1 more; and no matter how many bets he loses, the first one he
gains will make him $1 richer than he was in the beginning. In that way,
he will probably gain at first; but, at last, the time will come when the run
of luck is so against him that he will not have money enough to double,
and must, therefore, let his bet go. This will probably happen before he has
won as much as he had in the first place, so that this run against him will
leave him poorer than he began; some time or other it will be sure to
happen. It is true that there is always a possibility of his winning any sum
the bank can pay, and we thus come upon a celebrated paradox that,
though he is certain to be ruined, the value of his expectation calculated
according to the usual rules (which omit this consideration) is large. But,
whether a gambler plays in this way or any other, the same thing is true,
namely, that if he plays long enough he will be sure some time to have
such a run against him as to exhaust his entire fortune. The same thing is
true of an insurance company. Let the directors take the utmost pains to
be independent of great conflagrations and pestilences, their actuaries can
tell them that, according to the doctrine of chances, the time must come,
at last, when their losses will bring them to a stop. They may tide over
such a crisis by extraordinary means, but then they will start again in a
weakened state, and the same thing will happen again all the sooner. An
actuary might be inclined to deny this, because he knows that the
expectation of his company is large, or perhaps (neglecting the interest
upon money) is infinite. But calculations of expectations leave out of
account the circumstance now under consideration, which reverses
the whole thing. However, I must not be understood as saying that
insurance is on this account unsound, more than other kinds of business.
TH E RE D AN D TH E B LACK 347
All human affairs rest upon probabilities, and the same thing is true
everywhere. If man were immortal he could be perfectly sure of seeing
the day when everything in which he had trusted should betray his
trust, and, in short, of coming eventually to hopeless misery. He would
break down, at last, as every good fortune, as every dynasty, as every
civilization does. In place of this we have death.
But what, without death, would happen to every man, with death must
happen to some man. At the same time, death makes the number of our
risks, of our inferences, finite, and so makes their mean result uncertain.
The very idea of probability and of reasoning rests on the assumption that
this number is indefinitely great. We are thus landed in the same difficulty
as before, and I can see but one solution of it. It seems to me that we are
driven to this, that logicality inexorably requires that our interests shall
not be limited. They must not stop at our own fate, but must embrace the
whole community. This community, again, must not be limited, but must
extend to all races of beings with whom we can come into immediate or
mediate intellectual relation. It must reach, however, vaguely, beyond
this geological epoch, beyond all bounds. He who would not sacrifice his
own soul to save the whole world, is, as it seems to me, illogical in all his
inferences, collectively. Logic is rooted in the social principle.
To be logical men should not be selfish; and, in point of fact, they are
not so selfish as they are thought. The willful prosecution of one’s desires
is a different thing from selfishness. The miser is not selfish; his money
does him no good, and he cares for what shall become of it after his
death. We are constantly speaking of our possessions on the Pacific, and
of our destiny as a republic, where no personal interests are involved, in
a way which shows that we have wider ones. We discuss with anxiety
the possible exhaustion of coal in some hundreds of years, or the cooling-
off of the sun in some millions, and show in the most popular of all
religious tenets that we can conceive the possibility of a man’s descending
into hell for the salvation of his fellows.
Now, it is not necessary for logicality that a man should himself be
capable of the heroism of self-sacrifice. It is sufficient that he should
recognize the possibility of it, should perceive that only that man’s
inferences who has it are really logical, and should consequently regard
his own as being only so far valid as they would be accepted by the hero.
So far as he thus refers his inferences to that standard, he becomes
identified with such a mind.
This makes logicality attainable enough. Sometimes we can personally
attain to heroism. The soldier who runs to scale a wall knows that he will
348 C. S. Peirce
probably be shot, but that is not all he cares for. He also knows that if all
the regiment, with whom in feeling he identifies himself, rush forward
at once, the fort will be taken. In other cases we can only imitate the
virtue. The man whom we have supposed as having to draw from the
two packs, who if he is not a logician will draw from the red pack from
mere habit, will see, if he is logician enough, that he cannot be logical
so long as he is concerned only with his own fate, but that that man who
should care equally for what was to happen in all possible cases of the
sort could act logically, and would draw from the pack with the most
red cards, and thus, though incapable himself of such sublimity, our
logician would imitate the effect of that man’s courage in order to share
his logicality.
But all this requires a conceived identification of one’s interests with
those of an unlimited community. Now there exist no reasons, and a
later discussion will show that there can be no reasons, for thinking that
the human race, or any intellectual race, will exist forever. On the other
hand, there can be no reason against it; 3 and, fortunately, as the whole
requirement is that we should have certain sentiments, there is nothing
in the facts to forbid our having a hope, or calm and cheerful wish, that
the community may last beyond any assignable date.
It may seem strange that I should put forward three sentiments, namely,
interest in an indefinite community, recognition of the possibility of
this interest being made supreme, and hope in the unlimited continuance
of intellectual activity, as indispensable requirements of logic. Yet, when
we consider that logic depends on a mere struggle to escape doubt, which,
as it terminates in action, must begin in emotion, and that, furthermore,
the only cause of our planting ourselves on reason is that other methods
of escaping doubt fail on account of the social impulse, why should we
wonder to find social sentiment presupposed in reasoning? As for the
other two sentiments which I find necessary, they are so only as supports
and accessories of that. It interests me to notice that these three sentiments
seem to be pretty much the same as that famous trio of charity, faith, and
hope, which, in the estimation of St. Paul, are the finest and greatest of
spiritual gifts. Neither Old nor New Testament is a textbook of the logic
of science, but the latter is certainly the highest existing authority in
regard to the dispositions of heart which a man ought to have.
3. I do not here admit an absolutely unknowable. Evidence could show us what would
probably be the case after any given lapse of time; and though a subsequent time might
be assigned which that evidence might not cover, yet further evidence would cover it.