Path: ...!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: DDD correctly emulated by HHH is correctly rejected as
 non-halting.
Date: Thu, 11 Jul 2024 22:08:22 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <bac36484141c377da66b532ec3575a0474ce44d1@i2pn2.org>
References: <v6m7si$1uq86$2@dont-email.me> <v6mhc7$20hbo$2@dont-email.me>
 <v6mito$bbr$1@news.muc.de> <v6mjlg$20sio$2@dont-email.me>
 <v6mlfj$bbr$2@news.muc.de> <v6mlk6$21d9q$1@dont-email.me>
 <v6nu2n$2bepp$1@dont-email.me> <v6op7v$2fuva$5@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 12 Jul 2024 02:08:22 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2973854"; 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: <v6op7v$2fuva$5@dont-email.me>
Content-Language: en-US
Bytes: 2834
Lines: 48

On 7/11/24 10:12 AM, olcott wrote:
> On 7/11/2024 1:28 AM, Mikko wrote:
>> On 2024-07-10 18:58:14 +0000, olcott said:
>>
>>> On 7/10/2024 1:55 PM, Alan Mackenzie wrote:
>>>> Fred. Zwarts <F.Zwarts@hetnet.nl> wrote:
>>>>> Op 10.jul.2024 om 20:12 schreef Alan Mackenzie:
>>>>>> [ Followup-To: set ]
>>>>
>>>>>> In comp.theory Fred. Zwarts <F.Zwarts@hetnet.nl> wrote:
>>>>
>>>>>> [ .... ]
>>>>
>>>>>>> Proving that the simulation is incorrect. Because a correct 
>>>>>>> simulation
>>>>>>> would not abort a halting program halfway its simulation.
>>>>
>>>>>> Just for clarity, a correct simulation wouldn't abort a non-halting
>>>>>> program either, would it?  Or have I misunderstood this correctness?
>>>>
>>>>>> [ .... ]
>>>>
>>>>
>>>>> A non-halting program cannot be simulated correctly in a finite time.
>>>>> So, it depends whether we can call it a correct simulation, when it 
>>>>> does
>>>>> not abort. But, for some meaning of 'correct', indeed, a simulator
>>>>> should not abort a non-halting program either.
>>>>
>>>> OK, thanks!
>>>>
>>>
>>> In other words he is saying that when you do
>>> 1 step correctly you did 0 steps correctly.
>>
>> That is possible as "correctly" has different meaning when talking
>> about steps from when talking about simulations.
>>
> 
> *No that is always false*
> When you did one anythings correctly then you did
> more than zero anythings correctly.
> 

But one step, when it needs to be followed by the next, isn't actually 
fully correct.

And anything that isn't fully correct is only partially correct which is 
just a soft talking way to talk about something that is INCORRECT.