Path: ...!Xl.tags.giganews.com!local-1.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Sat, 17 Aug 2024 02:28:17 +0000
Subject: Re: Replacement of Cardinality (infinite middle)
Newsgroups: sci.logic,sci.math
References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp>
 <DDPks1ynTy6IhIWNHaxt25GM1v0@jntp>
 <c1f0efc8-04ca-4f2d-9820-cfd54c0eca73@att.net> <v90rp5$3dbpd$1@dont-email.me>
 <L8Pl0ELcnLfKVO0KrMmhSqDd-Y0@jntp> <v926ot$3tjq6$1@dont-email.me>
 <PbydnQO1H-qe_yj7nZ2dnZfqnPqdnZ2d@giganews.com> <v98ppi$ue8i$1@dont-email.me>
 <v98qeo$ul4c$1@dont-email.me> <v98qm3$ue8i$4@dont-email.me>
 <v98rnd$uuqh$1@dont-email.me> <v9926l$102t7$1@dont-email.me>
 <v993ip$10cor$1@dont-email.me> <v99e6j$1etn8$1@dont-email.me>
 <v9anp7$2o5mp$2@dont-email.me>
 <ad6dnanB9ZgbYyX7nZ2dnZfqnPSdnZ2d@giganews.com>
 <5f795e1a-346b-43f7-a2d2-7844591f5296@att.net>
 <-oGdnWXm-ZVn1iT7nZ2dnZfqn_ednZ2d@giganews.com>
 <11887364-602b-4496-8f37-aa6ec7d9f69c@att.net>
 <CQ2dnbEy6NxK6if7nZ2dnZfqn_adnZ2d@giganews.com>
 <2ce53910-5bb0-4ebd-805b-dccc0b21dc13@att.net>
 <u6Cdnbt99Z8lNSf7nZ2dnZfqn_GdnZ2d@giganews.com>
 <30967b25-6a7e-4a67-a45a-99f5f2107b74@att.net>
 <wdScnSnh-eTlnyH7nZ2dnZfqn_qdnZ2d@giganews.com>
 <58c50fcb-41ea-4ac3-9791-81dafd4b7a59@att.net>
From: Ross Finlayson <ross.a.finlayson@gmail.com>
Date: Fri, 16 Aug 2024 19:28:22 -0700
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.6.0
MIME-Version: 1.0
In-Reply-To: <58c50fcb-41ea-4ac3-9791-81dafd4b7a59@att.net>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <Z1qdnZK14ptcl137nZ2dnZfqn_ednZ2d@giganews.com>
Lines: 73
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-RiJ2eRIzqeQyNuwTjCsxH7jtyV9z1ilWVC2pKFYZdyitTpz2d9KwpnILjB8+GRG2okNYBRzIgZwI67P!1IThToKxX+4/wl3Gqlf1pJC5RD6OOHbKdvTZ3vAjRY6e0R1qaGd0uQAfcEkAS/yESXIHlSuZI5yu
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
Bytes: 4463

On 08/13/2024 08:37 PM, Jim Burns wrote:
> On 8/13/2024 9:03 PM, Ross Finlayson wrote:
>> On 08/12/2024 09:25 PM, Jim Burns wrote:
>>> On 8/12/2024 8:28 PM, Ross Finlayson wrote:
>
>>>> It's like yesterday,
>>>> in this thread with the subject of it
>>>> talking about
>>>> "infinite in the middle and
>>>> always with both ends",
>>>
>>> I have just realized that
>>> I have been overlooking your "always".
>>>
>>> "ALWAYS with both ends" is finite.
>
>> If it's infinite in the middle
>
> If
> it's infinite in the middle and
> its non.{} subsets always have both ends,
> then
> it's not infinite in the middle.
>
>> then, the middle acts as the fixed-point,
>> thus augmenting automatically yon definition,
>> and suffering not this.
>>
>> Or, for example, it's a counter-example.
>
> Definitions do not have counter.examples.
> A four.sided triangle is not a counter.example.
> It is an incorrectly.identified non.triangle.
>
>

Hm. Thanks for your reply.

So, you seem to imply that the integers by your definition,
by simply assigning 1 and -1 to the beginning, then interleaving
them, and filling in as like a Pascal's Triangle of sorts,
or pyramidal numbers, that that's, not, infinite?

Or, the rationals in the usual assignment of assigning them
integer values and all the criss-crossing and from either
end, building in the middle, not, infinite?

(This was "fill out the rationals".)


The ideas of potential, practical, effective, actual, or,
potential, effective, practical, actual, infinity, show up
a lot for example in theories of atomism, like physics.
("Democritan".)


Consider one of the ideas of Cantor, or wherever he got it,
the idea that omega is a sort of fixed-point, and you know
it's a limit ordinal so has no immediate predecessor yet it's
an eventual successor of all the ordinals before it and in at
least one model contains them, so his idea was "counting backwards".

You just define omega as an initial ordinal and then all its
successors are just less, reversing the ordering, then zero
is a limit ordinal again, yet a fixed-point instead.


Putting those together, all of a sudden it's just another
example of a counterexample. Something you omitted for convenience
instead of clarity.