Sujet : Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary)
De : wolfgang.mueckenheim (at) *nospam* tha.de (WM)
Groupes : sci.logicDate : 26. Nov 2024, 20:15:39
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vi56or$3j04f$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
User-Agent : Mozilla Thunderbird
On 26.11.2024 19:49, Jim Burns wrote:
There are no last end.segments of ℕᶠⁱⁿ
There are no finitely.sized end segments of ℕᶠⁱⁿ
There are no finite cardinals common to
each end.segment of ℕᶠⁱⁿ
That is a contradiction. If there are no common numbers, then all numbers must have been lost. But then no numbers are remaining. Then there are finite endsegments because ∀k ∈ ℕ: |E(k+1)| = |E(k)| - 1.
Regards, WM
…