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 08:29 -0500 |
| Organization | A noiseless patient Spider |
| Message-ID | <tgn0od$2vu66$1@dont-email.me> (permalink) |
| References | <20220924134516.000059d9@reddwarf.jmc.corp> |
Cross-posted to 4 groups.
Followups directed to: comp.theory
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;
> }
>
> int main()
> {
> std::cout << "Input halts: " << H(P, P) << std::endl;
> }
>
> When the simulator detects the call to H in P
This violates my copyright and would not work because you copied my idea
incorrectly. H could detect a call to itself in P that does not have P
as its input. This P could terminate normally.
> it forks the simulation
> into a non-halting branch (returning 0 to P) and a halting branch
> (returning 1 to P) and continues the simulation of these two branches
> in parallel.
>
> If the non-halting branch is determined to halt AND the halting branch
> is determined to not halt then pathology is detected and reported via
> a sNaP (signaling Not a Program) signal (analogous to IEEE 754's
> sNaN (signaling Not a Number) signal)
>
> If EITHER branch is determined to be correctly decided then that will
> be the decision of the halting decider.
>
> Crucially this scheme will handle (and correctly decide) the
> following case whereby the result of H is discarded by the input:
>
> void Px(void (*x)())
> {
> (void) H(x, x);
> return;
> }
>
> Obviously my idea necessitates extending the definition of a halt
> decider:
>
> 1) Decider decision is HALTS if input halts.
> 2) Decider decision is NON-HALTING if input does not halt.
> 3) Decider rejects pathological input as invalid by signaling sNaP.
>
> Thoughts? I am probably missing something obvious as my idea
> appears to refute [Strachey 1965] and associated HP proofs which
> great minds have mulled over for decades.
>
It violates my copyright and would not work because you copied my work
incorrectly.
--
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