Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract]

From	Mr Flibble <flibble@reddwarf.jmc.corp>
Newsgroups	comp.theory
Subject	Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract]
Message-ID	<20221105170547.00001219@reddwarf.jmc.corp> (permalink)
References	<tk37sm$1r6u0$1@dont-email.me> <tk5t20$2gmsn$1@dont-email.me>
Organization	Jupiter Mining Corporation
Date	2022-11-05 17:05 +0000

Show all headers | View raw

On Sat, 5 Nov 2022 09:47:27 -0500
olcott <polcott2@gmail.com> wrote:

> The novel concept of a simulating halt decider enables C function H
> to correctly determine the halt status of C function D that
> implements the halting theorem's "impossible" input. When D is
> correctly simulated by H it remains stuck in recursive simulation
> until H aborts this simulation. D cannot do the opposite of the
> return value from H because this return value is unreachable by every
> simulated D. This same result is derived in Turing machine based
> proofs.
> 
> On 11/4/2022 9:33 AM, olcott wrote:
> > Can you see that simulating halt decider H correctly determines the
> > halt status of the halting problem's "impossible" input D?
> > 
> > void D(void (*x)())
> > {
> >    int Halt_Status = H(x, x);
> >    if (Halt_Status)
> >      HERE: goto HERE;
> >    return;
> > }
> > 
> > int main()
> > {
> >    Output("Input_Halts = ", H(D, D));
> > }
> > 
> > https://www.researchgate.net/publication/364657019_Simulating_Halt_Decider_Applied_to_the_Halting_Theorem
> >   
> 

As I said before it is sufficient to detect nested simulation to assert
the presence of a category error; trying to map that to a valid halting
decision of non-halting muddies the water and implies no such category
error exists which is wrong: nested simulation PREVENTS a halting
decision being made because of the category error present in [Strachey
1965] and the proofs predicated on it.  Again: you don't have to abort
simulation or give an artificial halting decision of non-halting to
refute the halting problem proofs, the simple presence of the category
error does that.

/Flibble

Thread

Simulating Halt Decider Applied to the Halting Theorem olcott <polcott2@gmail.com> - 2022-11-04 09:33 -0500
  Re: Simulating Halt Decider Applied to the Halting Theorem Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-04 15:09 +0000
    Re: Simulating Halt Decider Applied to the Halting Theorem olcott <polcott2@gmail.com> - 2022-11-04 10:28 -0500
  Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] olcott <polcott2@gmail.com> - 2022-11-05 09:47 -0500
    Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-05 17:05 +0000
      Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] olcott <polcott2@gmail.com> - 2022-11-05 13:10 -0500
        Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-05 21:02 +0000
          Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] olcott <polcott2@gmail.com> - 2022-11-05 16:42 -0500
            Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-05 21:57 +0000
              Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] olcott <polcott2@gmail.com> - 2022-11-05 17:05 -0500
                Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-06 01:13 +0000
                Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] Richard Damon <Richard@Damon-Family.org> - 2022-11-05 21:54 -0400
                Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-06 14:09 +0000
                Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] Richard Damon <Richard@Damon-Family.org> - 2022-11-06 09:34 -0500
                Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-06 23:09 +0000
                Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] Richard Damon <Richard@Damon-Family.org> - 2022-11-06 18:24 -0500
                Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-11-07 18:28 +0000
                Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] olcott <polcott2@gmail.com> - 2022-11-07 13:03 -0600
                Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] olcott <polcott2@gmail.com> - 2022-11-06 08:40 -0600
        Re: Simulating Halt Decider Applied to the Halting Theorem [new abstract] Richard Damon <Richard@Damon-Family.org> - 2022-11-05 17:06 -0400

csiph-web