Path: ...!Xl.tags.giganews.com!local-4.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail NNTP-Posting-Date: Fri, 29 Nov 2024 19:07:52 +0000 Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers ("cardinoids") Newsgroups: sci.math References: <0d6d06a888e15ed2042aca8ec7e6ebb93590b7bc@i2pn2.org> <8a2aedd8383a84ceef2fd985ac0bf529e2a0eccf@i2pn2.org> <3fe6ef31f562e0ddf598de46cf864986ca909687@i2pn2.org> <9cb8aec671200bb6d71582fd607b876b7ec4c83a@i2pn2.org> <40292abc147fee5a7bdd264b69d34ddf2061e59d@i2pn2.org> <0bc3cdc8c096bba16decd94ad2af85d35da9b7b4@i2pn2.org> <9896cb31-806b-40a2-a03e-dc4aea744d04@att.net> <298a18e0-a0c6-4db2-901d-da255ecace0b@tha.de> <0b2e9a84-f5b3-4f02-8f78-7781da9175af@att.net> From: Ross Finlayson Date: Fri, 29 Nov 2024 11:07:54 -0800 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: <0b2e9a84-f5b3-4f02-8f78-7781da9175af@att.net> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Message-ID: Lines: 123 X-Usenet-Provider: http://www.giganews.com X-Trace: sv3-cVkgG91DHMiox33gI9yQuM2iStl5XyPdR1pAORLbJU/MHaTS8iqTIh/nWv2urxl/BzGSP2gxhGO1UtL!jUnbN4XfLqH99inTCnq/8MOQ7FqCLTXNP7xnSBpKNhXP0FHn1ztBFyVmo8qNPDbQ3/T8GJKu0DdV!rA== 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: 6362 On 11/29/2024 10:08 AM, Jim Burns wrote: > On 11/27/2024 4:33 PM, WM wrote: >> On 27.11.2024 20:47, Jim Burns wrote: > >>> Finite cardinals can change by 1 >>> The cardinal |ℕᶠⁱⁿ| cannot change by 1 >> >> Small wonder. >> Fuzzy properties like "many" cannot change by 1. > > ⎛ ℕᶠⁱⁿ is the set of finite cardinals. > ⎜ Bob is not a cardinal. > ⎜ > ⎜ ∀ᶜᵃʳᵈξ: ξ ∈ ℕᶠⁱⁿ ⇔ > ⎜ ⟦0,ξ⦆∪{Bob} ≠ ⟦0,ξ⟧ ∧ |⟦0,ξ⦆∪{Bob}| ≠ |⟦0,ξ⟧| > ⎜ > ⎝ ℕᶠⁱⁿ∪{Bob} ≠ ℕᶠⁱⁿ ∧ |ℕᶠⁱⁿ∪{Bob}| = |ℕᶠⁱⁿ| > >>> Yes, >>> the sets can change membership by 1 >>> However, >>> the cardinalities of those sets cannot change by 1 >> >> This proves that cardinality is a fuzzy property. > > The whole ℕᶠⁱⁿ×ℕᶠⁱⁿ matrix can fit in > its first column ℕᶠⁱⁿ×{0} > > ⎛ ℕᶠⁱⁿ×ℕᶠⁱⁿ ⇉ ℕᶠⁱⁿ×{0} ⇉ ℕᶠⁱⁿ×ℕᶠⁱⁿ > ⎜ ⟨i,j⟩ ↦ ⟨n,0⟩ ↦ ⟨i,j⟩ > ⎜ n = (i+j)⋅(i+j+1)/2+j > ⎜ (i+j) = ⌊(2⋅n+¼)¹ᐟ²-½⌋ > ⎜ j = n-(i+j)⋅((i+j)+1)/2 > ⎝ i = (i+j)-j > > The fuzzy cardinality property > predicts that it can. > Your crisp cardinoid property > predicts otherwise > and is incorrect. > > After all the swaps > (of which no swap is a change in cardinality) > what remains is a proper subset > (which is not a change in cardinality). > > 'Bye, Bob. > >> This proves that cardinality is a fuzzy property. > > ⎛ > ⎜ An hungry Fox with fierce attack > ⎜ Sprang on a Vine, but tumbled back, > ⎜ Nor could attain the point in view, > ⎜ So near the sky the bunches grew. > ⎜ As he went off, "They're scurvy stuff," > ⎜ Says he, "and not half ripe enough-- > ⎜ And I 've more rev'rence for my tripes > ⎜ Than to torment them with the gripes." > ⎜ For those this tale is very pat > ⎜ Who lessen what they can't come at. > ⎝ > http://mythfolklore.net/aesopica/phaedrus/43.htm > > Hmm, "fuzzy cardinals" and "crisp cardinoids", ..., those are new ones. Reading Copleston the other day, who once debated Russell on a broadcast and got Russell to admit that he was an agnostic about teleology when confronted by philosophers yet that Russell was irreligious because Russell though that usual people were stupid, sort of expressing his hypocrisy and inconstancy, anyways reading Volume IV "From DesCartes to Leibniz", there are some great quotes from Leibniz. "I am so much in favour of the actual infinite that instead of admitting that Nature abhors it, as is commonly said, I hold that it affects it everywhere in order better to work the perfections ...". -- Leibniz Then that's given to some sort of "perfection principle" yet here it's given an account why it simply follows from "principle of sufficient reason". "At first, when I had freed myself from the yoke of Aristotle, I occupied myself with consideration of the void and atoms." -- Leibniz A usual greater account of Aristotle of course has that he weighs atoms, and that there's Aristotle-linear and Aristotle-circular, and greater Aristotle, that Leibniz there reflects on a half-account of Aristotle. So anyways, I know there was some mention of "super-cardinals" here the other day, like "the cardinal of '1' the cardinal", yet, what is one to make of, "cardinoids" or furthermore "crisp cardinoids"? Given that "futzy cardinals" are just "don't demand how it's done just do it", vis-a-vis, "no can do". The idea that '1' the cardinal has the greatest cardinal, has also the idea that the sets with about half the elements in the universe have the greatest cardinals, these sorts of super-cardinals, that start twice, about the universe of set theory. Anyways your cardinoids seem pretty much about after "pair-wise swaps in a full Hilbert hotel", and your futzy cardinals about "infinite-union, the illative, the univalency", which are, _not_ usually considered part of "set theory", because, from that can be derived contradictions, in ordinary set theory.