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

From	olcott <polcott333@gmail.com>
Newsgroups	comp.theory
Subject	Re: Who here understands that the last paragraph is Necessarily true?
Date	2024-07-21 09:09 -0500
Organization	A noiseless patient Spider
Message-ID	<v7j4ra$3o7r$6@dont-email.me> (permalink)
References	(15 earlier) <v7da2l$2ts8o$2@dont-email.me> <v7du39$30pvh$8@dont-email.me> <v7g0kf$3fsab$1@dont-email.me> <v7gj3u$3iu15$3@dont-email.me> <v7im22$1qlt$1@dont-email.me>

Show all headers | View raw

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.

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


-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

csiph-web