Re: Replacement of Cardinality

Liste des GroupesRevenir à s logic 
Sujet : Re: Replacement of Cardinality
De : wolfgang.mueckenheim (at) *nospam* tha.de (WM)
Groupes : sci.logic
Date : 31. Jul 2024, 16:27:06
Autres entêtes
Organisation : Nemoweb
Message-ID : <rHIaB-dFODVqSY7-aRnf4ItTyG0@jntp>
References : 1 2 3 4 5 6 7 8 9 10
User-Agent : Nemo/0.999a
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.
 The input set was the Natural Numbers and w,
ω/10^10 and ω/10 are dark natural numbers.
If all natural numbers exist, then ω-1 exists.
>
Why?
 Because otherwise there was a gap below ω.
 But you combined two different sets, so why can't there be a gap?
I assume completness.

∀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 ∈ ℕ.
 Remember, one property of Natural numbers that ∀n ∈ ℕ: n+1 exists.
Not for all dark numbers.
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