| Deutsch English Français Italiano |
|
<d78ad02aefdb245bb0dad16c8da87c091075ae95@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: Sun, 9 Feb 2025 12:04:29 -0500 Organization: i2pn2 (i2pn.org) Message-ID: <d78ad02aefdb245bb0dad16c8da87c091075ae95@i2pn2.org> References: <vnumf8$24cq0$1@dont-email.me> <vnv4tf$2a40b$1@raubtier-asyl.eternal-september.org> <vnvv32$2e9m1$1@dont-email.me> <vo2pd4$31nli$1@raubtier-asyl.eternal-september.org> <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> <f118e23c05e11d1d8920ad4d32a2cb1e38400b3b@i2pn2.org> <vo7rfv$36ra$4@dont-email.me> <f8618007d79ef0ac23baa38d00ded0710871c047@i2pn2.org> <voage7$m3dj$4@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sun, 9 Feb 2025 17:04:29 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="3452092"; mail-complaints-to="usenet@i2pn2.org"; posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg"; User-Agent: Mozilla Thunderbird X-Spam-Checker-Version: SpamAssassin 4.0.0 In-Reply-To: <voage7$m3dj$4@dont-email.me> Content-Language: en-US Bytes: 3356 Lines: 38 On 2/9/25 10:08 AM, olcott wrote: > On 2/8/2025 12:11 PM, joes wrote: >> Am Sat, 08 Feb 2025 08:59:11 -0600 schrieb olcott: >>> On 2/8/2025 5:48 AM, Richard Damon wrote: >>>> On 2/8/25 12:53 AM, olcott wrote: >>>>> On 2/7/2025 7:27 PM, Richard Damon wrote: >>>>>> On 2/7/25 8:12 PM, olcott wrote: >>>>>>> On 2/7/2025 5:56 PM, Richard Damon wrote: >>>>>>>> On 2/7/25 11:26 AM, olcott wrote: >>>>>>>>> On 2/7/2025 6:20 AM, Richard Damon wrote: >>>>>>>>>> On 2/6/25 10:02 PM, olcott wrote: >>>>>>>>>>> On 2/6/2025 8:21 PM, Richard Damon wrote: >>>>>>>>>>>> On 2/6/25 5:18 PM, olcott wrote: >>>>>>>>>>>>> On 2/6/2025 1:51 PM, Richard Damon wrote: >>>>>>>>>>>>>> On 2/6/25 1:26 PM, olcott wrote: >>>>>>>>>>>>>>> On 2/6/2025 10:52 AM, Bonita Montero wrote: >>>>>>>>>>>>>>>> Am 05.02.2025 um 16:11 schrieb olcott: >>>>>>>>>>>>>>>>> On 2/5/2025 1:44 AM, Bonita Montero wrote: >>>>>>>>>>>>>>>>>> Am 05.02.2025 um 04:38 schrieb olcott: >> >>> The source-code of DD and HHH specifies that DD calls HHH in recursive >>> simulation making it impossible for DD to terminate normally. >>> https://github.com/plolcott/x86utm/blob/master/Halt7.c Disagreeing with >>> source-code is not a smart thing to do. >> Ever heard of bugs? >> > > No one has ever pointed out any actual bug in > my code in all of the years that it has been presented. > Sure we have, and you ignored them. MORE LIES from the mouth of Peter Olcott. Your code doesn't even meet your own accepted requirement that the decider be a "pure function", so you start admitting you are just a blatant liar.