Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: "Chris M. Thomasson" Newsgroups: sci.logic,sci.math Subject: Re: Replacement of Cardinality Date: Thu, 15 Aug 2024 17:50:21 -0700 Organization: A noiseless patient Spider Lines: 38 Message-ID: References: <75e2ce0e-7df8-4266-968b-9c58e4140b03@att.net> <35d8c0a1-dab3-4c15-8f24-068e8200cb07@att.net> <4412ba58-855f-401d-9fd0-879d5cb50062@att.net> <219eed30-9918-4759-9b7e-826088fc91c9@att.net> <0aae40c7-1092-4b12-99dc-290aa5a94021@att.net> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Fri, 16 Aug 2024 02:50:22 +0200 (CEST) Injection-Info: dont-email.me; posting-host="8b28403f99ffa92bcc2694c54178d92d"; logging-data="1211591"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/HMavdz+s8+ShYKs1s5C9gied4dLbtTuA=" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:HG50Lxac8z9pSN//k2ptNgqvnFg= In-Reply-To: Content-Language: en-US Bytes: 3066 On 8/15/2024 4:39 PM, Moebius wrote: > Am 16.08.2024 um 01:35 schrieb Chris M. Thomasson: >> On 8/15/2024 3:59 PM, Moebius wrote: >>> Am 16.08.2024 um 00:51 schrieb Jim Burns: >>>> On 8/15/2024 3:37 PM, Moebius wrote: >>>>> Am 15.08.2024 um 21:28 schrieb Jim Burns: >>>> >>>>>> Defining ⅟𝔊 to be the smallest unit fraction >>>>>> isn't a claim that ⅟𝔊 exists. >>>>> >>>>> You need an existence proof [...] >>>>> BEFORE stating a/the proper definition. >>>> >>>> Proving that [a unique] mimsy borogove exist[s] >>>> before defining [the] mimsy borogove >>>> seems like a pretty steep hill to climb. >>> >>> No mater what you think, in math we HAVE TO climb this hill, and we do. >>> >>>> That's a hill which I doubt we need to climb. >>> >>> Fuck you, asshole. Want't to be the the next crank in sci.math? >>> (After all the other cranks have left?) >> >> Wrt sqrt(2), afaict anytime we create a unit square, we have the >> sqrt(2) in all of its irrational infinite glory as a diagonal. > > Right. In the context of geometry (with real "distances"/lengths of line > segments). > Sometimes I wonder what WM is on, if anything at all... As if, on purpose? He has to know better, right? Wrt teaching students!? WM is not on this, right? https://youtu.be/p-2fd-eUUf8?list=PLK3M3YfeucQnOu_Ro044ygziNnjw9DFBe