Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Turing machine HHH is not allowed to report on the behavior of the
 directly executed DDD()
Date: Mon, 30 Jun 2025 12:18:49 -0500
Organization: A noiseless patient Spider
Lines: 29
Message-ID: <103ugtp$292c0$5@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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 30 Jun 2025 19:18:50 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9404d00c6301e2deb5a78b7b5f8a4aea";
	logging-data="2394496"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19eI/DOQAtgNAscaOkuG5NV"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:P6LQNlo27NCDL0Eoh7otFETLyt4=
X-Antivirus-Status: Clean
X-Antivirus: Norton (VPS 250630-4, 6/30/2025), Outbound message
In-Reply-To: <103tgg8$22h9n$1@dont-email.me>
Content-Language: en-US

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 one computer scientist noticed this truism in 90 years.
They always falsely assumed the the machine description of
such a machine is a valid proxy for the behavior of this
machine. I proved that they are wrong.

The input to HHH(DDD) does in fact specify non-halting
behavior and the directly executed DDD() halts.

HHH cannot possibly compute the mapping from the directly
executed DDD() because it cannot possibly be an input to
HHH then this dirctly executed DDD() is outside of the
domain of HHH.


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