Liste des Groupes | Revenir à c theory |
On 8/15/2024 3:52 AM, Mikko wrote:Note that induction is not a generally valid proof method.On 2024-08-14 13:47:16 +0000, olcott said:An inductive proof of the execution trace shows that
_DDD()No, it is not. Nothing is a proof except a proof.
[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]
The impossibility of DDD emulated by HHH
(according to the semantics of the x86 language)
to reach its own machine address [00002183] is
compete proof.
DDD emulated according to the semantics of the x86
language cannot possibly reach machine address 00002183.
Les messages affichés proviennent d'usenet.