Re: Simulating Halt Decider Applied to the Halting Theorem

From	Mr Flibble <flibble@reddwarf.jmc.corp>
Newsgroups	comp.lang.c++
Subject	Re: Simulating Halt Decider Applied to the Halting Theorem
Message-ID	<20221104151112.00002d43@reddwarf.jmc.corp> (permalink)
References	<tk37sm$1r6u0$1@dont-email.me>
Organization	Jupiter Mining Corporation
Date	2022-11-04 15:11 +0000

Show all headers | View raw

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

Back to comp.lang.c++ | Previous | Next — Previous in thread | Find similar | Unroll thread

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

csiph-web