Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

"Protozoa are small, and bacteria are small, but viruses are smaller than the both put together."


computers / comp.ai.philosophy / Simulating Halt Decider Applied to the Halting Theorem

SubjectAuthor
* Simulating Halt Decider Applied to the Halting Theoremolcott
`- Re: Simulating Halt Decider Applied to the Halting Theoremolcott

1
Simulating Halt Decider Applied to the Halting Theorem

<tj3fi3$17ssl$1@dont-email.me>

 copy mid

https://www.novabbs.com/computers/article-flat.php?id=9972&group=comp.ai.philosophy#9972

 copy link   Newsgroups: comp.theory sci.logic sci.math comp.ai.philosophy
Path: i2pn2.org!i2pn.org!eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.theory,sci.logic,sci.math,comp.ai.philosophy
Subject: Simulating Halt Decider Applied to the Halting Theorem
Date: Sun, 23 Oct 2022 08:28:34 -0500
Organization: A noiseless patient Spider
Lines: 44
Message-ID: <tj3fi3$17ssl$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 23 Oct 2022 13:28:35 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="8775a38d471884439237fd3918428de8";
logging-data="1307541"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+Bma2ZGraxMchSXLMsRjPW"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.4.0
Cancel-Lock: sha1:trlR7hERZX6m3tihwVoRCx2RR54=
Content-Language: en-US
 by: olcott - Sun, 23 Oct 2022 13:28 UTC

*Professor Sipser has agreed to these verbatim words* (*and no more*)
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.

The above definition of a simulating halt decider applied to this C
function

int Sipser_D(int (*M)())
{ if ( Sipser_H(M, M) )
return 0;
return 1;
}

Using this fully operational software

Complete halt deciding system (Visual Studio Project) Sipser version.
(a) x86utm operating system
(b) x86 emulator adapted from libx86emu to compile under Windows
(c) Several halt deciders and their sample inputs contained within Halt7.c
(d) The execution trace of Sipser_H applied to Sipser_D is shown in
Halt7_Sipser.txt
https://liarparadox.org/2022_10_08.zip

Results in Sipser_H correctly determining the halt status of Sipser_D by
this quote of the above criteria:

"H correctly simulates its input D until H correctly determines
that its simulated D would never stop running unless aborted"

This can be verified by carefully studying the first three pages of this
paper. One must be an expert at the C programing language and have some
knowledge of assembly language to completely verify the proof.

*Simulating Halt Decider Applied to the Halting Theorem*
https://www.researchgate.net/publication/364302709_Simulating_Halt_Decider_Applied_to_the_Halting_Theorem

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

Re: Simulating Halt Decider Applied to the Halting Theorem

<tj3ju9$1938f$1@dont-email.me>

 copy mid

https://www.novabbs.com/computers/article-flat.php?id=9973&group=comp.ai.philosophy#9973

 copy link   Newsgroups: comp.theory sci.logic sci.math comp.ai.philosophy
Path: i2pn2.org!i2pn.org!paganini.bofh.team!eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: polco...@gmail.com (olcott)
Newsgroups: comp.theory,sci.logic,sci.math,comp.ai.philosophy
Subject: Re: Simulating Halt Decider Applied to the Halting Theorem
Date: Sun, 23 Oct 2022 09:43:21 -0500
Organization: A noiseless patient Spider
Lines: 49
Message-ID: <tj3ju9$1938f$1@dont-email.me>
References: <tj3fi3$17ssl$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 23 Oct 2022 14:43:22 -0000 (UTC)
Injection-Info: reader01.eternal-september.org; posting-host="8775a38d471884439237fd3918428de8";
logging-data="1346831"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/yx4HonFaQRamGbtEwGcdA"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.4.0
Cancel-Lock: sha1:3LfypmfE/QwZcBsxV7ONUIZLhtk=
In-Reply-To: <tj3fi3$17ssl$1@dont-email.me>
Content-Language: en-US
 by: olcott - Sun, 23 Oct 2022 14:43 UTC

On 10/23/2022 8:28 AM, olcott wrote:
> *Professor Sipser has agreed to these verbatim words* (*and no more*)
> 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.
>
> The above definition of a simulating halt decider applied to this C
> function
>
> int Sipser_D(int (*M)())
> {
>   if ( Sipser_H(M, M) )
>     return 0;
>   return 1;
> }
>
> Using this fully operational software
>
> Complete halt deciding system (Visual Studio Project) Sipser version.
> (a) x86utm operating system
> (b) x86 emulator adapted from libx86emu to compile under Windows
> (c) Several halt deciders and their sample inputs contained within Halt7.c
> (d) The execution trace of Sipser_H applied to Sipser_D is shown in
> Halt7_Sipser.txt
> https://liarparadox.org/2022_10_08.zip
>
> Results in Sipser_H correctly determining the halt status of Sipser_D by
> this quote of the above criteria:
>
>    "H correctly simulates its input D until H correctly determines
>     that its simulated D would never stop running unless aborted"
>
> This can be verified by carefully studying the first three pages of this
> paper. One must be an expert at the C programing language and have some
> knowledge of assembly language to completely verify the proof.
>
> *Simulating Halt Decider Applied to the Halting Theorem*
> https://www.researchgate.net/publication/364302709_Simulating_Halt_Decider_Applied_to_the_Halting_Theorem
>
>

Whether or not Sipser_H is a Turing computable function is the only
remaining open issue with the above proof.

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

1
server_pubkey.txt

rocksolid light 0.9.7
clearnet tor