Path: ...!3.eu.feeder.erje.net!feeder.erje.net!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Proof that DDD specifies non-halting behavior --- Mike is not
 paying attention
Date: Sat, 17 Aug 2024 12:09:54 -0500
Organization: A noiseless patient Spider
Lines: 45
Message-ID: <v9qlh3$1tedb$21@dont-email.me>
References: <v9gv4k$4sc4$1@dont-email.me>
 <561f876601b0329c0260bac26f8b6dfb6e28647f@i2pn2.org>
 <v9h5af$9jn6$1@dont-email.me>
 <bdfcf881b9a9ce7e2bc197339d14a01beae1116d@i2pn2.org>
 <XYucnXqdgeWiVSH7nZ2dnZfqn_adnZ2d@brightview.co.uk>
 <b8a96bbfe0516cf99b6f38c23fb4eccc3810ee7e@i2pn2.org>
 <v9krc5$uqhs$1@dont-email.me> <v9l7hf$vao1$3@dont-email.me>
 <v9laed$113gd$2@dont-email.me>
 <EbecnaOe1ajC1yP7nZ2dnZfqn_idnZ2d@brightview.co.uk>
 <v9llh9$12l6c$2@dont-email.me> <v9mt9h$1bdeu$3@dont-email.me>
 <P6-cnWf3Z5zzLyL7nZ2dnZfqnPudnZ2d@brightview.co.uk>
 <v9oerj$1iiu2$1@dont-email.me>
 <3rKcnXwB7eKxUF37nZ2dnZfqn_ednZ2d@brightview.co.uk>
 <v9qj19$1tedb$16@dont-email.me>
 <08606604207a9133fec84317c0cc04469711b4ce@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 17 Aug 2024 19:09:55 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="5c4a0c817977c3965e873c4f304e2b88";
	logging-data="2013611"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+pUQ9xpIOk+TkXw1/pXyE/"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Z+nb46NYOidCn2z+3tJg+pKuxeU=
In-Reply-To: <08606604207a9133fec84317c0cc04469711b4ce@i2pn2.org>
Content-Language: en-US
Bytes: 3834

On 8/17/2024 11:33 AM, Richard Damon wrote:
> On 8/17/24 12:27 PM, olcott wrote:
>> On 8/17/2024 11:17 AM, Mike Terry wrote:
>>>
>>> For some time at the beginning I continued because I was curious 
>>> about the details of what PO had coded (his x86utm program), and I 
>>> just enjoy mucking about with different code hence my curiosity. Also 
>>> I have the white night syndrome I guess - but no illusions that I can 
>>> help PO. Most of my early days on Usenet were spent on groups like 
>>> alt.math.undergrad, where posters were typically students who were 
>>> motivated to learn and so listened to what the regulars had to say. 
>>> Compare that to sci.math which has almost no students, and instead 
>>> has dozens of cranks whose aim is definitely /not/ to learn anything!
>>>
>>> If I post here these days it is generally for the possible benefit of 
>>> others conversing with PO - e.g. perhaps it seems to me that weeks of 
>>> time are being wasted /through some simple miscommunication/ with PO. 
>>> I've been around longer than the current (relative) newcommers [not 
>>> as long as you and Ben I think], so I have more context for what PO 
>>> is trying to say, 
>>
>> *Yet you persistently fail to agree with Ben on this*
> 
> 
> Because you just don't understand what Ben said here, because you are 
> just too stupid.
> 
>>
>> On 10/14/2022 7:44 PM, Ben Bacarisse wrote:
>>  > I don't think that is the shell game.  PO really /has/ an H
>>  > (it's trivial to do for this one case) that correctly determines
>>  > that P(P) *would* never stop running *unless* aborted.
>> ...
>>  > But H determines (correctly) that D would not halt if it
>>  > were not halted.  That much is a truism.
>>
>>

Ben said that my criteria has been met that cannot
possibly be correctly interpreted to mean that my
criteria has not been met.

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer