Sujet : Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary)
De : noreply (at) *nospam* example.org (joes)
Groupes : sci.mathDate : 10. Jan 2025, 21:06:17
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <2c1e0afa5652b5f139abcda8822ac14ccc939f2b@i2pn2.org>
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 : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Fri, 10 Jan 2025 20:17:37 +0100 schrieb WM:
On 10.01.2025 19:28, joes wrote:
Am Fri, 10 Jan 2025 18:21:43 +0100 schrieb WM:
I have no expectations about cardinality. I know that for every finite
initial segment the even numbers are about half of the natural
numbers.
This does not change anywhere. It is true up to every natural number.
You wrongly expect this to hold in the infinite.
No, I expect it is true for all natural numbers, none of which is
infinite.
But it is true for every natural (if you formalise it correctly)!
That doesn't make it true for N and G.
-- Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:It is not guaranteed that n+1 exists for every n.