Deutsch English Français Italiano |
<804bff66aed82ee5f391de8822927191c02616b4@i2pn2.org> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail From: joes <noreply@example.org> Newsgroups: comp.theory Subject: Re: Defining a correct simulating halt decider Date: Tue, 3 Sep 2024 08:16:26 -0000 (UTC) Organization: i2pn2 (i2pn.org) Message-ID: <804bff66aed82ee5f391de8822927191c02616b4@i2pn2.org> References: <vb4plc$2tqeg$1@dont-email.me> <vb4u1g$2u7sn$4@dont-email.me> <vb5drq$30qlu$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Injection-Date: Tue, 3 Sep 2024 08:16:26 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="685304"; mail-complaints-to="usenet@i2pn2.org"; posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM"; User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2) X-Spam-Checker-Version: SpamAssassin 4.0.0 Bytes: 1995 Lines: 21 Am Mon, 02 Sep 2024 17:22:50 -0500 schrieb olcott: > On 9/2/2024 12:52 PM, Fred. Zwarts wrote: >> Op 02.sep.2024 om 18:38 schreef olcott: >>> A halt decider never ever computes the mapping for the computation >>> that itself is contained within. Then it is unsuited to the halting problem. >> Indeed, it should simulate *itself* and not a hypothetical other HHH >> with different behaviour. >> If HHH includes code to see a 'special condition' and aborts and halts, >> then it should also simulate the HHH that includes this same code and > > DDD has itself and the emulated HHH stuck in recursive emulation. > When HHH emulates itself emulating DDD the emulated HHH cannot possibly > return because each DDD keeps calling HHH to emulate itself again until > the outer executed HHH kills the whole emulated process at the very > first emulated DDD before it ever reaches its own second line. Why is the abort not simulated? -- Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math: It is not guaranteed that n+1 exists for every n.