Re: Replacement of Cardinality

Liste des GroupesRevenir à s logic 
Sujet : Re: Replacement of Cardinality
De : chris.m.thomasson.1 (at) *nospam* gmail.com (Chris M. Thomasson)
Groupes : sci.logic sci.math
Date : 20. Aug 2024, 23:42:01
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <va363p$3hpor$3@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
User-Agent : Mozilla Thunderbird
On 8/19/2024 2:12 PM, FromTheRafters wrote:
Chris M. Thomasson submitted this idea :
On 8/19/2024 1:20 PM, Chris M. Thomasson wrote:
On 8/19/2024 10:17 AM, 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.
>
Now: The visible unit fraction don't have a smallest one (of course), but the dark unit fraction do (at least in mückenmath)!
>
WM: "Dark unit fractions have a smallest element."
>
See?!
>
WM: "Visible unit fractions have the [or rather *a*] lower bound 0."
>
Right, but the dark unit fractions ARE BETWEEN 0 and all the visible unit fractions.
>
See: https://en.wikipedia.org/wiki/Infinitesimal
and: https://en.wikipedia.org/wiki/Hyperreal_number
>
WM: "No smaller [dark] unit fractions [than the smallest one] is existing, because no larger [dark] natnumber {than the largest one] is existing."
>
Right!
>
Is this one of WM's dark unit fractions:
>
1 / (hyper_really_really_tiny_small)
>
The funny part is that hyper_really_really_tiny_small should really be:
>
hyper_really_really_large
>
lol. What a joke.
>
In this sense... Forget about unit fractions, WM thinks that there is a largest natural number. This right there is radically ridiculous to me. Unit fractions aside for a moment...
 In order for there to be a smallest unit fraction n/d then d would have to be a largest natural number.
Exactly. Why does WM seem to be permanently stuck in finite ville, only to adventure out from time to time in the darkness of the forest?

For some reason (or none at all) he thinks it makes a difference to his argument to simply invert it.

Date Sujet#  Auteur
26 Jul 24 * Replacement of Cardinality712WM
26 Jul 24 +* Re: Replacement of Cardinality2joes
27 Jul 24 i`- Re: Replacement of Cardinality1WM
27 Jul 24 +* Re: Replacement of Cardinality67Richard Damon
27 Jul 24 i`* Re: Replacement of Cardinality66WM
27 Jul 24 i `* Re: Replacement of Cardinality65Richard 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  i`* Re: Replacement of Cardinality59WM
28 Jul 24 i  i `* Re: Replacement of Cardinality58Richard Damon
29 Jul 24 i  i  `* Re: Replacement of Cardinality57WM
29 Jul 24 i  i   +- Re: Replacement of Cardinality1Python
30 Jul 24 i  i   `* Re: Replacement of Cardinality55Richard Damon
30 Jul 24 i  i    `* Re: Replacement of Cardinality54WM
31 Jul 24 i  i     `* Re: Replacement of Cardinality53Richard Damon
31 Jul 24 i  i      `* Re: Replacement of Cardinality52WM
31 Jul 24 i  i       +* Re: Replacement of Cardinality11joes
1 Aug 24 i  i       i`* Re: Replacement of Cardinality10WM
1 Aug 24 i  i       i +* Re: Replacement of Cardinality5Jim Burns
1 Aug 24 i  i       i i+- Re: Replacement of Cardinality1Moebius
2 Aug 24 i  i       i i`* Re: Replacement of Cardinality3WM
2 Aug 24 i  i       i i `* Re: Replacement of Cardinality2Jim Burns
2 Aug 24 i  i       i i  `- Re: Replacement of Cardinality1Moebius
2 Aug 24 i  i       i `* Re: Replacement of Cardinality4Richard Damon
2 Aug 24 i  i       i  `* Re: Replacement of Cardinality3WM
2 Aug 24 i  i       i   `* Re: Replacement of Cardinality2Richard Damon
2 Aug 24 i  i       i    `- Re: Replacement of Cardinality1WM
1 Aug 24 i  i       `* Re: Replacement of Cardinality40Richard Damon
1 Aug 24 i  i        `* Re: Replacement of Cardinality39WM
1 Aug 24 i  i         +* Re: Replacement of Cardinality29joes
2 Aug 24 i  i         i+* Re: Replacement of Cardinality27WM
2 Aug 24 i  i         ii`* Re: Replacement of Cardinality26Richard Damon
2 Aug 24 i  i         ii `* Re: Replacement of Cardinality25WM
2 Aug 24 i  i         ii  `* Re: Replacement of Cardinality24Richard Damon
2 Aug 24 i  i         ii   `* Re: Replacement of Cardinality23WM
2 Aug 24 i  i         ii    `* Re: Replacement of Cardinality22Richard Damon
3 Aug 24 i  i         ii     `* Re: Replacement of Cardinality21WM
3 Aug 24 i  i         ii      `* Re: Replacement of Cardinality20Richard Damon
4 Aug 24 i  i         ii       `* Re: Replacement of Cardinality19WM
4 Aug 24 i  i         ii        +* Re: Replacement of Cardinality5Richard Damon
5 Aug 24 i  i         ii        i`* Re: Replacement of Cardinality4WM
6 Aug 24 i  i         ii        i `* Re: Replacement of Cardinality3Richard Damon
6 Aug 24 i  i         ii        i  `* Re: Replacement of Cardinality2WM
7 Aug 24 i  i         ii        i   `- Re: Replacement of Cardinality1Richard Damon
4 Aug 24 i  i         ii        `* Re: Replacement of Cardinality13Richard Damon
6 Aug 24 i  i         ii         `* Re: Replacement of Cardinality12Chris M. Thomasson
6 Aug 24 i  i         ii          `* Re: Replacement of Cardinality11Moebius
6 Aug 24 i  i         ii           +* Re: Replacement of Cardinality2Jim Burns
6 Aug 24 i  i         ii           i`- Re: Replacement of Cardinality1Moebius
6 Aug 24 i  i         ii           `* Re: Replacement of Cardinality8Chris M. Thomasson
6 Aug 24 i  i         ii            +- Re: Replacement of Cardinality1FromTheRafters
6 Aug 24 i  i         ii            `* Re: Replacement of Cardinality6Moebius
6 Aug 24 i  i         ii             +- Re: Replacement of Cardinality1Moebius
7 Aug 24 i  i         ii             `* Re: Replacement of Cardinality4Chris M. Thomasson
7 Aug 24 i  i         ii              `* Re: Replacement of Cardinality3Moebius
7 Aug 24 i  i         ii               +- Re: Replacement of Cardinality1Moebius
16 Aug 24 i  i         ii               `- Re: Replacement of Cardinality1Chris M. Thomasson
2 Aug 24 i  i         i`- Re: Replacement of Cardinality1WM
2 Aug 24 i  i         `* Re: Replacement of Cardinality9Richard Damon
2 Aug 24 i  i          `* Re: Replacement of Cardinality8WM
2 Aug 24 i  i           +* Re: Replacement of Cardinality2joes
2 Aug 24 i  i           i`- Re: Replacement of Cardinality1WM
2 Aug 24 i  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
27 Jul 24 i  `- Re: Replacement of Cardinality1WM
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 Cardinality622Jim Burns
28 Jul 24  +* Re: Replacement of Cardinality612WM
28 Jul 24  i`* Re: Replacement of Cardinality611Jim Burns
29 Jul 24  i +* Re: Replacement of Cardinality47Ross Finlayson
29 Jul 24  i i`* Re: Replacement of Cardinality46Ross Finlayson
29 Jul 24  i i `* Re: Replacement of Cardinality45Ross Finlayson
29 Jul 24  i i  `* Re: Replacement of Cardinality44Jim Burns
29 Jul 24  i i   `* Re: Replacement of Cardinality43Ross Finlayson
29 Jul 24  i i    +* Re: Replacement of Cardinality (ubiquitous ordinals, integer continuum, linear continuum, continuity)14Ross Finlayson
1 Jan 25  i i    i`* Re: Replacement of Cardinality (ubiquitous ordinals, integer continuum, linear continuum, continuity)13Ross Finlayson
1 Jan 25  i i    i `* Re: Replacement of Cardinality (ubiquitous ordinals, integer continuum, linear continuum, continuity)12Jim Burns
29 Jul 24  i i    `* Re: Replacement of Cardinality28Jim Burns
29 Jul 24  i +* Re: Replacement of Cardinality562WM
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