Path: ...!news.misty.com!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Andy Walker <anw@cuboid.co.uk>
Newsgroups: comp.theory
Subject: Re: Copyright for "simulating halt decider" by Olcott for many years
Date: Sun, 2 Mar 2025 20:40:55 +0000
Organization: Not very much
Lines: 41
Message-ID: <vq2fon$ntk1$1@dont-email.me>
References: <vptlfu$3st19$9@dont-email.me> <vpug3h$50td$1@dont-email.me>
 <vq06al$eljf$1@dont-email.me> <vq06ja$dfve$2@dont-email.me>
 <vq075c$eljf$3@dont-email.me> <vq08gi$f06n$1@dont-email.me>
 <vq0b4u$f3k3$4@dont-email.me> <vq0crn$fhth$2@dont-email.me>
 <vq0dl2$f3k3$10@dont-email.me> <3hg7sjhnq962dnkue9cg8ftccfbsf7rpfd@4ax.com>
 <fbc1c3d5507d1d175bdadbbfde51c10bdda1b437@i2pn2.org>
 <vq19ae$nkcf$1@dont-email.me> <vq1pbq$q7t4$1@dont-email.me>
 <vq23r8$s54f$1@dont-email.me> <vq24r7$ru20$5@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 02 Mar 2025 21:40:56 +0100 (CET)
Injection-Info: dont-email.me; posting-host="cd6910f726b69d23287bd202fe950081";
	logging-data="784001"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18kl0tbndJhQb+IXHDuLq/q"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:08TnsHtAv2pwe5BqfIW4QOVrmEU=
In-Reply-To: <vq24r7$ru20$5@dont-email.me>
Content-Language: en-GB
Bytes: 3641

On 02/03/2025 17:34, olcott wrote:
> On 3/2/2025 11:17 AM, Richard Heathfield wrote:
>> On 02/03/2025 14:18, olcott wrote:
[...]
>>> For example the term "simulating halt decider" and
>>> "simulating termination analyzer" have been copyrighted
>>> by me for many years.
>> No, they haven't. Copyright protects creative work, not word salad.
>>> I do this to establish academic
>>> credit for these underlying ideas.
>> If you want to do that, write a paper and copyright /that/.
> I have done that dozens of times.
> I have published every increment of the progression
> of these ideas on this forum since 2004.
> https://www.researchgate.net/publication/369971402_Simulating_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D
> A Google search of "simulating halt decider" proves that
> I am the originator. My earliest ideas are all in comp.theory.

	Hmm.  I have [several times in this group] previously referred
readers to

   http://www.cuboid.me.uk/anw/G12FCO/lect18.html

[start at the third paragraph], published in 1996, wherein is the proof
that a simulating halt decider can no more exist than any other halt
decider [though, to be fair, I called it an emulating HD rather than a
simulating HD].  I don't claim any great credit for this;  the ideas are
ancient history.  At best I can claim credit for writing them in a form
suitable for a lecture given to non-CS students.  There are a few i's and
t's to be dotted and crossed, which are left as an exercise [there are
severe limits to what can be explained to non-specialists in 50 mins or
so].  So I suspect that any attempt to claim copyright on any similar idea
is well and truly doomed, at least in Europe, unless done in a distinctive
font which is part of the claim.  But feel free to try.  Note that I have
copyright on that web page;  but I am happy for anyone to quote bits of it
for academic or non-commercial purposes.

-- 
Andy Walker, Nottingham.
    Andy's music pages: www.cuboid.me.uk/andy/Music
    Composer of the day: www.cuboid.me.uk/andy/Music/Composers/Dunhill