Deutsch English Français Italiano |
<v72lf4$k738$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!news.nobody.at!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Mikko <mikko.levanto@iki.fi> Newsgroups: comp.theory Subject: Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2 Date: Mon, 15 Jul 2024 11:09:08 +0300 Organization: - Lines: 13 Message-ID: <v72lf4$k738$1@dont-email.me> References: <v6rg65$32o1o$3@dont-email.me> <97e0632d0d889d141bdc6005ce6e513c53867798@i2pn2.org> <v6sdlu$382g0$1@dont-email.me> <v6td3a$3ge79$1@dont-email.me> <v6tp1j$3imib$2@dont-email.me> <v6trdu$3irhh$1@dont-email.me> <v6tu01$3imib$11@dont-email.me> <a177dd76613794d6bb877c65ffe6c587a8f31bc1@i2pn2.org> <v6tvpv$3imib$14@dont-email.me> <091e8b7baeea467ee894b1c79c8943cb9773adb7@i2pn2.org> <v6u346$3khl8$1@dont-email.me> <16ac79611a441e7e01119631051f69119eee958a@i2pn2.org> <v6v06i$3pivt$1@dont-email.me> <23cb2d2401b87bf4f6a604aa1a78b93ffc9a29bc@i2pn2.org> <v6v2t1$3pmjn$3@dont-email.me> <3fc6548531f91ed14a27420caf9679a634573ed0@i2pn2.org> <v70lmo$61d8$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Mon, 15 Jul 2024 10:09:09 +0200 (CEST) Injection-Info: dont-email.me; posting-host="eb7bc3c094cc39ab136406329ffd9913"; logging-data="662632"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/66aN4gxAwkeKfam123LI6" User-Agent: Unison/2.2 Cancel-Lock: sha1:PY+HxyWuzE4YfyKiNGozhYTAjWs= Bytes: 1969 On 2024-07-14 14:00:55 +0000, olcott said: > According to the theory of computation the DDD that calls > HHH(DDD) is not in the domain of HHH. The theory of computation does not say what the domain of HHH is. Unless the specificaiton of HHH says otherwise HHH should be able to handle every input that can be given to it, at least to the extent that it says that the given input cannot be processed. -- Mikko