Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Richard Heathfield <rjh@cpax.org.uk>
Newsgroups: comp.theory
Subject: Re: Turing Machine computable functions apply finite string
 transformations to inputs
Date: Tue, 29 Apr 2025 08:15:53 +0100
Organization: Fix this later
Lines: 16
Message-ID: <vupub9$18vrc$2@dont-email.me>
References: <vu6lnf$39fls$2@dont-email.me> <vua9oi$2lub6$1@dont-email.me>
 <vudkah$1ona3$1@dont-email.me> <vufi61$3k099$1@dont-email.me>
 <vugddv$b21g$2@dont-email.me>
 <0a2eeee6cb4b6a737f6391c963386745a09c8a01@i2pn2.org>
 <vugvr3$pke9$8@dont-email.me>
 <4818688e0354f32267e3a5f3c60846ae7956bed2@i2pn2.org>
 <vuj18i$2lf64$6@dont-email.me>
 <f0d3f2e87d9a4e0b0f445f60a33d529f41a4fcf7@i2pn2.org>
 <vuj55m$2lf64$10@dont-email.me> <vuj8h3$2uahf$3@dont-email.me>
 <vujfuu$35hcg$1@dont-email.me>
 <65dddfad4c862e6593392eaf27876759b1ed0e69@i2pn2.org>
 <vujlj0$3a526$1@dont-email.me> <vujln7$32om9$8@dont-email.me>
 <vujmmm$3a526$2@dont-email.me> <vujmrj$32om9$9@dont-email.me>
 <vujtcb$3gsgr$1@dont-email.me>
 <XpecnXs9MtzKApD1nZ2dnZfqnPudnZ2d@brightview.co.uk>
 <QJ-dnfPs3ckgO5D1nZ2dnZfqn_adnZ2d@brightview.co.uk>
 <KvSdnTEjuOT7x5P1nZ2dnZfqlJydnZ2d@giganews.com>
 <sUydndwmjqgpho31nZ2dnZfqnPWdnZ2d@brightview.co.uk>
 <vuplut$11gfd$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 29 Apr 2025 09:15:53 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="a99ce2d194518084f1e3236eb6fd133d";
	logging-data="1343340"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+dF2BTCBxrxwJUCWZNuYjLBgFb2JaegDpjS6JlbU/oNA=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:YLgcuafshkYx1qYqpOm1TyioCMQ=
Content-Language: en-GB
In-Reply-To: <vuplut$11gfd$1@dont-email.me>

On 29/04/2025 05:52, olcott wrote:
> What I want to achieve is universal consensus
> that HHH is correct to reject DD as not halting.

You won't achieve such consensus, because 'reject' is not an 
option open to HHH. Either DD halts on a given input or it 
doesn't. HHH must correctly determine which... but it can't. It 
is not allowed to reject the input. Does it halt, or doesn't it? 
Those are your only choices.

-- 
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within