Sujet : Re: Incompleteness of Cantor's enumeration of the rational numbers
De : james.g.burns (at) *nospam* att.net (Jim Burns)
Groupes : sci.mathDate : 05. Nov 2024, 19:15:59
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <772154a8-da85-49bc-a401-e217778e76b9@att.net>
References : 1 2 3 4 5 6
User-Agent : Mozilla Thunderbird
On 11/5/2024 12:25 PM, Jim Burns wrote:
On 11/4/2024 12:32 PM, WM wrote:
[...]
>
⎛ i/j ↦ kᵢⱼ = (i+j-1)(i+j-2)/2+i
⎜ k ↦ iₖ+jₖ = ⌈(2⋅k+¼)¹ᐟ²+½⌉
⎜ iₖ = k-(iₖ+jₖ-1)(iₖ+jₖ-2)/2
⎝ jₖ = k-iₖ
jₖ = (iₖ+jₖ)-iₖ
proves that
the rationals are countable.