Lawrence,
Both the closed interval [0,a] and the open interval(0,a) are deemed to have the same Lebesgue (Lebeg) measure. Do we need non-measurable Vitali sets? Do we need all the confusion due to sets of points at all? I would be interested in letters by Baire, Borel, or Lebeg on Cantor's sets.
The boundary between the property of mine and the property of my neighbor does neither belong to me nor to him. Mathematics can nonetheless be consistent:
Why not oo+oo=oo and why not |sign(0)|=1? The probability to manage setting the position of Buridan's ass or Schoedinger's cat exactly at a given measure equals to the measure zero.
My primary intention was to ask for how IR+ joins IR-, and I am now absolutely sure that the measure ( or [ 0, a) does not need a neutral 0 as to be immediately adjacent to the corresponding negative measure because any single real measure is finite and therefore has the measure zero. In engineering, I often used the forbidden by mathematics operation f/0=oo with f=anything finite.
I would prefer a year in prison instead of being forced to learn real analysis or scientific ML (Mengenlehre, also Marxism-Leninism).
You questioned practical consequences. I found out that arbitrary definitions can be unnecessary and misleading. Cf. the example I gave in my M283. Integral tables offer values for the integral 0 to oo over the function sin(x)cos(ax)/x not just with |a| smaller than 0 and |a| larger than 0 but also with an arbitrarily introduced middle value |a|=0 of measure zero .
While the latter is claimed to be necessary foe mathematical reasons, it does not yield the correct result, which must be the original function in case of a transform back and forth.
You already mentioned trouble with the interpretation of Dirac impulse at zero. I am no mathematician, so you might correct my guess: It is not always possible to directly perform integrals from negative to positive values but one has to split them into two parts with positive and negative argument, respectively. Accordingly, a Dirac impulse in IR+ is reasonable.
Further trouble with the unilateral Laplace transform has been reported by Terhardt at MMK in Munich.
Dedekind was of course not the first one who imagined the real line consisting of points.
Already Proklos in ancient times uttered similar ideas, and Albert von Sachsen (1316-1390) imagined in his book "Questiones subtilissimae in libros de celo et mundi" a wooden bar consisting of points. One of those who reasonably to some extent dealt with the matter was the almost forgotten German mathematician P. du Bois-Raymond.
I agree that mathematics is much too proud and unable for giving up illusions as to abandon such unproven obviously futile nonsense as aleph_2.
Progress in mathematics was always stimulated by reasonable application. 3,000,000,000 € are not too expensive if one draws the correct conclusions from a failure to confirm theories on possibly wrong beliefs. I am curious.
Eckard