Path: ...!feed.opticnetworks.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: =?UTF-8?B?QW5kcsOpIEcuIElzYWFr?= <agisaak@gm.invalid>
Newsgroups: comp.theory
Subject: Re: H(D,D) cannot even be asked about the behavior of D(D) V2
Date: Sun, 16 Jun 2024 18:33:51 -0600
Organization: Christians and Atheists United Against Creeping Agnosticism
Lines: 47
Message-ID: <v4o09h$9vd8$1@dont-email.me>
References: <v4j0h2$39gh7$3@dont-email.me> <v4k0sr$3f4m3$1@dont-email.me>
 <v4k44j$3fmth$1@dont-email.me> <v4m5gj$3v41v$1@dont-email.me>
 <v4mmnp$1qt6$2@dont-email.me> <v4ms37$5nh5$1@i2pn2.org>
 <v4mtif$3cbf$1@dont-email.me> <v4muph$1sav$1@news.muc.de>
 <v4n8ac$5d22$1@dont-email.me> <v4nk4s$17k4$1@news.muc.de>
 <v4nn63$89ld$1@dont-email.me> <v4noi2$8am2$5@dont-email.me>
 <v4nsas$61l9$10@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 17 Jun 2024 02:33:53 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="7524193b9faaf7bf2a4b228c8bb88f99";
	logging-data="327080"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18C/i2Go5+CbQO6IqqPR3mB"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:usn0C6QCL0BPeRE96+t3DaniJDw=
In-Reply-To: <v4nsas$61l9$10@i2pn2.org>
Content-Language: en-US
Bytes: 3197

On 2024-06-16 17:26, Richard Damon wrote:
> On 6/16/24 6:21 PM, Python wrote:
>> Le 16/06/2024 à 23:58, André G. Isaak a écrit :
>>> On 2024-06-16 15:06, Alan Mackenzie wrote:
>>>
>>>> If you'd've simply stuck to turing machines all along, you could have
>>>> avoided a lot of the confusion you've got yourself into.  Why not start
>>>> talking about turing machines now?
>>>
>>> Olcott has made it clear that he has absolutely no idea what Turing 
>>> Machines are or how they work. He likes bringing them up (even 
>>> insisting on calling his C programs "TMs" or "UTMs"), but there's no 
>>> possibility that he will start discussing actual Turing machines. 
>>> They're entirely outside of his purview.
>>>
>>> André
>>>
>>
>> A couple of years ago he was asked to provide Turing Machine emulator in
>> C. He bragged about delivering it in a few hours (which is realisting
>> for any decent programmer btw).
>>
>> Guess what? He failed.
>>
>>
> 
> Actually, if I remember right, he was asked to write a Turing Machine, 
> and was shown an on-line Turing Emulator, but he didn't like how it 
> worked, (it didn't understand a "full ASCII" tape) so he desided to 
> write his own, and failed.


Yes. He was asked to produce a TM that decided parity. He decided he 
couldn't do this in the abstract and needed an emulator to test it in. 
But apparently learning the syntax of the input files used by existing 
emulators was more than he could cope with and he insisted it would be 
easier to write his own emulator.

Of course, this went nowhere, but it provided him with an excuse for not 
producing a parity decider.

André

-- 
To email remove 'invalid' & replace 'gm' with well known Google mail 
service.