From: imaginatorium on

Daryl McCullough wrote:
> imaginatorium(a)despammed.com says...
>
> >Yep. Absolutely. That's why people who have outgrown your mediaeval
> >imponderables never "place ranges" nor "declare finished"...
>
> Is Tony an idiot, or is he pulling our legs? It's hard for
> me to figure it out. He ends his post with "Smiles", which
> might be a clue that it's all a big joke with him.

It is hard to know. Trouble is that endlessly repeating the same
confusions, even when they are wrenched into daylight, isn't exactly
high in the humour rankings. I think the bottom line is that Tony has
some ideas - basically he has studied some finite combinatorics and
stuff, but simply assumes he knows what "infinity" means. He is much
more coherent than most of the cranks, often lasting several sentences
without collapsing (I mean, Ross Finlayson can't even do verbs and
their objects yet). The problem is basically a combination of a massive
misconception (that mathematics is a branch of experimental computing,
roughly) with a strangely inflated confidence level. I think if I had
never met another crank I would have assumed that Tony is just trying
to pull our legs, but now I'm happy to accept his (presumed) assurance
that he isn't.

I also wasted a bit of time the other day reading some of the "Phil"
threads - I had forgotten quite how similar the arguments were. There's
always eventually this wriggling bit while sets expand to fill the
requirements of the latest objection.

Also, originally Tony appeared with this "bigulosity" idea, trying to
assign "sizes" to infinite sets. One big problem IMO is that many
people write, carelessly, as though cardinality (under the standard
definition) is The Only Correct Way to Assign a Size to a set. And this
is plainly not true: just the simple subset relation as a partial
ordering is - at least in some sense - a sort of sizing. It looked as
though if the Cardinality Good Anything Else Bad droners could be kept
out of the way, Tony might have been guided to seeing how to formalise
what he was thinking of, and even (!!) possibly to have seen why it
isn't as satisfactory as he first thought. But then things went
downhill, and we've been through several ridiculous episodes where he
simply argues blindly against some elementary result, which he plainly
doesn't properly understand. (I really _don't_ believe anyone could
properly understand the A->P(A) bijection proof and still argue against
it.)

Brian Chandler
http://imaginatorium.org

From: David R Tribble on
Brian Chandler:
>> Yes, we have the complete set of naturals.
>> No, we have not "identified the last", because there isn't one.
>

Tony Orlow wrote:
> Then how do you know the size, or how many bits you need in y? You have, in
> effect, declared N as the size of the set, and noted that y=2^N and is thus
> outside the set. The set doesn't end. There is no natural outside of it. If y
> is a natural, 2^y is a natural. When is that not the case?

It's always the case that for any finite natural y in N, 2^y also
exists as a finite natural in N. (You just said so.)

Which proves that there is no last (or "largest") finite member in N,
because for any finite natural y in N, you can always find a larger
finite 2^y in N.

So you just proved that there is no largest finite natural, and that
N has no last finite member, and that N is an infinite set.

Or do you still maintain that N is a finite set, contradicting what
you just said above?

From: Virgil on
In article <MPG.1dc2d44c87ee12e398a524(a)newsstand.cit.cornell.edu>,
Tony Orlow <aeo6(a)cornell.edu> wrote:

> imaginatorium(a)despammed.com said:
> > Tony Orlow wrote:
> > > stevendaryl3016(a)yahoo.com said:
> > <snip>
> > > > Let A be any set whatsoever, finite or infinite, it doesn't matter.
> > > > Let f be any function from A to P(A).
> > > > Let w = { x in A | x is not an element of f(x) }.
> > > > Let x = any set in A.
> > > > Let u = f(x). We prove that u is not equal to w.
> > > >
> > > > By definition of w, we have x in w <-> x is not an element of f(x).
> > > > So x in w <-> x is not an element of u. That means that there are
> > > > two cases: Case 1: x in w, and x is not in u. In that case, u cannot
> > > > equal w. Case 2: x is not in w, and x is in u. In that case, u
> > > > cannot
> > > > equal w.
> > > >
> > > > So what we have proved is that forall x, w is not equal to f(x). So
> > > > w is not in the image of f. So f is not a bijection between A and P(A).
> > > >
> > > > There's no induction. There's no assumption that A is finite.
> >
> > > But there is an assumption that y is in S. If you are assuming you have
> > > the
> > > complete set of naturals, that you have identified the last, and can
> > > therefore
> > > identify the element that maps to the entire set, then you indeed run
> > > into a
> > > contradiction. ...
> >
> > Goodness you are dim. The axiom of infinity says (in effect) "The
> > naturals are a set". This means we talk about the set of naturals,
> > letting all the other axioms apply to it. Why do we need to have an
> > _axiom_ to let us talk about the naturals? Because it is an infinite
> > set. It goes on forever, and never ends. There is no last natural.

Then why does TO keep making assumptions that require a last naturals?
TO seems to want to have things both ways, no largest and having a
largest simultaneously. Fortunately for his delusion, in his world of
TOmatics both can be true and both false simultaneously.


> > There is no end to them. The "end" is not merely "unspecified",
> > "unidentified", "tenuous", or any such, it is *nonexistent*.
> > (Remembering that nonexistence, like existence, is not a predicate.)
> >
> > Having proved that there is no last natural, we nonetheless talk about
> > the complete, entire, total, set of all naturals. All naturals. There
> > is no natural anywhere in any of your nonsensical "doubling" and
> > "thinning" operations that does not already belong to the mathematical
> > set of all naturals. That's what "all" means.
> >
> > Sorry, mustn't go on - it's pointless anyway, since after thousands of
> > posts it's pretty unlikely you will ever grasp any of it. But anyway,
> > to go back to your paragraph:

> Yes, your reiterations of the standard nonsense don't go very far with me.

TO has his own brand of nonsense which he much prefers, since in his one
can be on both sides of every fence simultaneoulsy.

> Sorry. Having noted that there is no last natural, and that the size
> of the set to which any natural is successor is itself, you
> nonetheless assign a set size while declaring the nonexistence of a
> largest element. Here, you again declare you have the entire set,
> derive a contradiction from that, and deflect it at bijections. The
> bijection will fail with any finally declared set. Where the sets
> don't end, it never fails.

Then let TO produce any bijection between the endless set of finite
naturals and its power set. Or does TO still claim that the Dedekind
infinite set of finite naturals ends?

> >
> > Yes, we have the complete set of naturals.
> > No, we have not "identified the last", because there isn't one.

> Then how do you know the size, or how many bits you need in y?

We do not need to have a "size" in any TOish sense to do all that needs
doing. Cardinality serves us well, and we do not need any of TO's
artificial additions to standard math.

> You have, in effect, declared N as the size of the set

We have, in effect, not decalred a "size" at all, other than a
cardinality.



> > > ... However, both the infinite set of naturals and the infinite
> > > power set go on forever, so you never run out of naturals to map to
> > > subsets,
> > > nor subsets to map to naturals.
> >
> > Right: well done!! You got something right.

> So, what about that situation is not a bijection?

NO!

> > > This is a prime example of where the value range matters in the
> > > bijection.

> >
> > No it isn't. There is no "value range" in a bijection. "Value ranges"
> > are only used in TOmatics, remember. But you are clawing your way
> > towards grasping what was the natural assumption (that if two sets go
> > on forever it is never possible to say there can't be a bijection
> > between them) before Cantor pointed out that it is wrong.
>
> What is wrong with my bijection? No specific rule has been broken, has it?

Yes, the one that says that every member of the codomain must be in the
image.
>
> >
> > Here's a question for you. Obviously if the TOnats (T) are a set,
> > within the framework of conventional set theory, the proof applies to
> > them, and there can be no bijection T <-> P(T). But are they a set? Is
> > it possible to have the complete, final, total, can never be extended
> > in response to the next question, set of TOnats?

> It is never possible to place any exact number on it. Infinite sets
> can only be compared with each other over any given range.

At least inside TOmatics, though not ouside its idiocy.

> We can
> speak of the entire set, but as soon as we speak of any specific
> size, we will encounter contradictions.

So outside of TOmatics, one merely avoids speaking of "size" and uses
only cardinality.
> >
> > Brian Chandler http://imaginatorium.org
> >
> >
From: David Kastrup on
Tony Orlow <aeo6(a)cornell.edu> writes:

> Daryl McCullough said:
>> Tony Orlow says...
>>
>> >Yes, your reiterations of the standard nonsense don't go very far with me.
>>
>> That's because you are an idiot. You are incapable of formulating
>> or understanding a mathematical argument. Worse, you believe yourself
>> to be much more competent than you actually are.
> So, you wanna go out for a beer, or what? LOL
>>
>> That's the point, really, of rigor and formalization. If you are
>> speaking loosely, it's very easy to fool yourself into thinking
>> you are making sense. But if you are forced to write down your
>> reasoning in a careful, detailed, rigorous way, you will discover
>> where your ideas are full of hot air.
> Then perhaps they will fly.

Sure. But pray open the window instead of blowing them here. They
stink.

--
David Kastrup, Kriemhildstr. 15, 44793 Bochum
From: Dave Rusin on
In article <1129901285.084347.34810(a)g49g2000cwa.googlegroups.com>,
William Hughes <wpihughes(a)hotmail.com> wrote:

>Yes all sets have a cardinality.

That's your Choice.
First  |  Prev  |  Next  |  Last
Pages: 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63
Prev: math
Next: The proof of mass vector.