Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply

Liste des GroupesRevenir à s logic 
Sujet : Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic
Date : 23. Jun 2024, 15:30:33
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v5981p$brmn$4@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10
User-Agent : Mozilla Thunderbird
On 6/23/2024 4:45 AM, Fred. Zwarts wrote:
Op 22.jun.2024 om 20:53 schreef olcott:
On 6/22/2024 1:50 PM, Fred. Zwarts wrote:
Op 22.jun.2024 om 15:11 schreef olcott:
On 6/22/2024 4:27 AM, Fred. Zwarts wrote:
Op 21.jun.2024 om 15:01 schreef olcott:
On 6/21/2024 2:44 AM, Fred. Zwarts wrote:
Op 20.jun.2024 om 16:12 schreef olcott:
On 6/20/2024 3:09 AM, Fred. Zwarts wrote:
Op 20.jun.2024 om 02:00 schreef olcott:
This shows all of the steps of HH0 simulating DDD
calling a simulated HH0 simulating DDD
>
https://liarparadox.org/HH0_(DDD)_Full_Trace.pdf
*Some of the key instructions are color coded*
GREEN---DebugStep Address
RED-----HH Address
YELLOW--All of the DDD instructions
CYAN----Return from DebugStep to Decide_Halting_HH
>
_DDD()
[000020a2] 55         push ebp      ; housekeeping
[000020a3] 8bec       mov ebp,esp   ; housekeeping
[000020a5] 68a2200000 push 000020a2 ; push DDD
[000020aa] e8f3f9ffff call 00001aa2 ; call H0
[000020af] 83c404     add esp,+04   ; housekeeping
[000020b2] 5d         pop ebp       ; housekeeping
[000020b3] c3         ret           ; never gets here
Size in bytes:(0018) [000020b3]
>
Exactly which step of DDD emulated by H0 was emulated
incorrectly such that this emulation would be complete?
AKA DDD emulated by H0 reaches machine address [000020b3]
>
>
>
>
If the simulation of a program with a loop of 5 iterations is aborted after 3 iterations, all instructions are correctly simulated. Nevertheless, it is an incorrect simulation, because it should simulate up to the final state of the program.
>
>
It would be helpful if you answer the actual question being asked
right here and thus not answer some other question that was asked
somewhere else.
>
If you do not understand that I answered the question why the simulation is incorrect, it is hopeless. The question which instruction is incorrect is not the right question.
>
>
If you say that something is incorrect and can't be specific
then your rebuttal is pure bluster with no actual basis.
>
>
If ..., but that condition is not present, so the 'then' does not apply.
This makes the sentence completely superfluous. I would expect better from someone who claims to be an experienced programmer.
>
But since I pointed out in a very detailed way, why it is incorrect, your reply shows that you do not understand where you are talking about, which then becomes utterly nonsense.
>
The question which instruction is incorrectly simulated already shows your error. The error is not that an instruction is simulated incorrectly, but that some instruction are not simulated at all.
Why is that already over your head?
>
>
It is a verified fact that the behavior that finite string DDD presents
to HH0 is that when DDD correctly simulated by HH0 calls HH0(DDD) that
this call DOES NOT RETURN.
>
It is a verified fact that the behavior that finite string DDD presents
to HH1 is that when DDD correctly simulated by HH0 calls HH1(DDD) that
this call DOES RETURN.
>
I don't get why people here insist on lying about verified facts.
>
>
We know that 'verified fact' for you means 'my wish'.
>
Is it merely my wish that for decimal integers 2 + 3 = 5
or is this according to the semantics of arithmetic?

Ignoramus?
>
When we stipulate that the only measure of a correct emulation is the semantics of the x86 programming language then we see that when DDD is correctly emulated by H0 that its call to H0(DDD) cannot possibly return.
>
_DDD()
[00002172] 55               push ebp      ; housekeeping
[00002173] 8bec             mov ebp,esp   ; housekeeping
[00002175] 6872210000       push 00002172 ; push DDD
[0000217a] e853f4ffff       call 000015d2 ; call H0(DDD)
[0000217f] 83c404           add esp,+04
[00002182] 5d               pop ebp
[00002183] c3               ret
Size in bytes:(0018) [00002183]
>
When we define H1 as identical to H0 except that DDD does not call H1 then we see that when DDD is correctly emulated by H1 that its call to H0(DDD) does return. This is the same behavior as the directly executed DDD().
>
 Exactly what I predicted. Olcott can not point to any error in what I said and just repeats his baseless claim.
The semantics of the x86 programming language conclusively proves
that when DDD is correctly emulated by H0 that its call to H0(DDD) cannot possibly return.
_DDD()
[00002172] 55               push ebp      ; housekeeping
[00002173] 8bec             mov ebp,esp   ; housekeeping
[00002175] 6872210000       push 00002172 ; push DDD
[0000217a] e853f4ffff       call 000015d2 ; call H0(DDD)
[0000217f] 83c404           add esp,+04
[00002182] 5d               pop ebp
[00002183] c3               ret
Size in bytes:(0018) [00002183]
The semantics of arithmetic conclusively proves that
for the decimal integers 2 + 3 = 5.
--
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
20 Jun 24 * 195 page execution trace of DDD correctly simulated by HH0113olcott
20 Jun 24 +* Re: 195 page execution trace of DDD correctly simulated by HH048Fred. Zwarts
20 Jun 24 i`* Re: 195 page execution trace of DDD correctly simulated by HH047olcott
21 Jun 24 i +* Re: 195 page execution trace of DDD correctly simulated by HH03Richard Damon
21 Jun 24 i i`* Re: 195 page execution trace of DDD correctly simulated by HH02olcott
21 Jun 24 i i `- Re: 195 page execution trace of DDD correctly simulated by HH01Richard Damon
21 Jun 24 i `* Re: 195 page execution trace of DDD correctly simulated by HH043Fred. Zwarts
21 Jun 24 i  `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply42olcott
21 Jun 24 i   +* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply20Richard Damon
21 Jun 24 i   i`* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply19olcott
21 Jun 24 i   i `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply18Richard Damon
21 Jun 24 i   i  `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply17olcott
21 Jun 24 i   i   `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply16Richard Damon
21 Jun 24 i   i    `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply15olcott
21 Jun 24 i   i     +* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply9Richard Damon
21 Jun 24 i   i     i`* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply8olcott
21 Jun 24 i   i     i `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply7Richard Damon
21 Jun 24 i   i     i  `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply6olcott
21 Jun 24 i   i     i   `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply5Richard Damon
21 Jun 24 i   i     i    `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply4olcott
21 Jun 24 i   i     i     `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply3Richard Damon
21 Jun 24 i   i     i      `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply2olcott
21 Jun 24 i   i     i       `- Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply1Richard Damon
25 Jun 24 i   i     `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply5joes
25 Jun 24 i   i      `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply4olcott
26 Jun 24 i   i       +- Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply1Richard Damon
26 Jun 24 i   i       `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply2joes
26 Jun 24 i   i        `- Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply1olcott
22 Jun 24 i   `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply21Fred. Zwarts
22 Jun 24 i    `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply20olcott
22 Jun 24 i     +- Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply1Richard Damon
22 Jun 24 i     +* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply2joes
22 Jun 24 i     i`- Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply1Richard Damon
22 Jun 24 i     `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply16Fred. Zwarts
22 Jun 24 i      `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply15olcott
22 Jun 24 i       +* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply9Richard Damon
22 Jun 24 i       i`* DDD correctly emulated by H08olcott
22 Jun 24 i       i `* Re: DDD correctly emulated by H07Richard Damon
23 Jun 24 i       i  `* Re: DDD correctly emulated by H06olcott
23 Jun 24 i       i   `* Re: DDD correctly emulated by H05Richard Damon
23 Jun 24 i       i    `* Re: DDD correctly emulated by H04olcott
23 Jun 24 i       i     `* Re: DDD correctly emulated by H03Richard Damon
23 Jun 24 i       i      `* Re: DDD correctly emulated by H02olcott
23 Jun 24 i       i       `- Re: DDD correctly emulated by H01Richard Damon
23 Jun 24 i       `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply5Fred. Zwarts
23 Jun 24 i        `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply4olcott
24 Jun 24 i         `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply3Fred. Zwarts
24 Jun 24 i          `* Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply2olcott
25 Jun 24 i           `- Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply1Richard Damon
24 Jun 24 `* Re: 195 page execution trace of DDD correctly simulated by HH064olcott
25 Jun 24  +- Re: 195 page execution trace of DDD correctly simulated by HH01Richard Damon
25 Jun 24  +* Re: 195 page execution trace of DDD correctly simulated by HH060Fred. Zwarts
25 Jun 24  i`* Re: 195 page execution trace of DDD correctly simulated by HH059olcott
25 Jun 24  i +* Re: 195 page execution trace of DDD correctly simulated by HH055Fred. Zwarts
25 Jun 24  i i`* Re: 195 page execution trace of DDD correctly simulated by HH054olcott
25 Jun 24  i i +* Re: 195 page execution trace of DDD correctly simulated by HH047Fred. Zwarts
25 Jun 24  i i i`* Re: 195 page execution trace of DDD correctly simulated by HH046olcott
25 Jun 24  i i i `* Re: 195 page execution trace of DDD correctly simulated by HH045Fred. Zwarts
25 Jun 24  i i i  `* Re: 195 page execution trace of DDD correctly simulated by HH044olcott
25 Jun 24  i i i   `* Re: 195 page execution trace of DDD correctly simulated by HH043Fred. Zwarts
25 Jun 24  i i i    `* Re: 195 page execution trace of DDD correctly simulated by HH042olcott
26 Jun 24  i i i     `* Re: 195 page execution trace of DDD correctly simulated by HH041Fred. Zwarts
26 Jun 24  i i i      +* Re: 195 page execution trace of DDD correctly simulated by HH08olcott
27 Jun 24  i i i      i`* Re: 195 page execution trace of DDD correctly simulated by HH07Fred. Zwarts
27 Jun 24  i i i      i `* Re: 195 page execution trace of DDD correctly simulated by HH06olcott
28 Jun 24  i i i      i  `* Re: 195 page execution trace of DDD correctly simulated by HH05Fred. Zwarts
28 Jun 24  i i i      i   `* Re: 197 page execution trace of DDD correctly simulated by HHH4olcott
28 Jun 24  i i i      i    `* Re: 197 page execution trace of DDD correctly simulated by HHH3Fred. Zwarts
28 Jun 24  i i i      i     `* Re: 197 page execution trace of DDD correctly simulated by HHH2olcott
28 Jun 24  i i i      i      `- Re: 197 page execution trace of DDD correctly simulated by HHH1Fred. Zwarts
26 Jun 24  i i i      `* Re: 195 page execution trace of DDD correctly simulated by HH032olcott
27 Jun 24  i i i       `* Re: 195 page execution trace of DDD correctly simulated by HH031Fred. Zwarts
27 Jun 24  i i i        `* Re: 195 page execution trace of DDD correctly simulated by HH030olcott
28 Jun 24  i i i         +* Re: 195 page execution trace of DDD correctly simulated by HH015Fred. Zwarts
28 Jun 24  i i i         i`* Re: 197 page execution trace of DDD correctly simulated by HHH14olcott
28 Jun 24  i i i         i `* Re: 197 page execution trace of DDD correctly simulated by HHH13Fred. Zwarts
28 Jun 24  i i i         i  `* Re: 197 page execution trace of DDD correctly simulated by HHH12olcott
28 Jun 24  i i i         i   `* Re: 197 page execution trace of DDD correctly simulated by HHH11Fred. Zwarts
28 Jun 24  i i i         i    `* Re: 197 page execution trace of DDD correctly simulated by HHH10olcott
28 Jun 24  i i i         i     `* Re: 197 page execution trace of DDD correctly simulated by HHH9Fred. Zwarts
28 Jun 24  i i i         i      `* Re: 197 page execution trace of DDD correctly simulated by HHH8olcott
28 Jun 24  i i i         i       `* Re: 197 page execution trace of DDD correctly simulated by HHH7Fred. Zwarts
28 Jun 24  i i i         i        `* Re: 197 page execution trace of DDD correctly simulated by HHH6olcott
28 Jun 24  i i i         i         `* Re: 197 page execution trace of DDD correctly simulated by HHH5Fred. Zwarts
28 Jun 24  i i i         i          `* Re: 197 page execution trace of DDD correctly simulated by HHH4olcott
29 Jun 24  i i i         i           `* Re: 197 page execution trace of DDD correctly simulated by HHH3Fred. Zwarts
30 Jun 24  i i i         i            `* Re: 197 page execution trace of DDD correctly simulated by HHH2olcott
30 Jun 24  i i i         i             `- Re: 197 page execution trace of DDD correctly simulated by HHH1Richard Damon
28 Jun 24  i i i         `* Re: 197 page execution trace of DDD correctly simulated by HHH14olcott
3 Jul 24  i i i          `* Re: 197 page execution trace of DDD correctly simulated by HHH13olcott
3 Jul 24  i i i           `* Re: 197 page execution trace of DDD correctly simulated by HHH12Richard Damon
3 Jul 24  i i i            `* Re: 197 page execution trace of DDD correctly simulated by HHH11olcott
3 Jul 24  i i i             `* Re: 197 page execution trace of DDD correctly simulated by HHH10Richard Damon
3 Jul 24  i i i              `* Re: 197 page execution trace of DDD correctly simulated by HHH --- clueless9olcott
3 Jul 24  i i i               `* Re: 197 page execution trace of DDD correctly simulated by HHH --- clueless8Richard Damon
3 Jul 24  i i i                `* Re: 197 page execution trace of DDD correctly simulated by HHH --- Richard proves that he is clueless7olcott
3 Jul 24  i i i                 `* Re: 197 page execution trace of DDD correctly simulated by HHH --- Richard proves that he is clueless6Richard Damon
3 Jul 24  i i i                  `* Re: 197 page execution trace of DDD correctly simulated by HHH --- Richard proves that he is clueless5olcott
3 Jul 24  i i i                   `* Re: 197 page execution trace of DDD correctly simulated by HHH --- Richard proves that he is clueless4Richard Damon
3 Jul 24  i i i                    `* Re: 197 page execution trace of DDD correctly simulated by HHH --- Richard proves that he is clueless3olcott
3 Jul 24  i i i                     +- Re: 197 page execution trace of DDD correctly simulated by HHH --- Richard proves that he is clueless1Richard Damon
3 Jul 24  i i i                     `- Re: 197 page execution trace of DDD correctly simulated by HHH --- Richard proves that he is clueless1Richard Damon
26 Jun 24  i i `* DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure6olcott
26 Jun 24  i `* Re: 195 page execution trace of DDD correctly simulated by HH03Richard Damon
25 Jun 24  `* Re: 195 page execution trace of DDD correctly simulated by HH02joes

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal