Deutsch English Français Italiano |
<vtkcf0$2h48g$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: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots Date: Mon, 14 Apr 2025 20:23:45 -0500 Organization: A noiseless patient Spider Lines: 24 Message-ID: <vtkcf0$2h48g$4@dont-email.me> References: <vsnchj$23nrb$2@dont-email.me> <vsqhuu$1hl94$2@dont-email.me> <vsqknb$1ldpa$1@dont-email.me> <vsrmn8$2o2f2$1@dont-email.me> <vstku7$p4u7$1@dont-email.me> <vsu95l$1c5kt$1@dont-email.me> <vt01l0$39kn7$1@dont-email.me> <vt28vk$1fe7a$1@dont-email.me> <vt2k6t$1onvt$1@dont-email.me> <vt3ef4$2flgf$1@dont-email.me> <vt3fgd$2gu7u$1@dont-email.me> <vt6apu$12sjs$2@dont-email.me> <vt6g1f$180qf$1@dont-email.me> <vt6lmk$1djk6$1@dont-email.me> <vt7tj4$2iso2$1@dont-email.me> <vt9j0j$1snb$2@dont-email.me> <vtai1c$11kqr$1@dont-email.me> <vtajkf$10asg$2@dont-email.me> <vtbe3g$1vs00$1@dont-email.me> <852f89c9196e0261b8156050fea4572fe886933f@i2pn2.org> <vth52t$3in23$9@dont-email.me> <vth557$3a127$7@dont-email.me> <vth8lr$3n2du$2@dont-email.me> <vth8ql$3a127$8@dont-email.me> <vthhi5$3uil9$2@dont-email.me> <vthimk$3vmp3$1@dont-email.me> <vthqns$5g2e$1@dont-email.me> <vthqut$3vmp3$2@dont-email.me> <vtisid$15e5s$1@dont-email.me> <17c452bb03454b8defc9c6d21cc9f2b5d124447a@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Tue, 15 Apr 2025 03:23:45 +0200 (CEST) Injection-Info: dont-email.me; posting-host="8b77476f19ca356aa7dba57a400512e1"; logging-data="2658576"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19ogYwMIAcpyqgC0w/UFkIR" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:3A10sde329jwRiTXZ6F6uqwWKCc= X-Antivirus: Norton (VPS 250414-0, 4/13/2025), Outbound message Content-Language: en-US In-Reply-To: <17c452bb03454b8defc9c6d21cc9f2b5d124447a@i2pn2.org> X-Antivirus-Status: Clean Bytes: 3246 On 4/14/2025 7:33 AM, joes wrote: > Am Mon, 14 Apr 2025 06:46:20 -0500 schrieb olcott: >> Such an HHH works fine when the input DD is not attempting to do the >> opposite of whatever this HHH reports. This is not a problem though. DD >> merely changes its own behavior through the pathological self-reference >> that it implements. > DD doesn’t change anything. It is completeley determined by the return > value of HHH. Either it halts or it doesn’t, and HHH returns the wrong > result. > >> Then HHH simply reports on this changed behavior. HHH need not even know >> that DD is calling itself. It only need to know that the behavior of DD >> would prevent its own termination. > If HHH reports on what DD *would* do *if* HHH returned the other value, > that’s changing the input. (HHH doesn’t „know” anything at all.) > Hypothetical freaking possibilities of alternatives is not a very difficult thing. I don't understand why its so hard for you. -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer