Re: DDD correctly emulated by H0 --- Why Lie?

On 6/23/24 9:40 AM, olcott wrote:

_DDD()
[00002172] 55               push ebp
[00002173] 8bec             mov ebp,esp
[00002175] 6872210000       push 00002172 ; push DDD
[0000217a] e853f4ffff       call 000015d2 ; call HHH0
[0000217f] 83c404           add esp,+04
[00002182] 5d               pop ebp
[00002183] c3               ret
Size in bytes:(0018) [00002183]
 According to the semantics of the x86 programming language
when DDD correctly emulated by H0 calls H0(DDD) this call
cannot possibly return.
 Likewise according to the semantics of arithmetic for
decimal integers: 2 + 3 = 5.
 Anyone disagreeing with these two statements is WRONG.
 

NOw, if you REALLY mean just can H0 simulate this input to a final state, the answer is WHO CARES.
But I will put out a few comments on errors in your presentation\.
First, if you ONLY have the bytes presented, then the answer becomes trivial, as H0 HAS to stop emulating when it gets to the call instruction, as there is no data at address 000015d2 defined to simulate.
This means you need to fix your problem statement to include the instructions of HHH0, and everything that it calls as part of the "input", or your question isn't the one you mean to be asking.
Of course, this means that each HHH0 that you try, is processing a DIFFERENT input, so you can't argue from one about the behavior of a different one.
Second, you forgot to specify what HHH0 has as requirements. Once you include its code, so can simulate it, the "non-pure" function tricks allow it to correctly simulate to the return instruction.
Reminder, you complain when we point out assumptions made on previous statements that you didn't want to carry forward, so you can't also complain about us forgetting about requirements that you didn't bring forward.
If you want to pull in the past, we can just point out that we KNOW you are talking about a Halt Decider, and that your question is the wrong question for a Halt decider.
So, your statement is wrong for two logical reasons as described above, so your statement that anyone who disagrees is wrong is just wrong.
You don't know how to properly state a problem.
The last point to make, is that this is NOT a "proof" but just an argument claiming something should be obviously true.
That may be a "proof" in the wild west of Philosophy, but it isn't in the realm of Formal Logic, which is what the field you are talking about is.
So, you are making a statement, that when fixed to correct the deficits in it, becomes a statement that might be plausably true, but not proven.
A proof can likely be made, but it seems that is beyond your ability since you didn't even try, Of course, without the second fix, the statement is just false, and without the first fix, the statment is meaningless, as of course you can't simulate to a return from a call that you are unable to simulate past.