Re: Replacement of Cardinality (infinite middle)

Liste des GroupesRevenir à s logic 
Sujet : Re: Replacement of Cardinality (infinite middle)
De : james.g.burns (at) *nospam* att.net (Jim Burns)
Groupes : sci.logic sci.math
Date : 19. Aug 2024, 22:43:23
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <f37d1142-f77a-44ad-a24b-1955e3c01505@att.net>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
User-Agent : Mozilla Thunderbird
On 8/19/2024 3:27 PM, Ross Finlayson wrote:
On 08/18/2024 09:56 PM, Jim Burns wrote:

[...]
>
I mean it's a great definition that finite has that
there exists a normal ordering that's a well-ordering
...in both directions...

and that all the orderings of the set are well-orderings.
...in both directions...

That's a great definition of finite and now it stands
for itself in enduring mathematical definition in defense.
...for comfortably more than a century.

Why is it you think that Stackel's definition of finite
and "not Dedekind's definition of countably infinite"
don't agree?
They mostly agree.
Given the Axiom of Choice
(let us say, if an inaccessible cardinal exists),
they completely agree.
My impression from somewhere is that,
if they disagree,
they disagree on some very weird sets.
https://en.wikipedia.org/wiki/Finite_set

[...] is another little fact of mathematics
missing from your neat little hedgerow.
I mark my neat little hedgerow, and
I describe what's true everywhere inside the hedgerow.
That allows me to learn about
what's inside the hedgerow,
even though it's infinite and I am finite.
I like doing that.
It isn't wrong for me to do that.
I will continue doing that.

Date Sujet#  Auteur
26 Jul 24 * Replacement of Cardinality709WM
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 Cardinality620Jim Burns
28 Jul 24  +* Re: Replacement of Cardinality610WM
28 Jul 24  i`* Re: Replacement of Cardinality609Jim 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
2 Jan 25  i i    i  `* Re: Replacement of Cardinality (ubiquitous ordinals, integer continuum, linear continuum, continuity)11Ross Finlayson
29 Jul 24  i i    `* Re: Replacement of Cardinality28Jim Burns
29 Jul 24  i +* Re: Replacement of Cardinality560WM
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