Deutsch English Français Italiano |
<0bb0298bf009b385b99e4b6fb5b60910bb650e33@i2pn2.org> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!news.misty.com!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: DD correctly emulated by HHH --- Totally ignoring invalid rebuttals ---PSR--- Date: Mon, 10 Mar 2025 18:45:21 -0400 Organization: i2pn2 (i2pn.org) Message-ID: <0bb0298bf009b385b99e4b6fb5b60910bb650e33@i2pn2.org> References: <vq5qqc$1j128$2@dont-email.me> <920b573567d204a5c792425b09097d79ee098fa5@i2pn2.org> <vq9lvn$2ei4j$3@dont-email.me> <4453bc0c1141c540852ea2223a7fedefc93f564c@i2pn2.org> <vqadoh$2ivg7$2@dont-email.me> <vqae74$2ivcn$1@dont-email.me> <vqag6q$2jief$1@dont-email.me> <vqagb7$2ivcn$3@dont-email.me> <vqakhi$2jief$3@dont-email.me> <vqalvr$2ivcn$5@dont-email.me> <vqaq2s$2lgq7$2@dont-email.me> <vqasm4$2lue4$1@dont-email.me> <vqb43k$2mueq$1@dont-email.me> <vqb4ub$2lue4$3@dont-email.me> <vqb683$2mueq$2@dont-email.me> <vqb6f4$2lue4$4@dont-email.me> <vqb6qr$2mueq$3@dont-email.me> <27b6da57f540cd39d2918411d8c94789678e3f45@i2pn2.org> <vqcvu3$34c3r$5@dont-email.me> <24c66a3611456f6a6969dc132fd8a227b26cbcbd@i2pn2.org> <vqdlqp$371bi$6@dont-email.me> <vqeceq$3epcg$1@dont-email.me> <vqf2bp$3j68u$4@dont-email.me> <vqh19v$2mh0$1@dont-email.me> <vqhj3n$5r7r$3@dont-email.me> <vqjnff$lo7u$1@dont-email.me> <vqk4b5$o4oh$2@dont-email.me> <vqm9m3$18vjq$1@dont-email.me> <vqmqg3$1c5lp$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Mon, 10 Mar 2025 22:45:22 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="3793041"; mail-complaints-to="usenet@i2pn2.org"; posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg"; User-Agent: Mozilla Thunderbird Content-Language: en-US In-Reply-To: <vqmqg3$1c5lp$1@dont-email.me> X-Spam-Checker-Version: SpamAssassin 4.0.0 Bytes: 3598 Lines: 54 On 3/10/25 9:46 AM, olcott wrote: > On 3/10/2025 3:59 AM, Mikko wrote: >> On 2025-03-09 13:16:20 +0000, olcott said:>> >>> When we assume that HHH emulates N steps of DD then >> >> HHH does not present that assumption, which is therefore irrelevant >> to the fact that https://github.com/plolcott/x86utm/blob/master/Halt7.c >> does not prove anything. >> > > typedef void (*ptr)(); > int HHH(ptr P); > > int DD() > { > int Halt_Status = HHH(DD); > if (Halt_Status) > HERE: goto HERE; > return Halt_Status; > } > > int main() > { > HHH(DD); > } > > DD correctly emulated by HHH cannot possibly reach > its own "retrun" instruction and terminate normally > because DD calls HHH(DD) in recursive emulation. But only if HHH actually does the complete emulation. If HHH aborts and returns, as you otherwhere describe it, then it doesn't do a correct emulation, so your statement is null as that isn't the behavior of *THE* HHH in the system but a correct emulation of that input by an actually correct emulator would. > > If HHH can see the same pattern that every competent > programmer sees then HHH does not need to emulate DD > more than twice to know that HHH cannot possibly reach > its own final state and terminate normally. > But only by lying to itself about what it is itself. > Perhaps you are not a competent programmer. > The problem is you are not an honest logitian, as you think you are make argiuments with lying premises. You have admitted to the use of FRAUD in your logic, and now you show you include unsound logic based on lies.