Deutsch English Français Italiano |
<c68a472aca1b9dc6350da8514d0ff29ddfda6008@i2pn2.org> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail From: Richard Damon <richard@damon-family.org> Newsgroups: comp.theory Subject: Re: Simulating Termination Analyzer HHH(DDD) rejects input DDD Date: Tue, 8 Oct 2024 10:13:42 -0400 Organization: i2pn2 (i2pn.org) Message-ID: <c68a472aca1b9dc6350da8514d0ff29ddfda6008@i2pn2.org> References: <ve1gbe$1r7s8$1@dont-email.me> <ve3dbs$274jb$1@dont-email.me> <ve3e25$26g97$3@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Tue, 8 Oct 2024 14:13:42 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="1114622"; mail-complaints-to="usenet@i2pn2.org"; posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg"; User-Agent: Mozilla Thunderbird Content-Language: en-US In-Reply-To: <ve3e25$26g97$3@dont-email.me> X-Spam-Checker-Version: SpamAssassin 4.0.0 Bytes: 3169 Lines: 71 On 10/8/24 10:02 AM, olcott wrote: > On 10/8/2024 8:50 AM, Mikko wrote: >> On 2024-10-07 20:29:33 +0000, olcott said: >> >>> *Simulating Termination Analyzer HHH(DDD) rejects input DDD* >>> HHH is an emulating termination analyzer that takes the machine >>> address of DDD as input then emulates the x86 machine language >>> of DDD until a non-terminating behavior pattern is recognized. >>> >>> *HHH recognizes this pattern when HHH emulates itself emulating DDD* >>> >>> void DDD() >>> { >>> HHH(DDD); >>> return; >>> } >> >> The above code shows that if HHH(DDD) rejects then DDD halts, which >> means that no program that rejects DDD is a halting decider. >> > > DDD emulated by each corresponding HHH that can possibly > exist never returns > > thus each of the directly executed HHH emulators that does > return 0 correctly reports the above non-terminating behavior. > > No, the program DDD (which is what the subject of the sentence refers to) returns since the HHH(DDD) that it calls returns (since you claim that HHH is correct in doing so) The emulation of it by HHH just doesn't reach that point, because it is only partial. You confound the truth of the program with the fantasy of the emulation, because you don't understand the different between truth and knowledge, and thus you don't have either. Thus, the HHH are incorrect and it shows that PPPP EEEEE TTTTT EEEEE RRRR P P E T E R R P P E T E R R PPPP EEEEE T EEEEE RRRR P E T E R R P E T E R R P EEEEE T EEEEE R R OOO L CCC OOO TTTTT TTTTT O O L C C O O T T O O L C O O T T O O L C O O T T O O L C O O T T O O L C C O O T T OOO LLLLL CCC OOO T T L IIIII EEEEE SSS L I E S S L I E S L I EEEEE SSS L I E S L I E S S LLLLL IIIII EEEEE SSS AND THINKS THAT IS JUST OK.