Sujet : Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary)
De : wolfgang.mueckenheim (at) *nospam* tha.de (WM)
Groupes : sci.logicDate : 03. Dec 2024, 12:10:53
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <0b1bb1a1-40e3-464f-9e3d-a5ac22dfdc6f@tha.de>
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 26 27 28 29 30
User-Agent : Mozilla Thunderbird
On 03.12.2024 11:03, Mikko wrote:
I understand mathematics
Hardly, though you may have the impression.
Proof: You cannot understand that the function
f(10n) = n from D = {10n | n ∈ ℕ} to ℕ = {1, 2, 3, ...} is not a bijection because for every initial segment {1, 2, 3, ..., n} of ℕ there are too few numbers of the form 10n that can be paired with numbers n. Since ℕ is the union (or the limit) of the sequence of initial segments {1, 2, 3, ..., n}, there are too few numbers of the form 10n in ℕ that can be paired with numbers n.
Regards, WM