Re: Copyright for "simulating halt decider" by Olcott for many years

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.