Path: ...!feeds.phibee-telecom.net!3.eu.feeder.erje.net!feeder.erje.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: No decider is accountable for the computation that itself is
 contained within
Date: Tue, 30 Jul 2024 15:13:34 -0500
Organization: A noiseless patient Spider
Lines: 41
Message-ID: <v8bhhe$15une$3@dont-email.me>
References: <v80irs$2tlb5$1@dont-email.me> <v828ju$3a1gf$1@dont-email.me>
 <v82vpu$3dftr$6@dont-email.me> <v8506m$3s27b$1@dont-email.me>
 <v88g60$i7kl$5@dont-email.me>
 <8ac9fd02d6247cec58098de53c964a5feed41946@i2pn2.org>
 <v88u9c$kpv7$1@dont-email.me>
 <3c24d92260cc29c0b39004bf3448d415c567549a@i2pn2.org>
 <v8b443$13n24$1@dont-email.me>
 <00e25e8f7bb0af364c2bad26b5a1ebeb76fee34d@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 30 Jul 2024 22:13:34 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="f90a0d55b5a8d8d362f50b9fb3171851";
	logging-data="1243886"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/KbRuSsc7sFphGhFdjikTz"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:ibfA85CKrHnFu7nwy9Q/8gtCOhM=
In-Reply-To: <00e25e8f7bb0af364c2bad26b5a1ebeb76fee34d@i2pn2.org>
Content-Language: en-US
Bytes: 3260

On 7/30/2024 2:52 PM, joes wrote:
> Am Tue, 30 Jul 2024 11:24:35 -0500 schrieb olcott:
>> On 7/30/2024 2:24 AM, joes wrote:
>>> Am Mon, 29 Jul 2024 15:32:44 -0500 schrieb olcott:
>>>> On 7/29/2024 3:17 PM, joes wrote:
>>>>> Am Mon, 29 Jul 2024 11:32:00 -0500 schrieb olcott:
>>>>>> On 7/28/2024 3:40 AM, Mikko wrote:
>>>>>>> On 2024-07-27 14:21:50 +0000, olcott said:
>>>>>>>> On 7/27/2024 2:46 AM, Mikko wrote:
>>>>>>>>> On 2024-07-26 16:28:43 +0000, olcott said:
>>>
>>>>>> Halt deciders are not allowed to report on the behavior of the
>>>>>> actual computation that they themselves are contained within. They
>>>>>> are only allowed to compute the mapping from input finite strings.
>>>>> What if the input is the same as the containing computation?
>>>> It always is except in the case where the decider is reporting on the
>>>> TM description that itself is contained within.
>>
>>> I don't understand. "The input is not the same as the containing
>>> computation when deciding on the description of the containing
>>> computation"?
> I mean: is that an accurate paraphrase?
> 
>> An executing Turing machine is not allowed to report on its own
>> behavior. Every decider is only allowed to report on the behavior that
>> its finite string input specifies.
> And what happens when those are the same?
> 

That is always the case except in the rare exception that I
discovered where a simulating halt decider is simulating
the input that calls itself.

Because for the last 90 years everyone besides me rejected
the notion of a simulating halt decider out-of-hand without
any review no one ever noticed this anomaly before.

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