Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Lawrence D'Oliveiro <ldo@nz.invalid>
Newsgroups: comp.theory
Subject: Re: Cantor Diagonal Proof
Date: Mon, 14 Apr 2025 04:36:05 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 7
Message-ID: <vti3bl$g4nu$3@dont-email.me>
References: <vt3dg5$1qj4p$1@dont-email.me>
	<4DcJP.430046$dBr6.129536@fx04.ams4> <vt3sc2$1qj4p$2@dont-email.me>
	<UwfJP.698937$Kb9a.268084@fx16.ams4> <vt49p7$1qj4p$4@dont-email.me>
	<90ecc0839cfe1fbb8bd5caf8735e37c1d7601916@i2pn2.org>
	<AavJP.2125083$gHk7.726222@fx17.ams4>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 14 Apr 2025 06:36:06 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="75f7350175aed44f50055e8af9725f33";
	logging-data="529150"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+bjjoiM1QUj4pS68IY/wdf"
User-Agent: Pan/0.162 (Pokrosvk)
Cancel-Lock: sha1:wWG0XzzKgzDGm/VYBMmaZmmNYP4=
Bytes: 1399

On Wed, 09 Apr 2025 14:07:28 GMT, Mr Flibble wrote:

> Also, if you like mathematical bullshit then you probably won't like the
> fact that negative zero doesn't exist: IEEE 754 has a defect because of
> this fact.

What is that “defect”, exactly?