Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!news.szaf.org!news.karotte.org!news.space.net!news.muc.de!.POSTED.news.muc.de!not-for-mail
From: Alan Mackenzie <acm@muc.de>
Newsgroups: sci.math
Subject: Re: The reality of sets, on a scale of 1 to 10 [Was: The non-existence of "dark numbers"]
Date: Mon, 24 Mar 2025 20:28:39 -0000 (UTC)
Organization: muc.de e.V.
Message-ID: <vrsf9n$1lg8$2@news.muc.de>
References: <vqrbtd$1chb7$2@solani.org>   <vrf5bp$1gcun$1@dont-email.me> <b3730bf7-bcd1-4698-b465-6d6ef190b29d@att.net> <vrgm1k$2s8c6$2@dont-email.me> <c81100d7-9354-4c8e-b216-e147cab9b41c@att.net> <vrhrlb$3ta8t$1@dont-email.me> <c0de7504-7d17-42f1-83e8-8767c0859c0c@att.net> <vrj5nh$12273$1@dont-email.me> <efbe60c5-6691-4fd6-8638-589fd95ec8a4@att.net> <vrkabi$233at$1@dont-email.me> <vrkca8$18dh$1@news.muc.de> <vrlt7r$3hfcp$3@dont-email.me> <vrmg0s$308h$1@news.muc.de> <vrpfon$2q4gq$1@dont-email.me>
Injection-Date: Mon, 24 Mar 2025 20:28:39 -0000 (UTC)
Injection-Info: news.muc.de; posting-host="news.muc.de:2001:608:1000::2";
	logging-data="54792"; mail-complaints-to="news-admin@muc.de"
User-Agent: tin/2.6.4-20241224 ("Helmsdale") (FreeBSD/14.2-RELEASE-p1 (amd64))

WM <wolfgang.mueckenheim@tha.de> wrote:
> On 22.03.2025 15:04, Alan Mackenzie wrote:
>> WM <wolfgang.mueckenheim@tha.de> wrote:

>> Tell me, which of these infinite sets is bigger: {0, 4, 8, 12, 16, ....}
>> and {1, 3, 5, 7, 9, ....}?

> The second, of course.

Prove it.

> You need only consider finite sections and take the limit. Great
> mathematicians have devised this method.

What on Earth do you mean by "finite sections", if anything?  And take
what limit?  Which great mathematician(s) were supposedly involved in
this method.

>> The mathematically correct answer is that they are both the same size
>> (cardinality) because there is a bijection between them.

> Nonsense. The "bijection" is invalid because there are always infinitely 
> many elements following after every defined pair.

You are (?deliberately) ignorant of the definition of bijection.
"Following after every defined pair", if it's not meaningless, is only
the empty set.  The bijection between these two sets exists and is
uncontroversial.

>>>> I doubt very much Cantor said such rubbish.

>>> You have pronounced your own sentence: Your opinions are rubbish.

> You should be ashamed to be so misinformed and nevertheless a bigmouth.

As I've said more than once, I have a degree in maths.  You do not.
Which one of us is more likely to be misinformed about mathematics?

> Regards, WM

-- 
Alan Mackenzie (Nuremberg, Germany).