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

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