Path: ...!Xl.tags.giganews.com!local-4.nntp.ord.giganews.com!nntp.brightview.co.uk!news.brightview.co.uk.POSTED!not-for-mail
NNTP-Posting-Date: Sat, 17 Aug 2024 20:15:29 +0000
Subject: Re: Proof that DDD specifies non-halting behavior --- Mike correcting
 Joes and thus Fred too
Newsgroups: comp.theory
References: <v9gv4k$4sc4$1@dont-email.me>
 <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>
 <v9qoj4$diq$1@news.muc.de>
From: Mike Terry <news.dead.person.stones@darjeeling.plus.com>
Date: Sat, 17 Aug 2024 21:15:29 +0100
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Firefox/91.0 SeaMonkey/2.53.18.2
MIME-Version: 1.0
In-Reply-To: <v9qoj4$diq$1@news.muc.de>
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <5nmdnfxbbPF8mVz7nZ2dnZfqnPGdnZ2d@brightview.co.uk>
Lines: 42
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-TZU3op+nh0d2ORTv+ubxi7L1FcSNaH2xteB9qsiSfWwwxHv4rQFh9qFN2KqkJFrV3Oams4R5wES+Eic!wRbSNCD/lCVrvM7Be/TkVBUQnkvSvsAl5+wflxFD8uJFx3jYh85KIKPo3l372dEPk0+tDrNRil8B!2mLPpMG+VwjQtckNCIsMIDTFyUA=
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
Bytes: 3513

On 17/08/2024 19:02, Alan Mackenzie wrote:
> Mike Terry <news.dead.person.stones@darjeeling.plus.com> wrote:
>> On 16/08/2024 22:03, Jeff Barnett wrote:
> 
>> You're right about the "white night" thing.
> 
> To Mike and Jeff.  PLEASE, it's KNIGHT, not night.  ;-)  Nights tend not
> to be white, even if there's a full moon.

Ah,  right - and let's not forget Knights in White Satin! :)

> 
> [ .... ]
> 
>> 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!
> 
> Actually, most of the cranks on sci.math posted via Google, and ceased
> posting there after Google shut down their NNTP service (thankfully).  I
> think there's just one left, one who figures in Joes's sig.
> 
> [ .... ]
> 
>> Mike.
> 
>>> Part of what I'm saying above is that all of us who participate in
>>> this nonsense have some needs that fit in to the repetition. And those
>>> needs not only fit in but also suck us all in. I really wish that
>>> Underwood Dudley was still around to write another book exposing the
>>> muddled psychology of those who are drawn to the flame of logical and
>>> mathematical ideas without any real understanding.  Perhaps we should
>>> label that whole batch as "Math Moths".
> 
> :-)
>