Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Flat out dishonest or totally ignorant?
Date: Tue, 2 Jul 2024 07:20:54 -0500
Organization: A noiseless patient Spider
Lines: 57
Message-ID: <v60rb6$1kr1q$1@dont-email.me>
References: <v5vkun$1b0k9$1@dont-email.me> <v606dn$1hg04$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 02 Jul 2024 14:20:55 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="be8a74d1ebb79f081dc40b5f7175e5aa";
	logging-data="1731642"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18e1FiLgx510guKPyF+1rMo"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:RGUaGUXs35ETlGKkY2kjJnZhf4Q=
In-Reply-To: <v606dn$1hg04$1@dont-email.me>
Content-Language: en-US
Bytes: 2740

On 7/2/2024 1:23 AM, Mikko wrote:
> On 2024-07-02 01:25:40 +0000, olcott said:
> 
>> typedef void (*ptr)();
>> int HHH(ptr P);
>>
>> void Infinite_Loop()
>> {
>>    HERE: goto HERE;
>> }
>>
>> void Infinite_Recursion()
>> {
>>    Infinite_Recursion();
>> }
>>
>> void DDD()
>> {
>>    HHH(DDD);
>> }
>>
>> int main()
>> {
>>    HHH(Infinite_Loop);
>>    HHH(Infinite_Recursion);
>>    HHH(DDD);
>> }
>>
>> Every C programmer that knows what an x86 emulator is knows
>> that when HHH emulates the machine language of Infinite_Loop,
>> Infinite_Recursion, and DDD that it must abort these emulations
>> so that itself can terminate normally.
> 
> The "must" there is not quite correct. If the emulator does not abort
> then it will run forever or until the emulator is aborted by some
> external agent. That is not a problem unless there is an additional
> requirement, not specified above, that the emulator must terminate
> normally.
> 

This <is> the problem that I am willing to discuss.
I am unwilling to discuss any other problem.
This does meet the Sipser approved criteria.

<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     If simulating halt decider H correctly simulates its input D
     until H correctly determines that its simulated D would never
     stop running unless aborted then

     H can abort its simulation of D and correctly report that D
     specifies a non-halting sequence of configurations.
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>

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