Deutsch English Français Italiano |
<bujhfRmCrhbrenSju9nN_R0bHhY@jntp> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!weretis.net!feeder8.news.weretis.net!pasdenom.info!from-devjntp Message-ID: <bujhfRmCrhbrenSju9nN_R0bHhY@jntp> JNTP-Route: news2.nemoweb.net JNTP-DataType: Article Subject: Re: Replacement of Cardinality References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp> <c4bbc4d3-26b3-4e53-9c82-87c8396d155d@att.net> <UxK9-w52mbKHJ77U1V4M6I24HeY@jntp> <c8abcebe-b826-45de-8507-71521bf2d6a7@att.net> <v9vune$2unef$1@dont-email.me> <b476ed29-d093-47ac-b16d-a64ee620e79b@att.net> <J3NuQSpglS65L-_3eT5X2z97Eqg@jntp> <b660a922-3af8-4224-9c66-a750f48ec63b@att.net> <U8YVSGphNHvTenas6IC_7SR22wU@jntp> <c932d780-b3ea-499f-b59f-c0fe2e0b7552@att.net> Newsgroups: sci.logic,sci.math JNTP-HashClient: a_nwVG3ZNzrbp1rQmVVAj3ZIeMY JNTP-ThreadID: KFm3f7lT2HjaTSiMfnv5xqZoSBw JNTP-Uri: http://news2.nemoweb.net/?DataID=bujhfRmCrhbrenSju9nN_R0bHhY@jntp User-Agent: Nemo/0.999a JNTP-OriginServer: news2.nemoweb.net Date: Thu, 22 Aug 24 11:17:25 +0000 Organization: Nemoweb JNTP-Browser: Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/127.0.0.0 Safari/537.36 Injection-Info: news2.nemoweb.net; posting-host="82b75c1d0a83e677ff646b52485f72f8b23749df"; logging-data="2024-08-22T11:17:25Z/8996254"; posting-account="217@news2.nemoweb.net"; mail-complaints-to="julien.arlandis@gmail.com" JNTP-ProtocolVersion: 0.21.1 JNTP-Server: PhpNemoServer/0.94.5 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-JNTP-JsonNewsGateway: 0.96 From: WM <wolfgang.mueckenheim@tha.de> Bytes: 2766 Lines: 34 Le 21/08/2024 à 20:20, Jim Burns a écrit : > On 8/21/2024 6:43 AM, WM wrote: >> Le 20/08/2024 à 22:05, Jim Burns a écrit : > >>> No min.⅟ℕᵈᵉᶠ exists. >> >> The reason is potential infinity. > > Is potentialᵂᴹ.infinity mathematicsᵂᴹ? All of classical mathematics is embedded into potential infinity. > > Judging from your edicts on this topic, > the answer looks to be both 'yes' and 'no'. I am interested in actual infinity. We cannot prove its existence but only apply logic like this: If a complete chain exists which does not continue into the negative, then it ends before. Either at one or at more members. The latter is excluded by ∀n ∈ ℕ: 1/n - 1/(n+1) > 0 . > > > We are agreed, though, that > no min.⅟ℕᵈᵉᶠ exists. Of course. After each one there will appear more. Choose the smallest one you can, recognize that there are many more following. > > It follows that ⅟ℕᵈᵉᶠ has properties that > the unit.fractionsᵈᵉᶠ > x > 0 > don't have. There is no set ℕᵈᵉᶠ because of lacking completeness. Sets of set theory are complete. Regards, WM