Deutsch English Français Italiano |
<v1h93g$9f8v$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!news.nobody.at!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: immibis <news@immibis.com> Newsgroups: comp.theory,sci.logic Subject: Re: Every D(D) simulated by H presents non-halting behavior to H +++ Date: Thu, 9 May 2024 03:32:32 +0200 Organization: A noiseless patient Spider Lines: 34 Message-ID: <v1h93g$9f8v$1@dont-email.me> References: <v18e32$1vbql$1@dont-email.me> <v18f9e$5asq$4@i2pn2.org> <v18nbf$21c98$1@dont-email.me> <v1c0p8$2skfl$3@dont-email.me> <v1c5fk$31a3g$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Thu, 09 May 2024 03:32:32 +0200 (CEST) Injection-Info: dont-email.me; posting-host="c6dc48654a6055a6bf1d5d15d693492d"; logging-data="310559"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+iRhfE2JhMtnjnu418XtN2" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:lpfHBkvjPK7t1XyjVhs5GQ1OvT0= Content-Language: en-US In-Reply-To: <v1c5fk$31a3g$1@dont-email.me> Bytes: 2236 On 7/05/24 05:00, olcott wrote: > On 5/6/2024 8:39 PM, immibis wrote: >> On 5/05/24 21:40, olcott wrote: >>> If you are claiming that you have some top secret proof that shows >>> the above execution trace is incorrect I am taking this as the empty >>> claims of evidence of election fraud that no one has ever seen. >> >> The simulated execution trace is proven incorrect because it is >> different from the actual execution trace. >> >> This is not top secret - it is very obvious. >> > > 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 IN THE ABOVE TEMPLATE > Involves 1 to ∞ steps of D and also includes zero to ∞ > recursive simulations where H simulates itself simulating D(D). > Does the one that simulates ∞ steps terminate?