Re: Replacement of Cardinality

Liste des GroupesRevenir à s math 
Sujet : Re: Replacement of Cardinality
De : james.g.burns (at) *nospam* att.net (Jim Burns)
Groupes : sci.logic sci.math
Date : 22. Aug 2024, 19:38:23
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <1e06fad5-5165-4d63-b401-1ba5d2442c3a@att.net>
References : 1 2 3 4 5 6 7 8 9 10 11
User-Agent : Mozilla Thunderbird
On 8/22/2024 7:17 AM, WM wrote:
Le 21/08/2024 à 20:20, Jim Burns a écrit :
On 8/21/2024 6:43 AM, WM wrote:
Le 20/08/2024 à 22:05, Jim Burns a écrit :

No min.⅟ℕᵈᵉᶠ exists.
>
The reason is potential infinity.
>
Is potentialᵂᴹ.infinity mathematicsᵂᴹ?
>
All of classical mathematics is
embedded into potential infinity.
What you didn't say is that
potentialᵂᴹ.infinity is embedded into mathematicsᵂᴹ.
Should I draw the implicature from your response that
it isn't?
Is mathematicsᵂᴹ within potentialᵂᴹ.infinity,  but
potentialᵂᴹ.infinity not within mathematicsᵂᴹ?
You (WM) have a personal vocabulary,
mathematicsᵂᴹ and potentialᵂᴹ and actualᵂᴹ.
We use the same words you do,
mathematicsⁿᵒᵗᐧᵂᴹ and potentialⁿᵒᵗᐧᵂᴹ and actualⁿᵒᵗᐧᵂᴹ,
but not in the way you do.
Work has been done during
the last few thousand years
to extend mathematicsⁿᵒᵗᐧᵂᴹ over infinityⁿᵒᵗᐧᵂᴹ.
The distinction potentialⁿᵒᵗᐧᵂᴹ::actualⁿᵒᵗᐧᵂᴹ
has turned out to be less than useful

Judging from your edicts on this topic,
the answer looks to be both 'yes' and 'no'.
>
I am interested in actual infinity.
It seems that your potentialᵂᴹ.infinity is
our infinityⁿᵒᵗᐧᵂᴹ.
It seems that your actualᵂᴹ.infinity isn't
potentialᵂᴹ.infinity but it has a subset of
potentialᵂᴹ.infinity.
There is no superset of
a potentiallyᵂᴹ.infinite (infiniteⁿᵒᵗᐧᵂᴹ) set which isn't
a potentiallyᵂᴹ.infinite (infiniteⁿᵒᵗᐧᵂᴹ) superset.
There is no actuallyᵂᴹ.infinite set.
Augmenting with darkᵂᴹ.numbers cannot change
the potentiallyᵂᴹ.infinite into the actuallyᵂᴹ.infinite
because
any non.2.ended subset which a potentiallyᵂᴹ.infinite has
is also a non.2.ended subset of any superset.

It follows that ⅟ℕᵈᵉᶠ has properties that
the unit.fractionsᵈᵉᶠ > x > 0
don't have.
 There is no set ℕᵈᵉᶠ because of lacking completeness.
⎛ Each non.empty S ⊆ ℕᵈᵉᶠ holds min.S in S.
⎜ Each k ∈ ℕᵈᵉᶠ has k+1 and k-1 next in ℕᵈᵉᶠ, except for
⎝ min.ℕᵈᵉᶠ = 0 which has 0+1 but not 0-1 in ℕᵈᵉᶠ
Whatever class ℕᵈᵉᶠ belongs in, the above is true of ℕᵈᵉᶠ.
It's what we mean by ℕᵈᵉᶠ.
A finite sequence of not.first.false claims
cannot have a first false claim  and thus
cannot have a false claim.
It's part of what we mean by finite.
We can assemble finite sequences of not.first.false claims
which include the above claims about ℕᵈᵉᶠ.
Each of its claims about ℕᵈᵉᶠ is true.
If that's incompleteᵂᴹ,
it'll do quite well until completeᵂᴹ comes along.

Sets of set theory are complete.
A setⁿᵒᵗᐧᵂᴹ does not change.
A setⁿᵒᵗᐧᵂᴹ which has been changed is no longer
the setⁿᵒᵗᐧᵂᴹ it was.
The setⁿᵒᵗᐧᵂᴹ it was has not changed.

Date Sujet#  Auteur
15 Aug 24 * Re: Replacement of Cardinality371WM
15 Aug 24 `* Re: Replacement of Cardinality370Jim Burns
16 Aug 24  `* Re: Replacement of Cardinality369WM
16 Aug 24   +* Re: Replacement of Cardinality26joes
16 Aug 24   i`* Re: Replacement of Cardinality25WM
16 Aug 24   i +* Re: Replacement of Cardinality7Jim Burns
17 Aug 24   i i`* Re: Replacement of Cardinality6WM
17 Aug 24   i i `* Re: Replacement of Cardinality5Richard Damon
17 Aug 24   i i  +* Re: Replacement of Cardinality3FromTheRafters
17 Aug 24   i i  i+- Re: Replacement of Cardinality1Richard Damon
17 Aug 24   i i  i`- Re: Replacement of Cardinality1Chris M. Thomasson
17 Aug 24   i i  `- Re: Replacement of Cardinality1Chris M. Thomasson
16 Aug 24   i +* Re: Replacement of Cardinality16joes
17 Aug 24   i i`* Re: Replacement of Cardinality15WM
18 Aug 24   i i `* Re: Replacement of Cardinality14joes
18 Aug 24   i i  +* Re: Replacement of Cardinality12Chris M. Thomasson
18 Aug 24   i i  i`* Re: Replacement of Cardinality11Ross Finlayson
19 Aug 24   i i  i +* Re: Replacement of Cardinality (selective memory)2Ross Finlayson
30 Dec 24   i i  i i`- Re: Replacement of Cardinality (selective memory)1Ross Finlayson
19 Aug 24   i i  i `* Re: Replacement of Cardinality8Chris M. Thomasson
19 Aug 24   i i  i  +- Re: Replacement of Cardinality1Chris M. Thomasson
19 Aug 24   i i  i  `* Re: Replacement of Cardinality6FromTheRafters
20 Aug 24   i i  i   `* Re: Replacement of Cardinality5Chris M. Thomasson
20 Aug 24   i i  i    +- Re: Replacement of Cardinality1Chris M. Thomasson
21 Aug 24   i i  i    `* Re: Replacement of Cardinality3Moebius
23 Aug 24   i i  i     `* Re: Replacement of Cardinality2Chris M. Thomasson
23 Aug 24   i i  i      `- Re: Replacement of Cardinality1Moebius
19 Aug 24   i i  `- Re: Replacement of Cardinality1WM
16 Aug 24   i `- Re: Replacement of Cardinality1Chris M. Thomasson
16 Aug 24   `* Re: Replacement of Cardinality342Jim Burns
17 Aug 24    `* Re: Replacement of Cardinality341WM
17 Aug 24     +* Re: Replacement of Cardinality312Richard Damon
17 Aug 24     i+- Re: Replacement of Cardinality1Python
19 Aug 24     i`* Re: Replacement of Cardinality310WM
20 Aug 24     i +* Re: Replacement of Cardinality307Richard Damon
20 Aug 24     i i+* Re: Replacement of Cardinality295FromTheRafters
20 Aug 24     i ii`* Re: Replacement of Cardinality294WM
20 Aug 24     i ii `* Re: Replacement of Cardinality293FromTheRafters
20 Aug 24     i ii  +- Re: Replacement of Cardinality1Chris M. Thomasson
21 Aug 24     i ii  `* Re: Replacement of Cardinality291WM
21 Aug 24     i ii   +* Re: Replacement of Cardinality275FromTheRafters
21 Aug 24     i ii   i`* Re: Replacement of Cardinality274WM
21 Aug 24     i ii   i +* Re: Replacement of Cardinality132joes
21 Aug 24     i ii   i i+* Re: Replacement of Cardinality84Moebius
21 Aug 24     i ii   i ii+* Re: Replacement of Cardinality82WM
21 Aug 24     i ii   i iii+* Re: Replacement of Cardinality4FromTheRafters
22 Aug 24     i ii   i iiii`* Re: Replacement of Cardinality3WM
22 Aug 24     i ii   i iiii +- Re: Replacement of Cardinality1joes
22 Aug 24     i ii   i iiii `- Re: Replacement of Cardinality1FromTheRafters
21 Aug 24     i ii   i iii`* Re: Replacement of Cardinality77joes
21 Aug 24     i ii   i iii +* Re: Replacement of Cardinality58Moebius
22 Aug 24     i ii   i iii i`* Re: Replacement of Cardinality57WM
22 Aug 24     i ii   i iii i +- Re: Replacement of Cardinality1joes
23 Aug 24     i ii   i iii i `* Re: Replacement of Cardinality55Jim Burns
24 Aug 24     i ii   i iii i  +* Re: Replacement of Cardinality7Moebius
24 Aug 24     i ii   i iii i  i+- Re: Replacement of Cardinality1Moebius
24 Aug 24     i ii   i iii i  i`* Re: Replacement of Cardinality5Jim Burns
24 Aug 24     i ii   i iii i  i +- Re: Replacement of Cardinality (roots of zero, reciprocals of the multiplicative annihilator)1Ross Finlayson
25 Aug 24     i ii   i iii i  i `* Re: Replacement of Cardinality3Moebius
26 Aug 24     i ii   i iii i  i  `* Re: Replacement of Cardinality2Moebius
26 Aug 24     i ii   i iii i  i   `- Re: Replacement of Cardinality1Moebius
24 Aug 24     i ii   i iii i  +* Re: Replacement of Cardinality42WM
25 Aug 24     i ii   i iii i  i`* Re: Replacement of Cardinality41Jim Burns
25 Aug 24     i ii   i iii i  i `* Re: Replacement of Cardinality40WM
25 Aug 24     i ii   i iii i  i  +* Re: Replacement of Cardinality37Jim Burns
26 Aug 24     i ii   i iii i  i  i+* Re: Replacement of Cardinality25Moebius
26 Aug 24     i ii   i iii i  i  ii+* Re: Replacement of Cardinality2Moebius
26 Aug 24     i ii   i iii i  i  iii`- Re: Replacement of Cardinality1Moebius
27 Aug 24     i ii   i iii i  i  ii`* Re: Replacement of Cardinality22WM
27 Aug 24     i ii   i iii i  i  ii +* Re: Replacement of Cardinality18Chris M. Thomasson
27 Aug 24     i ii   i iii i  i  ii i+* Re: Replacement of Cardinality2Moebius
27 Aug 24     i ii   i iii i  i  ii ii`- Re: Replacement of Cardinality1Moebius
28 Aug 24     i ii   i iii i  i  ii i`* Re: Replacement of Cardinality15WM
28 Aug 24     i ii   i iii i  i  ii i `* Re: Replacement of Cardinality14FromTheRafters
29 Aug 24     i ii   i iii i  i  ii i  `* Re: Replacement of Cardinality13WM
29 Aug 24     i ii   i iii i  i  ii i   +* Re: Replacement of Cardinality5FromTheRafters
29 Aug 24     i ii   i iii i  i  ii i   i+- Re: Replacement of Cardinality1Chris M. Thomasson
30 Aug 24     i ii   i iii i  i  ii i   i`* Re: Replacement of Cardinality3WM
30 Aug 24     i ii   i iii i  i  ii i   i +- Re: Grey numbers (was: Replacement of Cardinality)1joes
30 Aug 24     i ii   i iii i  i  ii i   i `- Re: Replacement of Cardinality1Chris M. Thomasson
29 Aug 24     i ii   i iii i  i  ii i   +* Re: Replacement of Cardinality2Chris M. Thomasson
29 Aug 24     i ii   i iii i  i  ii i   i`- Re: Replacement of Cardinality1FromTheRafters
29 Aug 24     i ii   i iii i  i  ii i   +- Re: Replacement of Cardinality1Jim Burns
30 Aug 24     i ii   i iii i  i  ii i   `* Re: Replacement of Cardinality4joes
30 Aug 24     i ii   i iii i  i  ii i    `* Re: Replacement of Cardinality3WM
30 Aug 24     i ii   i iii i  i  ii i     `* Re: Replacement of Cardinality2Richard Damon
30 Aug 24     i ii   i iii i  i  ii i      `- Re: Replacement of Cardinality1Chris M. Thomasson
28 Aug 24     i ii   i iii i  i  ii +- Re: Replacement of Cardinality1Richard Damon
28 Aug 24     i ii   i iii i  i  ii `* Re: Replacement of Cardinality2joes
28 Aug 24     i ii   i iii i  i  ii  `- Re: Replacement of Cardinality1Moebius
27 Aug 24     i ii   i iii i  i  i`* Re: Replacement of Cardinality11WM
28 Aug 24     i ii   i iii i  i  i +* Re: Replacement of Cardinality4FromTheRafters
28 Aug 24     i ii   i iii i  i  i i+* Re: Replacement of Cardinality (book-keeping sign)2Ross Finlayson
28 Aug 24     i ii   i iii i  i  i ii`- Re: Replacement of Cardinality (book-keeping sign)1Ross Finlayson
28 Aug 24     i ii   i iii i  i  i i`- Re: Replacement of Cardinality1WM
28 Aug 24     i ii   i iii i  i  i +- Re: Replacement of Cardinality1Richard Damon
28 Aug 24     i ii   i iii i  i  i `* Re: Replacement of Cardinality5joes
28 Aug 24     i ii   i iii i  i  i  `* Re: Replacement of Cardinality4Moebius
28 Aug 24     i ii   i iii i  i  i   +* Re: Replacement of Cardinality2WM
28 Aug 24     i ii   i iii i  i  i   i`- Re: Replacement of Cardinality1FromTheRafters
28 Aug 24     i ii   i iii i  i  i   `- Re: Replacement of Cardinality1Moebius
26 Aug 24     i ii   i iii i  i  `* Re: Replacement of Cardinality2joes
26 Aug 24     i ii   i iii i  `* Re: Replacement of Cardinality5Moebius
22 Aug 24     i ii   i iii `* Re: Replacement of Cardinality18WM
21 Aug 24     i ii   i ii`- Re: Replacement of Cardinality1Chris M. Thomasson
21 Aug 24     i ii   i i`* Re: Replacement of Cardinality47WM
21 Aug 24     i ii   i +* Re: Replacement of Cardinality139FromTheRafters
21 Aug 24     i ii   i `* Re: Replacement of Cardinality2Chris M. Thomasson
21 Aug 24     i ii   `* Re: Replacement of Cardinality15Richard Damon
20 Aug 24     i i`* Re: Replacement of Cardinality11WM
22 Aug 24     i `* Re: Replacement of Cardinality2joes
17 Aug 24     `* Re: Replacement of Cardinality28Jim Burns

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal