Path: ...!weretis.net!feeder8.news.weretis.net!news.mixmin.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: comp.theory
Subject: Re: Simulating termination analyzers by dummies --- criteria is met
Date: Mon, 24 Jun 2024 20:27:55 -0000 (UTC)
Organization: muc.de e.V.
Message-ID: <v5cksb$1mtc$1@news.muc.de>
References: <v4oaqu$f9p5$1@dont-email.me>   <v50ena$2ecrp$1@dont-email.me> <v50fcc$2efr5$1@dont-email.me> <v51gli$2kgr3$1@dont-email.me> <v51hgt$2kigj$1@dont-email.me> <v5393g$3286d$3@dont-email.me> <v53ul0$35vak$5@dont-email.me> <v560kp$3lqrq$2@dont-email.me> <v56i4t$3or0r$2@dont-email.me> <v56jfu$onl3$4@i2pn2.org> <v56m2g$3or0r$8@dont-email.me> <v58ki1$8e51$1@dont-email.me> <v59726$bko6$2@dont-email.me> <v5b6rj$qq4o$1@dont-email.me> <v5btcg$v0vb$3@dont-email.me> <v5cip4$10816$3@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Injection-Date: Mon, 24 Jun 2024 20:27:55 -0000 (UTC)
Injection-Info: news.muc.de; posting-host="news.muc.de:2001:608:1000::2";
	logging-data="56236"; mail-complaints-to="news-admin@muc.de"
User-Agent: tin/2.6.3-20231224 ("Banff") (FreeBSD/14.0-RELEASE-p5 (amd64))
Bytes: 2032
Lines: 21

joes <noreply@example.com> wrote:

[ .... ]

> --=20
> Man kann mit dunklen Zahlen nicht rechnen. F=C3=BCr die eigentliche Mat=
hematik=20
> sind sie vollkommen nutzlos. --Wolfgang M=C3=BCckenheim

Or, in English, "You can't do arithmetic with dark numbers.  For actual
mathematics, they're completely useless.".

Wolfgang M=C3=BCckenheim is a crank in sci.math and de.sci.mathematik, on=
e of
the few remaining ones after Google shut down their Usenet servers in
February.  He insists on the existence of something he calls "dark
numbers" and gives crank-like justifications for them, which do not hold
up under more robust questioning.

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