Re: Who here understands that the last paragraph is Necessarily true?

On 7/21/24 10:09 AM, olcott wrote:

On 7/21/2024 4:57 AM, Mikko wrote:

On 2024-07-20 14:54:54 +0000, olcott said:

>
Every rebuttal of my work denies a tautology
proving that the rebuttal is incorrect because
all tautologies are necessarily true.
>
int main()
{
   DDD();
}
>
Calls HHH(DDD) that must abort the emulation of its input
or {HHH, emulated DDD and executed DDD} never stop running.
>
*The above is a Tautology*

>
No, it is not. The code of DDD is not included so it it is not even
determinable, let alone a tautology, what HHH(DDD) can or should do.
>

 I prove that DDD is included with fully operational code
so you are contradicting reality. Not the kind of thing
people interested in an honest dialogue would do.

And then you show an incorrect simulation, as the ONLY correct x86 language simulation of a CALL instruction is to show the instructions in the routine called.
Thus, you prove yourself to be a LIAR.
The problem seems to be that you made yourself totally ignorant of the field you decided to talk about, and thus made yourself into an ignorant pathological lying idiot who recklessly disregards the truth.

 typedef void (*ptr)();
int HHH(ptr P);
 void DDD()
{
   HHH(DDD);
   return;
}
 int main()
{
   DDD();
}
  _DDD()
[00002177] 55             push ebp
[00002178] 8bec           mov ebp,esp
[0000217a] 6877210000     push 00002177
[0000217f] e853f4ffff     call 000015d7
[00002184] 83c404         add esp,+04
[00002187] 5d             pop ebp
[00002188] c3             ret
Size in bytes:(0018) [00002188]
 _main()
[00002197] 55             push ebp
[00002198] 8bec           mov ebp,esp
[0000219a] e8d8ffffff     call 00002177
[0000219f] 33c0           xor eax,eax
[000021a1] 5d             pop ebp
[000021a2] c3             ret
Size in bytes:(0012) [000021a2]
   machine   stack     stack     machine    assembly
  address   address   data      code       language
  ========  ========  ========  =========  =============
[00002197][001037e9][00000000] 55         push ebp
[00002198][001037e9][00000000] 8bec       mov ebp,esp
[0000219a][001037e5][0000219f] e8d8ffffff call 00002177
[00002177][001037e1][001037e9] 55         push ebp
[00002178][001037e1][001037e9] 8bec       mov ebp,esp
[0000217a][001037dd][00002177] 6877210000 push 00002177
[0000217f][001037d9][00002184] e853f4ffff call 000015d7
New slave_stack at:10388d
 Begin Local Halt Decider Simulation   Execution Trace Stored at:113895
[00002177][00113885][00113889] 55         push ebp
[00002178][00113885][00113889] 8bec       mov ebp,esp
[0000217a][00113881][00002177] 6877210000 push 00002177
[0000217f][0011387d][00002184] e853f4ffff call 000015d7
New slave_stack at:14e2b5
[00002177][0015e2ad][0015e2b1] 55         push ebp
[00002178][0015e2ad][0015e2b1] 8bec       mov ebp,esp
[0000217a][0015e2a9][00002177] 6877210000 push 00002177
[0000217f][0015e2a5][00002184] e853f4ffff call 000015d7
Local Halt Decider: Infinite Recursion Detected Simulation Stopped
 [00002184][001037e1][001037e9] 83c404     add esp,+04
[00002187][001037e5][0000219f] 5d         pop ebp
[00002188][001037e9][00000000] c3         ret
[0000219f][001037e9][00000000] 33c0       xor eax,eax
[000021a1][001037ed][00000018] 5d         pop ebp
[000021a2][001037f1][00000000] c3         ret
Number of Instructions Executed(10071) == 150 Pages