Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Julio Di Egidio <julio@diegidio.name>
Newsgroups: sci.math
Subject: Re: All infinities are countable in ordinary mathematics
Date: Tue, 6 May 2025 03:12:42 +0200
Organization: A noiseless patient Spider
Lines: 16
Message-ID: <vvbnmb$hkem$2@dont-email.me>
References: <vv7pv6$1rksi$1@dont-email.me>
 <oW6dnZu6VryWGIr1nZ2dnZfqnPednZ2d@giganews.com>
 <vv864c$1rksi$2@dont-email.me>
 <osqcnQQlLpd_LYr1nZ2dnZfqn_ednZ2d@giganews.com>
 <vv8etv$1rksi$3@dont-email.me>
 <3S-dnddWM4DLW4r1nZ2dnZfqn_ednZ2d@giganews.com>
 <vv8qv1$1rksi$4@dont-email.me>
 <DtGcnUIqYq65nIX1nZ2dnZfqnPqdnZ2d@giganews.com>
 <vv92bl$1rksj$1@dont-email.me> <vv92t3$1rksi$5@dont-email.me>
 <YY6cnTlzA-Ti3IX1nZ2dnZfqnPidnZ2d@giganews.com> <vvbj8k$hkem$1@dont-email.me>
 <HEadnb9qIcNtwoT1nZ2dnZfqnPidnZ2d@giganews.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 06 May 2025 03:12:43 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="5bd6e37139f1e180703fb6e93d24bc3f";
	logging-data="578006"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/s01hsLKJ9m5TRH/9sMnUsxeLBaYA7/CU="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:RhUFMAhfVNr3uMRx3E8toNPqK88=
Content-Language: en-GB, it
In-Reply-To: <HEadnb9qIcNtwoT1nZ2dnZfqnPidnZ2d@giganews.com>

On 06/05/2025 03:03, Ross Finlayson wrote:
> On 05/05/2025 04:57 PM, Julio Di Egidio wrote:

>> 1) Diagonal arguments can be proved constructively
>> 2) the connection to uncountability is not immediate
> 
> Au contraire, uncountability arguments are non-constructive

The new world: cannot reason in plain English.

Get the fuck out of here, get a real job for a change.

*Plonk*

Julio