Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Mr Flibble <flibble@reddwarf.jmc.corp> |
|---|---|
| Newsgroups | comp.theory |
| Subject | Re: Halting problem proofs refuted (Flibble Signaling Decider) [--Flibble violates my copyright--] |
| Message-ID | <20220924201058.0000586a@reddwarf.jmc.corp> (permalink) |
| References | <20220924134516.000059d9@reddwarf.jmc.corp> <tgn0od$2vu66$1@dont-email.me> <20220924180204.00000c2b@reddwarf.jmc.corp> <tgnfpd$317ai$2@dont-email.me> |
| Organization | Jupiter Mining Corporation |
| Date | 2022-09-24 20:10 +0100 |
On Sat, 24 Sep 2022 12:46:20 -0500
olcott <polcott2@gmail.com> wrote:
> 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*
I haven't violated your copyright; also, you cannot copyright an idea.
/Flibble
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