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

Liste des GroupesRevenir à theory 
Sujet : Re: Who here understands that the last paragraph is Necessarily true?
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 21. Jul 2024, 15:09:46
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v7j4ra$3o7r$6@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
User-Agent : Mozilla Thunderbird
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

Date Sujet#  Auteur
13 Jul 25 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal