Sujet : Re: Log i = 0
De : wolfgang.mueckenheim (at) *nospam* tha.de (WM)
Groupes : sci.mathDate : 29. May 2025, 13:16:19
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <1019j6j$3rt35$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
User-Agent : Mozilla Thunderbird
On 29.05.2025 01:14, Chris M. Thomasson wrote:
Huh? Show me one unsigned integer that Cantor Pairing does not work with?
That is not possible because they are dark. But their existence can be proven:
All natural numbers can be manipulated collectively, for instance subtracted: ℕ \ {1, 2, 3, ...} = { }. Here all numbers have disappeared.
Assume that all natural numbers can be defined/distinguished, then the above subtraction could also happen but, caused by the well-order, a last number would disappear. Contradiction.
Regards, WM
Log i = 0
Re: Log i = 0