Deutsch   English   Français   Italiano  
<vvgao0$158tp$7@dont-email.me>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Richard Heathfield <rjh@cpax.org.uk>
Newsgroups: comp.theory
Subject: Re: Functions computed by Turing Machines MUST apply finite string
 transformations to inputs --- MT
Date: Wed, 7 May 2025 20:02:24 +0100
Organization: Fix this later
Lines: 17
Message-ID: <vvgao0$158tp$7@dont-email.me>
References: <TuuNP.2706011$nb1.2053729@fx01.ams4>
 <vuur2n$1qe3m$2@dont-email.me> <vv0352$2ur4q$1@dont-email.me>
 <vv0kpi$3djh5$1@dont-email.me> <vv13ro$3r3ei$1@dont-email.me>
 <vv160a$3smj7$1@dont-email.me> <vv18s7$3uer0$1@dont-email.me>
 <vv1b03$4a4k$2@dont-email.me> <vv1bav$3ra6l$7@dont-email.me>
 <vv1frt$97hp$1@dont-email.me> <vv1gfu$3ra6l$8@dont-email.me>
 <vv1js4$d4ik$1@dont-email.me>
 <-GOdnZvgEPn-84j1nZ2dnZfqn_SdnZ2d@brightview.co.uk>
 <vv5e46$3rtqo$1@dont-email.me>
 <2qydnbbWA6CAGIv1nZ2dnZfqn_SdnZ2d@brightview.co.uk>
 <87frhjamvt.fsf@bsb.me.uk> <vv93tq$383jd$1@dont-email.me>
 <d3d98f966d50e250c233a6e883a4947c885bd99f@i2pn2.org>
 <vvbsjf$1us1f$5@dont-email.me>
 <313c6e5a3816ff483563120b589b22d1bc190c2f@i2pn2.org>
 <vvdi2p$3cbpq$7@dont-email.me> <vvdmam$3huo6$2@dont-email.me>
 <vvdn4i$3k2gc$2@dont-email.me> <vvfbt6$ubvt$2@dont-email.me>
 <vvfi2a$10b0m$4@dont-email.me> <vvfsor$130t3$2@dont-email.me>
 <6c627041e7df24bb64442ad7e0ee03db6a74aab6@i2pn2.org>
 <vvg9sm$15e69$6@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 07 May 2025 21:02:24 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="1de3d45e2783553e22f3c2216cb20b34";
	logging-data="1221561"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+tBU6KImOOn++vNDXr7FGqYOrKDP1e2PJMYY9vDEUt8g=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:m2FR62ZIwDEVge2YpAyBKSsgzLY=
Content-Language: en-GB
In-Reply-To: <vvg9sm$15e69$6@dont-email.me>
Bytes: 2550

On 07/05/2025 19:47, olcott wrote:

<snip>

> HHH did not abort its input. That is the ONLY way that
> simulating halt deciders can possibly work.

Another only is that simulating halt deciders (like code-parsing 
halt deciders) can only possibly work if they don't claim to be 
universal.

-- 
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