Re: Log i = 0

Liste des GroupesRevenir à s math 
Sujet : Re: Log i = 0
De : wolfgang.mueckenheim (at) *nospam* tha.de (WM)
Groupes : sci.math
Date : 27. May 2025, 15:50:16
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <1014jf8$2l9jj$3@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11
User-Agent : Mozilla Thunderbird
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.
All natural numbers can be manipulated collectively, for instance subtracted: ℕ \ {1, 2, 3, ...} = { }. Here all have disappeared.
Could all natural numbers be distinguished, then this subtraction could also happen but, caused by the well-order, a last one would disappear.
Regards, WM

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