Any honest person that knows the x86 language can see...

Liste des GroupesRevenir à theory 
Sujet : Any honest person that knows the x86 language can see...
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory comp.ai.philosophy
Date : 29. Jul 2024, 15:07:53
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v887np$gl15$1@dont-email.me>
User-Agent : Mozilla Thunderbird
HHH(Infinite_Recursion) and HHH(DDD) show the same non-halting
behavior pattern in their derived execution traces of their
inputs.
Correct emulation is defined as emulating the machine language
input according to the x86 semantics specified by this input.
For DDD correctly emulated by HHH this includes HHH emulating
itself emulating DDD according to the x86 semantics of itself.
HHH(DDD) shows the exact same execution trace behavior pattern
as HHH(Infinite_Recursion) where 3-4 instructions are repeated
with no conditional branch instructions in this trace that could
prevent them from endlessly repeating.
void Infinite_Recursion()
{
   Infinite_Recursion();
}
_Infinite_Recursion()
[0000215a] 55         push ebp      ; 1st line
[0000215b] 8bec       mov ebp,esp   ; 2nd line
[0000215d] e8f8ffffff call 0000215a ; 3rd line
[00002162] 5d         pop ebp
[00002163] c3         ret
Size in bytes:(0010) [00002163]
*THREE lines repeat with no conditional branch instructions*
Begin Local Halt Decider Simulation   Execution Trace Stored at:113934
[0000215a][00113924][00113928] 55         push ebp      ; 1st line
[0000215b][00113924][00113928] 8bec       mov ebp,esp   ; 2nd line
[0000215d][00113920][00002162] e8f8ffffff call 0000215a ; 3rd line
[0000215a][0011391c][00113924] 55         push ebp      ; 1st line
[0000215b][0011391c][00113924] 8bec       mov ebp,esp   ; 2nd line
[0000215d][00113918][00002162] e8f8ffffff call 0000215a ; 3rd line
Local Halt Decider: Infinite Recursion Detected Simulation Stopped
If you cannot see that the above x86 machine code proves that
it will never halt then you can't possibly understand what I
have been saying.
The first three lines of _Infinite_Recursion() repeat and there
are no conditional branch in that sequence that can possibly keep
it from repeating forever.
HHH(DDD) is the exact same pattern is shown below. The first
four lines of DDD repeat and there are are no conditional branch
in that sequence that can possibly keep it from repeating forever.
void DDD()
{
   HHH(DDD);
}
_DDD()
[00002177] 55               push ebp      ; 1st line
[00002178] 8bec             mov ebp,esp   ; 2nd line
[0000217a] 6877210000       push 00002177 ; push DDD
[0000217f] e853f4ffff       call 000015d7 ; call HHH
[00002184] 83c404           add esp,+04
[00002187] 5d               pop ebp
[00002188] c3               ret
Size in bytes:(0018) [00002188]
*FOUR lines repeat with no conditional branch instructions*
Begin Local Halt Decider Simulation   Execution Trace Stored at:113895
[00002177][00113885][00113889] 55         push ebp      ; 1st line
[00002178][00113885][00113889] 8bec       mov ebp,esp   ; 2nd line
[0000217a][00113881][00002177] 6877210000 push 00002177 ; push DDD
[0000217f][0011387d][00002184] e853f4ffff call 000015d7 ; call HHH
[00002177][0015e2ad][0015e2b1] 55         push ebp      ; 1st line
[00002178][0015e2ad][0015e2b1] 8bec       mov ebp,esp   ; 2nd line
[0000217a][0015e2a9][00002177] 6877210000 push 00002177 ; push DDD
[0000217f][0015e2a5][00002184] e853f4ffff call 000015d7 ; call HHH
Local Halt Decider: Infinite Recursion Detected Simulation Stopped
Because HHH has no idea that it is calling itself HHH only sees
the same Infinite Recursion behavior pattern that it saw with
Infinite_Recursion().
--
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
29 Jul 24 * Any honest person that knows the x86 language can see...78olcott
29 Jul 24 +* Re: Any honest person that knows the x86 language can see...5Fred. Zwarts
29 Jul 24 i`* Re: Any honest person that knows the x86 language can see...4olcott
29 Jul 24 i `* Re: Any honest person that knows the x86 language can see...3Fred. Zwarts
29 Jul 24 i  `* Re: Any honest person that knows the x86 language can see...2olcott
30 Jul 24 i   `- Re: Any honest person that knows the x86 language can see...1Fred. Zwarts
30 Jul 24 +- Re: Any honest person that knows the x86 language can see... DDD will HALT if HHH answers1Richard Damon
30 Jul 24 `* Re: Any honest person that knows the x86 language can see...71Mikko
30 Jul 24  `* Re: Any honest person that knows the x86 language can see...70olcott
30 Jul 24   +* Re: Any honest person that knows the x86 language can see...57Fred. Zwarts
30 Jul 24   i`* Re: Any honest person that knows the x86 language can see... predict correctly56olcott
30 Jul 24   i `* Re: Any honest person that knows the x86 language can see... predict correctly55Fred. Zwarts
30 Jul 24   i  `* Re: Any honest person that knows the x86 language can see... predict correctly54olcott
30 Jul 24   i   +* Re: Any honest person that knows the x86 language can see... predict correctly51joes
30 Jul 24   i   i`* Re: Any honest person that knows the x86 language can see... predict correctly50olcott
31 Jul 24   i   i +* Re: Any honest person that knows the x86 language can see... predict correctly25Mad Hamish
31 Jul 24   i   i i`* Re: Any honest person that knows the x86 language can see... predict correctly24olcott
1 Aug 24   i   i i `* Re: Any honest person that knows the x86 language can see... predict correctly23wij
1 Aug 24   i   i i  `* Re: Any honest person that knows the x86 language can see... predict correctly22olcott
1 Aug 24   i   i i   +* Re: Any honest person that knows the x86 language can see... predict correctly7wij
1 Aug 24   i   i i   i+* Re: Any honest person that knows the x86 language can see... predict correctly2olcott
1 Aug 24   i   i i   ii`- Re: Any honest person that knows the x86 language can see... predict correctly1wij
1 Aug 24   i   i i   i`* Re: Any honest person that knows the x86 language can see... predict correctly4Mikko
1 Aug 24   i   i i   i `* Re: Any honest person that knows the x86 language can see... predict correctly3olcott
2 Aug 24   i   i i   i  +- Re: Any honest person that knows the x86 language can see... predict *IN*correctly1Richard Damon
2 Aug 24   i   i i   i  `- Re: Any honest person that knows the x86 language can see... predict correctly1Mikko
1 Aug 24   i   i i   +* Re: Any honest person that knows the x86 language can see... predict correctly11Fred. Zwarts
1 Aug 24   i   i i   i`* Re: Any honest person that knows the x86 language can see... predict correctly10olcott
1 Aug 24   i   i i   i +* Re: Any honest person that knows the x86 language can see... predict correctly7Fred. Zwarts
1 Aug 24   i   i i   i i`* Re: Any honest person that knows the x86 language can see... predict correctly6olcott
1 Aug 24   i   i i   i i +- Re: Any honest person that knows the x86 language can see... predict correctly1Fred. Zwarts
1 Aug 24   i   i i   i i `* Re: Any honest person that knows the x86 language can see... predict correctly4joes
1 Aug 24   i   i i   i i  `* Re: Any honest person that knows the x86 language can see... predict correctly3olcott
1 Aug 24   i   i i   i i   `* Re: Any honest person that knows the x86 language can see... predict correctly2joes
1 Aug 24   i   i i   i i    `- Re: Any honest person that knows the x86 language can see... predict correctly1olcott
2 Aug 24   i   i i   i +- Re: Any honest person that knows the x86 language can see... predict INcorrectly1Richard Damon
2 Aug 24   i   i i   i `- Re: Any honest person that knows the x86 language can see... predict correctly1Mikko
1 Aug 24   i   i i   `* Re: Any honest person that knows the x86 language can see... predict correctly is to say Halting,3Richard Damon
1 Aug 24   i   i i    `* Re: Any honest person that knows the x86 language can see... predict correctly is to say Halting,2olcott
2 Aug 24   i   i i     `- Re: Any honest person that knows the x86 language can see... predict correctly is to say Halting,1Richard Damon
31 Jul 24   i   i +- Re: Any honest person that knows the x86 language can see... predict correctly1Richard Damon
31 Jul 24   i   i +* Re: Any honest person that knows the x86 language can see... predict correctly22joes
31 Jul 24   i   i i`* Re: Any honest person that knows the x86 language can see... predict correctly21olcott
31 Jul 24   i   i i +- Re: Any honest person that knows the x86 language can see... predict INcorrectly1Richard Damon
31 Jul 24   i   i i `* Re: Any honest person that knows the x86 language can see... predict correctly19joes
31 Jul 24   i   i i  `* Re: Any honest person that knows the x86 language can see... predict correctly18olcott
31 Jul 24   i   i i   +* Re: Any honest person that knows the x86 language can see... predict correctly16joes
31 Jul 24   i   i i   i`* Re: Any honest person that knows the x86 language can see... predict correctly15olcott
31 Jul 24   i   i i   i `* Re: Any honest person that knows the x86 language can see... predict correctly14Fred. Zwarts
31 Jul 24   i   i i   i  `* Re: Any honest person that knows the x86 language can see... predict correctly13olcott
1 Aug 24   i   i i   i   +* Re: Any honest person that knows the x86 language can see... predict correctly7joes
1 Aug 24   i   i i   i   i`* Re: Any honest person that knows the x86 language can see... predict correctly6olcott
1 Aug 24   i   i i   i   i `* Re: Any honest person that knows the x86 language can see... predict correctly5Fred. Zwarts
1 Aug 24   i   i i   i   i  `* Re: Any honest person that knows the x86 language can see... predict correctly4olcott
1 Aug 24   i   i i   i   i   `* Re: Any honest person that knows the x86 language can see... predict correctly3Fred. Zwarts
1 Aug 24   i   i i   i   i    `* Re: Any honest person that knows the x86 language can see... predict correctly2olcott
1 Aug 24   i   i i   i   i     `- Re: Any honest person that knows the x86 language can see... predict correctly1Fred. Zwarts
1 Aug 24   i   i i   i   `* Re: Any honest person that knows the x86 language can see... predict correctly5Fred. Zwarts
1 Aug 24   i   i i   i    `* Re: Any honest person that knows the x86 language can see... predict correctly4olcott
1 Aug 24   i   i i   i     `* Re: Any honest person that knows the x86 language can see... predict correctly3Fred. Zwarts
1 Aug 24   i   i i   i      `* Re: Any honest person that knows the x86 language can see... predict correctly2olcott
1 Aug 24   i   i i   i       `- Re: Any honest person that knows the x86 language can see... predict correctly1Fred. Zwarts
1 Aug 24   i   i i   `- Re: Any honest person that knows the x86 language can see... H predicts INcorrectly1Richard Damon
31 Jul 24   i   i `- Re: Any honest person that knows the x86 language can see... predict correctly1Fred. Zwarts
31 Jul 24   i   +- Re: Any honest person that knows the x86 language can see... predict INcorrectly1Richard Damon
31 Jul 24   i   `- Re: Any honest person that knows the x86 language can see... predict correctly1Fred. Zwarts
31 Jul 24   +- Re: Any honest person that knows the x86 language can see...1Richard Damon
31 Jul 24   `* Re: Any honest person that knows the x86 language can see...11Mikko
31 Jul 24    +* Re: Any honest person that knows the x86 language can see...4Mikko
31 Jul 24    i`* Re: Any honest person that knows the x86 language can see...3olcott
1 Aug 24    i +- Re: Any honest person that knows the x86 language can see... The H incorrectly decides on the input.1Richard Damon
2 Aug 24    i `- Re: Any honest person that knows the x86 language can see...1Mikko
31 Jul 24    `* Re: Any honest person that knows the x86 language can see...6olcott
1 Aug 24     +- Re: Any honest person that knows the x86 language can see... H predicts incorrectly1Richard Damon
2 Aug 24     `* Re: Any honest person that knows the x86 language can see...4Mikko
2 Aug 24      `* Re: Any honest person that knows the x86 language can see...3olcott
2 Aug 24       +- Re: Any honest person that knows the x86 language can see...1Richard Damon
3 Aug 24       `- Re: Any honest person that knows the x86 language can see...1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal