Path: ...!Xl.tags.giganews.com!local-2.nntp.ord.giganews.com!nntp.brightview.co.uk!news.brightview.co.uk.POSTED!not-for-mail
NNTP-Posting-Date: Fri, 27 Sep 2024 01:53:29 +0000
Subject: Re: Yet another contribution to the P-NP question
Newsgroups: comp.theory
References: <85955d539da522cf777ab489101c0e2a@www.rocksolidbbs.com>
 <4b415dd5a91ac648bee8224fc3c28aa19706e06f.camel@gmail.com>
 <a4cacd3261a32cb9a769fbfe6ed1cd15@www.rocksolidbbs.com>
 <87cykqgfax.fsf@bsb.me.uk>
From: Mike Terry <news.dead.person.stones@darjeeling.plus.com>
Date: Fri, 27 Sep 2024 02:53:28 +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: <87cykqgfax.fsf@bsb.me.uk>
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <MWqdnZDONIeEjWv7nZ2dnZfqnPudnZ2d@brightview.co.uk>
Lines: 36
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-U6kA2JjLg0svov4BkCMhTCx+c57/sBnqiI1Zfy4V/pgGYdqgorqV+72ugT+aO5mrcDlchWLlFKkz+jk!JahOrzboANR84MlphpM3Y/8Liw190QCVC8ntbyIoYhVtRHwyP88U7QxQEzp8GEiwGLr2ZDtKg1ru!I2D1lMqtlGV2W9HKoeIHYOx5B5Y=
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: 3032

On 27/09/2024 00:34, Ben Bacarisse wrote:
> nnymous109@gmail.com (nnymous109) writes:
> 
>> Also, I did not know this yesterday, but alternatively, you can access
>> the document directly through the following link:
>> https://figshare.com/articles/preprint/On_Higher_Order_Recursions_25SEP2024/27106759?file=49414237
> 
> I am hoping that this is a joke.  If it is a joke, then I say well done
> sir (or madam)[*].
> 
> But I fear it is not a joke, in which case I have a problem with the
> first line.  If you want two of the states to be symbols (and there are
> points later on that confirm that this is not a typo) then you need to
> explain why early on.  You are free to define what you want, but a paper
> that starts "let 2 < 1" will have the reader wrong-footed from the
> start.

You mean q_accept and q_reject?  It looks like they are just to represent the accept and reject 
states, not tape symbols?  Calling them symbols is like calling q_0 a symbol, which seems harmless 
to me - is it just that you want to call them "labels" or something other than "symbols"?

I don't fully get the notation though - e.g. it seems to me that the TMs have tape symbols and 
states, but I don't see any state transition table!

Basically, I could probably ask questions and get to grips with details like that, but in the end I 
don't know the whole P / NP field (definitions, basic results/claims etc.) well enough 
(understatement!) to offer any kind of review of the paper.

Mike.


> 
> [*] I once went to a contemporary art exhibition where the "catalogue"
> was a set of "theorems" using real mathematical notations but it made no
> sense.  It was fabulous.
>