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 : 19. Aug 2024, 19:12:38
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <b476ed29-d093-47ac-b16d-a64ee620e79b@att.net>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13
User-Agent : Mozilla Thunderbird
On 8/19/2024 1:17 PM, Moebius wrote:
Am 19.08.2024 um 18:58 schrieb Jim Burns:

[...]
>
You got it totally wrong!
>
The dark unit fractions are smaller than
the (all) visible ones.
No positive point is a lower.bound of
all the visibleᵂᴹ unit.fractions. (lemma)
Each darkᵂᴹ unit.fraction is a positive point.
No darkᵂᴹ unit.fraction is a lower.bound of
all the visibleᵂᴹ unit.fractions.
No darkᵂᴹ unit.fraction is smaller than
all the visibleᵂᴹ unit.fractions.
----
Lemma.
No positive point is a lower.bound (lb) of
all the visibleᵂᴹ unit.fractions.
⎛ Assume 0 < lb.⅟ℕᵈᵉᶠ ≤ glb.⅟ℕᵈᵉᶠ = β
⎜ not.bound 2⋅β > ⅟k ∈ ⅟ℕᵈᵉᶠ
⎜ not.bound ½⋅β > ¼⋅⅟k ∈ ⅟ℕᵈᵉᶠ
⎜ bound ½⋅β < β
⎝ Contradiction.
¬(lb.⅟ℕᵈᵉᶠ > 0)

Now:
The visible unit fraction don't have
a smallest one (of course),
More than that.
The visibleᵂᴹ unit fractions don't have
a positive lower bound.
WM has not quite conceded that.
  The last I've seen, he omits 'greatest'.
If he ever does, it is game over.
With or without his concession,
there is no positive lower bound of
visibleᵂᴹ unit fractions,  and
there is no darkᵂᴹ unit.fraction.

but the dark unit fraction do
(at least in mückenmath)!
>
WM: "Dark unit fractions have a smallest element."
WM says a lot of things.
If dark unit.fractions are positive lower bounds of
visible unit fractions,
then they don't exist,
and {} doesn't have a smallest element.

Date Sujet#  Auteur
27 Jul 24 * Re: Replacement of Cardinality876Jim Burns
28 Jul 24 +* Re: Replacement of Cardinality866WM
28 Jul 24 i`* Re: Replacement of Cardinality865Jim 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
30 Jul 24 i i       `* Re: Replacement of Cardinality (ubiquitous ordinals)23Ross Finlayson
30 Jul 24 i i        +- Re: Replacement of Cardinality (ubiquitous ordinals)1Ross Finlayson
31 Jul 24 i i        `* Re: Replacement of Cardinality (ubiquitous ordinals)21Jim Burns
1 Aug 24 i i         `* Re: Replacement of Cardinality (ubiquitous ordinals)20Ross Finlayson
1 Aug 24 i i          `* Re: Replacement of Cardinality (ubiquitous ordinals)19Jim Burns
1 Aug 24 i i           `* Re: Replacement of Cardinality (ubiquitous ordinals)18Ross Finlayson
2 Aug 24 i i            `* Re: Replacement of Cardinality (ubiquitous ordinals)17Jim Burns
2 Aug 24 i i             `* Re: Replacement of Cardinality (ubiquitous ordinals)16Ross Finlayson
2 Aug 24 i i              +- Re: Replacement of Cardinality (ubiquitous ordinals)1Jim Burns
2 Aug 24 i i              +* Re: Replacement of Cardinality (ubiquitous ordinals)13FromTheRafters
2 Aug 24 i i              i`* Re: Replacement of Cardinality (ubiquitous ordinals)12Ross Finlayson
3 Aug 24 i i              i `* Re: Replacement of Cardinality (ubiquitous ordinals)11Jim Burns
4 Aug 24 i i              i  `* Re: Replacement of Cardinality (ubiquitous ordinals)10Ross Finlayson
4 Aug 24 i i              i   `* Re: Replacement of Cardinality (ubiquitous ordinals)9Jim Burns
4 Aug 24 i i              i    `* Re: Replacement of Cardinality (ubiquitous ordinals)8Ross Finlayson
4 Aug 24 i i              i     `* Re: Replacement of Cardinality (ubiquitous ordinals)7Jim Burns
4 Aug 24 i i              i      `* Re: Replacement of Cardinality (ubiquitous ordinals)6Ross Finlayson
4 Aug 24 i i              i       `* Re: Replacement of Cardinality (ubiquitous ordinals)5Jim Burns
4 Aug 24 i i              i        `* Re: Replacement of Cardinality (ubiquitous ordinals)4Ross Finlayson
4 Aug 24 i i              i         `* Re: Replacement of Cardinality (ubiquitous ordinals)3Jim Burns
4 Aug 24 i i              i          `* Re: Replacement of Cardinality (ubiquitous ordinals)2Ross Finlayson
4 Aug 24 i i              i           `- Re: Replacement of Cardinality (ubiquitous ordinals)1Jim Burns
2 Aug 24 i i              `- Re: Replacement of Cardinality (ubiquitous ordinals)1Jim Burns
29 Jul 24 i +* Re: Replacement of Cardinality830WM
29 Jul 24 i i`* Re: Replacement of Cardinality829Jim Burns
30 Jul 24 i i `* Re: Replacement of Cardinality828WM
30 Jul 24 i i  `* Re: Replacement of Cardinality827Jim Burns
31 Jul 24 i i   +* Re: Replacement of Cardinality13Moebius
31 Jul 24 i i   i+* Re: Replacement of Cardinality --- infinitesimal number system11olcott
31 Jul 24 i i   ii+* Re: Replacement of Cardinality --- infinitesimal number system6Moebius
31 Jul 24 i i   iii`* Re: Replacement of Cardinality --- infinitesimal number system5olcott
31 Jul 24 i i   iii +- Re: Replacement of Cardinality --- infinitesimal number system1Chris M. Thomasson
31 Jul 24 i i   iii `* Re: Replacement of Cardinality --- infinitesimal number system3Moebius
31 Jul 24 i i   iii  `* Re: Replacement of Cardinality --- infinitesimal number system2olcott
31 Jul 24 i i   iii   `- Re: Replacement of Cardinality --- infinitesimal number system1Moebius
31 Jul 24 i i   ii+* Re: Replacement of Cardinality --- infinitesimal number system3FromTheRafters
31 Jul 24 i i   iii+- Re: Replacement of Cardinality --- infinitesimal number system1olcott
31 Jul 24 i i   iii`- Re: Replacement of Cardinality --- infinitesimal number system1Ross Finlayson
31 Jul 24 i i   ii`- Re: Replacement of Cardinality --- infinitesimal number system1Jim Burns
31 Jul 24 i i   i`- Re: Replacement of Cardinality1WM
31 Jul 24 i i   `* Re: Replacement of Cardinality813WM
31 Jul 24 i i    `* Re: Replacement of Cardinality812Jim Burns
1 Aug 24 i i     `* Re: Replacement of Cardinality811WM
1 Aug 24 i i      `* Re: Replacement of Cardinality810Jim Burns
1 Aug 24 i i       +- Re: Replacement of Cardinality1Moebius
2 Aug 24 i i       `* Re: Replacement of Cardinality808WM
2 Aug 24 i i        `* Re: Replacement of Cardinality807Jim Burns
2 Aug 24 i i         +* Re: Replacement of Cardinality23Moebius
3 Aug 24 i i         i`* Re: Replacement of Cardinality22WM
3 Aug 24 i i         i +* Re: Replacement of Cardinality4joes
4 Aug 24 i i         i i`* Re: Replacement of Cardinality3WM
4 Aug 24 i i         i i `* Re: Replacement of Cardinality2Jim Burns
4 Aug 24 i i         i i  `- Re: Replacement of Cardinality1Moebius
3 Aug 24 i i         i `* Re: Replacement of Cardinality17Chris M. Thomasson
3 Aug 24 i i         i  +* Re: Replacement of Cardinality14FromTheRafters
4 Aug 24 i i         i  i`* Re: Replacement of Cardinality (real-valued)13Ross Finlayson
4 Aug 24 i i         i  i `* Re: Replacement of Cardinality (real-valued)12FromTheRafters
4 Aug 24 i i         i  i  `* Re: Replacement of Cardinality (real-valued)11Ross Finlayson
4 Aug 24 i i         i  i   `* Re: Replacement of Cardinality (real-valued)10Ross Finlayson
4 Aug 24 i i         i  i    `* Re: Replacement of Cardinality (real-valued)9Ross Finlayson
4 Aug 24 i i         i  i     +* Re: Replacement of Cardinality (real-valued)3Ross Finlayson
4 Aug 24 i i         i  i     i+- Re: Replacement of Cardinality (real-valued)1Ross Finlayson
4 Aug 24 i i         i  i     i`- Re: Replacement of Cardinality (real-valued)1Ross Finlayson
7 Aug 24 i i         i  i     `* Re: Replacement of Cardinality (real-valued)5Jim Burns
8 Aug 24 i i         i  i      `* Re: Replacement of Cardinality (real-valued)4Ross Finlayson
8 Aug 24 i i         i  i       `* Re: Replacement of Cardinality (real-valued)3Jim Burns
8 Aug 24 i i         i  i        `* Re: Replacement of Cardinality (real-valued)2Ross Finlayson
13 Aug 24 i i         i  i         `- Re: Replacement of Cardinality (real-valued)1Ross Finlayson
4 Aug 24 i i         i  `* Re: Replacement of Cardinality2Moebius
4 Aug 24 i i         i   `- Re: Replacement of Cardinality1WM
3 Aug 24 i i         `* Re: Replacement of Cardinality783WM
3 Aug 24 i i          `* Re: Replacement of Cardinality782Jim Burns
4 Aug 24 i i           +* Re: Replacement of Cardinality43Moebius
4 Aug 24 i i           i`* Re: Replacement of Cardinality42WM
4 Aug 24 i i           i +* Re: Replacement of Cardinality4Jim Burns
4 Aug 24 i i           i i+* Re: Replacement of Cardinality2Moebius
4 Aug 24 i i           i ii`- Re: Replacement of Cardinality1Jim Burns
4 Aug 24 i i           i i`- Re: Replacement of Cardinality1WM
5 Aug 24 i i           i `* Re: Replacement of Cardinality37Chris M. Thomasson
5 Aug 24 i i           i  `* Re: Replacement of Cardinality36Moebius
5 Aug 24 i i           i   +* Re: Replacement of Cardinality (quantifier disambiguation)5Ross Finlayson
5 Aug 24 i i           i   i`* Re: Replacement of Cardinality (quantifier disambiguation)4Ross Finlayson
5 Aug 24 i i           i   i `* Re: Replacement of Cardinality (quantifier disambiguation)3Jim Burns
5 Aug 24 i i           i   i  `* Re: Replacement of Cardinality (quantifier disambiguation)2Ross Finlayson
13 Aug 24 i i           i   i   `- Re: Replacement of Cardinality (quantifier disambiguation)1Ross Finlayson
5 Aug 24 i i           i   +* Re: Replacement of Cardinality4Chris M. Thomasson
5 Aug 24 i i           i   i`* Re: Replacement of Cardinality3Moebius
5 Aug 24 i i           i   i `* Re: Replacement of Cardinality2Moebius
5 Aug 24 i i           i   `* Re: Replacement of Cardinality26WM
4 Aug 24 i i           `* Re: Replacement of Cardinality738WM
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