Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| 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
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.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Halting problem proofs refuted (Flibble Signaling Decider) Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-09-24 13:45 +0100
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--] Richard Damon <Richard@Damon-Family.org> - 2022-09-24 09:39 -0400
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-09-24 18:02 +0100
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] olcott <polcott2@gmail.com> - 2022-09-24 12:18 -0500
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] Richard Damon <Richard@Damon-Family.org> - 2022-09-24 13:33 -0400
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] olcott <polcott2@gmail.com> - 2022-09-24 12:46 -0500
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] Richard Damon <Richard@Damon-Family.org> - 2022-09-24 13:49 -0400
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] olcott <none-ya@beez-waxes.com> - 2022-09-24 13:15 -0500
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] Richard Damon <Richard@Damon-Family.org> - 2022-09-24 14:33 -0400
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] olcott <polcott2@gmail.com> - 2022-09-24 13:40 -0500
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] Richard Damon <Richard@Damon-Family.org> - 2022-09-24 15:02 -0400
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] Richard Damon <Richard@Damon-Family.org> - 2022-09-24 15:08 -0400
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] olcott <polcott2@gmail.com> - 2022-09-24 15:04 -0500
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] Richard Damon <Richard@Damon-Family.org> - 2022-09-24 16:39 -0400
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] olcott <polcott2@gmail.com> - 2022-09-24 16:31 -0500
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] Richard Damon <Richard@Damon-Family.org> - 2022-09-24 17:55 -0400
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-09-24 20:10 +0100
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] olcott <polcott2@gmail.com> - 2022-09-24 15:05 -0500
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-09-24 21:39 +0100
Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-09-24 20:19 +0100
Re: Halting problem proofs refuted (Flibble Signaling Decider) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-09-25 02:50 +0100
Re: Halting problem proofs refuted (Flibble Signaling Decider) Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2022-09-26 13:09 -0700
Re: Halting problem proofs refuted (Flibble Signaling Decider) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-09-26 21:19 +0100
csiph-web