| Deutsch English Français Italiano |
|
<vpcu8s$irt$4@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: olcott <polcott333@gmail.com> 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: <vpcu8s$irt$4@dont-email.me> References: <vo6420$3mpmf$1@dont-email.me> <vofnj2$1qh2r$2@dont-email.me> <vohrmi$29f46$1@dont-email.me> <vojs0e$2oikq$4@dont-email.me> <vokdha$2rcqi$1@dont-email.me> <vom1fr$34osr$1@dont-email.me> <von0iq$3d619$1@dont-email.me> <vondj5$3ffar$1@dont-email.me> <vopke4$3v10c$1@dont-email.me> <vosn00$jd5m$1@dont-email.me> <f9a0a18d52ac35171173e0c60c9062e03343ad68@i2pn2.org> <vote0u$nf28$1@dont-email.me> <3b8a5f4be53047b2a6c03f9678d0253e137d3c40@i2pn2.org> <votn1l$pb7c$1@dont-email.me> <5cd9bc55c484f10efd7818ecadf169a11fcc58e1@i2pn2.org> <votq5o$ppgs$1@dont-email.me> <vouu57$12hqt$3@dont-email.me> <vp1jkg$1kstl$1@dont-email.me> <vp1qp1$1m05h$2@dont-email.me> <442891e4193f52206ec1b8481f5c2688de58b305@i2pn2.org> <vp22fi$1n991$3@dont-email.me> <vp24ev$1namo$1@dont-email.me> <vp2dlj$1p9f5$3@dont-email.me> <vp4dbk$27ck7$1@dont-email.me> <vp5ta6$2gt2s$2@dont-email.me> <dc8b1669827ba53dbafff13488e25ba98af0609e@i2pn2.org> <vpbhuc$3mfi7$2@dont-email.me> <vpc5u7$3slgq$2@dont-email.me> 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: <vpc5u7$3slgq$2@dont-email.me> 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 <is> 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