Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: immibis <news2@immibis.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: Halting Problem is wrong two different ways
Date: Tue, 4 Jun 2024 20:27:17 +0200
Organization: A noiseless patient Spider
Lines: 11
Message-ID: <v3nma5$gt0a$1@dont-email.me>
References: <v3j20v$3gm10$2@dont-email.me>
 <J_CdnTaA96jxpcD7nZ2dnZfqnPudnZ2d@brightview.co.uk>
 <87h6eamkgf.fsf@bsb.me.uk> <v3kcdj$3stk9$1@dont-email.me>
 <v3kjs9$3u7ng$1@dont-email.me> <v3l16f$5d3$4@dont-email.me>
 <v3mj84$bq2d$1@dont-email.me> <v3njiv$gatu$9@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 04 Jun 2024 20:27:18 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="f75ff79593257f29d8483f0f3bd96c54";
	logging-data="553994"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+iwKZntj1evPvuxFC03d8s"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Cho4Md06ZsMsS34hzLOaEvvg3rA=
Content-Language: en-US
In-Reply-To: <v3njiv$gatu$9@dont-email.me>
Bytes: 1674

On 4/06/24 19:40, olcott wrote:
> On 6/3/2024 9:53 PM, Richard Damon wrote:
>  > Because you keep on mentioning about DD Halting,
>  > which IS about the direct execution of DD
> 
> Only when one contradicts the definition of a decider that must
> compute the mapping FROM ITS INPUTS BASED ON THE ACTUAL BEHAVIOR
> OF THESE INPUTS (as measured by DD correctly simulated by HH).

That is not a definition of a decider. You just made that up.