Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: Mikko Newsgroups: comp.theory Subject: Re: Halting Problem: What Constitutes Pathological Input Date: Wed, 7 May 2025 11:35:05 +0300 Organization: - Lines: 20 Message-ID: References: <49bd875b32c0963f4972d6154d2313ae1aaa3b52@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Wed, 07 May 2025 10:35:05 +0200 (CEST) Injection-Info: dont-email.me; posting-host="fb18c6efacd66d99a59635d4c6fef515"; logging-data="974339"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+6+No7gf5Qz9NY3SMJtptt" User-Agent: Unison/2.2 Cancel-Lock: sha1:jNJ6uIHK3G6LFJop+GOHVpsK4zo= Bytes: 1861 On 2025-05-07 01:39:45 +0000, olcott said: ... >>>>>>>>>>>> On 5/5/2025 11:51 AM, olcott wrote: >>>>>>>>>>>> >>>>>>>>>>>>> int DD() >>>>>>>>>>>>> { >>>>>>>>>>>>>     int Halt_Status = HHH(DD); >>>>>>>>>>>>>     if (Halt_Status) >>>>>>>>>>>>>       HERE: goto HERE; >>>>>>>>>>>>>     return Halt_Status; >>>>>>>>>>>>> } > There are two different DD instances that have had > provably different behavior for at least three years. Only the one quoted above is relevant to this discussion. -- Mikko