Deutsch English Français Italiano |
<v13uie$qlvj$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!2.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott <polcott333@gmail.com> 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 19:13:02 -0500 Organization: A noiseless patient Spider Lines: 57 Message-ID: <v13uie$qlvj$1@dont-email.me> 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: Sat, 04 May 2024 02:13:03 +0200 (CEST) Injection-Info: dont-email.me; posting-host="2d5b94937ab75d91202558453b5391e6"; logging-data="874483"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/s9Jq+T/hXoAoyq+VP00eI" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:0e4Z58FCmujvApweBjItyO9TOcA= In-Reply-To: <v12pgu$im12$1@dont-email.me> Content-Language: en-US Bytes: 2928 On 5/3/2024 8: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. > I only had to add this new step because I found that some people just do not understand that when the executed H(D,D) aborts its simulated input that all of the nested simulations (if any) immediately totally stop running. No simulated H ever returns any value to any simulated D. We can sum this up much more concisely with (a). > (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. > > *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 > > > -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer