Sujet : Re: Who here understands that the last paragraph is Necessarily true?
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theoryDate : 21. Jul 2024, 18:53:09
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <ece23753fd13bb343335170ba84f1370195224c8@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
User-Agent : Mozilla Thunderbird
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