Re: 197 page execution trace of DDD correctly simulated by HHH

Liste des GroupesRevenir à s logic 
Sujet : Re: 197 page execution trace of DDD correctly simulated by HHH
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic
Date : 28. Jun 2024, 21:01:04
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v5n19g$3f3fn$3@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32
User-Agent : Mozilla Thunderbird
On 6/28/2024 1:48 PM, Fred. Zwarts wrote:
Op 28.jun.2024 om 20:31 schreef olcott:
On 6/28/2024 1:22 PM, Fred. Zwarts wrote:
Op 28.jun.2024 om 18:54 schreef olcott:
On 6/28/2024 10:48 AM, Fred. Zwarts wrote:
Op 28.jun.2024 om 17:32 schreef olcott:
>
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     If simulating halt decider H correctly simulates its input D
     until H correctly determines that its simulated D would never
     stop running unless aborted then
>
     H can abort its simulation of D and correctly report that D
     specifies a non-halting sequence of configurations.
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
>
On 10/14/2022 7:44 PM, Ben Bacarisse wrote:
 > I don't think that is the shell game. PO really /has/ an H
 > (it's trivial to do for this one case) that correctly determines
 > that P(P) *would* never stop running *unless* aborted.
 >
>
>
But there is no correct simulation, so Sipser's approval does not apply.
>
The semantics of the x86 programming language specifies that
N steps of DDD were correctly emulated until the infinite
recursion behavior pattern was correctly matched.
>
What you say is that two equals infinite.
>
>
void Infinite_Loop()
{
   HERE: goto HERE;
}
>
*In that case one = infinite*
 Change of subject ignored. This loop has more then two iterations. Why claiming falsehoods?
 
>
*We are not talking about infinite recursion. We are talking about a two cycle recursive simulation.*
>
>
This has better color coding than the prior version.
https://liarparadox.org/HHH(DDD)_Full_Trace.pdf
>
Let's agree about a two cycle recursive simulation, for which you have not shown any evidence that it can be done correctly.
>
I have proven the verified fact that DDD is correctly emulated by
HHH and HHH correctly emulates itself emulating DDD until the outer
HHH sees that DDD meets the infinite recursion behavior pattern.
>
There is no infinite recursion pattern.
>
Sure there is. Why lie ?
 Yes, why do you?
 
>
void Infinite_Recursion()
{
   Infinite_Recursion();
}
 Change of subject ignored.
Why distracting from the truth?
This is an example of infinite recursion. But we agreed to talk about two cycle recursion.
 
>
_Infinite_Recursion()
[00002122] 55               push ebp
[00002123] 8bec             mov ebp,esp
[00002125] e8f8ffffff       call 00002122
[0000212a] 5d               pop ebp
[0000212b] c3               ret
Size in bytes:(0010) [0000212b]
>
  machine   stack     stack     machine    assembly
  address   address   data      code       language
  ========  ========  ========  =========  =============
Begin Local Halt Decider Simulation   Execution Trace Stored at:1138d2
[00002122][001138c2][001138c6] 55         push ebp
[00002123][001138c2][001138c6] 8bec       mov ebp,esp
[00002125][001138be][0000212a] e8f8ffffff call 00002122
[00002122][001138ba][001138c2] 55         push ebp
[00002123][001138ba][001138c2] 8bec       mov ebp,esp
[00002125][001138b6][0000212a] e8f8ffffff call 00002122
Local Halt Decider: Infinite Recursion Detected Simulation Stopped
>
>
>
The simulated HHH runs one cycle behind the simulating HHH. The simulating HHH aborts the simulated HHH only one cycle before the simulated HHH would return.
Aborting the simulation at this point makes it incorrect.
So, stop talking about infinite, because apparently do not understand what it means. Infinite is much more than two.
>
>
 So, you are unable to show any error in my reasoning.
 
You can ignore the fact that DDD correctly simulated by HHH
meets this criteria and ignorance may be bliss yet cannot
be used as a basis for a rebuttal.
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     If simulating halt decider H correctly simulates its input D
     until H correctly determines that its simulated D would never
     stop running unless aborted then
     H can abort its simulation of D and correctly report that D
     specifies a non-halting sequence of configurations.
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
--
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