Path: ...!news.misty.com!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Copyright for "simulating halt decider" by Olcott for many years
Date: Sun, 2 Mar 2025 16:11:30 -0500
Organization: i2pn2 (i2pn.org)
Message-ID: <bf94b348853f4f8e6b0aebe4455f1dd7ea0b752b@i2pn2.org>
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, 2 Mar 2025 21:11:30 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2552192"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <vq24r7$ru20$5@dont-email.me>
Bytes: 3137
Lines: 43

On 3/2/25 12:34 PM, olcott wrote:
> On 3/2/2025 11:17 AM, Richard Heathfield wrote:
>> On 02/03/2025 14:18, olcott wrote:
>>> On 3/2/2025 3:44 AM, Mikko wrote:
>>>> On 2025-03-02 07:45:26 +0000, joes said:
>>>>
>>>>> Am Sun, 02 Mar 2025 02:28:14 +0000 schrieb Mr Flibble:
>>>>>> Stop stealing my idea: it is Copyright 2022 Mr Flibble.
>>>>> May I note that useless or wrong ideas are not patentable.
>>>>
>>>> No patent was claimed, only copyright. But copyright does not 
>>>> protect ideas,
>>>> only particular presentations of those ideas, to some extent.
>>>>
>>>
>>> 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.
> 

Nope, the idea that you can use simulation to detect some forms of 
infinite behavior is ancient, I studied it in the 70's. Look up the 
method of detecting infinite loops by using two emulators, one running 
at twice the instruction rate of the other. This has been know as a way 
to detect that a given machine has reached a repeated state.