Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: sci.logic,comp.theory
Subject: Re: D simulated by H never halts no matter what H does V3
Date: Mon, 29 Apr 2024 19:19:18 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <v0p9tm$2ki5r$3@i2pn2.org>
References: <uvq0sg$21m7a$1@dont-email.me> <v02gu5$6quf$1@dont-email.me>
 <v038om$bitp$2@dont-email.me> <v05b0k$sivu$1@dont-email.me>
 <v05r5e$vvml$2@dont-email.me> <v05vl4$1165d$1@dont-email.me>
 <v0679k$12sq2$1@dont-email.me> <v07r2j$1h57l$1@dont-email.me>
 <v08gn4$1lpta$2@dont-email.me> <v0ag7u$27jkb$1@dont-email.me>
 <v0b8np$2d4ja$1@dont-email.me> <v0c317$2538n$1@i2pn2.org>
 <v0c7fn$2k0tc$1@dont-email.me> <v0d3h1$2t938$1@dont-email.me>
 <v0doho$31mkn$2@dont-email.me> <v0forg$3j1dk$1@dont-email.me>
 <v0gmrt$3qd6i$1@dont-email.me> <v0hfab$3vjo8$1@dont-email.me>
 <v0hgn3$2a19s$7@i2pn2.org> <v0hl90$4ehj$1@dont-email.me>
 <v0hna7$2a19s$8@i2pn2.org> <v0hpt4$59oq$1@dont-email.me>
 <v0hsd2$2a19s$9@i2pn2.org> <v0i2oh$6orp$2@dont-email.me>
 <v0iog7$2csj2$1@i2pn2.org> <v0j295$dmbi$1@dont-email.me>
 <v0jbgf$2djoe$1@i2pn2.org> <v0jdul$g54u$2@dont-email.me>
 <v0l22b$v2br$1@dont-email.me> <v0li2c$12aq4$3@dont-email.me>
 <v0no8u$1lfo8$1@dont-email.me> <v0oanj$1pbn5$5@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 29 Apr 2024 23:19:19 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2771131"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <v0oanj$1pbn5$5@dont-email.me>
Content-Language: en-US
Bytes: 4329
Lines: 70

On 4/29/24 10:26 AM, olcott wrote:
> On 4/29/2024 4:11 AM, Mikko wrote:
>> On 2024-04-28 13:13:48 +0000, olcott said:
>>
>>> On 4/28/2024 3:40 AM, Mikko wrote:
>>>> On 2024-04-27 17:51:17 +0000, olcott said:
>>>>
>>>>> When you agree that H(D,D) is a correct termination analyzer within
>>>>> my definition then we can proceed to the next point about whether
>>>>> my definition is correct or diverges from the standard definition.
>>>>
>>>> Nobody will agree that H(D,D) is a correct termination analyzer
>>>> until you post a definition of "termination analyzer" and compare
>>>> H(D,D) to that definition. And nut even then if the comparison is
>>>> insufficient or erronous.
>>>
>>> Unless they go through every single slight nuance of the details
>>> of my reasoning they won't be able to see that I am correct.
>>
>> Then the expected result is that they will never see that you are 
>> correct.
>>
>>> Unless I insist that they go through every single slight nuance of the
>>> details of my reasoning THEY ALWAYS LEAP TO THE CONCLUSION THAT I AM
>>> WRONG SIMPLY IGNORING WHAT I SAY.
>>
>> Is there any reason to expect a differen result if you do insist?
>>
> 
> I now have an airtight proof that I am correct. People ignore all of
> the words and leap to the conclusion that I must be wrong.
> I refuse to move past the first step of the proof until we have
> mutual agreement on this first step. Here is the fist step:
> 
> int H(ptr x, ptr y); // 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 }
> 
> Simulating termination analyzer H determines whether or not
> D(D) simulated by H can possibly reach its final state at its
> own line 06 and halt whether or not H aborts its simulation.
> https://github.com/plolcott/x86utm/blob/master/Halt7.c
> 
> (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.
> 
> 


Except that I have pointed out several ways that some H could get its 
simulation to that line.

Thus, your "Airtight proof" is about as good as a screen door on a 
submarine.

You FAIL.

IF you don't remember them, that just shows that you haven't been 
discussion in good faith.