
Re: Cantor's first proof in DETAILS
Posted:
Nov 26, 2012 1:48 AM


On Nov 25, 9:37 pm, Virgil <vir...@ligriv.com> wrote: > In article > <87566fe7ec3946e1b8878200b2db8...@n2g2000pbp.googlegroups.com>, > "Ross A. Finlayson" <ross.finlay...@gmail.com> wrote: > > > > > > > > > > > On Nov 25, 6:16 pm, Virgil <vir...@ligriv.com> wrote: > > > In article > > > <bdf4255c7c274c2ba78c62a2e38ec...@v6g2000pbb.googlegroups.com>, > > > "Ross A. Finlayson" <ross.finlay...@gmail.com> wrote: > > > > > No, the conscientious mathematician doesn't just adhere to and > > > > elaborate the mundane, but here acknowledges there is more to > > > > mathematics than we yet have, and strives for truth, here mathematical > > > > truth, as it is. As a follower of mathematics, Virgil is of the timid > > > > sort, always using argument established by others, thus to lend > > > > credence to his opinion regardless of his tactics, visavis, > > > > establishing original thought, here of course in a framework of > > > > mathematics. > > > > A great majority of "original thought" is garbage, and must be filtered > > > through what is already established in order separate out the dross. > > > When one filters the dross out of Ross' "original thoughts" there is far > > > to often nothing left at all. > > > > > The conscientious mathematician doesn't just curate and dust. > > > > But must curate and dust too! > > >  > > > Huh, that's not very funny. > > Was not meant to be. Those who think that what haas gone before must > always be replaced by new things, as Ross seems to, seams not to > understand that culture, even in mathematics, advances by accumulation. > > The mathematics of Euclid and Pythogoras is still of value even today, > and those, like Ross, who would throw it out with their bathwater > because it is not new, will lose it all. > > > > > Virgil's opinion on original thought: "garbage". He claims to know > > much about it. > > New mathematics is fine as long as one does not have to throw out a > couple of millennia of old math to use it. > > > > > Get out of me and Cantor's way. > > I agree with Cantor's mathematics but have yet to see anything by Ross > that qualifies as math, old or new. > > > > > EF, the equivalency function, is like no other function > > Unlike actual functions, it is nonsense, not really a function at all. > > I defy Ross to give his alleged "equivalency function" a mathematically > acceptable definition of his alleged "equivalency function"here which > demonstrates that it has either any equivalency or any functionality. > > In the past he has never done more with it that a lot of bizarre hand > waving and promises that it will square the circle and duplicate the > cube. > 
No, I certainly hold as right as you do all our ancient and modern mathematics. And moreso, they were once new. Now, I'm not saying you should throw me off the boat because of a claim that the square root of two is irrational, which it is. No, there are true facts about the objects of discourse in standard theory, and Goedel proved that there are true facts of the objects beyond the standard, in standard theory, in incompleteness.
In fact, a large part of the reason for development of a modern, post standard, theory of geometry, sets, and numbers, is to reach for the applied that is beyond the standard, including the standard, as applied, and conciliation, in the pure, in mathematics.
For example, the integral calculus, which is readily and often applied, uses countable additivity. Real analysts would readily make use of and incorporate as much mathematics as could be applied, here, there's countable additivity that defines measure useful real measure, in the standard, in real analysis. Constructively, modern real and discrete analysis and all that follows in the applied can be read out from asymptotics instead of the infinite. (Of course, don't get me wrong, I believe in the infinite, else, for example, we'd be in finite reference frames and motion would be classical.)
An aside could aver to results of Vitali and BanachTarski, and how these "paradoxes" are examples of what were once "paradoxes".
No, by no means do my theories of geometry, numbers, and sets discard mathematics, only extending mathematics. For example there is much use of transfinite ordinals. Indeed, it is a goal of any erstwhile mathematician to discover, to extend, mathematics.
EF is simple and it's defined simply as a function, notareal function, standardly modeled by real functions. Dirac's delta and Heaviside's are as so defined, as functions, notrealfunctions, standardly modeled by real functions. And, the definition of function itself, here is modern and reflects over time the development of the definition of what is a mathematical function. Then, in actually extending the definition of what are the real numbers, in A theory, it is directly defined, and applied.
There are hundreds of essays on it here.
So, thank you I don't have much use for "bizarre handwaving", instead would rather certainly that all parties here ascribe to the same highest ideals of mathematical logic. And no I've never claimed to trisect the angle in finite constructions nor other circlesquaring notions, though, of course, in the asymptotic, constructions trisect the angle. Perhaps you're confused with some other poster you badger.
Not all who wander are lost.
An erstwhile mathematician's career is to discover to extend mathematics. It's every grad student's dream to extend mathematics, into the pure, applied, and concrete. I'm just lucky with a simple rightplace, righttime, confluence of events, then with carrying that out: discovery, to extend mathematics.
That you think new mathematics would see "throw[ing] out a couple of millenia of old math" is ridiculous.
Now, that's funny.
Regards,
Ross Finlayson

