On 5/24/22 7:07 PM, olcott wrote:
> On 5/24/2022 6:01 PM, Richard Damon wrote:
>> On 5/24/22 2:53 PM, olcott wrote:
>>> On 5/24/2022 1:45 PM, André G. Isaak wrote:
>>>> On 2022-05-24 10:07, olcott wrote:
>>>>> On 5/24/2022 10:35 AM, André G. Isaak wrote:
>>>>>> On 2022-05-24 08:13, olcott wrote:
>>>>>>> On 5/24/2022 5:54 AM, Richard Damon wrote:
>>>>>>>>
>>>>>>>> On 5/24/22 12:31 AM, olcott wrote:
>>>>>>
>>>>>>>>> (1) Good software engineering proves that H(P,P)==0 is correct.
>>>>>>>>
>>>>>>>> Nope, already explained.
>>>>>>>
>>>>>>> A software engineer with sufficient technical competence would
>>>>>>> disagree.
>>>>>>
>>>>>> So why don't you produce some technically competent software
>>>>>> engineers who agree with you?
>>>>>>
>>>>>
>>>>> That seem to be the next logical step.
>>>>
>>>> No, that would be a logically PRIOR step.
>>>>
>>>> You can't assert what technically competent software engineers would
>>>> agree with until you have actually consulted some.
>>>>
>>>
>>> And in the same way no one can possibly know that 2 + 3 = 5 until
>>> after a universal consensus of all mathematicians has first been
>>> achieved. If one psychotic mathematician disagrees than this forever
>>> puts in doubt whether or not 2 + 3 = 5 is actually correct.
>>
>> Well, in THIS case everyone else is agreeing that 2 + 3 = 5, and YOU
>> are the psychotic who disagrees.
>>
>> Remember,"Everyone" agrees that the Halting Problem can't be solved,
>> but YOU are the "lone voice" disagreeing.
>>
>> You CLAIM that "Any technically competent software engineer" would
>> agree with your claim, but apparently so far you have found ZERO who
>> do, and there are a number here who disagee, so you have a stange
>> meaning for that any (In that usage, it normally means all, or at
>> least the vast majority, not just that you can find 1).
>>
>>>
>>>> And let's be very clear, you are *not* a competent software engineer
>>>> even if you like to play one on usenet. Can you find an actual
>>>> software engineer with actual credentials who supports any of your
>>>> claims? Until you can produce such people you shouldn't be making
>>>> any claims about what they would or would not agree with.
>>>
>>> The correct x86 emulation of the input to H(P,P) conclusively proves
>>> that this input P would never reach its "ret" instruction.
>>>
>>> That people deny this easily verifiable fact makes them liars.
>>>
>>
>> Except that it doesn't. because H is not a correct emulator when it
>> aborts its simulation, by the definition of correct emulation.
>>
>
> _P()
> [00001352](01)  55              push ebp
> [00001353](02)  8bec            mov ebp,esp
> [00001355](03)  8b4508          mov eax,[ebp+08]
> [00001358](01)  50              push eax      // push P
> [00001359](03)  8b4d08          mov ecx,[ebp+08]
> [0000135c](01)  51              push ecx      // push P
> [0000135d](05)  e840feffff      call 000011a2 // call H
> [00001362](03)  83c408          add esp,+08
> [00001365](02)  85c0            test eax,eax
> [00001367](02)  7402            jz 0000136b
> [00001369](02)  ebfe            jmp 00001369
> [0000136b](01)  5d              pop ebp
> [0000136c](01)  c3              ret
> Size in bytes:(0027) [0000136c]
>
>
> It is an easily verified fact that the correct x86 emulation of the
> input to H(P,P) would never reach the "ret" instruction of P in 0 to
> infinity steps of the correct x86 emulation of P by H.
>
>

Nope, the CORRECT simulation of this pattern:

On 4/27/21 12:55 AM, olcott wrote:
Message-ID: <Teudndbu59GVBBr9nZ2dnUU7-V2dnZ2d@giganews.com>
> void H_Hat(u32 P)
> {
> u32 Input_Halts = Halts(P, P);
> if (Input_Halts)
> HERE: goto HERE;
> }
>
>
> int main()
> {
> H_Hat((u32)H_Hat);
> }
>
>
> _H_Hat()
> [00000b98](01) 55 push ebp
> [00000b99](02) 8bec mov ebp,esp
>
[00000b9b](01) 51 push ecx
> [00000b9c](03) 8b4508 mov eax,[ebp+08]
> [00000b9f](01) 50 push eax
> [00000ba0](03) 8b4d08 mov ecx,[ebp+08]
> [00000ba3](01) 51 push ecx
> [00000ba4](05) e88ffdffff call 00000938
> [00000ba9](03) 83c408 add esp,+08
> [00000bac](03) 8945fc mov [ebp-04],eax
> [00000baf](04) 837dfc00 cmp dword [ebp-04],+00
> [00000bb3](02) 7402 jz 00000bb7
> [00000bb5](02) ebfe jmp 00000bb5
> [00000bb7](02) 8be5 mov esp,ebp
> [00000bb9](01) 5d pop ebp
> [00000bba](01) c3 ret
> Size in bytes:(0035) [00000bba]
>
> _main()
> [00000bc8](01) 55 push ebp
> [00000bc9](02) 8bec mov ebp,esp
> [00000bcb](05) 68980b0000 push 00000b98
> [00000bd0](05) e8c3ffffff call 00000b98
> [00000bd5](03) 83c404 add esp,+04
> [00000bd8](02) 33c0 xor eax,eax
> [00000bda](01) 5d pop ebp
> [00000bdb](01) c3 ret
> Size in bytes:(0020) [00000bdb]
>
> ===============================
> ...[00000bc8][001015d4][00000000](01) 55 push ebp
> ...[00000bc9][001015d4][00000000](02) 8bec mov ebp,esp
> ...[00000bcb][001015d0][00000b98](05) 68980b0000 push 00000b98
> ...[00000bd0][001015cc][00000bd5](05) e8c3ffffff call 00000b98
> ...[00000b98][001015c8][001015d4](01) 55 push ebp
> ...[00000b99][001015c8][001015d4](02) 8bec mov ebp,esp
> ...[00000b9b][001015c4][00000000](01) 51 push ecx
> ...[00000b9c][001015c4][00000000](03) 8b4508 mov eax,[ebp+08]
> ...[00000b9f][001015c0][00000b98](01) 50 push eax
> ...[00000ba0][001015c0][00000b98](03) 8b4d08 mov ecx,[ebp+08]
> ...[00000ba3][001015bc][00000b98](01) 51 push ecx
> ...[00000ba4][001015b8][00000ba9](05) e88ffdffff call 00000938
> Begin Local Halt Decider Simulation at Machine Address:b98
> ...[00000b98][00211674][00211678](01) 55 push ebp
> ...[00000b99][00211674][00211678](02) 8bec mov ebp,esp
> ...[00000b9b][00211670][00201644](01) 51 push ecx
> ...[00000b9c][00211670][00201644](03) 8b4508 mov eax,[ebp+08]
> ...[00000b9f][0021166c][00000b98](01) 50 push eax
> ...[00000ba0][0021166c][00000b98](03) 8b4d08 mov ecx,[ebp+08]
> ...[00000ba3][00211668][00000b98](01) 51 push ecx
> ...[00000ba4][00211664][00000ba9](05) e88ffdffff call 00000938
> ...[00000b98][0025c09c][0025c0a0](01) 55 push ebp
> ...[00000b99][0025c09c][0025c0a0](02) 8bec mov ebp,esp
> ...[00000b9b][0025c098][0024c06c](01) 51 push ecx
> ...[00000b9c][0025c098][0024c06c](03) 8b4508 mov eax,[ebp+08]
> ...[00000b9f][0025c094][00000b98](01) 50 push eax
> ...[00000ba0][0025c094][00000b98](03) 8b4d08 mov ecx,[ebp+08]
> ...[00000ba3][0025c090][00000b98](01) 51 push ecx
> ...[00000ba4][0025c08c][00000ba9](05) e88ffdffff call 00000938
> Local Halt Decider: Infinite Recursion Detected Simulation Stopped

Above decision was from the call the Halts inside H_Hat, deciding that
H_Hat(H_Hat) seems to be non-halting, it then returns that answer and is
processed below:

> ...[00000ba9][001015c4][00000000](03) 83c408 add esp,+08
> ...[00000bac][001015c4][00000000](03) 8945fc mov [ebp-04],eax
> ...[00000baf][001015c4][00000000](04) 837dfc00 cmp dword [ebp-04],+00
> ...[00000bb3][001015c4][00000000](02) 7402 jz 00000bb7
> ...[00000bb7][001015c8][001015d4](02) 8be5 mov esp,ebp
> ...[00000bb9][001015cc][00000bd5](01) 5d pop ebp
> ...[00000bba][001015d0][00000b98](01) c3 ret
> ...[00000bd5][001015d4][00000000](03) 83c404 add esp,+04
> ...[00000bd8][001015d4][00000000](02) 33c0 xor eax,eax
> ...[00000bda][001015d8][00100000](01) 5d pop ebp
> ...[00000bdb][001015dc][00000098](01) c3 ret

SEE IT HALTED!

> Number_of_User_Instructions(39)
> Number of Instructions Executed(26567)