| Deutsch English Français Italiano |
|
<v13mdn$30j8u$1@i2pn2.org> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!weretis.net!feeder9.news.weretis.net!feeder8.news.weretis.net!news.neodome.net!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory,sci.logic
Subject: Re: D(D) simulated by H cannot possibly reach past its own line 03
Date: Fri, 3 May 2024 17:53:59 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <v13mdn$30j8u$1@i2pn2.org>
References: <v12pgu$im12$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 3 May 2024 21:54:00 -0000 (UTC)
Injection-Info: i2pn2.org;
logging-data="3165470"; mail-complaints-to="usenet@i2pn2.org";
posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <v12pgu$im12$1@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 2991
Lines: 62
On 5/3/24 9:40 AM, olcott wrote:
> 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 void main()
> 10 {
> 11 H(D,D);
> 12 }
>
> We are examining the behavior of D(D) for every possible H/D pair
> where 1 to N steps of D(D) are simulated by H.
>
> *Execution Trace*
> Line 11: main() invokes H(D,D) that simulates D(D)
>
> *keeps repeating* (unless aborted)
> Line 01
> Line 02
> 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.
>
> (a) It is a verified fact that for every possible H/D pair where
> 1 to N steps of D(D) are simulated by H that this simulated D(D)
> cannot possibly reach past its own line 03.
Nope.
>
> (b) Rebuttals must show a counter example where 1 to N steps
> of D(D) are simulated by H and the simulated D(D) reaches past
> its own line 03.
WAS DONE.
>
> *Termination Analyzer H is Not Fooled by Pathological Input D*
> https://www.researchgate.net/publication/369971402_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D
>
> *Fully operational code implemented in the x86utm operating system*
> https://github.com/plolcott/x86utm
>
>
>
Proven wrong, and you have declined to try to refute that proof.
If you claim I haven't done this, make a clear statement of that claim,
with a clear statement that if I can point out where I did this, and you
failed to respond, you will admit that you are just wrong and will admit
that you logic is just broken and will give up the statement that people
haven't refuted you.
Unitl then, you have effectively conceded that you statement is just
FALSE, and your repeating it is just demonstration that are just a
pathological liar that doesn't understand what he is talking abour.