TWO ESSAYS BY THE FAMOUS GERMAN MATHEMATICIAN
Julius Wilhelm Richard Dedekind (1831-1916) was a German mathematician who made important contributions to abstract algebra, algebraic number theory and the foundations of the real numbers. This book contains two of his essays: ‘Continuity and Irrational Numbers,’ and ‘The Nature and Meaning of Numbers.’
He begins the first essay, “My attention was first directed toward the considerations which form the subject of this pamphlet in the autumn of 1858… I found myself for the first time obliged to lecture upon the elements of the differential calculus and felt more keenly than ever before the lack of a really scientific foundation for arithmetic.”
He says of a paper he had just received by Georg Cantor, “the axiom given in Section II… agrees with what I designate in Section III as the essence of continuity. But what advantage will be gained by even a purely abstract definition of real numbers of a higher type, I am as yet unable to see, conceiving as I do of the domain of real numbers as complete in itself.” (Pg. 3)
He explains, “I regard the whole of arithmetic as a necessary, or at least natural, consequence of the simplest arithmetic act, that of counting, and counting itself as nothing else then the successive creation of the infinite series of positive integers in which each individual is defined by the one immediately preceding; the simplest act is the passing from an already-formed individual to the consecutive new one to be formed.” (Pg. 4)
He begins Section III with the statement, “Of the greatest importance, however, is the fact that in the straight line L there are infinitely many points which correspond to no rational number. If the point p corresponds to the rational number a, then, as is well known, the length of o p is commensurable with the invariable unit of measure used in construction, i.e., there exists a third length, a so-called common measure, of which these two lengths are integral multiples… The straight line L is infinitely richer in point-individuals than the domain R of rational numbers in number individuals.” (Pg. 8-9)
He asserts, “the way in which the irrational numbers are usually introduced is based directly upon the conception of extensive magnitudes---which itself is nowhere carefully defined---and explains number as the result of measuring such a magnitude by another of the same kind. Instead of this I demand that arithmetic shall be developed out of itself.” (Pg. 9-10)
He states, “In this property that not all cuts are produced by rational numbers consists the incompleteness of discontinuity of the domain R of all rational numbers. Whenever, then, we have to do with a cut… produced by no rational number, we create a new, an IRRATIONAL number a, which we regard as completely defined by this cut… we shall say that the new number a corresponds to this cut, or that it produces this cut. From now on, therefore, to every definite cut there corresponds a definite rational or irrational number, and we regard two numbers as DIFFERENT or UNEQUAL always and only when they correspond to essentially different cuts.” (Pg. 15)
He wrote in the Preface to the second essay, “In speaking or arithmetic (algebra, analysis) as a part of logic I mean to imply that I consider the number-concept entirely independent of the notions or intuitions of space and time, that I consider it an immediate result from the laws of thought. My answer to the problems propounded in the title of this paper is, then, briefly this: numbers are free creations of the human mind; they serve as a means of apprehending more easily and more sharply the differences of things. It is only through the purely logical process of building up the science of numbers and by thus acquiring the continuous number-domain that we are prepared accurately to investigate our notions of space and time by bringing them into relation with this number-domain created in our mind.
"If we scrutinize closely what is done in counting an aggregate or number of things, we are led to consider the ability of the mind to relate things to things, to let a thing correspond to a thing, or to represent a thing by a thing, an ability without which no thinking is possible. Upon this unique and therefore absolutely indispensable foundation… must…the whole science of numbers be established.” (Pg. 31-32)
Later, he observes, “If anyone should say that we cannot conceive of space as anything else than continuous, I should venture to doubt it and to call attention to the fact that a far advanced, refined scientific training is demanded in order to perceive clearly the essence of continuity and to comprehend that besides rational quantitative relations, also irrational, and besides algebraic, also transcendental quantitative relations are conceivable. All the more beautiful it appears to me that without any notion of measurable quantities and simply by a finite system of simple thought-steps man can advance to the creation of pure continuous number-domain; and only by this means in my own view is it possible for him to render the notion of continuous space clear and definite.” (Pg. 38)
This brief book will be of great interest for anyone studying the foundations and philosophy of mathematics.