| Deutsch English Français Italiano |
|
<84285c989836d850b9f64f636fe7493ec8c41065@i2pn2.org> View for Bookmarking (what is this?) Look up another Usenet article |
Path: news.eternal-september.org!eternal-september.org!news.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: Wed, 20 Nov 2024 18:50:59 -0500 Organization: i2pn2 (i2pn.org) Message-ID: <84285c989836d850b9f64f636fe7493ec8c41065@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> <vhhnsl$1phmg$1@dont-email.me> <vhjkg9$28t3s$1@dont-email.me> <vhkbdi$1lq0$1@dont-email.me> <vhlm55$9l59$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Wed, 20 Nov 2024 23:51:00 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="3419295"; mail-complaints-to="usenet@i2pn2.org"; posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg"; User-Agent: Mozilla Thunderbird In-Reply-To: <vhlm55$9l59$1@dont-email.me> Content-Language: en-US X-Spam-Checker-Version: SpamAssassin 4.0.0 On 11/20/24 5:00 PM, olcott wrote: > On 11/20/2024 3:50 AM, Mikko wrote: >> On 2024-11-20 03:19:37 +0000, olcott said: >> >>> On 11/19/2024 4:05 AM, Mikko wrote: >>>> On 2024-11-18 20:44:49 +0000, olcott said: >>>> >>>>> 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. >>>> >>>> You are the liar. Page 24 does not even mention C functions. >>>> >>> There are two different page 24. Page 24 of the PDF >>> not page 24 of the paper. >> >> You failed to tell which one you meant. Such tricks may deceive >> somebody but don't work here. >> > > Please quit being a damned jackass. > We could say the same about you, and be more correct. WE have pointed out your errors, you just claim you don't understand, proving your stupidity.