Path: ...!feeds.phibee-telecom.net!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Ben Bacarisse <ben@bsb.me.uk>
Newsgroups: comp.theory
Subject: Re: Yet another contribution to the P-NP question
Date: Fri, 27 Sep 2024 00:34:30 +0100
Organization: A noiseless patient Spider
Lines: 22
Message-ID: <87cykqgfax.fsf@bsb.me.uk>
References: <85955d539da522cf777ab489101c0e2a@www.rocksolidbbs.com>
	<4b415dd5a91ac648bee8224fc3c28aa19706e06f.camel@gmail.com>
	<a4cacd3261a32cb9a769fbfe6ed1cd15@www.rocksolidbbs.com>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Date: Fri, 27 Sep 2024 01:34:31 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="0be0d5f33688ff1bdbd19c6c4e88ec8d";
	logging-data="438209"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+XZ3y7Ry/4y0UpDjo83JqH0YPfYeumA2Q="
User-Agent: Gnus/5.13 (Gnus v5.13)
Cancel-Lock: sha1:LE/dt5L82qshF4AW0maFrECH/Ps=
	sha1:QvhRPu1tV9fX8poN/VWZovcg+bk=
X-BSB-Auth: 1.29d686aabede782b4cef.20240927003431BST.87cykqgfax.fsf@bsb.me.uk
Bytes: 2081

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.

[*] 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.

-- 
Ben.