yossell said:
Hi Austin0
After reading one of your posts in another thread addressed to Dalespam, I'm a little cautious about continuing with our banter and not sure if you feel I've stepped on your sensitivities. Everyone who is interested in difficult things should be encouraged. So, and remember that this is meant well, let me make a few comments.
You originally wrote:
Austin0 said:
As for the diagonal proof. I failed to see how it improved on the obvious truth that between any two positive integers there must be an infinity of positive reals.
But that just MHO
then later post
Austin0 said:
I wasn't being serious and realize that countability in this context does not mean sitting and counting but is a correspondence between members of sets.
yossell said:
I tried to explain that this is not what Cantor purportedly showed; then you wrote:.
I never suggested that that was the case.
I certainly knew that that was not the basis or part of his proof
If you are given an allowed concept of transfinite sets then it appeared to me obvious that the reals would be greater as there is 1 infinity per integer. This was purely my idea. Perhaps I would have been better to say
was better than?
I am not suggesting that the plain logical obviousness constitues a proof.
Austin0 said:
On the diagonal proof. As a formal proof I am sure you are absolutely right.
yossell said:
As usual, you have given me no idea whether you have understood. It's not a question of formalism or formal proof, it's a matter of content: the theorem does not *state* 'there are infinitely many positive reals between any two positive integers. My response said nothing about a FORMAL PROOF - I haven't defended its legitimacy.
As above; you disregarded my telling you that I had some familiarity with the concept and the proof. SO you misinterpreted my words .
I did not state the theorem was based on or ever stated the above.
The proof referred to was the existence of transinfinites
yossell said:
I know you are joking - but there should be no *if* about it. We're not bargaining here, this is not a negotiation. There can be good reasons to think a definition is no good, maybe because it uses concepts that are inadequate or badly understood, or because it captures an empty concept.
OK Getting down to brass unicorns I think a case could be made for all of the above.
He did not really define transinfinity or infinity , he defined sets.
ANd then defined a procedure to quantify those sets. A procedure which has no meaning without the a priori assumption of relative infinities and quantifiable infinities.
In my opinion the concept quantifiable infinity is inherently oxymoronic and illogical.
But this is not dealt with in the proof.
Austin0 said:
you are willingly to agree that the definitions and proof of existence in both cases have an absolutely equivalent truth value.
yossell said:
It's again hard to understand what you mean here. A proof is a sequence of statements - I don't think of it having a truth-value. A definition is...a definition. In so far as the definition is done in terms of a statement 'x is a unicorn by definition iff x...', it is trivially true just by what the words mean. Proof of existence of what? The set of real numbers? Of points on a line? I shouldn't have to spend so much time guessing what you mean.
Proof of existence of transinfinite sets. There is no problem defining infinite sets or sets which we conceive of as infinite eg. real numbers etc.
I am sorry but as the subject of this discussion was transinfinite sets I assumed it would be clear.
On truth. Isnt it true that in either mathematical or physical logical systems a theorem is true if developed through valid operations on allowable arguments and does not prove inconsistent with the systems other theorems or axioms? ANd false if this proves not the case?
yossell said:
My guess is: you think infinite sets are as much an invention as blue unicorns. This is a reasonable point - I don't necessarily dispute it - but it wasn't your initial objection. For what it's worth, my own view is that the continuity of physical fields, including the metric field, the infinite divisibility of lines in space, the thought that the space-time manifold really is isomorphic to R^4 is a genuine physical possibility that we have no reason to a priori rule out; the thought that somehow everything is fundamentally discrete is, in my view, a pious hope, a philosophical prejudice. I don't think there is anything incoherent about the infinite, and I think Cantor's work played a large role in this, and it pain me to see him and his work dismissed out of hand. As such, I think that we have a lot more reason to take infinite sets, including uncountable sets, seriously than blue unicorns. But I know that's not an existence proof. .
As I said no question on infinite sets. I also agree with your basic statements regarding continuity etc. WHen you get to the infinite divisability of lines in space I might not agree.
Also on discreteness. I myself think it is possible that even space itself may ultimately be quantized or as you put it ;there is no physical or logical basis to rule it out a priori.
I certainly would never question the existence of the infinite.
On Cantor ,,,I must appologize for my lack of politesse. I have tremendous respect for math, mathemeticians in general and certainly for Cantor.
That does not mean that I don't see a problem with the logic of the proof. In my mind Russells,, set of all self exclusive sets, showed a flaw in the logic of the formal system and Godels responce was a further demonstration of the limitations of such systems. I am sorry but I see this as another. While still recognizing it as a brilliant mental construction.
Sorry if I steppeed on your sensitivities :-}
yossell said:
Ok - now, that post was a whole lot more serious and pedantic and po-faced than I like it to be. After this, I'm going back to rough and tumble kidding around, and I hope it won't hurt your feelings or put you off. I can't speak for everyone, but I do hope that this post gave you some idea of the difficulties I've faced answering your posts, but without putting you off in any way.
I don't mind serious and pedantic at all,i learn froim it. I think you misread my post to DaleSpam. It is not about being sensitive,, it is about communication and logic.
AS demonstrated in this post above. I am aware that my idiosyncratic visualizations and casual terminolgy is part ot it. But communication goes both ways.
ALL actual points are ignored and the only responce is to some little technical error or terminology misuse.
I am not particularly sensitive personally but it gets very frustrating when communication and rational discourse is not proceeding as it could.
SO no need to worry about offending me and absolutely no worry about calling me on specific points, that is part of why I am here.
I have enjoyed and benefitted from our exchanges and I appreciate it.
And your sense of humor
Thanks