Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Ben Bacarisse <ben@bsb.me.uk>
Newsgroups: sci.math
Subject: Re: More complex numbers than reals?
Date: Thu, 11 Jul 2024 00:47:28 +0100
Organization: A noiseless patient Spider
Lines: 14
Message-ID: <877cdsolm7.fsf@bsb.me.uk>
References: <v6ihi1$18sp0$6@dont-email.me> <87msmqrbaq.fsf@bsb.me.uk>
	<0dUETcjzkRZSIY0ZGKDH2IRJuYQ@jntp> <87v81epj5v.fsf@bsb.me.uk>
	<v6k216$1g6tr$3@dont-email.me> <878qyap1tg.fsf@bsb.me.uk>
	<mHlgAgO2jFOoFuyWTPomTdHXujs@jntp>
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 11 Jul 2024 01:47:28 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="8f0c59e317bc680ad3ae1d9bc8fc08f2";
	logging-data="2212801"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/gR06KBgVdzFwkf0ajDFDV8MY+cqI+2c4="
User-Agent: Gnus/5.13 (Gnus v5.13)
Cancel-Lock: sha1:3+9kyPfUc3NtsZwNud2QFYasHJw=
	sha1:7YuD31a0Wgbo4QVg/FWp03RaUJ0=
X-BSB-Auth: 1.d1032212be88110bfcdb.20240711004728BST.877cdsolm7.fsf@bsb.me.uk
Bytes: 1721

WM <wolfgang.mueckenheim@tha.de> writes:
(AKA Dr. Wolfgang Mückenheim or Mueckenheim who teaches "Geschichte des
Unendlichen" at Hochschule Augsburg.)

> No rule is better than a foolish rule, if it yields nonsense like Cantor's
> "bijections".

Is that why you still can't define set membership, difference and
equality in WMaths such that you could prove one of the most surprising
results of WMaths: that sets E and P exist such that E in P and P \ {E}
= P?

-- 
Ben.