Re: Proof that DD correctly simulated by HH has different behavior than DD(DD) STEP(1)

On 6/10/2024 2:09 AM, Fred. Zwarts wrote:

Op 10.jun.2024 om 07:17 schreef olcott:

On 6/9/2024 1:33 AM, Fred. Zwarts wrote:

Op 08.jun.2024 om 20:47 schreef olcott:

On 05.jun.2024 at 15:59 (CET) olcott proved that in the example
 > int main()
 > {
 >    Output("Input_Halts = ", HH(main,(ptr)0));
 > }
main halts and HH reported a non-halting behaviour. This means that
when HH is used as a test for halting, it produces a false negative.
 

I just proved that D simulated by H has different behavior
than the directly executed D(D) and you ignored it.