Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: dbush <dbush.mobile@gmail.com>
Newsgroups: comp.theory
Subject: Re: Functions computed by Turing Machines MUST apply finite string
 transformations to inputs --- MT
Date: Wed, 7 May 2025 08:01:15 -0400
Organization: A noiseless patient Spider
Lines: 29
Message-ID: <vvfi2a$10b0m$4@dont-email.me>
References: <TuuNP.2706011$nb1.2053729@fx01.ams4>
 <vuti3c$jq57$1@dont-email.me> <vutmr6$nvbg$2@dont-email.me>
 <vutv7r$v5pn$4@dont-email.me> <vuu73m$151a8$3@dont-email.me>
 <vuuej8$1cqp7$1@dont-email.me> <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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 07 May 2025 14:01:15 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="3013d96e0ac4b7dd359f7afe652f4ce0";
	logging-data="1059862"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18f1uqONOSEZ6ey05bFc8Wy"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:G6S/xW87G/ba76Uj5Tgd2PJAp8c=
Content-Language: en-US
In-Reply-To: <vvfbt6$ubvt$2@dont-email.me>
Bytes: 3075

On 5/7/2025 6:16 AM, Fred. Zwarts wrote:
> Op 06.mei.2025 om 21:15 schreef olcott:
>> None-the-less it is the words that the best selling
>> author of theory of computation textbooks agreed to:
>> *would never stop running unless aborted*
>>
>> is the hypothetical HHH/DD pair where the same HHH
>> that DD calls does not abort the simulation of its input.
>>
> 
> 
> Nevertheless, this change makes it fundamentally different.
> I can't believe that you are so stupid to think that modifying a program 
> does not make a program different. Are you trolling?

Given that he's shown he doesn't understand (and this list is by no 
means exhaustive):

* what requirements are
* what correct means
* what true means
* what a proof is
* how proof by contradiction works

I wouldn't put it past him that he actually believes it.  He'll say 
anything to avoid admitting to himself that he wasted that last 22 years 
not understanding what he was working on.

(Anyone else that wants to add to this list, feel free)