| Deutsch English Français Italiano |
|
<va1rj5$3bmlr$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: news.eternal-september.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Mikko <mikko.levanto@iki.fi> Newsgroups: sci.logic Subject: Re: Replacement of Cardinality Date: Tue, 20 Aug 2024 13:36:21 +0300 Organization: - Lines: 29 Message-ID: <va1rj5$3bmlr$1@dont-email.me> References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp> <iqelfxYKWhBbwcm10DcO5hr3scI@jntp> <f920592b-897c-48b9-a9af-80f25bc60e4b@att.net> <DDPks1ynTy6IhIWNHaxt25GM1v0@jntp> <6c471296-90b8-4cf7-bc9b-480bd34ef190@att.net> <v93n0s$b7a2$4@dont-email.me> <1f25a3d6-7b0e-476d-aa99-ecb003cf763f@att.net> <b0XFTJvTommasLo9Ns10OeW0TN0@jntp> <75e2ce0e-7df8-4266-968b-9c58e4140b03@att.net> <RCAlRuRy_RKB_tYItKJs7fNcIs0@jntp> <35d8c0a1-dab3-4c15-8f24-068e8200cb07@att.net> <sglIw8p3PCeHivaAhg-7IVZCN4A@jntp> <fcd3f5f1-fd6e-44ac-823d-fa567d5fb9ba@att.net> <t_rVz7RU7M3aHZTB1TQJS59Ez0I@jntp> <45ad1007-b1a7-49d0-a650-048f02738226@att.net> <ZrUpfgO3RQL0qsj_ugH_ng035iM@jntp> <e51a19c8-9f22-43ec-a382-b93019b4ce1d@att.net> <Aj67svgBqlC6ubyAZ01SM3EN5mc@jntp> <9ef8dd8a-69be-44e2-bcf6-ea9c1fb30e21@att.net> <LHtSphVaxvF9i9lsFtvEfbB4PS8@jntp> <92189533-0c1f-4532-816f-564651cc8bf7@att.net> <zzRMVwrDvZCAHeIta8vMnBBxp8E@jntp> <155cdc8a628d47be1632791227bccf99425b1d5e@i2pn2.org> <en_fjxuLKegQPxOwdC8lXsKVbbI@jntp> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Tue, 20 Aug 2024 12:36:22 +0200 (CEST) Injection-Info: dont-email.me; posting-host="c68d48608550e7e7fabcc3f8200ba7d3"; logging-data="3529403"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/1DAVhhj6v//NAASIgOqIF" User-Agent: Unison/2.2 Cancel-Lock: sha1:rrSagtBC4O3tdI72j70kiAxIH9Q= On 2024-08-19 11:32:44 +0000, WM said: > Le 17/08/2024 à 16:29, Richard Damon a écrit : >> On 8/17/24 9:28 AM, WM wrote: >>> Le 16/08/2024 à 19:39, Jim Burns a écrit : >>> >>>> no element of ℕᵈᵉᶠ is its upper.end, >>>> because >>>> for each diminishable k >>>> diminishable k+1 disproves by counter.example >>>> that k is the upper.end of ℕᵈᵉᶠ >>> >>> SBZ(x) starts with 0 at 0 and increases, but at no point x it increases >>> by more than 1 because of >>> ∀n ∈ ℕ: 1/n - 1/(n+1) > 0. Therefore there is a smallest unit fractions >>> and vice versa a greatest natnumber. >>> What can't you understand? > >> But there is no point (>0) where it has a finite value, > > You can't see it and you are unable to derive it from mathematics. But > blindness is not an argument. Blindness is indeed much weeker than a proof but you may use it as an argument as long as you can't find anything better. -- Mikko