Path: ...!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail From: joes Newsgroups: comp.theory Subject: Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD Date: Thu, 28 Nov 2024 16:27:17 -0000 (UTC) Organization: i2pn2 (i2pn.org) Message-ID: <349430b1223591beb2ebea42b5f3a9e64ea8d795@i2pn2.org> References: <17dd1e646a0cd01f94d9505a9be90fd3925add12@i2pn2.org> <5945fb90e23e2b78a90da47de02bd8e6d8c3ec4d@i2pn2.org> <8c25d20279cfad6662137025897575068e10fe39@i2pn2.org> <7ccf1daed71803939ed9acc5dc0f436e46bbfba2@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Injection-Date: Thu, 28 Nov 2024 16:27:17 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="286804"; 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: 4164 Lines: 42 Am Thu, 28 Nov 2024 10:16:15 -0600 schrieb olcott: > On 11/28/2024 4:04 AM, joes wrote: >> Am Wed, 27 Nov 2024 19:15:41 -0600 schrieb olcott: >>> On 11/27/2024 8:03 AM, Richard Damon wrote: >>>> On 11/27/24 8:28 AM, olcott wrote: >>>>> On 11/27/2024 6:14 AM, Richard Damon wrote: >>>>>> olcott wrote: >>>>>>> On 11/26/2024 7:02 AM, Richard Damon wrote: >>>>>>>> On 11/25/24 11:08 PM, olcott wrote: >>>>>>>>> On 11/24/2024 11:18 AM, Richard Damon wrote: >>>>>>>>>> On 11/24/24 9:30 AM, olcott wrote: >>>>>>>>>>> On 11/23/2024 11:54 AM, Richard Damon wrote: >>>>>>>>>>>> On 11/23/24 11:54 AM, olcott wrote: >>>>>>>>>>>>> On 11/23/2024 9:35 AM, Richard Damon wrote: >>>>>>>>>>>>>> On 11/23/24 10:15 AM, olcott wrote: >>>>>>>>>>>>>>> On 11/23/2024 9:02 AM, Richard Damon wrote: >>>>>>>>>>>>>>>> On 11/23/24 9:04 AM, olcott wrote: >>>>>>>>>>>>>>>>> On 11/23/2024 1:59 AM, Mikko wrote: >>>>>>>>>>>>>>>>>> On 2024-11-22 16:45:52 +0000, olcott said: >>>>>>>>>>>>>>>>>>> On 11/22/2024 2:30 AM, Mikko wrote: >>>>>>>>>>>>>>>>>>>> On 2024-11-21 15:32:38 +0000, olcott said: >>>>>>>>>>>>>>>>>>>>> On 11/21/2024 3:12 AM, Mikko wrote: >>>>>>>>>>>>>>>>>>>>>> On 2024-11-20 22:03:43 +0000, olcott said: >>>>>>>>>>>>>>>>>>>>>>> On 11/20/2024 3:53 AM, Mikko wrote: >>>>>>>>>>>>>>>>>>>>>>>> On 2024-11-20 03:23:12 +0000, olcott said: >>>>>>>>>>>>>>>>>>>>>>>>> On 11/19/2024 4:12 AM, Mikko wrote: >>>>>>>>>>>>>>>>>>>>>>>>>> On 2024-11-18 20:42:02 +0000, olcott said: >>>>>>>>>>>>>>>>>>>>>>>>>>> On 11/18/2024 3:41 AM, Mikko wrote: >>>>>>>>>>>>>>>>>>>>>>>>>>>> On 2024-11-17 18:36:17 +0000, olcott said: >> >>> When DDD is emulated by HHH and DDD calls HHH(DDD) this call never >>> returns. >> That's weird. Why can't HHH simulate itself? > I have already told you and conclusively proven that HHH does emulate > itself emulating DDD. I have told you this dozens of times and my code > continues to prove this. I don't get it. HHH clearly halts in order to return a value. But that value is "doesn't halt". Why does HHH, which does only a partial simulation, report that itself (called by DDD) doesn't halt? -- 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.