Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--]

From	olcott <polcott2@gmail.com>
Newsgroups	comp.theory, sci.logic, comp.lang.c++, comp.lang.c
Subject	Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--]
Followup-To	comp.theory
Date	2022-09-24 12:46 -0500
Organization	A noiseless patient Spider
Message-ID	<tgnfpd$317ai$2@dont-email.me> (permalink)
References	<20220924134516.000059d9@reddwarf.jmc.corp> <tgn0od$2vu66$1@dont-email.me> <20220924180204.00000c2b@reddwarf.jmc.corp>

Cross-posted to 4 groups.

Followups directed to: comp.theory

Show all headers | View raw

On 9/24/2022 12:02 PM, Mr Flibble wrote:
> On Sat, 24 Sep 2022 08:29:47 -0500
> olcott <polcott2@gmail.com> wrote:
> 
>> On 9/24/2022 7:45 AM, Mr Flibble wrote:
>>> Hi!
>>>
>>> (N.B. I will continue to boast about this important original
>>> solution to the halting problem until all of you stop engaging with
>>> Olcott and his non-solution to the halting problem.)
>> If my rebuttal to the halting problem proofs was incorrect then at
>> least one person could correctly point out an error. So far no one
>> has done that. Many people did point out their own false assumptions
>> though.
>>
>>> I have an idea for a signaling simulating halt decider that forks
>>> the simulation into two branches if the input calls the halt
>>> decider as per [Strachey 1965]'s "Impossible Program":
>>>
>>> void P(void (*x)())
>>> {
>>> 	if (H(x, x))
>>> 		infinite_loop: goto infinite_loop;
>>> 	return;
>>> }


*Here is a copy of my function dating back before any of your versions*

On 4/15/2022 1:33 PM, olcott wrote:
 > void P(u32 x)
 > {
 >    if (H(x, x)) //
 >      HERE: goto HERE;
 > }

(a) Three of the names are identical.
(b) The structure is identical.
(c) You added the same "return" instruction that I added.
(d) You converted the u32 x parameter to void function pointer as I have.

You copied my work verbatim, then applied the exact same adaptations to 
my work that I applied, and only changed the name of the loop.

*A court of law would construe this as copyright violation*
*Cease and desist violating my copyright*

-- 
Copyright 2022 Pete Olcott "Talent hits a target no one else can hit;
Genius hits a target no one else can see." Arthur Schopenhauer

Back to comp.lang.c++ | Previous | Next — Previous in thread | Find similar | Unroll thread

Thread

Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] olcott <polcott2@gmail.com> - 2022-09-24 08:29 -0500
  Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] olcott <polcott2@gmail.com> - 2022-09-24 12:46 -0500

csiph-web