Sujet : Re: Incompleteness of Cantor's enumeration of the rational numbers
De : noreply (at) *nospam* example.org (joes)
Groupes : sci.mathDate : 17. Nov 2024, 21:16:18
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <ff331efa501d6e6d519c30e0c117e6643e136e4f@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 26 27
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Sun, 17 Nov 2024 12:19:32 +0100 schrieb WM:
On 17.11.2024 12:01, FromTheRafters wrote:
WM was thinking very hard :
On 16.11.2024 22:33, Moebius wrote:
>
For example "aleph_0 - aleph_0" is not defined.
>
Small wonder. ℵo means only infinitely many: |ℕ|, |ℚ|, and many
others. |ℕ|-|ℕ| however is defined.
No, it is not.
If sets are invariable then ℕ \ ℕ is empty.
If |ℕ| concerns only the elements of ℕ, then |ℕ|-|ℕ|= 0.
The number |N|=|Q|=Aleph_0 is the same regardless of the set.
If you define the difference to be zero, it doesn't matter.
-- 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.