Path: ...!3.eu.feeder.erje.net!feeder.erje.net!news2.arglkargh.de!news.karotte.org!news.space.net!news.muc.de!.POSTED.news.muc.de!not-for-mail
From: Alan Mackenzie <acm@muc.de>
Newsgroups: sci.math
Subject: The non-existence of "dark numbers" [was: The existence of dark numbers proven by the thinned out harmonic series]
Date: Wed, 12 Mar 2025 12:12:19 -0000 (UTC)
Organization: muc.de e.V.
Message-ID: <vqrtn3$1uq5$1@news.muc.de>
References: <vqrbtd$1chb7$2@solani.org> <vqrn89$u9t$1@news.muc.de> <vqrp47$2gl70$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Injection-Date: Wed, 12 Mar 2025 12:12:19 -0000 (UTC)
Injection-Info: news.muc.de; posting-host="news.muc.de:2001:608:1000::2";
	logging-data="64325"; mail-complaints-to="news-admin@muc.de"
User-Agent: tin/2.6.4-20241224 ("Helmsdale") (FreeBSD/14.2-RELEASE-p1 (amd64))
Bytes: 2801
Lines: 48

WM <wolfgang.mueckenheim@tha.de> wrote:
> On 12.03.2025 11:22, Alan Mackenzie wrote:

>> Meaningless.  "Definable number" is itself undefined.

> Definition: A natural number is "named" or "addressed" or "identified"=20
> or "(individually) defined" or "instantiated" if it can be communicated=
,=20
> necessarily by a finite amount of information, in the sense of=20
> Poincar=C3=A9[1], such that sender and receiver understand the same and=
 can=20
> link it by a finite initial segment (1, 2, 3, ..., n) of natural number=
s=20
> to the origin 0. All other natural numbers are called dark natural numb=
ers.

This is bullshit.

>  Communication can occur
>  - by direct description in the unary system like ||||||| or as many=20
> beeps, raps, or flashes,
>  - by a finite initial segment of natural numbers (1, 2, 3, 4, 5, 6, 7)=
,
>  - 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".

Your "dark numbers" have no part in mathematics, don't exist, and can't
exist.  A proof, which I've given to you before, is as follows:

1. Assume that "dark numbers" exist.
2. Every non-empty set of natural numbers contains a least element.
3. The least element of the set of dark numbers, by its very
   definition, has been "named", "addressed", "defined", and
   "instantiated".
4. That least element is thus both a "dark number" and a "light number".
5. This is a contradiction.
6. Therefore the set of dark numbers must be empty.

Jim has supplied at least one other proof.

>  [1] "In my opinion a subject is only conceivable if it can be defined=20
> by a finite number of words."

> Regards, WM

--=20
Alan Mackenzie (Nuremberg, Germany).