Re: Replacement of Cardinality

Liste des GroupesRevenir à s logic 
Sujet : Re: Replacement of Cardinality
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : sci.logic
Date : 02. Aug 2024, 01:53:02
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <4d0ca88a910435926e85285b6a88fffe21ff9778@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11
User-Agent : Mozilla Thunderbird
On 8/1/24 8:27 AM, WM wrote:
Le 01/08/2024 à 02:09, Richard Damon a écrit :
On 7/31/24 10:27 AM, WM wrote:
Le 31/07/2024 à 03:28, Richard Damon a écrit :
On 7/30/24 1:37 PM, WM wrote:
Le 30/07/2024 à 03:18, Richard Damon a écrit :
On 7/29/24 9:11 AM, WM wrote:
>
But what number became ω when doubled?
>
ω/2
>
And where is that in {1, 2, 3, ... w} ?
>
In the midst, far beyond all definable numbers, far beyond ω/10^10.
>
In other words, outside the Natural Nubmer, all of which are defined and definable.
 That is simply nonsense. Do you know what an accumalation point is? Every eps interval around 0 contains unit fractions which cannot be separated from 0 by any eps. Therefore your claim is wrong.
And thus there is no "smallest" unit fraction, as for any eps, there are unit fractions smaller, and thus NUF(x) does have a value in the finites where it has the value of 1.

>
>
The input set was the Natural Numbers and w,
>
ω/10^10 and ω/10 are dark natural numbers.
>
They may be "dark" but they are not Natural Numbers.
 They are natural numbers.
>
Natural numbers, by their definition, are reachable by a finite number of successor operations from 0.
 That is the opinion of Peano and his disciples. It holds only for potetial infinity, i.e., definable numbers.
No, it holds for ALL his numbers.

 
I assume completness.
>
I guess you definition of "completeness" is incorrect.
>
If I take the set of all cats, and the set of all doges, can there not be a gap between them?
 What is the reason for the gap before omega? How large is it? Are these questions a blasphemy?
Because it is between two different sorts of number.
There is a gap between 1 and 2, but that doesn't bother you.

>
>
∀n ∈ ℕ: 1/n - 1/(n+1) > 0. Note the universal quantifier.
>
Right, so we can say that ∀n ∈ ℕ: 1/n > 1/(n+1), so that for every unit fraction 1/n, there exists another unit fraction smaller than itself.
>
No. My formula says ∀n ∈ ℕ.
>
Right, for ALL n in ℕ, there exist another number in ℕ that is n+1,
 That does ny formula not say. It says for all n which have successors, there is  distance between 1/n and 1/(n+1).
>
Remember, one property of Natural numbers that ∀n ∈ ℕ: n+1 exists.
>
Not for all dark numbers.
>
Maybe not for dark numbers, but it does for all Natural Numbers, as that is part of their DEFINITION.
 It is the definition of definable numbers. Study the accumulation point. Define (separate by an eps from 0) all unit fractions. Fail.
So, which Unit fraction doesn't have an eps that seperates it from 0?
You just get your order of conditions reversed.
For all 1/n, there is a eps that is smaller than it (like 1/(n+1) )
And for every eps, there is a unit fraction smaller than it
1 / (ceil (1/eps) + 1)
So we have an unlimited number of Unit fractions, and no smallest one.

 Regards, WM

Date Sujet#  Auteur
26 Jul 24 * Replacement of Cardinality684WM
26 Jul 24 +* Re: Replacement of Cardinality2joes
27 Jul 24 i`- Re: Replacement of Cardinality1WM
27 Jul 24 +* Re: Replacement of Cardinality66Richard Damon
27 Jul 24 i`* Re: Replacement of Cardinality65WM
27 Jul 24 i `* Re: Replacement of Cardinality64Richard Damon
27 Jul 24 i  +- Re: Replacement of Cardinality1WM
27 Jul 24 i  +* Re: Replacement of Cardinality2joes
28 Jul 24 i  i`- Re: Replacement of Cardinality1WM
27 Jul 24 i  `* Re: Replacement of Cardinality60Richard Damon
28 Jul 24 i   `* Re: Replacement of Cardinality59WM
28 Jul 24 i    `* Re: Replacement of Cardinality58Richard Damon
29 Jul 24 i     `* Re: Replacement of Cardinality57WM
29 Jul 24 i      +- Re: Replacement of Cardinality1Python
30 Jul 24 i      `* Re: Replacement of Cardinality55Richard Damon
30 Jul 24 i       `* Re: Replacement of Cardinality54WM
31 Jul 24 i        `* Re: Replacement of Cardinality53Richard Damon
31 Jul 24 i         `* Re: Replacement of Cardinality52WM
31 Jul 24 i          +* Re: Replacement of Cardinality11joes
1 Aug 24 i          i`* Re: Replacement of Cardinality10WM
1 Aug 24 i          i +* Re: Replacement of Cardinality5Jim Burns
1 Aug 24 i          i i+- Re: Replacement of Cardinality1Moebius
2 Aug 24 i          i i`* Re: Replacement of Cardinality3WM
2 Aug 24 i          i i `* Re: Replacement of Cardinality2Jim Burns
2 Aug 24 i          i i  `- Re: Replacement of Cardinality1Moebius
2 Aug 24 i          i `* Re: Replacement of Cardinality4Richard Damon
2 Aug 24 i          i  `* Re: Replacement of Cardinality3WM
2 Aug 24 i          i   `* Re: Replacement of Cardinality2Richard Damon
2 Aug 24 i          i    `- Re: Replacement of Cardinality1WM
1 Aug 24 i          `* Re: Replacement of Cardinality40Richard Damon
1 Aug 24 i           `* Re: Replacement of Cardinality39WM
1 Aug 24 i            +* Re: Replacement of Cardinality29joes
2 Aug 24 i            i+* Re: Replacement of Cardinality27WM
2 Aug 24 i            ii`* Re: Replacement of Cardinality26Richard Damon
2 Aug 24 i            ii `* Re: Replacement of Cardinality25WM
2 Aug 24 i            ii  `* Re: Replacement of Cardinality24Richard Damon
2 Aug 24 i            ii   `* Re: Replacement of Cardinality23WM
2 Aug 24 i            ii    `* Re: Replacement of Cardinality22Richard Damon
3 Aug 24 i            ii     `* Re: Replacement of Cardinality21WM
3 Aug 24 i            ii      `* Re: Replacement of Cardinality20Richard Damon
4 Aug 24 i            ii       `* Re: Replacement of Cardinality19WM
4 Aug 24 i            ii        +* Re: Replacement of Cardinality5Richard Damon
5 Aug 24 i            ii        i`* Re: Replacement of Cardinality4WM
6 Aug 24 i            ii        i `* Re: Replacement of Cardinality3Richard Damon
6 Aug 24 i            ii        i  `* Re: Replacement of Cardinality2WM
7 Aug 24 i            ii        i   `- Re: Replacement of Cardinality1Richard Damon
4 Aug 24 i            ii        `* Re: Replacement of Cardinality13Richard Damon
6 Aug 24 i            ii         `* Re: Replacement of Cardinality12Chris M. Thomasson
6 Aug 24 i            ii          `* Re: Replacement of Cardinality11Moebius
6 Aug 24 i            ii           +* Re: Replacement of Cardinality2Jim Burns
6 Aug 24 i            ii           i`- Re: Replacement of Cardinality1Moebius
6 Aug 24 i            ii           `* Re: Replacement of Cardinality8Chris M. Thomasson
6 Aug 24 i            ii            +- Re: Replacement of Cardinality1FromTheRafters
6 Aug 24 i            ii            `* Re: Replacement of Cardinality6Moebius
6 Aug 24 i            ii             +- Re: Replacement of Cardinality1Moebius
7 Aug 24 i            ii             `* Re: Replacement of Cardinality4Chris M. Thomasson
7 Aug 24 i            ii              `* Re: Replacement of Cardinality3Moebius
7 Aug 24 i            ii               +- Re: Replacement of Cardinality1Moebius
16 Aug 24 i            ii               `- Re: Replacement of Cardinality1Chris M. Thomasson
2 Aug 24 i            i`- Re: Replacement of Cardinality1WM
2 Aug 24 i            `* Re: Replacement of Cardinality9Richard Damon
2 Aug 24 i             `* Re: Replacement of Cardinality8WM
2 Aug 24 i              +* Re: Replacement of Cardinality2joes
2 Aug 24 i              i`- Re: Replacement of Cardinality1WM
2 Aug 24 i              `* Re: Replacement of Cardinality5Richard Damon
2 Aug 24 i               `* Re: Replacement of Cardinality4WM
2 Aug 24 i                `* Re: Replacement of Cardinality3Richard Damon
3 Aug 24 i                 `* Re: Replacement of Cardinality2WM
3 Aug 24 i                  `- Re: Replacement of Cardinality1Richard Damon
27 Jul 24 +* Re: Replacement of Cardinality20Mikko
27 Jul 24 i`* Re: Replacement of Cardinality19WM
29 Jul 24 i `* Re: Replacement of Cardinality18Mikko
29 Jul 24 i  `* Re: Replacement of Cardinality17WM
30 Jul 24 i   +* Re: Replacement of Cardinality3Richard Damon
30 Jul 24 i   i`* Re: Replacement of Cardinality2WM
31 Jul 24 i   i `- Re: Replacement of Cardinality1Richard Damon
30 Jul 24 i   `* Re: Replacement of Cardinality13Mikko
30 Jul 24 i    `* Re: Replacement of Cardinality12WM
31 Jul 24 i     `* Re: Replacement of Cardinality11Mikko
31 Jul 24 i      `* Re: Replacement of Cardinality10WM
2 Aug 24 i       `* Re: Replacement of Cardinality9Mikko
2 Aug 24 i        `* Re: Replacement of Cardinality8WM
2 Aug 24 i         +* Re: Replacement of Cardinality5Richard Damon
2 Aug 24 i         i`* Re: Replacement of Cardinality4WM
2 Aug 24 i         i `* Re: Replacement of Cardinality3Richard Damon
3 Aug 24 i         i  `* Re: Replacement of Cardinality2WM
3 Aug 24 i         i   `- Re: Replacement of Cardinality1Richard Damon
3 Aug 24 i         `* Re: Replacement of Cardinality2Mikko
3 Aug 24 i          `- Re: Replacement of Cardinality1WM
27 Jul 24 `* Re: Replacement of Cardinality595Jim Burns
28 Jul 24  +* Re: Replacement of Cardinality585WM
28 Jul 24  i`* Re: Replacement of Cardinality584Jim Burns
29 Jul 24  i +* Re: Replacement of Cardinality33Ross Finlayson
29 Jul 24  i i`* Re: Replacement of Cardinality32Ross Finlayson
29 Jul 24  i i `* Re: Replacement of Cardinality31Ross Finlayson
29 Jul 24  i i  `* Re: Replacement of Cardinality30Jim Burns
29 Jul 24  i i   `* Re: Replacement of Cardinality29Ross Finlayson
29 Jul 24  i i    +- Re: Replacement of Cardinality (ubiquitous ordinals, integer continuum, linear continuum, continuity)1Ross Finlayson
29 Jul 24  i i    `* Re: Replacement of Cardinality27Jim Burns
30 Jul 24  i i     `* Re: Replacement of Cardinality (ubiquitous ordinals)26Ross Finlayson
30 Jul 24  i i      +- Re: Replacement of Cardinality (ubiquitous ordinals)1Ross Finlayson
30 Jul 24  i i      `* Re: Replacement of Cardinality (ubiquitous ordinals)24Jim Burns
29 Jul 24  i +* Re: Replacement of Cardinality549WM
29 Jul 24  i `- Re: Replacement of Cardinality1Moebius
29 Jul 24  `* Re: Replacement of Cardinality9Moebius

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal