Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Unix is the worst operating system; except for all others. -- Berry Kercheval


tech / sci.math / Can D simulated by H terminate normally?

SubjectAuthor
* Can D simulated by H terminate normally?olcott
`- Re: Can D simulated by H terminate normally?V

1
Can D simulated by H terminate normally?

<u485sq$nc8b$1@dont-email.me>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=135077&group=sci.math#135077

  copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: sci.math
Subject: Can D simulated by H terminate normally?
Date: Fri, 19 May 2023 10:50:48 -0500
Organization: A noiseless patient Spider
Lines: 65
Message-ID: <u485sq$nc8b$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 19 May 2023 15:50:50 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="84639d91253a247617f44e99cfbd844c";
logging-data="766219"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18bvY0/6cVV/K5LyAyr1J+j"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.11.0
Cancel-Lock: sha1:PeVmAww/ZuQuzFNB3tfkoKD1W3A=
Content-Language: en-US
 by: olcott - Fri, 19 May 2023 15:50 UTC

Can D simulated by H terminate normally?

The following code is executed in the x86utm operating system based on
an open source x86 emulator. This system enables one C function to
execute another C function in debug step mode. When H simulates D it
creates a separate process context for D with its own memory, stack and
virtual registers. H is able to simulate D simulating itself, thus the
only limit to recursive simulations is RAM.

01 int D(int (*x)())
02 {
03 int Halt_Status = H(x, x);
04 if (Halt_Status)
05 HERE: goto HERE;
06 return Halt_Status;
07 }
08
09 void main()
10 {
11 H(D,D);
12 }

*Execution Trace*
main() calls H(D,D) that simulates D(D) at line 11

*keeps repeating*
simulated D(D) calls simulated H(D,D) that simulates D(D) at line 03 ...

Is this clear enough to see that D correctly simulated by H can never
terminate normally ? (because D remains stuck in recursive simulation) ?

For any program H that might determine whether programs halt, a
"pathological" program D, called with some input, can pass its own
source and its input to H and then specifically do the opposite of what
H predicts D will do. *No H can exist that handles this case*
https://en.wikipedia.org/wiki/Halting_problem

H(D,D) fully operational in x86utm operating system:
https://github.com/plolcott/x86utm

Source-code of several different partial halt deciders and their sample
inputs.
https://github.com/plolcott/x86utm/blob/master/Halt7.c

This paper shows how that same idea is applied to the Peter Linz Turing
machine based Halting Problem Proofs.

*Simulating (partial) Halt Deciders Defeat the Halting Problem Proofs*
https://www.researchgate.net/publication/369971402_Simulating_partial_Halt_Deciders_Defeat_the_Halting_Problem_Proofs

*At 10/13/2022 11:29 AM in an email*
MIT Professor Michael Sipser has agreed that the following verbatim
paragraph is correct (he has not agreed to anything else):

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.

It is clear that H does determine the halt status of D precisely
according to that criteria.

--
Copyright 2023 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Re: Can D simulated by H terminate normally?

<ece6e0a4-8d43-4e60-a5d4-d566baf228bbn@googlegroups.com>

  copy mid

https://www.novabbs.com/tech/article-flat.php?id=135521&group=sci.math#135521

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:1985:b0:759:4c9a:1aa5 with SMTP id bm5-20020a05620a198500b007594c9a1aa5mr3750934qkb.2.1684846357102;
Tue, 23 May 2023 05:52:37 -0700 (PDT)
X-Received: by 2002:a81:de06:0:b0:55d:955b:360 with SMTP id
k6-20020a81de06000000b0055d955b0360mr8514908ywj.5.1684846356679; Tue, 23 May
2023 05:52:36 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Tue, 23 May 2023 05:52:36 -0700 (PDT)
In-Reply-To: <u485sq$nc8b$1@dont-email.me>
Injection-Info: google-groups.googlegroups.com; posting-host=85.253.157.23; posting-account=ihx_fQoAAABZcMhDPgOptu8Y7xJRqDFN
NNTP-Posting-Host: 85.253.157.23
References: <u485sq$nc8b$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <ece6e0a4-8d43-4e60-a5d4-d566baf228bbn@googlegroups.com>
Subject: Re: Can D simulated by H terminate normally?
From: vvvvvvvv...@outlook.com (V)
Injection-Date: Tue, 23 May 2023 12:52:37 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1287
 by: V - Tue, 23 May 2023 12:52 UTC

Want to see a cool picture ?

Look:

http://kohtumispaik3.66ghz.com/$/uploads/VVVVVVVVVVVAAAAAAAAAAAAAAAAAAAAAAAA1684833034.gif

Stay great !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor