Abstract

Do there exist real numbers d with d2 = 0? The question is formulated provocatively, to stress a formalist view about existence: existence is consistency, or better, coherence.Also, the provocation is meant to challenge the monopoly which the number system, invented by Dedekind et al., is claiming for itself as THE model of the geometric line. The Dedekind approach may be termed “arithmetization of geometry”.We know that one may construct a number system out of synthetic geometry, as Euclid and followers did : “geometrization of arithmetic”..Starting from the geometric side, nilpotent elements are somewhat reasonable, although Euclid excluded them. The sophist Protagoras presented a picture of a circle and a tangent line; the apparent little line segment D which tangent and circle have in common, are, by Pythagoras' Theorem, precisely the points, whose abscissae d have d2 = 0. Protagoras wanted to use this argument for destructive reasons: to refute the science of geometry.A couple of millenia later, the Danish geometer Hjelmslev revived the Protagoras picture. His aim was more positive: he wanted to describe Nature as it was. According to him, the Real Line, the Line of Sensual Reality, had many nilpotent infinitesimals, which we can see with our naked eyes.