Sujet : Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary)
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : sci.logicDate : 27. Nov 2024, 10:33:41
Autres entêtes
Organisation : -
Message-ID : <vi6p1l$3uoti$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 26 27 28 29
User-Agent : Unison/2.2
On 2024-11-26 11:07:57 +0000, WM said:
On 26.11.2024 10:09, Mikko wrote:
On 2024-11-25 14:38:13 +0000, WM said:
The simple example contradicts a bijection between the two sets described above.
What does "contradicts a bijection" mean?
It shows that the mapping claimed to be a bijection is not a bijection.
If so, no bijection is contradicted.
However, that does not prove that there is no bijection between the same
two sets.
-- Mikko
…