Re: Every D(D) simulated by H presents non-halting behavior to H ===

Liste des GroupesRevenir à c theory 
Sujet : Re: Every D(D) simulated by H presents non-halting behavior to H ===
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic
Date : 07. May 2024, 04:36:33
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v1c43h$3168a$1@dont-email.me>
References : 1 2 3 4
User-Agent : Mozilla Thunderbird
On 5/6/2024 9:13 PM, Richard Damon wrote:
On 5/6/24 2:28 PM, olcott wrote:
On 5/6/2024 11:19 AM, Mikko wrote:
On 2024-05-05 17:02:25 +0000, olcott said:
>
The x86utm operating system: https://github.com/plolcott/x86utm enables
one C function to execute another C function in debug step mode.
Simulating Termination analyzer H simulates the x86 machine code of its
input (using libx86emu) in debug step mode until it correctly matches a
correct non-halting behavior pattern proving that its input will never
stop running unless aborted.
>
Can D correctly simulated by H terminate normally?
00 int H(ptr x, ptr x)  // ptr is pointer to int function
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 }
>
*Execution Trace*
Line 11: main() invokes H(D,D);
>
*keeps repeating* (unless aborted)
Line 03: simulated D(D) invokes simulated H(D,D) that simulates D(D)
>
*Simulation invariant*
D correctly simulated by H cannot possibly reach past its own line 03.
>
The above execution trace proves that (for every H/D pair of the
infinite set of H/D pairs) each D(D) simulated by the H that this D(D)
calls cannot possibly reach past its own line 03.
>
When you say "every H/D pair" you should specify which set of pairs
you are talking about. As you don't, your words don't mean anything.
>
>
Every H/D pair in the universe where D(D) is simulated by the
same H(D,D) that D(D) calls. This involves 1 to ∞ steps of D
and also includes zero to ∞ recursive simulations where H
H simulates itself simulating D(D).
>
 And, since THIS STATEMENT puts no specifications on the design of H, I have shown that your claim is incorrect.
 
Sure *D is simulated by H* could mean that *D is never simulated by H*
The exact same way that *No evidence of election fraud* can be construed
as complete proof of huge election fraud.
Until you post a time/date of your proof I will assume that you are
NOT telling the truth.

If you are going to restrict it to some infinite set built on a specific template, you need to say so, or you are just a liar.
 
Is your memory really that bad?
00 int H(ptr x, ptr x)  // ptr is pointer to int function
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 }
Every H/D pair in the universe where D(D) is simulated by the
same H(D,D) that D(D) calls.
AS SHOWN IN THE ABOVE TEMPLATE THAT I HAVE BEEN REPEATING MANY
TIMES A DAY FOR TWO YEARS
This involves 1 to ∞ steps of D
and also includes zero to ∞ recursive simulations where H
H simulates itself simulating D(D).

Of course, that makes you claim much less interesting.
--
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
5 May 24 * Every D(D) simulated by H presents non-halting behavior to H643olcott
5 May 24 +* Re: Every D(D) simulated by H presents non-halting behavior to H64Richard Damon
5 May 24 i+* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
5 May 24 ii`- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
5 May 24 i+* Re: Every D(D) simulated by H presents non-halting behavior to H43olcott
5 May 24 ii`* Re: Every D(D) simulated by H presents non-halting behavior to H42Richard Damon
5 May 24 ii +* Re: Every D(D) simulated by H presents non-halting behavior to H18olcott
5 May 24 ii i`* Re: Every D(D) simulated by H presents non-halting behavior to H17Richard Damon
6 May 24 ii i `* Re: Every D(D) simulated by H presents non-halting behavior to H16olcott
6 May 24 ii i  +* Re: Every D(D) simulated by H presents non-halting behavior to H11Richard Damon
6 May 24 ii i  i+* Re: Every D(D) simulated by H presents non-halting behavior to H4olcott
6 May 24 ii i  ii`* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
6 May 24 ii i  ii `* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
6 May 24 ii i  ii  `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii i  i`* Re: Every D(D) simulated by H presents non-halting behavior to H6olcott
6 May 24 ii i  i `* Re: Every D(D) simulated by H presents non-halting behavior to H5Richard Damon
6 May 24 ii i  i  `* Re: Every D(D) simulated by H presents non-halting behavior to H4olcott
6 May 24 ii i  i   `* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
6 May 24 ii i  i    `* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
7 May 24 ii i  i     `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii i  `* Re: Every D(D) simulated by H presents non-halting behavior to H4Mikko
6 May 24 ii i   `* Re: Every D(D) simulated by H presents non-halting behavior to H3olcott
7 May 24 ii i    +- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
7 May 24 ii i    `- Re: Every D(D) simulated by H presents non-halting behavior to H1Mikko
6 May 24 ii `* Re: Every D(D) simulated by H presents non-halting behavior to H23olcott
6 May 24 ii  +- Re: Every D(D) simulated by H presents non-halting behavior to H --- typo1olcott
6 May 24 ii  `* Re: Every D(D) simulated by H presents non-halting behavior to H21Richard Damon
6 May 24 ii   +* Re: Every D(D) simulated by H presents non-halting behavior to H10olcott
6 May 24 ii   i`* Re: Every D(D) simulated by H presents non-halting behavior to H9Richard Damon
6 May 24 ii   i +* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
6 May 24 ii   i i`- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii   i `* Re: Every D(D) simulated by H presents non-halting behavior to H6olcott
6 May 24 ii   i  `* Re: Every D(D) simulated by H presents non-halting behavior to H5Richard Damon
6 May 24 ii   i   `* Re: Every D(D) simulated by H presents non-halting behavior to H4olcott
6 May 24 ii   i    `* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
6 May 24 ii   i     `* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
7 May 24 ii   i      `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii   +* Re: Every D(D) simulated by H presents non-halting behavior to H4olcott
6 May 24 ii   i`* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
6 May 24 ii   i `* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
6 May 24 ii   i  `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii   `* Re: Every D(D) simulated by H presents non-halting behavior to H6olcott
6 May 24 ii    `* Re: Every D(D) simulated by H presents non-halting behavior to H5Richard Damon
6 May 24 ii     `* Re: Every D(D) simulated by H presents non-halting behavior to H ---4olcott
6 May 24 ii      `* Re: Every D(D) simulated by H presents non-halting behavior to H ---3Richard Damon
6 May 24 ii       `* Re: Every D(D) simulated by H presents non-halting behavior to H ---2olcott
7 May 24 ii        `- Re: Every D(D) simulated by H presents non-halting behavior to H ---1Richard Damon
5 May 24 i`* Re: Every D(D) simulated by H presents non-halting behavior to H18olcott
5 May 24 i +* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
5 May 24 i i`* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
6 May 24 i i `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
7 May 24 i `* Re: Every D(D) simulated by H presents non-halting behavior to H14immibis
7 May 24 i  `* Re: Every D(D) simulated by H presents non-halting behavior to H +++13olcott
7 May 24 i   +* Re: Every D(D) simulated by H presents non-halting behavior to H +++10Richard Damon
7 May 24 i   i+* Re: Every D(D) simulated by H presents non-halting behavior to H +++8olcott
7 May 24 i   ii`* Re: Every D(D) simulated by H presents non-halting behavior to H +++7Richard Damon
7 May 24 i   ii `* Re: Every D(D) simulated by H presents non-halting behavior to H +++6olcott
7 May 24 i   ii  `* Re: Every D(D) simulated by H presents non-halting behavior to H +++5Richard Damon
7 May 24 i   ii   `* Re: Every D(D) simulated by H presents non-halting behavior to H +++4olcott
7 May 24 i   ii    `* Re: Every D(D) simulated by H presents non-halting behavior to H +++3Richard Damon
7 May 24 i   ii     `* Re: Every D(D) simulated by H presents non-halting behavior to H +++2olcott
8 May 24 i   ii      `- Re: Every D(D) simulated by H presents non-halting behavior to H +++1Richard Damon
9 May 24 i   i`- Re: Every D(D) simulated by H presents non-halting behavior to H +++1immibis
9 May 24 i   `* Re: Every D(D) simulated by H presents non-halting behavior to H +++2immibis
9 May 24 i    `- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1olcott
6 May 24 +* Re: Every D(D) simulated by H presents non-halting behavior to H577Mikko
6 May 24 i`* Re: Every D(D) simulated by H presents non-halting behavior to H576olcott
7 May 24 i +* Re: Every D(D) simulated by H presents non-halting behavior to H45Richard Damon
7 May 24 i i`* Re: Every D(D) simulated by H presents non-halting behavior to H ===44olcott
7 May 24 i i `* Re: Every D(D) simulated by H presents non-halting behavior to H ===43Richard Damon
7 May 24 i i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ===42olcott
7 May 24 i i   `* Re: Every D(D) simulated by H presents non-halting behavior to H ===41Richard Damon
7 May 24 i i    `* Re: Every D(D) simulated by H presents non-halting behavior to H ===40olcott
7 May 24 i i     +* Re: Every D(D) simulated by H presents non-halting behavior to H ===38Richard Damon
7 May 24 i i     i`* Re: Every D(D) simulated by H presents non-halting behavior to H ===37olcott
7 May 24 i i     i `* Re: Every D(D) simulated by H presents non-halting behavior to H ===36Richard Damon
7 May 24 i i     i  +* Re: Every D(D) simulated by H presents non-halting behavior to H ===6olcott
8 May 24 i i     i  i`* Re: Every D(D) simulated by H presents non-halting behavior to H ===5Richard Damon
8 May 24 i i     i  i `* Re: Every D(D) simulated by H presents non-halting behavior to H ===4olcott
8 May 24 i i     i  i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ===3Richard Damon
8 May 24 i i     i  i   `* Re: Every D(D) simulated by H presents non-halting behavior to H ===2olcott
8 May 24 i i     i  i    `- Re: Every D(D) simulated by H presents non-halting behavior to H ===1Richard Damon
7 May 24 i i     i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ===29olcott
8 May 24 i i     i   `* Re: Every D(D) simulated by H presents non-halting behavior to H ===28Richard Damon
8 May 24 i i     i    +* Re: Every D(D) simulated by H presents non-halting behavior to H ===23olcott
8 May 24 i i     i    i`* Re: Every D(D) simulated by H presents non-halting behavior to H ===22Richard Damon
8 May 24 i i     i    i `* Re: Every D(D) simulated by H presents non-halting behavior to H ===21olcott
8 May 24 i i     i    i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ===20Richard Damon
8 May 24 i i     i    i   `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@19olcott
8 May 24 i i     i    i    +* Re: Every D(D) simulated by H presents non-halting behavior to H @@@11olcott
8 May 24 i i     i    i    i`* Re: Every D(D) simulated by H presents non-halting behavior to H @@@10Richard Damon
8 May 24 i i     i    i    i `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@9olcott
9 May 24 i i     i    i    i  `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@8Richard Damon
9 May 24 i i     i    i    i   +* Re: Every D(D) simulated by H presents non-halting behavior to H @@@2olcott
9 May 24 i i     i    i    i   i`- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1Richard Damon
9 May 24 i i     i    i    i   +* Re: Every D(D) simulated by H presents non-halting behavior to H @@@2olcott
9 May 24 i i     i    i    i   i`- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1Richard Damon
9 May 24 i i     i    i    i   `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@3olcott
9 May 24 i i     i    i    i    `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@2Richard Damon
9 May 24 i i     i    i    i     `- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1joes
8 May 24 i i     i    i    `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@7Richard Damon
8 May 24 i i     i    +* Re: Every D(D) simulated by H presents non-halting behavior to H ===2olcott
8 May 24 i i     i    `* Re: Every D(D) simulated by H presents non-halting behavior to H ===2olcott
9 May 24 i i     `- Re: Every D(D) simulated by H presents non-halting behavior to H ===1immibis
7 May 24 i `* Re: Every D(D) simulated by H presents non-halting behavior to H530Mikko
7 May 24 `- Re: Every D(D) simulated by H presents non-halting behavior to H1immibis

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal