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: D simulated by H never halts no matter what H does V3
Date: Sat, 4 May 2024 12:11:09 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <v15mmt$1qp5$2@i2pn2.org>
References: <uvq0sg$21m7a$1@dont-email.me> <v0jdul$g54u$2@dont-email.me>
 <v0li2c$12aq4$3@dont-email.me> <v0oanj$1pbn5$5@dont-email.me>
 <v0odkk$1qhdh$1@dont-email.me> <v0of13$1qs9n$1@dont-email.me>
 <v0qbg8$2c7pe$1@dont-email.me> <v0r350$2hb7o$3@dont-email.me>
 <v0t2rj$33d7g$1@dont-email.me> <v0to22$3881i$1@dont-email.me>
 <v0vnud$3pgsv$1@dont-email.me> <v107il$3t543$1@dont-email.me>
 <v128nt$erc9$1@dont-email.me> <v12ic3$h1tj$1@dont-email.me>
 <v13mk5$30j8v$1@i2pn2.org> <v149ir$10h7m$1@dont-email.me>
 <v1549m$2783$1@news.muc.de> <v15e6q$17unh$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 4 May 2024 16:11:09 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="60197"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <v15e6q$17unh$1@dont-email.me>
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 4149
Lines: 80

On 5/4/24 9:46 AM, olcott wrote:
> On 5/4/2024 5:56 AM, Alan Mackenzie wrote:
>> [ Followup-To: set ]
>>
>> In comp.theory olcott <polcott333@gmail.com> wrote:
>>> On 5/3/2024 4:57 PM, Richard Damon wrote:
>>>> On 5/3/24 7:38 AM, olcott wrote:
>>
>> [ .... ]
>>
>>>>> (a) It is a verified fact that D(D) simulated by H cannot
>>>>> possibly reach past line 03 of D(D) simulated by H whether
>>>>> H aborts its simulation or not.
>>
>>>> Proven incorrect and you have decline to try to refute it, thus
>>>> conceding it to be incorrect, and your restatement just a lie.
>>
>>> "proven to be incorrect" by nonsense gibberish
>>> That "D simulated by H" can mean "D NEVER simulated by H"
>>
>>> Also you fail to understand that when the executed H(D,D)
>>> aborts its simulated input that all of the nested simulations
>>> (if any) immediately totally stop running. No simulated H ever
>>> returns any value to any simulated D.
>>
>>> That is only ordinary software engineering with zero subjective
>>> leeway of interpretation. It is just like I yank the power cord
>>> from the wall and you don't understand that the program immediately
>>> stops running.
>>
>>> You are doing better than Alan on this though he doesn't
>>> have a single clue about what execution traces are or how
>>> they work.
>>
>> You should read "How to make friends and influence people" by Dale
>> Carnegie.  You may not care about the former, but you sure are trying the
>> latter.  Hint: telling nasty lies about people is not effective.
>>
> 
> Perhaps you do understand what an execution trace is and
> disparage my work without even looking at it?
> 
> Everyone that does understand what an execution trace is
> can directly see that D simulated by H does have the trace
> that I provide.
> 
> Can D correctly simulated by H terminate normally?
> 00 int H(ptr x, ptr x)  // ptr is pointer to int function
> 01 int D(ptr x)
> 02 {
> 03   int Halt_Status = H(x, x);
> 04   if (Halt_Status)
> 05     HERE: goto HERE;
> 06   return Halt_Status;
> 07 }
> 08
> 09 void main()
> 10 {
> 11   H(D,D);
> 12 }
> 
> *Execution Trace*
> Line 11: main() invokes H(D,D);
> 
> *keeps repeating* (unless aborted)
> Line 03: simulated D(D) invokes simulated H(D,D) that simulates D(D)
> 
> *Simulation invariant*
> D correctly simulated by H cannot possibly reach past its own line 03.

Except this isn't true for ALL H's as proven and you try to ignore.

This makes you just a pathological liar.

> 
>>> -- 
>>> Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
>>> hits a target no one else can see." Arthur Schopenhauer
>>
>