Deutsch English Français Italiano |
<v65dta$2l0vn$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!3.eu.feeder.erje.net!feeder.erje.net!news2.arglkargh.de!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Mikko <mikko.levanto@iki.fi> Newsgroups: comp.theory Subject: Re: Liar detector: Fred, Richard, Joes and Alan Date: Thu, 4 Jul 2024 09:02:18 +0300 Organization: - Lines: 24 Message-ID: <v65dta$2l0vn$1@dont-email.me> References: <v644pn$29t4h$3@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Thu, 04 Jul 2024 08:02:19 +0200 (CEST) Injection-Info: dont-email.me; posting-host="047ceb361a67ca9992357286548f3fa6"; logging-data="2786295"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+p2m21lsIKr/pF7Acu0Dvz" User-Agent: Unison/2.2 Cancel-Lock: sha1:/p3uZ0i6jVsQZpAOhnzzapYqf1E= Bytes: 1768 On 2024-07-03 18:20:39 +0000, olcott said: > _DDD() > [00002172] 55 push ebp ; housekeeping > [00002173] 8bec mov ebp,esp ; housekeeping > [00002175] 6872210000 push 00002172 ; push DDD > [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD) > [0000217f] 83c404 add esp,+04 > [00002182] 5d pop ebp > [00002183] c3 ret > Size in bytes:(0018) [00002183] > > DDD correctly emulated by any element of the infinite > set of every pure function HHH cannot possibly reach > its own ret instruction and halt. That HHH aborts its > emulation at some point or never aborts its emulation > cannot possibly change this. The function at 15d2 is a single specific function, not a specification of a set of functions. -- Mikko