Sujet : Re: Yet another contribution to the P-NP question
De : ben (at) *nospam* bsb.me.uk (Ben Bacarisse)
Groupes : comp.theoryDate : 27. Sep 2024, 00:34:30
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <87cykqgfax.fsf@bsb.me.uk>
References : 1 2 3
User-Agent : Gnus/5.13 (Gnus v5.13)
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.