Deutsch English Français Italiano |
<vu28v5$3c71p$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: Mikko <mikko.levanto@iki.fi> Newsgroups: comp.lang.c Subject: Re: Only C programmers tell the truth about the behavior of DD simulated by HHH Date: Sun, 20 Apr 2025 10:49:57 +0300 Organization: - Lines: 35 Message-ID: <vu28v5$3c71p$1@dont-email.me> References: <vtr79n$u6o3$1@dont-email.me> <vtr7jj$uukr$1@raubtier-asyl.eternal-september.org> <vtrguu$16pbv$1@dont-email.me> <vtsuij$2hgpf$1@raubtier-asyl.eternal-september.org> <vtvld1$10c79$1@dont-email.me> <vtvpsa$149h7$1@raubtier-asyl.eternal-september.org> <vu10uj$27281$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sun, 20 Apr 2025 09:50:00 +0200 (CEST) Injection-Info: dont-email.me; posting-host="0bc2bf863107f24bd5fef67118d798ba"; logging-data="3546169"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1838FcEeLme/8EQQ/AfPVzO" User-Agent: Unison/2.2 Cancel-Lock: sha1:umbfRwMlYOJRG3SNcJNf4LFbdk8= Bytes: 2260 On 2025-04-19 20:26:59 +0000, olcott said: > On 4/19/2025 4:20 AM, Bonita Montero wrote: >> Am 19.04.2025 um 10:03 schrieb Mikko: >> >>> The part that comp.lang.c lacked a liar sounds credible. >> >> I believe Peter has a serious mental illness. As far as I know, >> he has cancer, and I hope he gets the most out of his remaining >> life instead of obsessing over this problem. > > I never go with credible, instead I try to stick with verified facts. > > int DD() > { > int Halt_Status = HHH(DD); > if (Halt_Status) > HERE: goto HERE; > return Halt_Status; > } > > It is a verified fact that DD correctly simulated > by HHH cannot possibly halt (terminate normally). Verified facts should not be decorated with misleading words. There is no other "DD correctly simulated by HHH" than the DD shown above, and that DD halts (terminates normally). That HHH cannot simulate DD to its normal termination is true but that is not what the "verified fact" says. -- Mikko