Path: ...!news.mixmin.net!news2.arglkargh.de!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: WM and end segments...
Date: Tue, 23 Jul 2024 08:49:20 -0000 (UTC)
Organization: muc.de e.V.
Message-ID: <v7nqqg$1h08$1@news.muc.de>
References: <v7jrk4$7rnq$2@dont-email.me> <87ed7m7349.fsf@bsb.me.uk> <0QcM9G1omJ2PKIjSNt0DAeubbXs@jntp> <v7lslt$ut9$1@news.muc.de> <egPMHBTvfiPkgtOjcVsL2aBLYgQ@jntp> <v7mctk$25j9$2@news.muc.de> <hYHBwcZP2l4WCfbU19WrhqVGTLo@jntp>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Injection-Date: Tue, 23 Jul 2024 08:49:20 -0000 (UTC)
Injection-Info: news.muc.de; posting-host="news.muc.de:2001:608:1000::2";
	logging-data="50184"; mail-complaints-to="news-admin@muc.de"
User-Agent: tin/2.6.3-20231224 ("Banff") (FreeBSD/14.0-RELEASE-p5 (amd64))
Bytes: 4164
Lines: 92

WM <wolfgang.mueckenheim@tha.de> wrote:
> Le 22/07/2024 =C3=A0 21:45, Alan Mackenzie a =C3=A9crit :
>> WM <wolfgang.mueckenheim@tha.de> wrote:

>>> Only a matheologian fixed in his views can claim that after knowing m=
y=20
>>> game

>> We've known your game for years;

> You have not understood it. Otherwise if not agreeing you could show an=
=20
> error. But you can only curse:

>>  it is to obfuscate, confuse, and lie.

>>> "You seem to be ignoring the fact that, after you have colored a
>>> countable family of pathes, say P0, P1, ..., Pn, ..., there may be
>>> other paths Q that are not on this countable list but have,
>>> nevertheless, had all their nodes and edges colored. Perhaps the
>>> first node and edge of Q were also in P1, the second node and edge of
>>> Q were in P2, etc. [...] by choosing the sequence of Pn's
>>> intelligently, you can, in fact, ensure that this sort of thing
>>> happens for every path Q." [Andreas Blass, loc cit]

>> It can happen for every FINITE path Q.

> Not for finite and not for infinite paths. If the second node is in P2,=
=20
> then also the first node is in P2. That is the principle of the Binary=20
> Tree.

>> An infinite path in an infinite binary tree can be coded as an infinit=
e
>> sequence of Ls and Rs, corresponding to whether at the next node one g=
oes
>> left or right.  So, for example, the very first path might be
>> LLLLLLLL.....

> It is impossible to use infinite sequences of Ls or Rs. What can be use=
d=20
> is a finite abbreviation like "LLLLLLLL.....". But there are only=20
> countably many finite=20

I have just used infinite sequences of Ls and Rs.  It's clear you do not
have a degree in mathematics.

>> But, supposing these infinite paths can be mapped to the integers, wha=
t
>> is the second path?  And the third one?  There is no systematic way of
>> numbering these paths.

> There is no way to enumerate the rationals either. See=20
> https://osf.io/preprints/osf/tyvnk, 4 pages English or 4 pages German,=20
> according to your preference.=20

Strawman.  There is no way to enumerate infinite paths in that binary
tree.  As for the rationals, you're just being an idiot, as it is common
knowledge how to enumerate the rationals.

>> It is clear that the number of such paths is the same as the power set=
 of
>> the natural numbers.

> Yes.

>> There are more elements in any power set than in
>> the original set.

> Yes, but that has not the least to do with countability.

Wrong.

>> So there are more infinite paths than can be indexed by the natural
>> numbers.

> There are more fractions than can be indexed.

Wrong.

> Nevertheless my game shows a contradiction. Can you understand that?
> The "explanation" of Andreas Blass is absolute nonsense because of the
> principle of the Binary Tree. Can you understand that?

I'm sure I could, if I could be bothered.  Most of your contradiction
games come from not understanding the differences between the finite and
the infinite.  This one is likely another following this pattern.

> Regards, WM

--=20
Alan Mackenzie (Nuremberg, Germany).