Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Turing machine HHH is not allowed to report on the behavior of
 the directly executed DDD()
Date: Tue, 1 Jul 2025 06:43:10 -0500
Organization: A noiseless patient Spider
Lines: 29
Message-ID: <1040hke$2ql69$2@dont-email.me>
References: <1037cr1$1aja4$1@dont-email.me> <1038iil$enlc$1@dont-email.me>
 <10394o5$j159$2@dont-email.me> <103av83$140ie$1@dont-email.me>
 <103bq8n$1a3c8$4@dont-email.me> <103brmh$1bfio$1@dont-email.me>
 <103bvt3$1cjeg$1@dont-email.me> <103do8b$1ti9d$1@dont-email.me>
 <103easr$22250$1@dont-email.me> <103ekj4$22qb$1@news.muc.de>
 <103elhi$24lrk$1@dont-email.me> <103enru$22qb$2@news.muc.de>
 <103eo8q$25hsi$1@dont-email.me>
 <995bace8fe29b576c0d9410f991981143fd20046@i2pn2.org>
 <103epev$25ucn$1@dont-email.me>
 <9103e4719abf89a6964453318d3f52878a718788@i2pn2.org>
 <103f62i$292tp$1@dont-email.me> <103g811$2knml$1@dont-email.me>
 <103h4f4$2rinm$1@dont-email.me> <103j5o4$3d3gm$1@dont-email.me>
 <103md0c$7mrs$1@dont-email.me> <103ok7h$r5fl$1@dont-email.me>
 <103oop5$rq7e$3@dont-email.me> <103qtac$1ebbt$1@dont-email.me>
 <103recv$1hc53$1@dont-email.me> <103tgg8$22h9n$1@dont-email.me>
 <103ugtp$292c0$5@dont-email.me> <10403ov$2nmlb$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 01 Jul 2025 13:43:10 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="f2525e8d75a2872aa3d27b0f72aced4f";
	logging-data="2970825"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18vSgAALt8soS28wOmDmJ53"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:KlhlYN99agEAXDWPJ1jZ967ABr0=
X-Antivirus: Norton (VPS 250701-0, 6/30/2025), Outbound message
Content-Language: en-US
In-Reply-To: <10403ov$2nmlb$1@dont-email.me>
X-Antivirus-Status: Clean

On 7/1/2025 2:46 AM, Mikko wrote:
> On 2025-06-30 17:18:49 +0000, olcott said:
> 
>> On 6/30/2025 3:05 AM, Mikko wrote:
>>> On 2025-06-29 13:17:19 +0000, olcott said:
>>>>
>>>> When it is required that a Turing Machine halt decider is to
>>>> report on the behavior of another directly executing Turing
>>>> machine this requirement is incorrect.
>>>
>>> No, it is not.
> 
>> When we know that no directly executing Turing machine
>> D can possibly be an input to another Turing Machine H
>> this means that H cannot possibly compute the mapping
>> from D to the behavior of D.
> 
> Not true. In order to compute the required mapping from D to
> some feature of the behavour of D only sufficient information
> about D is needed. For example, an universal Turing machine
> cannot observe a direct execution of D but can reproduce the
> result of a direct execution of D.
> 

Ah good point. Back to the HHH1(DDD) and HHH(DDD).

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