Re: Can D simulated by H terminate normally? --- Message_ID Provided

Liste des GroupesRevenir à s logic 
Sujet : Re: Can D simulated by H terminate normally? --- Message_ID Provided
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory sci.logic
Date : 20. May 2024, 01:31:29
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v2e24h$1g2n8$8@i2pn2.org>
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 33
User-Agent : Mozilla Thunderbird
On 5/19/24 3:46 PM, olcott wrote:
On 5/19/2024 12:17 PM, Richard Damon wrote:
On 5/18/24 11:59 PM, olcott wrote:
On 5/18/2024 6:38 PM, Richard Damon wrote:
On 5/18/24 7:24 PM, olcott wrote:
On 5/18/2024 6:06 PM, Richard Damon wrote:
On 5/18/24 6:44 PM, olcott wrote:
On 5/18/2024 3:02 PM, Richard Damon wrote:
On 5/18/24 3:57 PM, olcott wrote:
On 5/1/2024 7:10 PM, Richard Damon wrote:
The second method uses the fact that you have not restricted what H is allowed to do, and thus H can remember that it is simulating, and if a call to H shows that it is currently doing a simulation, just immediately return 0.
>
Nice try but this has no effect on any D correctly simulated by H.
When the directly executed H aborts its simulation it only returns
to whatever directly executed it.
>
Why? My H does correctly simulate the D it was given.
>
You don't seem to understand how the C code actually works.
>
>
If the directly executed outermost H does not abort then none of
the inner simulated ones abort because they are the exact same code.
When the directly executed outermost H does abort it can only return
to its own caller.
>
WHAT inner simulatioin?
>
>
My H begins as:
>
int H(ptr x, ptr y) {
   static int flag = 0;
   if(flag) return 0;
   flag = 1;
>
followed by essentially your code for H, except that you need to disable the hack that doesn't simulate the call to H, but just let it continue into H where it will immediately return to D and D will then return.
>
>
Thus, your claim is shown to be wrong.
>
>
We are talking about every element of an infinite set where
H correctly simulates 1 to ∞ steps of D thus including 0 to ∞
recursive simulations of H simulating itself simulating D.
>
*At whatever point the directly executed H(D,D) stops simulating*
*its input it cannot possibly return to any simulated input*
>
And my H never stops simulating, so that doesn't apply. It will reach the final state.
>
*Show the error in my execution trace that I empirically*
*proved has no error by H correctly simulating D to the*
*point where H correctly simulates itself simulating D*
(Fully operational empirically code proved this)
>
See below:
>
>
>
typedef int (*ptr)();  // ptr is pointer to int function
00 int H(ptr x, ptr y);
01 int D(ptr x)
02 {
03   int Halt_Status = H(x, x);
04   if (Halt_Status)
05     HERE: goto HERE;
06   return Halt_Status;
07 }
08
09 int main()
10 {
11   H(D,D);
12   return 0;
13 }
>
For Reference
>
14 int H(ptr x, ptr y)
15 {
16   static int flag = 0
17   if (flag)
18      return 0
19   ... continuation of H that simulates its input
>
>
In the above case a simulator is an x86 emulator that correctly
emulates at least one of the x86 instructions of D in the order
specified by the x86 instructions of D.
>
This may include correctly emulating the x86 instructions of H
in the order specified by the x86 instructions of H thus calling
H(D,D) in recursive simulation.
>
Execution Trace
Line 11: main() invokes H(D,D);
>
keeps repeating (unless aborted)
Line 01
Line 02
Line 03: simulated D(D) invokes simulated H(D,D) that simulates D(D)
>
Line 03: Calls H (line 14)
Line 16: Static already inited, so not changed.
Line 17: Flag is 1, so
Line 18: Return 0
Line 03: Set Halt_Status to 0
Line 04: if (Halt_Status)      halts status is 0, so skip
Line 06: return Halt_Status
>
Simulation completed, program halted.
>
>
>
Simulation invariant:
D correctly simulated by H cannot possibly reach past its own line 03.
>
>
>
Nope. Not for this H
>
>
>
(a) That idea might work yet you did not say it correctly.
For example line 11 is the first one invoked.
>
>
No, I was showing what happens INSTEAD of your last line 03.
>
Are you so stupid that you need everything just fully explained to you?
>
 *You just admitted that you thought that lying is OK because*
*I did not specifically say that I expect correct answers*
 
So you ADMIT that your H won't return the correct answer?
Your final statement is that H is CORRECT about the behavior input, by making the decision.
If you retract that, and admit that H is just making up a story by its answer, then you are admitting that you are working on a pure fantasy that means absoultely nothing.
I guess every time you claim something to be "correct" we can assume that means that it might be correct, or it might be wrong, Peter Olcott doesn't mean anything by calling something to be "Correct"

On 5/19/2024 12:17 PM, Richard Damon wrote:
 > On 5/19/24 9:59 AM, olcott wrote:
 >> Richard has stated that he thinks that an example of
 >> {D never simulated by H} ∈ {every D simulated by H}
 >
 > No, the H that didn't simulate its input shows that
 > *once you allow H to not be required to be correct*,
 > that we can then have a trivial function that is
 > "just as correct" (since wrong answers were allowed).
 >
 >>
 >> On 5/1/2024 7:28 PM, Richard Damon wrote:
 >> Message-ID: <v0ummt$2qov3$2@i2pn2.org>
 >> http://al.howardknight.net/?STYPE=msgid&MSGI=%3Cv0ummt%242qov3%242%40i2pn2.org%3E
 

Date Sujet#  Auteur
28 Apr 24 * Can D simulated by H terminate normally?171olcott
28 Apr 24 +* Re: Can D simulated by H terminate normally?34Richard Damon
28 Apr 24 i`* Re: Can D simulated by H terminate normally?33olcott
28 Apr 24 i `* Re: Can D simulated by H terminate normally?32Richard Damon
28 Apr 24 i  `* Re: Can D simulated by H terminate normally?31olcott
28 Apr 24 i   +* Re: Can D simulated by H terminate normally?28Richard Damon
28 Apr 24 i   i`* Re: Can D simulated by H terminate normally?27olcott
28 Apr 24 i   i `* Re: Can D simulated by H terminate normally?26Richard Damon
28 Apr 24 i   i  `* Re: Can D simulated by H terminate normally?25olcott
28 Apr 24 i   i   `* Re: Can D simulated by H terminate normally?24Richard Damon
28 Apr 24 i   i    `* Re: Can D simulated by H terminate normally?23olcott
28 Apr 24 i   i     `* Re: Can D simulated by H terminate normally?22Richard Damon
28 Apr 24 i   i      `* Re: Can D simulated by H terminate normally?21olcott
28 Apr 24 i   i       `* Re: Can D simulated by H terminate normally?20Richard Damon
28 Apr 24 i   i        `* Re: Can D simulated by H terminate normally?19olcott
28 Apr 24 i   i         +* Re: Can D simulated by H terminate normally?13Richard Damon
28 Apr 24 i   i         i`* Re: Can D simulated by H terminate normally?12olcott
28 Apr 24 i   i         i `* Re: Can D simulated by H terminate normally?11Richard Damon
28 Apr 24 i   i         i  `* Re: Can D simulated by H terminate normally? POE10olcott
28 Apr 24 i   i         i   `* Re: Can D simulated by H terminate normally? POE9Richard Damon
28 Apr 24 i   i         i    +* Re: Can D simulated by H terminate normally? POE2olcott
29 Apr 24 i   i         i    i`- Re: Can D simulated by H terminate normally? POE1Richard Damon
29 Apr 24 i   i         i    `* Re: Can D simulated by H terminate normally? POE6olcott
29 Apr 24 i   i         i     `* Re: Can D simulated by H terminate normally? POE5Richard Damon
29 Apr 24 i   i         i      `* Re: Can D simulated by H terminate normally? POE4olcott
29 Apr 24 i   i         i       `* Re: Can D simulated by H terminate normally? POE3Richard Damon
29 Apr 24 i   i         i        `* Re: Can D simulated by H terminate normally? POE2olcott
30 Apr 24 i   i         i         `- Re: Can D simulated by H terminate normally? POE1Richard Damon
28 Apr 24 i   i         `* Re: Can D simulated by H terminate normally?5Richard Damon
28 Apr 24 i   i          `* Re: Can D simulated by H terminate normally?4olcott
28 Apr 24 i   i           `* Re: Can D simulated by H terminate normally?3Richard Damon
28 Apr 24 i   i            `* Re: Can D simulated by H terminate normally?2olcott
28 Apr 24 i   i             `- Re: Can D simulated by H terminate normally?1Richard Damon
28 Apr 24 i   `* Re: Can D simulated by H terminate normally?2olcott
28 Apr 24 i    `- Re: Can D simulated by H terminate normally?1Richard Damon
28 Apr 24 `* Re: Can D simulated by H terminate normally?136olcott
28 Apr 24  `* Re: Can D simulated by H terminate normally?135Richard Damon
28 Apr 24   `* Re: Can D simulated by H terminate normally?134olcott
28 Apr 24    `* Re: Can D simulated by H terminate normally?133Richard Damon
28 Apr 24     `* Re: Can D simulated by H terminate normally?132olcott
28 Apr 24      `* Re: Can D simulated by H terminate normally?131Richard Damon
28 Apr 24       `* Re: Can D simulated by H terminate normally?130olcott
28 Apr 24        `* Re: Can D simulated by H terminate normally?129Richard Damon
28 Apr 24         +* Re: Can D simulated by H terminate normally?104olcott
28 Apr 24         i+* Re: Can D simulated by H terminate normally?96Richard Damon
28 Apr 24         ii`* Re: Can D simulated by H terminate normally?95olcott
28 Apr 24         ii `* Re: Can D simulated by H terminate normally?94Richard Damon
28 Apr 24         ii  `* Re: Can D simulated by H terminate normally?93olcott
29 Apr 24         ii   `* Re: Can D simulated by H terminate normally?92Richard Damon
29 Apr 24         ii    `* Re: Can D simulated by H terminate normally?91olcott
29 Apr 24         ii     `* Re: Can D simulated by H terminate normally?90Richard Damon
29 Apr 24         ii      `* Re: Can D simulated by H terminate normally?89olcott
30 Apr 24         ii       `* Re: Can D simulated by H terminate normally?88Richard Damon
30 Apr 24         ii        `* Re: Can D simulated by H terminate normally?87olcott
30 Apr 24         ii         `* Re: Can D simulated by H terminate normally?86Richard Damon
30 Apr 24         ii          `* Re: Can D simulated by H terminate normally?85olcott
1 May 24         ii           `* Re: Can D simulated by H terminate normally?84Richard Damon
1 May 24         ii            `* Re: Can D simulated by H terminate normally?83olcott
1 May 24         ii             `* Re: Can D simulated by H terminate normally?82Richard Damon
1 May 24         ii              `* Re: Can D simulated by H terminate normally?81olcott
2 May 24         ii               `* Re: Can D simulated by H terminate normally?80Richard Damon
2 May 24         ii                +* Re: Can D simulated by H terminate normally?6olcott
2 May 24         ii                i`* Re: Can D simulated by H terminate normally?5Richard Damon
2 May 24         ii                i `* Re: Can D simulated by H terminate normally?4olcott
2 May 24         ii                i  `* Re: Can D simulated by H terminate normally?3Richard Damon
2 May 24         ii                i   `* Re: Can D simulated by H terminate normally?2olcott
2 May 24         ii                i    `- Re: Can D simulated by H terminate normally?1Richard Damon
18 May 24         ii                +- Re: Can D simulated by H terminate normally?1Richard Damon
18 May 24         ii                +* Re: Can D simulated by H terminate normally? --- Message-ID provided4olcott
18 May 24         ii                i`* Re: Can D simulated by H terminate normally? --- Message-ID provided3Richard Damon
18 May 24         ii                i `* Re: Can D simulated by H terminate normally? --- Message-ID provided2olcott
18 May 24         ii                i  `- Re: Can D simulated by H terminate normally? --- Message-ID provided1Richard Damon
18 May 24         ii                +* Re: Can D simulated by H terminate normally? --- Message_ID Provided7olcott
18 May 24         ii                i+* Re: Can D simulated by H terminate normally? --- Message_ID Provided3Richard Damon
18 May 24         ii                ii`* Re: Can D simulated by H terminate normally? --- Message_ID Provided2olcott
18 May 24         ii                ii `- Re: Can D simulated by H terminate normally? --- Message_ID Provided1Richard Damon
18 May 24         ii                i`* Re: Can D simulated by H terminate normally? --- Message_ID Provided3Richard Damon
18 May 24         ii                i `* Re: Can D simulated by H terminate normally? --- Message_ID Provided2olcott
18 May 24         ii                i  `- Re: Can D simulated by H terminate normally? --- Message_ID Provided1Richard Damon
18 May 24         ii                +* Re: Can D simulated by H terminate normally? --- Message_ID Provided31olcott
18 May 24         ii                i`* Re: Can D simulated by H terminate normally? --- Message_ID Provided30Richard Damon
18 May 24         ii                i +* Re: Can D simulated by H terminate normally? --- Message_ID Provided2olcott
19 May 24         ii                i i`- Re: Can D simulated by H terminate normally? --- Message_ID Provided1Richard Damon
19 May 24         ii                i `* Re: Can D simulated by H terminate normally? --- Message_ID Provided27olcott
19 May 24         ii                i  `* Re: Can D simulated by H terminate normally? --- Message_ID Provided26Richard Damon
19 May 24         ii                i   `* Re: Can D simulated by H terminate normally? --- Message_ID Provided25olcott
19 May 24         ii                i    `* Re: Can D simulated by H terminate normally? --- Message_ID Provided24Richard Damon
19 May 24         ii                i     `* Re: Can D simulated by H terminate normally? --- Message_ID Provided23olcott
19 May 24         ii                i      +* Re: Can D simulated by H terminate normally? --- Message_ID Provided15immibis
19 May 24         ii                i      i+* Re: Can D simulated by H terminate normally? --- Message_ID Provided9olcott
20 May 24         ii                i      ii`* Re: Can D simulated by H terminate normally? --- Message_ID Provided8immibis
20 May 24         ii                i      ii `* Re: Can D simulated by H terminate normally? --- Message_ID Provided7olcott
20 May 24         ii                i      ii  +* Re: Can D simulated by H terminate normally? --- Message_ID Provided3immibis
20 May 24         ii                i      ii  i`* Re: Can D simulated by H terminate normally? --- Message_ID Provided2olcott
21 May 24         ii                i      ii  i `- Re: Can D simulated by H terminate normally? --- Message_ID Provided1Richard Damon
20 May 24         ii                i      ii  `* Re: Can D simulated by H terminate normally? --- Message_ID Provided3Richard Damon
20 May 24         ii                i      ii   `* Re: Can D simulated by H terminate normally? --- Message_ID Provided2olcott
21 May 24         ii                i      ii    `- Re: Can D simulated by H terminate normally? --- Message_ID Provided1Richard Damon
19 May 24         ii                i      i`* Re: Can D simulated by H terminate normally? --- Message_ID Provided5olcott
19 May 24         ii                i      i +- Re: Can D simulated by H terminate normally? --- Message_ID Provided1Richard Damon
20 May 24         ii                i      i `* Re: Can D simulated by H terminate normally? --- Message_ID Provided3immibis
19 May 24         ii                i      `* Re: Can D simulated by H terminate normally? --- Message_ID Provided7Richard Damon
20 May 24         ii                `* Re: Can D simulated by H terminate normally? Message_ID Provided V230olcott
29 Apr 24         i+* Re: Can D simulated by H terminate normally?5Alan Mackenzie
14 May 24         i`* Is Richard a Liar?2olcott
28 Apr 24         +* Re: Can D simulated by H terminate normally?2olcott
28 Apr 24         `* Re: Can D simulated by H terminate normally?22olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal