Virgil
Posts:
9,012
Registered:
1/6/11


Re: Cantor's first proof in DETAILS
Posted:
Dec 3, 2012 1:39 AM


In article <768a7f472e2340c2a27a1483f5b65204@qi10g2000pbb.googlegroups.com>, "Ross A. Finlayson" <ross.finlayson@gmail.com> wrote:
> Card(N) isn't a real quantity. Neither, in a very primitive sense, are 1, 2 and 3. The naturals are precursors of both the integers and the positive rationals, both of which are precursor to the rational field which is itself a precursor to the reals.
But Card(N) is real property, i.e., one which really exists.
> So what you say there is wrong, though > it's wrong twice.
Only when I copy what you say.
> Though if you're interested in the real point at > infinity, well, you should be able to find description of number > theory's point at infinity or one or twopoint compactification of > the reals and integers (in the projectively extended real numbers). > Cardinals are defined by themselves, don't be putting them where they > don't go, those aren't compatible types.
Are you claiming that one cannot speak of the cardinality of the naturals, or rationals, or reals? That you may not know how does not mean others are all equally ignorant. > > There are only and everywhere real numbers between zero and one. There cannot be 'only and everywhere' numbers that are constrained not to be anywhere except between zero and one.
> Here, 0 < EF(1) < 1. But according to Ross very own definition of his alleged EF, one can show that for every n in N and every positive epsilon, that EF(n) < epsilon.
> The arithmetic of iotavalues, representing values > from the continuum, of real numbers, is different for the operations > as addition, and multiplication, simply as repeated addition.
Repeated addition, adding two numbers then adding the third , then the fourth, etc., works fine, though a bit tediously, for all number systems contained in the reals. Or even contained in the complexes or quaternions or octonions, or vector spaces, for that mater.. > > Dirac's delta is regularly used in real analysis, for example in the > solutions of differential equations.
When it is used, the analysis is not quite real as it is not a real function.
> Heaviside's step can be seen as continuous
By what definition of continuous? One may chose to ignore its discontinuity, but that does not make it continuous.
, it just is horizontal from the left, vertical at the > origin
But how is function which takes the value 0 at 0 and the value 1 at every positive real argument and 1 at every negative real argument satisfy the INTERMEDIATE VALUE theorem on any interval containing 0 as an interior point? or even the mean value theorem?
(the INTERMEDIATE VALUE theorem says that a function continuous on any interval [a,b] must assume every value between f(a) and f(b) at some point of that interval)
> No, these are considerations of the plain mathematical universe shared > among us, using standard definitions and working toward conciliation > of intuition and rigor, thank you. But Ross' mathematical universe does not use, much less conform to, standard definitions, or even allow them, and he opposes anything resembling rigor. 

