Path: ...!weretis.net!feeder9.news.weretis.net!feeder8.news.weretis.net!news.szaf.org!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,sci.logic
Subject: Re: Proving my 2004 claim that some decider/input pairs are incorrect questions
Followup-To: comp.theory
Date: Tue, 30 Apr 2024 10:37:28 -0000 (UTC)
Organization: muc.de e.V.
Message-ID: <v0qhl8$157k$1@news.muc.de>
References: <usppqv$b9av$2@dont-email.me> <v0p4qi$204cj$1@dont-email.me> <v0p5j8$206i3$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Injection-Date: Tue, 30 Apr 2024 10:37:28 -0000 (UTC)
Injection-Info: news.muc.de; posting-host="news.muc.de:2001:608:1000::2";
	logging-data="38132"; mail-complaints-to="news-admin@muc.de"
User-Agent: tin/2.6.3-20231224 ("Banff") (FreeBSD/14.0-RELEASE-p5 (amd64))
Bytes: 2862
Lines: 55

[ Followup-To: set ]

In comp.theory olcott <polcott333@gmail.com> wrote:
> On 4/29/2024 4:52 PM, Barb Knox wrote:
>> On 13/03/2024 03:45, olcott wrote:
>>> This is my 2004 work that proposes that the halting problem has
>>> an unsatisfiable specification thus asks an ill-formed question.

>> [SNIP]

>>> "Talent hits a target no one else can hit; Genius
>>> hits a target no one else can see." Arthur Schopenhauer=20

>> "Persistent willful ignorance hits a target that doesn't exist."=C2=A0=
 B Knox

>> "But the fact that some geniuses were laughed at does not imply that a=
ll=20
>> who are laughed at are geniuses.=C2=A0 They laughed at Columbus, they =
laughed=20
>> at Fulton, they laughed at the Wright brothers.=C2=A0 But they also la=
ughed=20
>> at Bozo the Clown."=C2=A0 Carl Sagan


> Baseless rhetoric noted.

Not at all baseless from anybody who's read (some of) your thousands of
posts to this newsgroup.

> E C R Hehner. *Objective and Subjective Specifications*
> WST Workshop on Termination, Oxford.  2018 July 18.
> See https://www.cs.toronto.edu/~hehner/OSS.pdf

> Bill Stoddart. *The Halting Paradox*
> 20 December 2017
> https://arxiv.org/abs/1906.05340
> arXiv:1906.05340 [cs.LO]

> I see you carefully analyzed the work of these two PhD computer science
> professors and concluded it was nonsense on the basis of your assumptio=
n
> that it must be nonsense.

That's a non-sequitur.  What is nonsense is most of what YOU have posted
here, and this has been pointed out to you time after time after time.
That's got nothing to do with what the two professors have written (which
may or may not be nonsense).

> --=20
> Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
> hits a target no one else can see." Arthur Schopenhauer

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