Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com>
Newsgroups: sci.logic,sci.math
Subject: Re: Replacement of Cardinality
Date: Thu, 15 Aug 2024 16:35:27 -0700
Organization: A noiseless patient Spider
Lines: 24
Message-ID: <v9m3c0$14e6v$4@dont-email.me>
References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp>
 <75e2ce0e-7df8-4266-968b-9c58e4140b03@att.net>
 <RCAlRuRy_RKB_tYItKJs7fNcIs0@jntp>
 <35d8c0a1-dab3-4c15-8f24-068e8200cb07@att.net>
 <sglIw8p3PCeHivaAhg-7IVZCN4A@jntp>
 <c3b058c033321a59844da1fa46c5ac85a4b6566c@i2pn2.org>
 <mH8M1Rqfb7VYix0Wa0ZP-U89eG4@jntp>
 <4412ba58-855f-401d-9fd0-879d5cb50062@att.net>
 <CYrSgRVL0Y9qT9pbZDtRgAv0Juo@jntp>
 <219eed30-9918-4759-9b7e-826088fc91c9@att.net>
 <xisJXSuqF8w8nqMJNrXzPaSyU-4@jntp>
 <a2f6c659-4326-4cc6-b4df-0720ab07e61d@att.net> <v9lle5$12mrh$1@dont-email.me>
 <0aae40c7-1092-4b12-99dc-290aa5a94021@att.net> <v9m17l$14adh$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 16 Aug 2024 01:35:29 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="8b28403f99ffa92bcc2694c54178d92d";
	logging-data="1194207"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19edo4Ps3DydNShb3sL85knOsvcVLOyW+Y="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:6F5I8j3uIBYrqLS+LvzyIxd5baU=
Content-Language: en-US
In-Reply-To: <v9m17l$14adh$1@dont-email.me>
Bytes: 2504

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.