Re: Log i = 0

Liste des GroupesRevenir à s math 
Sujet : Re: Log i = 0
De : chris.m.thomasson.1 (at) *nospam* gmail.com (Chris M. Thomasson)
Groupes : sci.math
Date : 29. May 2025, 00:14:44
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <10185d4$3g1go$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
User-Agent : Mozilla Thunderbird
On 5/27/2025 1:13 PM, WM wrote:
On 27.05.2025 22:07, Chris M. Thomasson wrote:
On 5/27/2025 12:34 PM, WM wrote:
On 27.05.2025 18:05, FromTheRafters wrote:
WM wrote :
On 26.05.2025 22:25, efji wrote:
Le 26/05/2025 à 16:36, WM a écrit :
That is wrong. Present mathematics simply assumes that all natural numbers can be used for counting. But that is wrong.
>
What's the point ?
It is the DEFINITION of "counting". A countable infinite set IS a set equipped with a bijection onto \N.
>
This bijection does not exist because most natural numbers cannot be distinguished as a simple argument shows.
>
Bijected elements need not be distinguished, it is enough to show a bijection.
>
You mean it is enough to believe in a bijection?
[...]
>
Either the bijection works or it doesn't. For instance, Cantor Pairing works with any unsigned integer.
 It does not.
[...]
Huh? Show me one unsigned integer that Cantor Pairing does not work with? Unsigned integer to a pair, and the pair back to the unsigned integer.

Date Sujet#  Auteur
24 May 25 * Log i = 049Richard Hachel
25 May 25 +* Re: Log i = 02Ross Finlayson
25 May 25 i`- Re: Log i = 01Richard Hachel
25 May 25 `* Re: Log i = 046sobriquet
25 May 25  `* Re: Log i = 045Richard Hachel
25 May 25   `* Re: Log i = 044sobriquet
25 May 25    +* Re: Log i = 042efji
25 May 25    i+* Re: Log i = 039sobriquet
25 May 25    ii`* Re: Log i = 038efji
25 May 25    ii `* Re: Log i = 037sobriquet
25 May 25    ii  `* Re: Log i = 036efji
25 May 25    ii   +* Re: Log i = 07sobriquet
25 May 25    ii   i+- Re: Log i = 01Ross Finlayson
25 May 25    ii   i`* Re: Log i = 05efji
26 May 25    ii   i `* Re: Log i = 04sobriquet
26 May 25    ii   i  +- Re: Log i = 01Ross Finlayson
26 May 25    ii   i  `* Re: Log i = 02efji
26 May 25    ii   i   `- Re: Log i = 01Ross Finlayson
26 May 25    ii   `* Re: Log i = 028WM
26 May 25    ii    +* Re: Log i = 03FromTheRafters
26 May 25    ii    i+- Re: Log i = 01WM
26 May 25    ii    i`- Re: Log i = 01Chris M. Thomasson
26 May 25    ii    `* Re: Log i = 024efji
26 May 25    ii     +- Re: Log i = 01Python
27 May 25    ii     `* Re: Log i = 022WM
27 May 25    ii      `* Re: Log i = 021FromTheRafters
27 May 25    ii       +* Re: Log i = 015WM
27 May 25    ii       i`* Re: Log i = 014Chris M. Thomasson
27 May 25    ii       i `* Re: Log i = 013WM
29 May 25    ii       i  +* Re: Log i = 02Chris M. Thomasson
29 May 25    ii       i  i`- Re: Log i = 01WM
29 May 25    ii       i  `* Re: Log i = 010Chris M. Thomasson
29 May 25    ii       i   +- Re: Log i = 01WM
29 May 25    ii       i   `* Re: Log i = 08Ross Finlayson
29 May 25    ii       i    +* Re: Log i = 06WM
30 May 25    ii       i    i`* Re: Log i = 05Ross Finlayson
6 Jun 25    ii       i    i `* Re: Log i = 04Julio Di Egidio
10 Jun 25    ii       i    i  `* Re: Log i = 03Ross Finlayson
10 Jun 25    ii       i    i   `* Re: Log i = 02Julio Di Egidio
10 Jun 25    ii       i    i    `- Re: Log i = 01Ross Finlayson
29 May 25    ii       i    `- Re: Log i = 01Chris M. Thomasson
27 May 25    ii       +- Re: Log i = 01WM
27 May 25    ii       +* Re: Log i = 03Alan Mackenzie
27 May 25    ii       i+- Re: Log i = 01WM
14 Jun 25    ii       i`- Re: Log i = 01Moebius
27 May 25    ii       `- Re: Log i = 01Ross Finlayson
26 May 25    i`* Re: Log i = 02WM
26 May 25    i `- Re: Log i = 01efji
25 May 25    `- Re: Log i = 01Ross Finlayson

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal