Page:Chance, love, and logic - philosophical essays (IA chancelovelogicp00peir 0).pdf/255

This page needs to be proofread.

a distinct whole number) is very large. But there are collections which are certainly innumerable. Such is the collection of all numbers to which endless series of decimals are capable of approximating. It has been recognized since the time of Euclid that certain numbers are surd or incommensurable, and are not exactly expressible by any finite series of decimals, nor by a circulating decimal. Such is the ratio of the circumference of a circle to its diameter, which we know is nearly 3.1415926. The calculation of this number has been carried to over 700 figures without the slightest appearance of regularity in their sequence. The demonstrations that this and many other numbers are incommensurable are perfect. That the entire collection of incommensurable numbers is innumerable has been clearly proved by Cantor. I omit the demonstration; but it is easy to see that to discriminate one from some other would, in general, require the use of an endless series of numbers. Now if they cannot be exactly expressed and discriminated, clearly they cannot be ranged in a linear series.

It is evident that there are as many points on a line or in an interval of time as there are of real numbers in all. These are, therefore, innumerable collections. Many mathematicians have incautiously assumed that the points on a surface or in a solid are more than those on a line. But this has been refuted by Cantor. Indeed, it is obvious that for every set of values of coördinates there is a single distinct number. Suppose, for instance, the values of the coordinates all lie between 0 and + 1. Then if we compose a number by putting in the first decimal place the first figure of the first coördinate, in the second the first figure of the