Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!rocksolid2!i2pn2.org!.POSTED!not-for-mail From: Richard Damon Newsgroups: comp.theory Subject: Re: Halting Problem: What Constitutes Pathological Input Date: Wed, 7 May 2025 23:56:48 -0400 Organization: i2pn2 (i2pn.org) Message-ID: References: <473b8403ad7286d2ebc8c002d1bd0068412bdc60@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Thu, 8 May 2025 04:00:13 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="3605589"; mail-complaints-to="usenet@i2pn2.org"; posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg"; User-Agent: Mozilla Thunderbird Content-Language: en-US X-Spam-Checker-Version: SpamAssassin 4.0.0 In-Reply-To: Bytes: 2896 Lines: 31 On 5/7/25 10:54 PM, olcott wrote: > On 5/7/2025 9:21 PM, Richard Damon wrote: >> On 5/7/25 11:48 AM, olcott wrote: >>> On 5/7/2025 3:54 AM, Mikko wrote: >>>> On 2025-05-06 18:05:15 +0000, olcott said: >>>> >>>>> That everyone here thinks that HHH can simply ignore >>>>> the rules of the x86 language and jump over the "call" >>>>> instruction to the "ret" instruction seems quite stupid >>>>> to me. >>>> >>>> The halting problem does not prohibit such skip so in that sense >>>> it is OK. >>>> >>>> However, in order to correctly determine whether DD halts >>>> it may need to know whether the called HHH returns and what it >>>> returns if it does. >>>> >>> >>> The call from DD emulated by HHH cannot possibly return. >> >> Only because HHH can't be a correct emulator. >> > > Liar > It isn't, as you have stipulated what HHH is. So all you are doing is adding to your lies. Which LIE are you going to take back to just make your argument stupid?