Sujet : Re: Even Google AI Overview understands me now --- different execution traces have different behavior !!!
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theoryDate : 05. Oct 2024, 14:38:45
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <58a96f19f9bba519e879f8f0847866bd0340f8b5@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
User-Agent : Mozilla Thunderbird
On 10/5/24 9:34 AM, olcott wrote:
On 10/5/2024 8:27 AM, Richard Damon wrote:
On 10/5/24 8:21 AM, olcott wrote:
On 10/5/2024 5:58 AM, Richard Damon wrote:
On 10/4/24 9:53 PM, olcott wrote:
>
That you are unable to understand that it is easily conclusively
proven (below) that the emulated HHH does emulate its DDD correctly
is why your double-talk gibberish rebuttal fails.
>
>
Nope, the trace actually proves the opposite.
>
The following execution trace conclusively proves that
HHH emulated by itself does emulate the first four lines
of DDD correctly.
Right, and then makes the error of PRESUMEING INCORREDTLY that HHH(DDD) will not return, as it tries to LIE to itself (or more that you lied to yourself) that HHH might be a different program that what it is.
What is PROVEN is that HHH(DDD) returns 0, and thus when DDD calls HHH(DDD) that it *WILL* return 0, and thus DDD will halt, and HHH declaring that it will not is just wrong.
So, you are just showing that:
PPPP EEEEE TTTTT EEEEE RRRR
P P E T E R R
P P E T E R R
PPPP EEEEE T EEEEE RRRR
P E T E R R
P E T E R R
P EEEEE T EEEEE R R
OOO L CCC OOO TTTTT TTTTT
O O L C C O O T T
O O L C O O T T
O O L C O O T T
O O L C O O T T
O O L C C O O T T
OOO LLLLL CCC OOO T T
L IIIII EEEEE SSS
L I E S S
L I E S
L I EEEEE SSS
L I E S
L I E S S
LLLLL IIIII EEEEE SSS
AND THINKS THAT IS JUST OK.
_DDD()
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping
[00002175] 6872210000 push 00002172 ; push DDD
[0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
_main()
[00002192] 55 push ebp
[00002193] 8bec mov ebp,esp
[00002195] 6872210000 push 00002172 ; push DDD
[0000219a] e833f4ffff call 000015d2 ; call HHH(DDD)
[0000219f] 83c404 add esp,+04
[000021a2] 50 push eax
[000021a3] 6843070000 push 00000743
[000021a8] e8b5e5ffff call 00000762
[000021ad] 83c408 add esp,+08
[000021b0] 33c0 xor eax,eax
[000021b2] 5d pop ebp
[000021b3] c3 ret
Size in bytes:(0034) [000021b3]
machine stack stack machine assembly
address address data code language
======== ======== ======== ========= =============
[00002192][00103820][00000000] 55 push ebp ; Begin main()
[00002193][00103820][00000000] 8bec mov ebp,esp ; housekeeping
[00002195][0010381c][00002172] 6872210000 push 00002172 ; push DDD
[0000219a][00103818][0000219f] e833f4ffff call 000015d2 ; call HHH(DDD)
New slave_stack at:1038c4
Begin Local Halt Decider Simulation Execution Trace Stored at:1138cc
[00002172][001138bc][001138c0] 55 push ebp ; housekeeping
[00002173][001138bc][001138c0] 8bec mov ebp,esp ; housekeeping
[00002175][001138b8][00002172] 6872210000 push 00002172 ; push DDD
[0000217a][001138b4][0000217f] e853f4ffff call 000015d2 ; call HHH(DDD)
// emulated HHH emulating DDD
New slave_stack at:14e2ec
[00002172][0015e2e4][0015e2e8] 55 push ebp ; housekeeping
[00002173][0015e2e4][0015e2e8] 8bec mov ebp,esp ; housekeeping
[00002175][0015e2e0][00002172] 6872210000 push 00002172 ; push DDD
[0000217a][0015e2dc][0000217f] e853f4ffff call 000015d2 ; call HHH(DDD)
Local Halt Decider: Infinite Recursion Detected Simulation Stopped
[0000219f][00103820][00000000] 83c404 add esp,+04
[000021a2][0010381c][00000000] 50 push eax
[000021a3][00103818][00000743] 6843070000 push 00000743
[000021a8][00103818][00000743] e8b5e5ffff call 00000762
Input_Halts = 0
[000021ad][00103820][00000000] 83c408 add esp,+08
[000021b0][00103820][00000000] 33c0 xor eax,eax
[000021b2][00103824][00000018] 5d pop ebp
[000021b3][00103828][00000000] c3 ret
Number of Instructions Executed(10069) == 150 Pages
…