Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: WM Newsgroups: sci.logic Subject: Re: Simple enough for every reader? Date: Mon, 2 Jun 2025 13:36:27 +0200 Organization: A noiseless patient Spider Lines: 95 Message-ID: <101k2bp$38gjl$3@dont-email.me> References: <100a8ah$ekoh$1@dont-email.me> <87plg4yujh.fsf@bsb.me.uk> <100ho1d$272si$1@dont-email.me> <87ecwizrrj.fsf@bsb.me.uk> <100kbsj$2q30f$1@dont-email.me> <874ixbxy26.fsf@bsb.me.uk> <100s897$lkp7$1@dont-email.me> <87r00dv5s4.fsf@bsb.me.uk> <100ukdf$19g96$1@dont-email.me> <87ldqkura6.fsf@bsb.me.uk> <1011f3m$1uskr$1@dont-email.me> <871psbudqe.fsf@bsb.me.uk> <1014ade$2jasc$3@dont-email.me> <87jz61txrm.fsf@bsb.me.uk> <1017beq$39rdc$2@dont-email.me> <874ix4tg8m.fsf@bsb.me.uk> <1019qbq$3sv8u$1@dont-email.me> <877c1ysy5f.fsf@bsb.me.uk> <101ceht$gl20$1@dont-email.me> <871ps5sl4m.fsf@bsb.me.uk> <101f29k$14h5f$3@dont-email.me> <8734cirjml.fsf@bsb.me.uk> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Mon, 02 Jun 2025 13:36:25 +0200 (CEST) Injection-Info: dont-email.me; posting-host="e8fc3d7372fc17e809d80ba04498c65f"; logging-data="3424885"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18tcsczDaZToHmC0520QVt0plljAnHCANw=" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:5NyKTdffIJh9b+95B/qeyHejgFE= In-Reply-To: <8734cirjml.fsf@bsb.me.uk> Content-Language: en-US Bytes: 5635 On 02.06.2025 03:56, Ben Bacarisse wrote: > WM writes: > (AKA Dr. Wolfgang Mückenheim or Mueckenheim who teaches "Geschichte > des Unendlichen" and "Kleine Geschichte der Mathematik" at Technische > Hochschule Augsburg.) > >> On 31.05.2025 02:02, Ben Bacarisse wrote: >>> WM writes: >>> >>>> On 30.05.2025 03:08, Ben Bacarisse wrote: >>>>> WM writes: >>>> >>>>> I thought it might be something cumbersome and vague like that. I can't >>>>> even tell if this is a inductive collection, >>>> >>>> It is obvious and clear. Do you know a case where a natural number can be >>>> in it and cannot be in it? No. You can only curse. It is the same as >>>> Peano's set. If you can't understand blame it on yourself. >>> Can you prove it is an inductive set/collection? >> >> See my book. The set is defined by induction. > > You are losing the plot. Here is the definition you offered for the > "obvious and clear" idea of N_def: The following is the explanation of being definable. All numbers which ca be reached by induction are definable. To know this property is necessary in order to distinguish them from dark numbers. > >> Definition: A natural number is "identified" or (individually) "defined" or >> "instantiated" if it can be communicated such that sender and receiver >> understand the same and can link it by a finite initial segment to the >> origin 0. All other natural numbers are called dark natural numbers. >> >> Communication can occur >> - by direct description in the unary system like ||||||| or as many beeps, >> flashes, or raps, >> - by a finite initial segment of natural numbers (1, 2, 3, 4, 5, 6, 7) >> called a FISON, >> - as n-ary representation, for instance binary 111 or decimal 7, >> - by indirect description like "the number of colours of the rainbow", >> - by other words known to sender and receiver like "seven". > > But if you really want to talk more about your junk definition of N... > >> If n is in it, then also n+1 is in it. > > ... then you fail. Because that's true of all the M but not of N which > is an unspecified subset of them. It is clear that ℕ has the same properties as all the M because otherwise ℕ could be the empty set. Then the axioms would be void. Every intelligent reader would recognize that this cannot be the object of the paragraph. > I think it helps the reader to see your sleight of hand. I put it back > so they can see your switched from my talking about one definition -- > the waffle that obviously can't be used to prove anything Not by stupid or envious readers. All others can distinguish definable and undefinable numbers, and, by the FISON, can relate it to inductive construction. > So now we just have the problem that 1 is not provably in N as you > define it. You are wrong. >> You are a dishonest liar. > > Then just prove that 1 is in N as you define it. See above. >> ℕ is Cantor's infinite set. > > Surely that can't be right. I thought your book is about potential > infinity, not actual infinity. You pretended to be happy with your > incorrect definition because your intelligent readers would assume the > correct definition, but you don't want then to assume Cantor's infinite > set in your textbook, do you? The reason is clear: Not all natural numbers of Cantor's set can be individually defined: Since all natural numbers can be reduced to the empty set by subtracting them collectively, ℕ \ {1, 2, 3, ...} = { } they could also be reduced to the empty set by subtracting them individually - if this was possible. But then the well-order would force the existence of a last one. Contradiction. Therefore the bijection is only possible for the potentially infinite Peano-set ℕ_def. They cannot all be manipulated because every subtracted subset has successors. Regards, WM