Deutsch English Français Italiano |
<1faf36aca0ed58472cc1c6bc92bc4bb427636458@i2pn2.org> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder3.eternal-september.org!i2pn.org!i2pn2.org!.POSTED!not-for-mail From: Richard Damon <richard@damon-family.org> Newsgroups: comp.theory Subject: Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH Date: Mon, 10 Feb 2025 07:44:53 -0500 Organization: i2pn2 (i2pn.org) Message-ID: <1faf36aca0ed58472cc1c6bc92bc4bb427636458@i2pn2.org> References: <vnumf8$24cq0$1@dont-email.me> <vo2us8$32kg8$1@dont-email.me> <228a9804d6919149bac728ccf08134ed90db121e@i2pn2.org> <vo3cf0$35449$1@dont-email.me> <6f15178eda69b13fae9cbfef29acad05c9c6aeb3@i2pn2.org> <vo3t3n$37kcg$1@dont-email.me> <1454e934b709b66a0cb9de9e9796cb46fed0425c@i2pn2.org> <vo5c8c$3ipo2$2@dont-email.me> <f7f9c03f97de054f6393139c74f595f68400ede5@i2pn2.org> <vo6b14$3o0uo$1@dont-email.me> <274abb70abec9d461ac3eb34c0980b7421f5fabd@i2pn2.org> <vo6rhd$3tsq7$1@dont-email.me> <vo79pq$8vq$2@dont-email.me> <vo7qqb$36ra$2@dont-email.me> <vo8jr6$7fbd$2@dont-email.me> <vo9gth$fuct$2@dont-email.me> <vo9o3h$gu6t$2@dont-email.me> <voah0r$m3dj$6@dont-email.me> <voambu$ng5r$2@dont-email.me> <voamvc$nv62$1@dont-email.me> <voatki$p4au$2@dont-email.me> <voau7d$p4sc$2@dont-email.me> <voavuf$p4au$4@dont-email.me> <vob15v$ptj9$1@dont-email.me> <vocd0e$14a92$1@dont-email.me> <vocp7p$16c4e$2@dont-email.me> <vocqjl$16qj7$1@dont-email.me> <vocrbl$16uuv$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Mon, 10 Feb 2025 12:44:53 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="3577361"; mail-complaints-to="usenet@i2pn2.org"; posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg"; User-Agent: Mozilla Thunderbird In-Reply-To: <vocrbl$16uuv$1@dont-email.me> Content-Language: en-US X-Spam-Checker-Version: SpamAssassin 4.0.0 Bytes: 2372 Lines: 14 On 2/10/25 7:27 AM, olcott wrote: > The directly executed main IS NOT THE INPUT TO HHH. > > Then you admit that HHH is not a halt decider, or you gave it the wrong input. The input to a halt decider is the description of a program, and asks what it does when run. So, your claim is just admitting that you have been lying for years. Sorry, but that is what your forced ignorance of the topic has done to you.