Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Moebius <invalid@example.invalid>
Newsgroups: sci.logic,sci.math
Subject: Re: Replacement of Cardinality
Date: Sun, 1 Sep 2024 05:27:29 +0200
Organization: A noiseless patient Spider
Lines: 22
Message-ID: <vb0mv2$1c4hh$1@dont-email.me>
References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp>
 <db885c7c1e1a5bfdf60e90fa9882bfb73b4e6ce7@i2pn2.org>
 <eY2Memk56jLKsrTeR3kBDQQqfHI@jntp>
 <bdfbb725-7fc3-4e17-b09b-4d6191d301a5@att.net>
 <tvUGDEKZBjBIOn4R0HIJvG5es4k@jntp>
 <d921df64d59a0bcdd17b4df10452e1b80df52a63@i2pn2.org>
 <bzKSpxSf9uNp5CqHyyYXjN1qFJg@jntp>
 <eca2fc989ec057bba94c874e86af6e33d8987f89@i2pn2.org>
 <dbDJOjuZlR22ACs9b5j_GQZcXac@jntp> <vaqg0e$2r8p$3@dont-email.me>
 <b2vtJ9qNt-ZZ4HcdVjYZeX0tOnI@jntp> <vat5ub$k5je$1@dont-email.me>
 <vb08e8$16m2g$1@dont-email.me> <vb0l0r$1bv4g$1@dont-email.me>
Reply-To: invalid@example.invalid
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 01 Sep 2024 05:27:30 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="6957335319cf310e7429e64f4c5b17c4";
	logging-data="1446449"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX191x8GdnH80vTfgbKGTS2oc"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:QQOtVvYr25XTZo43dd3Xqf1YNJk=
In-Reply-To: <vb0l0r$1bv4g$1@dont-email.me>
Content-Language: de-DE
Bytes: 2088

Am 01.09.2024 um 04:54 schrieb Chris M. Thomasson:

> I still don't know how WM is going to count the opposite way wrt:
> 
> 1/1, 1/2, 1/3, 1/4, ...
> 
> That would be:
> 
> ..., 1/4, 1/3, 1/2, 1/1
> 
> He can't do it.

Yeah, but a function can do it.

NUF(x) := the cardinal number of unit fractions that are smaller than x 
  (where x is a real number)

Then we get, say, NUF(0) = 0 and, say, NUF(1/1) = aleph_0, NUF(1/2) = 
aleph_0, NUF(1/3) = aleph_0, etc.

In general, for all x e IR, x > 0: NUF(x) = aleph_0.