Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!news.usenet.ovh!weretis.net!feeder8.news.weretis.net!news.neodome.net!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Olcott is correct on this point
Date: Sat, 14 Jun 2025 14:24:37 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <8853c06c02f7e6cabc8d272a4de3ee28bc6f732a@i2pn2.org>
References: <evg3Q.196178$0ia.84088@fx11.ams4>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 14 Jun 2025 19:05:54 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="507190"; 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: <evg3Q.196178$0ia.84088@fx11.ams4>
Content-Language: en-US

On 6/14/25 11:24 AM, Mr Flibble wrote:
> Olcott is correct on this point:
> 
> A halting decider cannot and should not report on the behaviour of its
> caller.
> 
> /Flibble

Absoluted incorrect.

It needs to report on the behavior of the program described by its 
input, even if that is its caller.

It may be unable to, but, to be correct, it needs to answer about the 
input given to it, and NOTHING in the rules of computations restricts 
what programs you can make representations of to give to a given decider.

This is just a lie by obfuscation, that you are just stupidly agreeing 
to, showing your own ignorance.

Sorry, you need to sleep in the bed you made.