Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory Subject: Re: DD specifies non-terminating behavior to HHH --- ONE POINT AT A TIME !!! Date: Sat, 22 Feb 2025 10:33:31 -0600 Organization: A noiseless patient Spider Lines: 28 Message-ID: References: <3b8a5f4be53047b2a6c03f9678d0253e137d3c40@i2pn2.org> <5cd9bc55c484f10efd7818ecadf169a11fcc58e1@i2pn2.org> <442891e4193f52206ec1b8481f5c2688de58b305@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sat, 22 Feb 2025 17:33:32 +0100 (CET) Injection-Info: dont-email.me; posting-host="ef107bbb25b24353ee4244c5f8345170"; logging-data="19325"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/lpFylS0hu3gL9BPUO42u8" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:u3lkAuXcrtal6JmkAqbn8E5PnlY= X-Antivirus-Status: Clean Content-Language: en-US X-Antivirus: Norton (VPS 250222-4, 2/22/2025), Outbound message In-Reply-To: Bytes: 3273 On 2/22/2025 3:38 AM, Fred. Zwarts wrote: > Op 22.feb.2025 om 04:57 schreef olcott: >> On 2/20/2025 3:52 AM, joes wrote: >>>> >>>> It fails In the same way that every CAD system will never correctly >>>> represent a geometric circle that has four equal length sides in the >>>> same two dimensional plane. >>> Yes, no program will ever decide the halting status of every program. >>> >> >> In the exact same way that the square root of >> a basket of rotten eggs is not computable. >> > Exactly, both are logically impossible. So, stop the attempt to do what > is logically impossible. Stop working on a halting decider. And stop > trying to program a correct simulation of HHH by itself. It is logically > impossible. It as promising as working on the computation of the square > root of a basket of rotten eggs. HHH does correctly determine the non terminating status of DD. The relationship between HHH and DD isomorphic to the relationship between the decider and its input in the standard HP proofs. -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer