Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Bad faith and dishonesty
Date: Thu, 29 May 2025 15:00:12 -0500
Organization: A noiseless patient Spider
Lines: 72
Message-ID: <101aecc$1iu2$1@dont-email.me>
References: <m99YP.725664$B6tf.610565@fx02.ams4>
 <100uct4$184ak$1@dont-email.me> <100v9ta$1d5lg$7@dont-email.me>
 <1011eai$1urdm$1@dont-email.me> <10121bt$22da5$4@dont-email.me>
 <8bb5266e35845a4d8f2feb618c0c18629c04e4e7@i2pn2.org>
 <1012oj1$278f8$1@dont-email.me>
 <1196d9de2e2aebc1b6d1a85047192e8ea1aeb1f1@i2pn2.org>
 <10137lv$2djeu$1@dont-email.me> <ewIZP.135645$vK4b.131815@fx09.ams4>
 <1017l6l$3cerk$1@dont-email.me> <1017tr1$3drlu$5@dont-email.me>
 <1017ufm$3e54m$6@dont-email.me> <1019vm1$3u8nj$3@dont-email.me>
 <101a65n$3vsp7$1@dont-email.me> <101a86h$3vfam$6@dont-email.me>
 <101a9np$gl7$1@dont-email.me> <101ab0d$10eg$1@dont-email.me>
 <101abbb$gl7$3@dont-email.me> <101aca4$17rj$1@dont-email.me>
 <101actt$3v9gr$6@dont-email.me> <101adcs$17rj$3@dont-email.me>
 <101advt$3v9gr$7@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 29 May 2025 22:00:12 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="6894e564e6a95e6355f574971a6fd9d1";
	logging-data="52162"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+r2eem75i92oLdFyCw2D3A"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:HGzCSnLc6uazdaYrMZKo0HhFkjg=
Content-Language: en-US
In-Reply-To: <101advt$3v9gr$7@dont-email.me>
X-Antivirus: Norton (VPS 250529-4, 5/29/2025), Outbound message
X-Antivirus-Status: Clean

On 5/29/2025 2:53 PM, dbush wrote:
> On 5/29/2025 3:43 PM, olcott wrote:
>> On 5/29/2025 2:35 PM, dbush wrote:
>>> On 5/29/2025 3:24 PM, olcott wrote:
>>>> On 5/29/2025 2:08 PM, Richard Heathfield wrote:
>>>>> On 29/05/2025 20:02, olcott wrote:
>>>>>> On 5/29/2025 1:40 PM, Richard Heathfield wrote:
>>>>>>> On 29/05/2025 19:14, olcott wrote:
>>>>>
>>>>> <snip>
>>>>>
>>>>>>>> It is a tautology that any input D to termination
>>>>>>>> analyzer H that *would never stop running unless aborted*
>>>>>>>> DOES SPECIFY NON-TERMINATING BEHAVIOR.
>>>>>>>
>>>>>>> But in making that claim you assume that you correctly know the 
>>>>>>> termination behaviour of D.
>>>>>>>
>>>>>>
>>>>>> All that H needs to know is that D
>>>>>> *would never stop running unless aborted*
>>>>>
>>>>> But it *doesn't* know that.
>>>>>
>>>>> You forgot to address my substantive point.
>>>>>
>>>>
>>>> Not at all. I have been doing this for a very long time.
>>>> Even when we go exactly one point at a time it takes people
>>>> here several years to begin to address that one point.
>>>>
>>>> It is a tautology that any input D 
>>>
>>> i.e. a description of algorithm D
>>>
>>
>> int sum(int x, int y) { return x + y; }
>>
>> *Description*
>> The above function does some arithmetic stuff
>>
>> *Specification*
>> _sum()
>> [000021b3] 55             push ebp
>> [000021b4] 8bec           mov ebp,esp
>> [000021b6] 8b4508         mov eax,[ebp+08]
>> [000021b9] 03450c         add eax,[ebp+0c]
>> [000021bc] 5d             pop ebp
>> [000021bd] c3             ret
>> Size in bytes:(0011) [000021bd]
>>
> 
> "Description" is a technical term which means a way to encode everything 
> about the algorithm in question.
> 
> And for algorithm D, that description consists of the fixed code of the 
> function D, the fixed code of the function H, and the fixed code of 
> everything that H calls down to the OS level.
> 

A simulating termination analyzer must PREDICT FUTURE BEHAVIOR.
This means that it must predict what the behavior WOULD BE if
it never aborted its simulation.

It is a tautology that any input D to simulating termination
analyzer H that *would never stop running unless aborted*
DOES SPECIFY NON-TERMINATING BEHAVIOR.


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