Euclid

Copy Image

It is well known that geometry presupposes not only the concept of space but also the first fundamental notions for constructions in space as given in advance. It only gives nominal definitions for them, while the essential means of determining them appear in the form of axioms. The relationship of these presumptions is left in the dark; one sees neither whether and in how far their connection is necessary, nor a priori whether it is possible. From Euclid to Legendre, to name the most renowned of modern writers on geometry, this darkness has been lifted neither by the mathematicians nor the philosophers who have laboured upon it

Copy Image

As to the need of improvement there can be no question whilst the reign of Euclid continues. My own idea of a useful course is to begin with arithmetic, and then not Euclid but algebra. Next, not Euclid, but practical geometry, solid as well as plane; not demonstration, but to make acquaintance. Then not Euclid, but elementary vectors, conjoined with algebra, and applied to geometry. Addition first; then the scalar product. Elementary calculus should go on simultaneously, and come into vector algebraic geometry after a bit. Euclid might be an extra course for learned men, like Homer

Copy Image

I then began to study arithmetical questions without any great apparent result, and without suspecting that they could have the least connexion with my previous researches. Disgusted at my want of success, I went away to spend a few days at the seaside, and thought of entirely different things. One day, as I was walking on the cliff, the idea came to me, again with the same characteristics of conciseness, suddenness, and immediate certainty, that arithmetical transformations of indefinite ternary quadratic forms are identical with those of non-Euclidian geometry

Copy Image

I left Caen, where I was living, to go on a geological excursion under the auspices of the School of Mines. The incidents of the travel made me forget my mathematical work. Having reached Coutances, we entered an omnibus to go to some place or other. At the moment when I put my foot on the step, the idea came to me, without anything in my former thoughts seeming to have paved the way for it, that the transformations I had used to define the Fuchsian functions were identical with those of non-Euclidean geometry. I did not verify the idea; I should not have had time, as upon taking my seat in the omnibus, I went on with a conversation already commenced, but I felt a perfect certainty. On my return to Caen, for convenience sake, I verified the result at my leisure

Copy Image

These estimates may well be enhanced by one from F. Klein (1849-1925), the leading German mathematician of the last quarter of the nineteenth century. 'Mathematics in general is fundamentally the science of self-evident things.' ... If mathematics is indeed the science of self-evident things, mathematicians are a phenomenally stupid lot to waste the tons of good paper they do in proving the fact. Mathematics is abstract and it is hard, and any assertion that it is simple is true only in a severely technical sense—that of the modern postulational method which, as a matter of fact, was exploited by Euclid. The assumptions from which mathematics starts are simple; the rest is not