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

Groups > comp.lang.c++ > #87230 > unrolled thread

Simulating Halt Decider Applied to the Halting Theorem

Back to article view | Back to comp.lang.c++

Contents

  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:11 +0000

#87230 — Simulating Halt Decider Applied to the Halting Theorem

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 


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

[toc] | [next] | [standalone]

#87231

On Fri, 4 Nov 2022 09:33:57 -0500
olcott <polcott2@gmail.com> 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 

It is sufficient for you to recognize nested simulation in order to
assert the presence of the category error that falsifies the halting
problem proofs predicated on [Strachey 1965].

/Flibble

[toc] | [prev] | [standalone]

Back to top | Article view | comp.lang.c++

csiph-web