The King of Infinite Space (3 page)

Euclid often made use of arguments that Aristotle had not analyzed properly or analyzed at all.
If
the natural numbers progress by 1,
then
there is no natural number between 3 and 4. The natural numbers
do
progress by 1. So there is no natural number between 3 and 4. The inference proceeds by the stately music of
modus ponens.
No syllogism is involved, just the straightforward play between propositions and their particles—
if, then, and.
Euclid is especially fond of reaching his conclusions by demonstrating that a given proposition leads to a contradiction, and so must be rejected. In Euclid's hands, this style of reasoning often becomes a torpedo.

There remains the matter of the distinction between an axiomatic system and an argument.

There is none.

An argument is a small axiomatic system, and an axiomatic system is a large argument.

“E
UCLID ALONE
,” E
DNA
St. Vincent Millay once wrote, “has looked on beauty bare.” It is the first line in a sonnet of the same name. Literary critics are often embarrassed by the sonnet, and mathematicians by Edna St. Vincent Millay. Euclid
alone
? Still, the idea that “Euclid alone looked on beauty bare” elegantly draws attention to the nakedness of inference exhibited by every Euclidean proof. It is something rarely seen beyond mathematics—this hidden, if somewhat lurid, power of a Euclidean proof to compel fascination. Up go the axioms on the blackboard; down come the theorems. Students and readers alike are encouraged to think of the display as something stirring.
And it is.
So much of ordinary argument and inference is fully clothed.

But this way of presenting Euclid and the
Elements
imposes a gross distortion on Euclid's thoughts: it allows the staged drama of his proofs to stand for the grandeur of his system as a whole. Euclid meant his proofs to be grasped against the background of his common notions and definitions. In almost every proof, he appeals to his own common notions and, in many proofs, either to his definitions or to ideas that follow naturally from his definitions. Beyond any of this, there are Euclid's ideas about space and human agency and the exaltation of geometry that is so conspicuous a feature of his thoughts. Focus, control, and tension—they are there in Euclid's proofs, but these moments, as any athlete knows, do not appear as isolated, brief, bursting miracles. They are not isolated at all, and they are not miracles either. They are grounded in Euclid's meditations about what may be supposed and what not, and how difficult ideas may be defined or, at least, exposed. In all this, the master, unbending to explain himself, remains entirely in character, his severity undiminished, no word wasted, as prudent, compact, and tight as the stretched skins on which he wrote.

E
UCLID
'
S COMMON NOTIONS
represent the “beliefs on which all men base their proofs.” The words are Aristotle's, but the
idea that there
are
beliefs on which all men base their proofs must itself have been one of them, for Euclid appropriated the idea without hesitation and without argument.

There are five common notions in all:

1.
Things that are equal to the same thing are also equal to one another.

2.
If equals be added to equals, the wholes are equal.

3.
If equals be subtracted from equals, the remainders are equal.

4.
Things that coincide with one another are equal to one another.

5.
The whole is greater than the part.

These principles convey an air of what is obvious. They have authority. No one either in Euclid's time or our own is proposing that if equals are added to equals, the result might be
un
equal. A surprising delicacy is nonetheless required to say just what these principles mean. It is a delicacy that Euclid did not possess. This might suggest that Euclid's conviction that these beliefs are
common
represented on his part a willingness to repose his confidence in things he could neither explain nor justify. To say as much involves no rebuke. If Euclid could neither explain nor justify the common beliefs that he invoked, we can do as little, or as much, with respect to our own. It was
Euclid's genius to grasp that whatever the powers of his geometrical system, it
did
rest on certain common beliefs.

It was Euclid's business to say what those beliefs were.

And our business to say what they mean.

E
QUALITY IS AN
indispensable idea. It is like water to the fish—everywhere at once, but easy to ignore and difficult to define. To say of
two
things that they are equal is always false, and to say of
one
thing that it is equal to itself is always trivial. This is an uncommonly stern conceptual rebuke.

Euclid's first common notion is often illustrated by three straight lines labeled A, B, and C and an insouciant appeal to intuition. If A is equal to B, and B is equal to C, then A is equal to C.

The appeal is not misplaced, but it is misleading. For one thing, neither illustration nor intuition says much about the concept of equality. For another thing, what Euclid says of equality is also true of size: if A is greater than B, and B greater than C, then A is greater than C.

Euclid's statement of his first common notion covers up a
chamboulement
, a disorder. The illustration, those lines—this is starting well. But two equal lines? With the long history of Euclidean geometry at our back, we can say easily enough that two lines are equal if they are equal in
length.
A one-foot line in Moscow is the same length as a one-foot line in Seattle. But equality in length is a far narrower concept
than equality itself, and it is not a concept that Euclid made accessible to himself. Euclidean geometry contains no scheme under which numbers are directly associated with distances.

Euclid's fourth common notion expresses the Euclidean concept of geometrical equality. Having been in the grapple, Euclid has, we may suppose, gotten the better of things. Two things are equal if they coincide. This principle of superposition Euclid puts to work throughout the
Elements.
In the case of those straight lines, it admits of immediate application. Two lines are equal if they coincide. A question having been posed about equality, a very similar question now arises about coincidence: just when do things coincide? To say that two things coincide when they coincide equally is not obviously an improvement. Having fastened on coincidence as crucial, Euclid may well have remembered that in his definitions, he affirms that a line, although it has length, has no width. What investigation might justify the conclusion that two lines without width coincide? If no investigation, how could we say that two lines coincide even in length if we cannot say whether they coincide at all?

The wheel of time required twenty-three centuries before George Boole and C. S. Peirce assessed equality in its proper, its logical, context. Mathematicians today take it all in stride. Aristotle and Euclid were more strode upon than striding.

T
HE PROPOSITION THAT
Euclid is wise says of Euclid that he is wise. His wisdom is something that he has, an aspect of the man.
Euclid is wiser than Aristotle
says of Euclid and Aristotle that one man is wiser than the other. It puts them both in their places—two men, but one relationship.

Equality is a relationship and, as such, a member of a great, worldwide fraternity: things bigger, taller, slighter, smaller, greater, grander, fathers and sons, daughters and mothers, before and after. To them, the logic of relationships, a general account of just how an A might be related to a B, the rules of the road.

Equality is in the first place
reflexive.
A = A. No relationship could be closer. Or more universally enjoyed.

And
symmetric.
If A = B, then B = A.

And
transitive.
If A = B, and B = C, then A = C.

Euclid saw the transitivity of equality. It is the first of his common notions. But symmetry and reflexivity he missed or did not mention.

In his second and third common notions, Euclid juxtaposes the relationship of equality and the operations of addition and subtraction. Things are added to one another or subtracted from one another. Inasmuch as subtraction is a way of undoing addition, Euclid's second and third common notions might be collapsed into one encompassing declaration: If A = B and C = D, then A ± C = B ± D.

There is no reason, one might think, to restrict this principle to arithmetical operations; there is no reason to restrict it at all. A = B if and only if whatever is true of A is true of B. This is sometimes thought a definition of equality, and so a way of eliminating a troublesome concept altogether. It is not clear that this maneuver confers any great benefits. Among the things true of A is surely that A is equal to itself. The concept destined to be disappeared has just been reappeared. This might suggest that equality cannot easily be eliminated in favor of the truth because it cannot be eliminated at all.

Just so.

E
UCLID
'
S FOURTH COMMON
notion expresses a criterion of identity, a principle by which triangles, circles, or straight lines may be judged the same. The idea is implicit in every theorem that Euclid demonstrates. It is of the essence. If the geometer cannot tell when two shapes are the same, he cannot tell when they are different, and if he cannot tell whether shapes are the same or different, of what use is he?

Suppose now that two triangles are separated in space. They become coincident when one of them is moved so that it covers the other in such a way that the two figures are perfectly aligned. Nothing is left over, extrudes, or sticks out.

Coincidence or superposition offers the geometer a rough-and-ready measure of sameness in shape. What is
not entirely obvious in all this rough-and-readiness is just how figures separated in space—a triangle here, another one there—can be moved through space so that their coincidence may be tested.

The point emerges early in the
Elements
; it emerges in Euclid's fourth proposition:

Two triangles are equal, Euclid has affirmed, if they are congruent, and they are congruent if two of their sides are equal, along with the angles the sides subtend.

The proof is simple in its notoriety, for Euclid deviates at once into the swamp of concepts that he has not analyzed and cannot justify: “If,” he says, “the triangle ABC be applied to the triangle DEF, and if the point A be placed on the point D and the straight line AB on DE, then the point B will coincide with the point E, because AB is equal to DE.”

Euclid is at the podium. He has just pointed to his dust board with the tip of an outstretched finger. Beaming with satisfaction, he is about to say . . .

When he is interrupted.

—Applied by whom, Sir?

One question.

—Placed how, Professor?

Another.

—Coincide when,
Maître
?

A third.

B
OTH
B
ERTRAND
R
USSELL
and David Hilbert thought that Euclid would have been better served had he accepted proposition four as an axiom instead of claiming it as a theorem. It is a policy, as Russell remarked in another context, that has all the advantages of theft over honest toil. Designating Euclid's fourth proposition an axiom does not do much to diminish the sense that in moving things around on the blackboard, the geometer has undertaken something at odds with the rigor of Euclidean geometry. In a little book titled
Leçons de géométrie élémentaire
(Lessons of elementary geometry), the French mathematician Jacques Hadamard proposed that coincidence be subordinated to some catalog of the ways in which shapes in Euclidean space might move. If the Euclidean idea of coincidence is a theorem, it depends on assumptions that Euclid did not make; if an axiom, it makes those assumptions without defending them; and if based on some antecedent assessment of motions allowed Euclidean figures, then it is both.

The distinction between the concrete and the abstract models of Euclidean geometry offers a nice place in which to watch this uneasiness emerge and then separate itself into a destructive dilemma.

Does the idea of coincidence apply to the concrete or the abstract models of Euclidean geometry? Or neither, or both? Not the concrete models, surely, for physical triangles are never completely coincident, no matter how they are moved. Something is always left out, or something always left over. How on earth can two physical objects coincide perfectly?

Not on earth is the correct answer; it is the only answer. If it is true that concrete triangles are never coincident, it is equally true that abstract triangles cannot be moved. They are beyond space and time. Moving about is not among the things that they do, because they do not
do
anything.

Sensitive to just this point, Russell dismissed the idea that in Euclidean geometry, anything is moving or being moved. Writing in the supplement to the 1902 edition of the
Encyclopedia Britannica
, Russell remarked that “what in geometry is called a motion is merely the transference of our attention from one figure to another.”