Re: Simulating Halt Deciders Defeat the Halting Theorem V2

From	olcott <polcott2@gmail.com>
Newsgroups	sci.logic, comp.theory, comp.ai.philosophy, comp.software-eng
Subject	Re: Simulating Halt Deciders Defeat the Halting Theorem V2
Date	2023-02-20 20:22 -0600
Organization	A noiseless patient Spider
Message-ID	<tt19t0$u06b$1@dont-email.me> (permalink)
References	<tt0eo7$r85s$1@dont-email.me> <tt149k$tgbj$1@dont-email.me> <tt15lf$tgbj$2@dont-email.me>

Cross-posted to 4 groups.

Show all headers | View raw

On 2/20/2023 7:10 PM, olcott wrote:
> On 2/20/2023 6:46 PM, olcott wrote:
>> On 2/20/2023 12:39 PM, olcott wrote:
>>> int D(int (*x)())
>>> {
>>>    int Halt_Status = H(x, x);
>>>    if (Halt_Status)
>>>      HERE: goto HERE;
>>>    return Halt_Status;
>>> }
>>>
>>> When simulating halt decider H is applied to the conventional (otherwise
>>> impossible) input D ordinary software engineering conclusively proves
>>> that D correctly simulated by H cannot possibly reach its own return
>>> statement and terminate normally (AKA halt).
>>>
>>> A simulating halt decider H correctly predicts whether or not D
>>> correctly simulated by H would ever reach its own final state.
>>>
>>> The ultimate measure of a correct simulation is that the execution trace
>>> behavior of the simulated input exactly matches the behavior that the
>>> input machine code specifies.
>>>
>>> https://www.researchgate.net/publication/368568464_Simulating_Halt_Deciders_Defeat_the_Halting_Theorem
>>>
>>> Disagreeing with the above verified facts is only possible through
>>> dishonesty or incompetence.
>>>
>>> Whether or not the above directly applies to the halting theorem is the
>>> only actually open issue.
>>>
>>
>> *I had to tighten my language a little bit*
> 
> When the ultimate measure of correct simulation is that the execution
> trace of the simulated input exactly matches the behavior that the input
> machine description specifies then: It is an easily verified fact that
> every counter-example input to the halting theorem D cannot possibly
> reach its own simulated final state in any finite number of steps when
> correctly simulated by  simulating halt decider H.

Any alternative definition for "correct simulation" that contradicts the
above definition necessary requires that D simulated by H derives an
execution trace that is not specified by its input...


>> Most of my reviewers deceptively talk about non-inputs when they already
>> know that deciders only operate on inputs.
>>
>>
> 

-- 
Copyright 2023 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Thread

Simulating Halt Deciders Defeat the Halting Theorem V2 olcott <polcott2@gmail.com> - 2023-02-20 12:39 -0600
  Re: Simulating Halt Deciders Defeat the Halting Theorem V2 Richard Damon <Richard@Damon-Family.org> - 2023-02-20 19:20 -0500
  Re: Simulating Halt Deciders Defeat the Halting Theorem V2 olcott <polcott2@gmail.com> - 2023-02-20 18:46 -0600
    Re: Simulating Halt Deciders Defeat the Halting Theorem V2 olcott <polcott2@gmail.com> - 2023-02-20 19:10 -0600
      Re: Simulating Halt Deciders Defeat the Halting Theorem V2 olcott <polcott2@gmail.com> - 2023-02-20 20:22 -0600
        Re: Simulating Halt Deciders Defeat the Halting Theorem V2 Richard Damon <Richard@Damon-Family.org> - 2023-02-20 21:32 -0500
        Re: Simulating Halt Deciders Defeat the Halting Theorem V2 olcott <polcott2@gmail.com> - 2023-02-20 20:53 -0600
          Re: Simulating Halt Deciders Defeat the Halting Theorem V2 Richard Damon <Richard@Damon-Family.org> - 2023-02-20 22:06 -0500
          Re: Simulating Halt Deciders Defeat the Halting Theorem V2 olcott <polcott2@gmail.com> - 2023-02-20 21:28 -0600
            Re: Simulating Halt Deciders Defeat the Halting Theorem V2 Richard Damon <Richard@Damon-Family.org> - 2023-02-20 22:38 -0500
            Re: Simulating Halt Deciders Defeat the Halting Theorem V2 olcott <polcott2@gmail.com> - 2023-02-20 22:08 -0600
              Re: Simulating Halt Deciders Defeat the Halting Theorem V2 Richard Damon <Richard@Damon-Family.org> - 2023-02-20 23:21 -0500
              Re: Simulating Halt Deciders Defeat the Halting Theorem V2 olcott <polcott2@gmail.com> - 2023-02-20 22:44 -0600
                Re: Simulating Halt Deciders Defeat the Halting Theorem V2 Richard Damon <Richard@Damon-Family.org> - 2023-02-21 07:03 -0500
                Re: Simulating Halt Deciders Defeat the Halting Theorem V2 olcott <polcott2@gmail.com> - 2023-02-21 09:38 -0600
                Re: Simulating Halt Deciders Defeat the Halting Theorem V2 Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-02-21 11:28 -0800
                Re: Simulating Halt Deciders Defeat the Halting Theorem V2 Richard Damon <Richard@Damon-Family.org> - 2023-02-21 18:45 -0500
                Re: Simulating Halt Deciders Defeat the Halting Theorem V2 Fritz Feldhase <franz.fritschee.ff@gmail.com> - 2023-02-21 17:03 -0800
    Re: Simulating Halt Deciders Defeat the Halting Theorem V2 Richard Damon <Richard@Damon-Family.org> - 2023-02-20 20:54 -0500

csiph-web