Deutsch English Français Italiano |
<8df0b30e5c51141a4866119e6fa2fc69597bd938@i2pn2.org> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder2.eternal-september.org!i2pn.org!i2pn2.org!.POSTED!not-for-mail From: Richard Damon <richard@damon-family.org> Newsgroups: comp.theory Subject: Re: HHH(DDD) computes the mapping from its input to HHH emulating itself emulating DDD --- anyone that says otherwise is a liar Date: Mon, 18 Nov 2024 20:32:16 -0500 Organization: i2pn2 (i2pn.org) Message-ID: <8df0b30e5c51141a4866119e6fa2fc69597bd938@i2pn2.org> References: <vhdd32$oq0l$1@dont-email.me> <c8e35b5f542012b2d798e7fe2afc3004298a2aa5@i2pn2.org> <vhdn96$r2jp$1@dont-email.me> <907b6e45c74720036b5f42c503d76ac426a71c92@i2pn2.org> <vhe69i$tuln$2@dont-email.me> <622e5aa555a9941d4cdb292d1e3e54e687e7b547@i2pn2.org> <vhe9rl$ue1m$2@dont-email.me> <254d3e7be0462ba8225ec0eb4804941ea635770d@i2pn2.org> <vheecn$12v3p$1@dont-email.me> <vhf2q1$16dqq$1@dont-email.me> <vhg901$1duv3$2@dont-email.me> <351e96d26f38fdb708f7856b3f19aef63bfb29a9@i2pn2.org> <vhghdm$1f3se$3@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Tue, 19 Nov 2024 01:32:16 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="3123616"; mail-complaints-to="usenet@i2pn2.org"; posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg"; User-Agent: Mozilla Thunderbird Content-Language: en-US X-Spam-Checker-Version: SpamAssassin 4.0.0 In-Reply-To: <vhghdm$1f3se$3@dont-email.me> Bytes: 2681 Lines: 37 On 11/18/24 6:08 PM, olcott wrote: > On 11/18/2024 3:36 PM, Richard Damon wrote: >> On 11/18/24 3:44 PM, olcott wrote: >>> On 11/18/2024 3:53 AM, Mikko wrote: >>>> On 2024-11-18 04:04:39 +0000, olcott said: >>>> >>>>> You stupidly claimed termination analysis is only done >>>>> on programs. I proved that you were stupidly wrong on >>>>> pages 24-27 of the PDF of this paper. >>>>> >>>>> Automated Termination Analysis of C Programs >>>>> https://publications.rwth-aachen.de/record/972440/files/972440.pdf >>>> >>>> The claim is not supported by the referred article. >>>> >>> >>> You are a damned liar. Page 24 proves that termination >>> analysis is performed on C functions. It is damned liars >>> like you that are causing the rise of the fourth reich. >>> >> >> LEAF C functions. >> > > You can't retroactively change your original claim > to make it look like you never made a mistake. > That is what damned liars do. > > I didn't. You are just lying. Your problem is you don't know what you are talking about and just bring up phases you didn't learn but read by just rote. You are just proving your utter stupidity.