Halting problem proofs refuted (Flibble Signaling Decider)

From	Mr Flibble <flibble@reddwarf.jmc.corp>
Newsgroups	comp.theory
Subject	Halting problem proofs refuted (Flibble Signaling Decider)
Message-ID	<20220924134516.000059d9@reddwarf.jmc.corp> (permalink)
Organization	Jupiter Mining Corporation
Date	2022-09-24 13:45 +0100

Show all headers | View raw

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.)

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 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.

Back to comp.theory | Previous | Next — Next in thread | Find similar | Unroll thread

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