Re: Replacement of Cardinality (ubiquitous ordinals)

Liste des GroupesRevenir à s logic 
Sujet : Re: Replacement of Cardinality (ubiquitous ordinals)
De : ross.a.finlayson (at) *nospam* gmail.com (Ross Finlayson)
Groupes : sci.logic sci.math
Date : 02. Aug 2024, 01:52:35
Autres entêtes
Message-ID : <h5KcnXrG7N1VsDH7nZ2dnZfqnPqdnZ2d@giganews.com>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
User-Agent : Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0
On 08/01/2024 05:36 PM, Jim Burns wrote:
On 8/1/2024 3:28 PM, Ross Finlayson wrote:
On 08/01/2024 04:23 AM, Jim Burns wrote:
On 7/31/2024 8:30 PM, Ross Finlayson wrote:
On 07/31/2024 01:21 PM, Jim Burns wrote:
>
If I remember correctly,  your (RF's) name for
not.talking about
what's outside the domain of discussion
is hypocrisyᴿꟳ.
>
That sounds like you're delivering a value.judgment:
that we _should not_ not.talk about
what's outside the domain of discussion,
that we _should not_ for example, not.talk about
_all_ triangles when we discuss whether
the square of its longest side equals
the sum of the squares of the two remaining sides.
>
Yeah, my mathematical conscience demands that
hypocrisy is bad.
>
Bad why?
>
"Wrong", ....
>
It is wrong to treat claims about right triangles
as though they are claims about more than right triangles.
>
Definition usually expands,
>
The hypocrisyᴿꟳ of NOT expanding
  the definition of right triangle ABC
  to encompass triangles without right angles
leaves it NOT wrong that
a segment CH from right angle C
  perpendicular to and meeting side AB at H
makes two more triangles ACH BCH,
  which are both similar to ABC
  which, as similar triangles,
  have corresponding sides in the same ratio
so that
A͞H/A͞C = A͞C/A͞B
H͞B/B͞C = B͞C/A͞B
(A͞H+H͞B)⋅A͞B = A͞C² +B͞C²
and
  A͞B² = A͞C² + B͞C²  is NOT wrong.
>
hypocrisy is bad.
>
If it is, then it isn't for making things wrong,
  which is something hypocrisyᴿꟳ
  (not.talking about outside the domain)
doesn't do.
>
>
There is no "outside" the universe.
Anything else, there is.
For a while we were having a discussion about Pythagorean Triples,
which are integer tuples that happen to be side lengths of right
triangles. The discussion then got into _completions_, that
just like the least-upper-bound not existing in rationals,
yet it's built out to be and usually with an axiomatization
for field-reals then that line-reals have their own trivial sort,
that courtesy unique prime factorization that for right triangles
with side lengths that aren't integer or rational with respect
to each other, there's a sequence of Pythagorean triples that
goes to it.
That it, ..., "goes to".
Whence you might consider our discussion on Pythagorean triples,
and these sequences of them that attain to right triangles of
not-necessarily integer proportion, then also you might recall,
there was the discussion of equi-lateral triangles, and that
un-hinging them and making them their epi-cycles as it were,
that equi-lateral triangles draw sine and cosine which is the
usual role of right triangles, so, all the properties so
accordingly, can be written altogether in terms of equi-lateral
triangles besides these right triangles.
So, that right-triangles and equi-lateral-triangles somehow concur,
isn't that as a fact that it's an emergent property of a proper
deconstruction of them either, both, together?
Also there was the "very-tall-triangles" bit.
It sort of seems the straw-man of you to say I'm disputing Pythagoras
when all I did was point out that Russell was more-or-less lying to you.
Then, if you recall, it was, "Pick one. Ha, I put them together,
you get both or none". Which was it?
It was "anti-diagonal and only-diagonal".

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 Cardinality63WM
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 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