On 7/14/22 5:49 PM, olcott wrote:
> On 7/14/2022 4:46 PM, wij wrote:
>> On Friday, 15 July 2022 at 05:41:48 UTC+8, olcott wrote:
>>> On 7/14/2022 4:35 PM, wij wrote:
>>>> On Friday, 15 July 2022 at 05:21:18 UTC+8, olcott wrote:
>>>>> On 7/14/2022 3:27 PM, wij wrote:
>>>>>> On Friday, 15 July 2022 at 04:22:49 UTC+8, olcott wrote:
>>>>>>> On 7/14/2022 3:16 PM, wij wrote:
>>>>>>>> On Friday, 15 July 2022 at 03:59:24 UTC+8, olcott wrote:
>>>>>>>>> On 7/14/2022 2:36 PM, wij wrote:
>>>>>>>>>> On Friday, 15 July 2022 at 03:22:17 UTC+8, olcott wrote:
>>>>>>>>>>> ...
>>>>>>>>>>> typedef void (*ptr)();
>>>>>>>>>>> int H(ptr p, ptr i); // simulating halt decider
>>>>>>>>>>>
>>>>>>>>>>> void P(ptr x)
>>>>>>>>>>> {
>>>>>>>>>>> int Halt_Status = H(x, x);
>>>>>>>>>>> if (Halt_Status)
>>>>>>>>>>> HERE: goto HERE;
>>>>>>>>>>> return;
>>>>>>>>>>> }
>>>>>>>>>>>
>>>>>>>>>>> int main()
>>>>>>>>>>> {
>>>>>>>>>>> Output("Input_Halts = ", H(P, P));
>>>>>>>>>>> }
>>>>>>>>>>
>>>>>>>>>> Try this main(), tell us the result.
>>>>>>>>>>
>>>>>>>>>> int main()
>>>>>>>>>> {
>>>>>>>>>> Output("Input_Halts = ", H(P, P));
>>>>>>>>>> P(P);
>>>>>>>>>> }
>>>>>>>>> Been there done that many times.
>>>>>>>>> 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.
>>>>>>>>> It is common knowledge that a correct simulation of a program is a
>>>>>>>>> correct measure of the behavior of this program.
>>>>>>>>>
>>>>>>>>> If we accept that the behavior of the executed P(P) is the
>>>>>>>>> behavior that
>>>>>>>>> H must report on then we are saying that H must report on the
>>>>>>>>> behavior
>>>>>>>>> that is not the actual behavior of its actual input.
>>>>>>>>> *Halting problem proofs refuted on the basis of software
>>>>>>>>> engineering*
>>>>>>>>> https://www.researchgate.net/publication/361701808_Halting_problem_proofs_refuted_on_the_basis_of_software_engineering
>>>>>>>>>
>>>>>>>>>
>>>>>>>>>
>>>>>>>>> --
>>>>>>>>> Copyright 2022 Pete Olcott
>>>>>>>>>
>>>>>>>>> "Talent hits a target no one else can hit;
>>>>>>>>> Genius hits a target no one else can see."
>>>>>>>>> Arthur Schopenhauer
>>>>>>>>
>>>>>>>> Are you so impotent and don't know the result of this simple
>>>>>>>> main()?
>>>>>>> I know the result and posted the result and all of the code and full
>>>>>>> execution trace dozens of times. I am skipping ahead and saying why
>>>>>>> these results don't matter.
>>>>>>> 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.
>>>>>>> P(P) is not the actual behavior of the actual inputs.
>>>>>>> P(P) is not the actual behavior of the actual inputs.
>>>>>>> P(P) is not the actual behavior of the actual inputs.
>>>>>>> P(P) is not the actual behavior of the actual inputs.
>>>>>>> --
>>>>>>> Copyright 2022 Pete Olcott
>>>>>>>
>>>>>>> "Talent hits a target no one else can hit;
>>>>>>> Genius hits a target no one else can see."
>>>>>>> Arthur Schopenhauer
>>>>>>
>>>>>> I did not say anything, simple asking what the result of this
>>>>>> main() is to establish
>>>>>> basic fact of discussion.
>>>>>>
>>>>>> int main()
>>>>>> {
>>>>>> Output("Input_Halts = ", H(P, P));
>>>>>> P(P);
>>>>>> }
>>>>>
>>>>>
>>>>> void P(ptr x)
>>>>> {
>>>>> int Halt_Status = H(x, x);
>>>>> if (Halt_Status)
>>>>> HERE: goto HERE;
>>>>> return;
>>>>> }
>>>>> When simulating halt decider H(P,P) simulates its input we can see
>>>>> that:
>>>>> (1) Function H() is called from P().
>>>>> (2) With the same arguments to H().
>>>>> (3) With no instructions in P preceding its invocation of H(P,P).
>>>>>
>>>>> The above shows that the simulated P cannot possibly terminate
>>>>> normally.
>>>>> Because H can see the same (1)(2)(3) that we see H aborts its
>>>>> simulation
>>>>> of P and rejects P as non-halting.
>>>>> P(P) is not the actual behavior of the actual inputs to H(P,P)
>>>>> P(P) is not the actual behavior of the actual inputs to H(P,P)
>>>>> P(P) is not the actual behavior of the actual inputs to H(P,P)
>>>>> P(P) is not the actual behavior of the actual inputs to H(P,P)
>>>>>
>>>>> If you have enough technical skill you can find the answer to your
>>>>> question in the code below.
>>>>>
>>>>> int main()
>>>>> {
>>>>> P(P);
>>>>> }
>>>>>
>>>>> _P()
>>>>> [000013b4](01) 55 push ebp
>>>>> [000013b5](02) 8bec mov ebp,esp
>>>>> [000013b7](01) 51 push ecx
>>>>> [000013b8](03) 8b4508 mov eax,[ebp+08]
>>>>> [000013bb](01) 50 push eax
>>>>> [000013bc](03) 8b4d08 mov ecx,[ebp+08]
>>>>> [000013bf](01) 51 push ecx
>>>>> [000013c0](05) e82ffdffff call 000010f4
>>>>> [000013c5](03) 83c408 add esp,+08
>>>>> [000013c8](03) 8945fc mov [ebp-04],eax
>>>>> [000013cb](04) 837dfc00 cmp dword [ebp-04],+00
>>>>> [000013cf](02) 7402 jz 000013d3
>>>>> [000013d1](02) ebfe jmp 000013d1
>>>>> [000013d3](02) 8be5 mov esp,ebp
>>>>> [000013d5](01) 5d pop ebp
>>>>> [000013d6](01) c3 ret
>>>>> Size in bytes:(0035) [000013d6]
>>>>>
>>>>> _main()
>>>>> [000013e4](01) 55 push ebp
>>>>> [000013e5](02) 8bec mov ebp,esp
>>>>> [000013e7](05) 68b4130000 push 000013b4
>>>>> [000013ec](05) e8c3ffffff call 000013b4
>>>>> [000013f1](03) 83c404 add esp,+04
>>>>> [000013f4](02) 33c0 xor eax,eax
>>>>> [000013f6](01) 5d pop ebp
>>>>> [000013f7](01) c3 ret
>>>>> Size in bytes:(0020) [000013f7]
>>>>>
>>>>> machine stack stack machine assembly
>>>>> address address data code language
>>>>> ======== ======== ======== ========= =============
>>>>> [000013e4][0010230a][00000000] 55 push ebp
>>>>> [000013e5][0010230a][00000000] 8bec mov ebp,esp
>>>>> [000013e7][00102306][000013b4] 68b4130000 push 000013b4
>>>>> [000013ec][00102302][000013f1] e8c3ffffff call 000013b4
>>>>> [000013b4][001022fe][0010230a] 55 push ebp
>>>>> [000013b5][001022fe][0010230a] 8bec mov ebp,esp
>>>>> [000013b7][001022fa][00000000] 51 push ecx
>>>>> [000013b8][001022fa][00000000] 8b4508 mov eax,[ebp+08]
>>>>> [000013bb][001022f6][000013b4] 50 push eax
>>>>> [000013bc][001022f6][000013b4] 8b4d08 mov ecx,[ebp+08]
>>>>> [000013bf][001022f2][000013b4] 51 push ecx
>>>>> [000013c0][001022ee][000013c5] e82ffdffff call 000010f4
>>>>>
>>>>> H: Begin Simulation Execution Trace Stored at:1123b6
>>>>> Address_of_H:10f4
>>>>> [000013b4][001123a2][001123a6] 55 push ebp
>>>>> [000013b5][001123a2][001123a6] 8bec mov ebp,esp
>>>>> [000013b7][0011239e][00102372] 51 push ecx
>>>>> [000013b8][0011239e][00102372] 8b4508 mov eax,[ebp+08]
>>>>> [000013bb][0011239a][000013b4] 50 push eax
>>>>> [000013bc][0011239a][000013b4] 8b4d08 mov ecx,[ebp+08]
>>>>> [000013bf][00112396][000013b4] 51 push ecx
>>>>> [000013c0][00112392][000013c5] e82ffdffff call 000010f4
>>>>> H: Infinitely Recursive Simulation Detected Simulation Stopped
>>>>>
>>>>> [000013c5][001022fa][00000000] 83c408 add esp,+08
>>>>> [000013c8][001022fa][00000000] 8945fc mov [ebp-04],eax
>>>>> [000013cb][001022fa][00000000] 837dfc00 cmp dword [ebp-04],+00
>>>>> [000013cf][001022fa][00000000] 7402 jz 000013d3
>>>>> [000013d3][001022fe][0010230a] 8be5 mov esp,ebp
>>>>> [000013d5][00102302][000013f1] 5d pop ebp
>>>>> [000013d6][00102306][000013b4] c3 ret
>>>>> [000013f1][0010230a][00000000] 83c404 add esp,+04
>>>>> [000013f4][0010230a][00000000] 33c0 xor eax,eax
>>>>> [000013f6][0010230e][00000018] 5d pop ebp
>>>>> [000013f7][00102312][00000000] c3 ret
>>>>> Number of Instructions Executed(998) == 15 Pages
>>>>> --
>>>>> Copyright 2022 Pete Olcott
>>>>>
>>>>> "Talent hits a target no one else can hit;
>>>>> Genius hits a target no one else can see."
>>>>> Arthur Schopenhauer
>>>>
>>>> Are you really idiot or what? The question ask for the result of
>>>> this simple main()
>>>> What is the output? what is the running status?
>>>>
>>>> int main()
>>>> {
>>>> Output("Input_Halts = ", H(P, P));
>>>> P(P);
>>>> }
>>> If I don't make you work for the answer you will leap to a false
>>> assumption about the meaning of this answer and this false assumption
>>> will reamain stuck in your mind for all future dialogue.
>>> --
>>> Copyright 2022 Pete Olcott
>>>
>>> "Talent hits a target no one else can hit;
>>> Genius hits a target no one else can see."
>>> Arthur Schopenhauer
>>
>> The question ask for the result of this simple main()
>> What is the output? what is the running status?
>>
>> int main()
>> {
>> Output("Input_Halts = ", H(P, P));
>> P(P);
>> }
>
> That question has been gone over in this forum 10,000 times.
> I have addressed it thousands of times. Enough already.
>

And you are still wrong, as since P(P) calls H(P,P) that means for P to
be the required machine, the behavior of the input to H(P,P) IS the
behavior of P(P), and since P(P) halts if H(P,P) returns 0, that answer
is wrong.

You just show you don't know the actual meaning of the words you parrot.