In the general theory of relativity, we start with a four-dimensional continuum of points, whose properties, to begin with, are purely ordinal. We then assign four co-ordinates to each point on any principle such that the ordinal properties of the co-ordinates are the same as those of the points. We then assume that, if two points are very close together, there is a quadratic function of the co-ordinates which has the same value however the co-ordinates may be assigned, subject to the above ordinal condition. If this function is positive, its square root is called the (time-like) interval; if negative, the square root of the function with its sign changed is called the (space-like) interval. Omitting niceties, we may say that the remainder of the theory turns mainly on geodesics. A geodesic is a route between two space-time points such that the integral of the interval along this route is stationary. In the important routes, it is a maximum. It appears that energy can be divided into parcels which move in geodesics; when these parcels move with a velocity less than that of light, they are regarded as pieces of matter. Weyl, by imposing certain limitations on measurement, succeeds in including electromagnetic phenomena in this scheme. Thus we have a comprehensive theory which may be taken to embrace everything except quantum phenomena. But although there is so much to give pleasure to the logician in this scheme—more especially the method of tensors and Hamiltonian derivatives—yet the philosopher cannot but feel dissatisfaction with the apparently arbitrary assumption about intervals. This assumption seemed less arbitrary than it is, because of its connection, historically, with the theorem of Pythagoras and its modifications in non-Euclidean geometry. But the theorem was believed formerly because[Pg 397] it had been proved; when the proof was found to have no value, it was believed because empirical evidence was thought to show its approximate truth. This empirical evidence, of course, remains, but the theory of relativity has made its value much more problematical than it formerly seemed. And it is customary to carry out measurements carefully, taking trouble to secure bodies that are as nearly rigid as possible, and optical instruments that are accurate. If our co-ordinates are to be arbitrary, as they are in the general theory of relativity, it is doubtful whether we still have a right to expect that they will verify anything analogous to the theorem of Pythagoras.