Path: ...!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail From: Richard Damon Newsgroups: comp.theory,sci.logic Subject: Re: DDD correctly emulated by H0 --- Why Lie? -- Repeat until Closure Date: Mon, 24 Jun 2024 22:26:14 -0400 Organization: i2pn2 (i2pn.org) Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Tue, 25 Jun 2024 02:26:14 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="1071321"; mail-complaints-to="usenet@i2pn2.org"; posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg"; User-Agent: Mozilla Thunderbird Content-Language: en-US In-Reply-To: X-Spam-Checker-Version: SpamAssassin 4.0.0 Bytes: 2994 Lines: 34 On 6/24/24 10:21 PM, olcott wrote: > On 6/24/2024 9:02 PM, Richard Damon wrote: >> On 6/24/24 9:55 PM, olcott wrote: >>> >>> *We can get to that as soon as you reverse your lie* >>> *We can get to that as soon as you reverse your lie* >>> *We can get to that as soon as you reverse your lie* >> >> You still haven't shown where I lied, on where you don't like what I say. >> >>> >>> You said that D correctly simulated by H must >>> have the behavior of the directly executed D(D). >> >> Right, the steps that H sees are IDENTIAL to the steps of the directly >> executed D(D) until H stops its simulation, >> >> NOT ONE DIFFERENCE. >> > > Honest mistake or liar? > > The directly executed D(D) has identical behavior to > D correctly simulated by H1 > *the call from D to H(D,D) returns* > > This is not the same behavior as > D correctly simulated by H > *the call from D to H(D,D) DOES NOT return* > And what instruction did H's simulation differ from the direct executions trace? Faiure to show it is just an admission that you have been lying.