Path: ...!feeds.phibee-telecom.net!3.eu.feeder.erje.net!feeder.erje.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: Mon, 5 Aug 2024 23:25:43 +0200
Organization: A noiseless patient Spider
Lines: 12
Message-ID: <v8rg0n$138s1$1@dont-email.me>
References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp>
 <-qUZ96ARwcjh9QPfyWRnijjNwoY@jntp>
 <6b837540-3d9a-4b8e-9a70-88d52e81a1a4@att.net>
 <xQQT0K_Q_k2FbMcCUXF8j3CEg84@jntp>
 <9822f5da-d61e-44ba-9d70-2850da971b42@att.net>
 <p36L63dXamDAkHDhkZhDKqx-h-o@jntp>
 <d8bbe664-a601-4590-9a7f-d5312b4dae54@att.net>
 <F6pqEi9Vg1YMcYTcIPQNs6NU_vI@jntp>
 <4f606ef2-ef6c-487b-b959-d109e374929f@att.net> <v8mh6f$3mmj9$2@dont-email.me>
 <I2JWgvxiRMkr8F2KSK6i7i5b1n0@jntp> <v8p1jp$9gvr$1@dont-email.me>
 <v8p63d$a0fn$2@dont-email.me> <v8psbi$hpju$1@dont-email.me>
 <v8q1hi$is14$1@dont-email.me> <v8rdp3$11v9s$4@dont-email.me>
Reply-To: invalid@example.invalid
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 05 Aug 2024 23:25:43 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="89cc6297d3105047e837df594789f644";
	logging-data="1155969"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/VU6XnfxP7w+ol3tj14+NU"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Lj5yU1Kp3JPUjUDvnTCmhgAzfsA=
Content-Language: de-DE
In-Reply-To: <v8rdp3$11v9s$4@dont-email.me>
Bytes: 2133

Am 05.08.2024 um 22:47 schrieb Moebius:
> Am 05.08.2024 um 10:12 schrieb Moebius:
> 
>> Btw. we might implement this function (in Python) the followimg way:
>>
>> next_smaller_unit_fraction(n, m):
>>      return (1, m//n + 1)

It's strange, if (1, bla) is a "representation" of WM's "smallest unit 
fraction" 1/bla, next_smaller_unit_fraction(1, bla) returns (the 
representation of) a smaller unit fraction (if we assume that our 
computational ressources are unlimited). :-)