Path: ...!Xl.tags.giganews.com!local-4.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail NNTP-Posting-Date: Tue, 17 Sep 2024 02:53:43 +0000 Subject: Re: How many different unit fractions are lessorequal than all unit fractions? (constructive) Newsgroups: sci.math References: <4eab0882-4a5f-4848-a09b-485714912695@att.net> <75c9d649-d983-47fb-95e6-d2743b889481@att.net> <205758fd-bfcb-4bbf-9dd8-845cb3df8c4f@tha.de> <44111bb0-2d71-4714-8c0c-0fdd0a6d1355@att.net> <9pGdnUAZb9ReOEH7nZ2dnZfqn_GdnZ2d@giganews.com> <115eed3f-4e3d-4a2b-a4e7-6a1656341011@att.net> <8ea8940a-c293-43a8-bc48-6d058de4fb7c@att.net> <7SSdnQqZ070Qu0P7nZ2dnZfqnPQ05llq@giganews.com> <65505c67-55c9-4aa1-9e01-f2a5532dd5e8@att.net> <0210ad98-4f1c-4220-ba8b-4de775bf7efb@att.net> <8a23cbe5-e17e-42e4-a118-5e5256815a66@att.net> <7d999fa0-a0ef-402b-92c6-d39258e5ca63@att.net> From: Ross Finlayson Date: Mon, 16 Sep 2024 19:53:39 -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: <7d999fa0-a0ef-402b-92c6-d39258e5ca63@att.net> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Message-ID: Lines: 116 X-Usenet-Provider: http://www.giganews.com X-Trace: sv3-gidt4P/y+e6yusBqafEz2VXBM1KGeEfSd+7a2oFlQZ0obADHf93ZePP29vOUKj+v3Bkq4yXFyKByjYq!V/HO8fXChou+p3hbdazNKCwvRfbfbtKDOnrpm1FVHjqTE4im4916umzLL9imwjJVagnvwacqqsb6 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: 5870 On 09/12/2024 11:05 AM, Jim Burns wrote: > On 9/10/2024 8:24 PM, Ross Finlayson wrote: >> On 09/10/2024 02:21 AM, Jim Burns wrote: >>> On 9/9/2024 11:11 PM, Ross Finlayson wrote: >>>> On 09/09/2024 11:23 AM, Jim Burns wrote: >>>>> On 9/9/2024 12:59 PM, Ross Finlayson wrote: >>>>>> On 09/08/2024 09:59 PM, Jim Burns wrote: >>>>>>> On 9/8/2024 6:34 PM, Ross Finlayson wrote: > >>>>>>>> It's already been thoroughly elaborated and >>>>>>>> as attached to formalistic symbolry, >>>>>>>> that "Russell's thesis, of an antinomy" is that >>>>>>>> the set of >>>>>>>> the finite sets that don't contain themselves, >>>>>>>> exactly like the ordinals are mostly simply modeled to be, >>>>>>>> does and doesn't contain itself, >>> >>>>>>> I wonder what your own conscientious response >>>>>>> will be to the infiniteness of the set of >>>>>>> all finite non.self.membered sets. >>> >>>> To your question, "are the finites infinite", >>>> well yeah. >>> >>> It seems to me (JB) that >>> ⎛ >>> ⎜ Russell's thesis is that >>> ⎜ the set of >>> ⎜ the finite sets that don't contain themselves >>> ⎜ does and doesn't contain itself >>> ⎝ >>> is and is not what you (RF) are claiming. >> >> Oh, perhaps, maybe, in a sense, weighing alternatives, >> it's what I'm claiming is that it isn't and not is >> what BR Bertrand Russell is claiming. > > Bertrand Russel's set is > the set of all non.self.membered sets. > not the set of all _finite_ non.self.membered sets. > > If you intend to debate that, > it would be good to get it over and done with > instead of rushing past it > to what might be more interesting questions. > >> Of course, overgeneralization is generally unsound, > > Surely, > not all generalizations are over.generalizations. > > Consider > ⎛ Each nonempty set of ordinals > ⎝ holds a first element. > > Very general. Very true. We know it is because of > _what we mean_ by 'ordinal'. > > From such (not.over).generalizations > further (not.over).generalizations follow > -- in a not.first.false finite order -- > (not.over).generalizations which we didn't know, > but we do now, after having seen them in that order. > We call them 'theorems' and the order 'proofs'. > > For example, > ⎛ Each nonempty set of ordinals > ⎜ holds a first element. > ⎜ > ⎜ {α,β: α≠β} > ⎜ holds a first element, α or β > ⎜ α≠β ⇒ α<β ∨ β<α > ⎜ > ⎜ {α,β,γ: α<β, β<γ} > ⎜ holds a first element, not β and not γ > ⎜ α is its first element > ⎝ α<β ∧ β<γ ⇒ α<γ > > By definition, α≤α and ¬(α<α) > > (Not.over).generalizing, > the ordinals are linearly ordered. > > Consider an ordinal as > the set of all earlier ordinals. > β = {α:α<β} > > Because the ordinals are linearly ordered, > no ordinal is earlier than itself, > no ordinal is self.membered. > >> while there are absolutes in logic, >> and for example >> the unbounded and completions and closures in logic, >> which you make BR a dupe and dupe you to unfasten. >> >> Now, maybe this message will reach you or >> maybe it won't, ..., >> maybe it won't. > > Excuse this delay, where as with regards to why Russell's paradox applies to just a plain old inductive set when the merely-finite sets are all the sets in the theory after reverse mathematics before infinity's axiomatized, that the same telling blow that Russell used to submarine Frege is just declared gone away, is what it is. I.e., in ZF minus Infinity, comprehending the usual set of v.N. ordinals, results this. And Russell's like "I was never heeeeerre...".