Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.theory > #53405

Re: Halting problem proofs refuted on the basis of software engineering V2

Cross-posted to 4 groups.

Show all headers | View raw

On Mon, 4 Jul 2022 11:54:55 -0500
olcott <NoOne@NoWhere.com> wrote:

> On 7/4/2022 10:58 AM, Mr Flibble wrote:
> > On Mon, 4 Jul 2022 09:45:45 -0500
> > olcott <NoOne@NoWhere.com> wrote:
> >   
> >> No one can provide any "rebuttal" of my paper on any other basis
> >> than
> >>
> >> (1) disagreeing with the semantics of the x86 language
> >> *x86 Instruction Set Reference* https://c9x.me/x86/
> >>
> >> *or disagreeing with this necessarily true principle*
> >> (2) A halt decider must compute the mapping from its inputs to an
> >> accept or reject state on the basis of the actual behavior that is
> >> actually specified by these inputs.
> >>
> >>
> >>
> >> This much more concise version of my paper focuses on the actual
> >> execution of three fully operational examples.
> >>
> >> H0 correctly determines that Infinite_Loop() never halts
> >> H correctly determines that Infinite_Recursion() never halts
> >> H(P,P) correctly determines that its input never halts  
> > 
> > As I have shown with my signaling halting decider there is no need
> > for a call to a simulation-based halting decider, H, from the input
> > program to be recursive; this is compatible with [Strachey 1965] and
> > associated proofs which are not recursive in nature.  Your H is
> > invalid as it aborts the simulation to prevent infinite recursion
> > rather than returning an answer to its caller which results in it
> > giving the wrong answer for a non-pathological input that calls H.
> > 
> > /Flibble
> >   
> 
> YOU KEEP DISAGREEING WITH VERIFIED FACTS:
>  From a purely software engineering perspective (anchored in the 
> semantics of the x86 language) it is proven that H(P,P) correctly 
> predicts that its correct and complete x86 emulation of its input
> would never reach the "ret" instruction (final state) of this input.
 
No it doesn't. What you have doesn't work.

/Flibble

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

Thread

Halting problem proofs refuted on the basis of software engineering V2 olcott <NoOne@NoWhere.com> - 2022-07-04 09:45 -0500
  Re: Halting problem proofs refuted on the basis of software engineering V2 Horatio Cornholer <midshipman@gmail.net> - 2022-07-04 08:31 -0700
  Re: Halting problem proofs refuted on the basis of software engineering V2 Mr Flibble <flibble@reddwarf.jmc> - 2022-07-04 16:58 +0100
    Re: Halting problem proofs refuted on the basis of software engineering V2 olcott <NoOne@NoWhere.com> - 2022-07-04 11:54 -0500
      Re: Halting problem proofs refuted on the basis of software engineering V2 Mr Flibble <flibble@reddwarf.jmc> - 2022-07-04 18:25 +0100
        Re: Halting problem proofs refuted on the basis of software engineering V2 olcott <NoOne@NoWhere.com> - 2022-07-04 12:33 -0500
          Re: Halting problem proofs refuted on the basis of software engineering V2 Mr Flibble <flibble@reddwarf.jmc> - 2022-07-04 18:39 +0100
            Re: Halting problem proofs refuted on the basis of software engineering V2 olcott <NoOne@NoWhere.com> - 2022-07-04 12:51 -0500
              Re: Halting problem proofs refuted on the basis of software engineering V2 Mr Flibble <flibble@reddwarf.jmc> - 2022-07-04 18:54 +0100
                Re: Halting problem proofs refuted on the basis of software engineering V2 olcott <NoOne@NoWhere.com> - 2022-07-04 13:00 -0500
                Re: Halting problem proofs refuted on the basis of software engineering V2 Mr Flibble <flibble@reddwarf.jmc> - 2022-07-04 19:38 +0100
                Re: Halting problem proofs refuted on the basis of software engineering V2 olcott <NoOne@NoWhere.com> - 2022-07-04 14:09 -0500
                Re: Halting problem proofs refuted on the basis of software engineering V2 Mr Flibble <flibble@reddwarf.jmc> - 2022-07-04 20:13 +0100
                Re: Halting problem proofs refuted on the basis of software engineering V2 Richard Damon <Richard@Damon-Family.org> - 2022-07-04 15:40 -0400
  Re: Halting problem proofs refuted on the basis of software engineering V2 Richard Damon <Richard@Damon-Family.org> - 2022-07-04 15:02 -0400

csiph-web