Path: ...!Xl.tags.giganews.com!local-1.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Thu, 31 Oct 2024 01:04:25 +0000
Subject: Re: How many different unit fractions are lessorequal than all unit
 fractions? (infinitary)
Newsgroups: sci.math
References: <vb4rde$22fb4$2@solani.org>
 <d316baa3-de5b-4644-86ff-beacad9df107@att.net> <vfd97u$2jtos$1@dont-email.me>
 <276fc9df-619b-4a10-b414-a04a74aa7378@att.net> <vfe5d5$2olom$1@dont-email.me>
 <88e6a631-417a-4dd0-9443-a57116dcbd28@att.net> <vfg07k$1chpe$1@solani.org>
 <7a1e34df-ffee-4d30-ae8c-2af5bcb1d932@att.net> <vfgil3$38pn6$1@dont-email.me>
 <6a90a2e2-a4fa-4a8d-83e9-2e451fa8dd51@att.net> <vfgqoc$39o4h$2@dont-email.me>
 <acd4aad3-9447-45a9-bafd-f8b93d781827@att.net> <vfj3v0$1e96h$2@solani.org>
 <vflnoq$l02$1@news.muc.de> <vfloff$1fpr2$1@solani.org>
 <vflrt7$h190$3@dont-email.me> <vfnp4e$unin$3@dont-email.me>
 <vfns3o$3r5kq$4@i2pn2.org> <vfoq77$14lcd$5@dont-email.me>
 <vfq6rb$3v4c4$4@i2pn2.org> <vfq7hj$1fqil$3@dont-email.me>
 <c388920e-e951-4b06-a8fc-0eb3e6ea7989@att.net> <vftjeq$26ql1$1@dont-email.me>
 <f19c53f7-2509-4f84-8b1e-c42354aa06b5@att.net> <vfu2vd$29m4j$3@dont-email.me>
 <7def94cc-4a51-4305-8e62-0c5b5f5a6b0a@att.net>
From: Ross Finlayson <ross.a.finlayson@gmail.com>
Date: Wed, 30 Oct 2024 18:04:26 -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: <7def94cc-4a51-4305-8e62-0c5b5f5a6b0a@att.net>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <F_ucnbN8Td4ESr_6nZ2dnZfqnPqdnZ2d@giganews.com>
Lines: 69
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-tAJGHk7O89MPOA/JLz9aczTz9clBdtoQ45MM8+ZghykbBOIzhgrWY63/AtM2Dn+YGZ3PJOSpJ7mWN8U!BjYkbWkqxpUyTm6nyCZ0k4wtCZQSoK2LNrpQz17iX6We6NwR5KwzXf5f4CHiZPxZ5ceTh/I+z9Mf!vg==
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: 4561

On 10/30/2024 05:14 PM, Jim Burns wrote:
> On 10/30/2024 3:55 PM, WM wrote:
>> On 30.10.2024 18:05, Jim Burns wrote:
>
>>> ∀ᴿx > 0: ∀n ∈ ℕ: ⅟⌈n+⅟x⌉ ∈ ⅟ℕ∩(0,x]
>>>
>>> ∀ᴿx > 0: NUF(x) = |ℕ|
>>
>> Is ∀n ∈ ℕ: 1/n - 1/(n+1) > 0 wrong?
>
> Neither
>   ∀n ∈ ℕ: 1/n - 1/(n+1) > 0
> nor
>   ∀ᴿx > 0: ∀n ∈ ℕ: ⅟⌈n+⅟x⌉ ∈ ⅟ℕ∩(0,x]
> is wrong.
>
>

That's Archimedean alright.

These days perhaps you've heard of non-Archimedean,
and not only useless is well-meaning yet saying-nothing
extensions yet actually non-standard countable and
this kind of thing, where of course it's so that
Archimedean usually enough means super-Archimedean.

Archimedes would be proud.


Then here for example there's that Aristotle identifies
the concerns of Eudoxus, infinite-divisibility, and
those of Democritus, atomism, then for what's Aristotlean
goes the way of Eudoxus if merely for not being vacuous,
yet the super-Aristotlean is where's the super-Archimedean.

Here thusly it's: "infinitary".

Then, for how to explain Nyquist and Shannon and signal
theory and information theory, and, Fourier series the
derivation, and, Dirichlet function, I'm not quite sure
where in the classical that is, super-classical that being.

Yet, the derivations what arrive at it are as of the
sorts of double-reductio or reductio-reductio, according
to the language of limits and all things equal, and
particularly the completions.


To refer to a "scalar infinity" as "cardinality of naturals"
is a sort of foolish thing, because cardinality is _counts_
and the scalar is _numbering_. The counting's usually enough
matching according to a schema, the other's issuing unique
identifiers. While that is so, it's also so that there's a
usual consideration about inductive arguments in the limit
that's forgotten or never understood, to the effect that
not only does there exist a larger input closer, that there
exists a much, much larger input that's no distant, the limit.

The infinite limit, ....

Use the language of infinite limit, then all inductive followers
have nothing to do but follow, then though as with regards to
things like counterexamples in convergence and so on, and
the non-standard, that's for deductive analysis in the greater
space, sometimes these days attributed to Ramsey or Birkhoff.

Or me, ....