Critique of Barbosa's "P != NP Proof"
classification
💻 cs.CC
keywords
barbosaproofambiguitiesambiguityandrattemptsclaimedclasses
read the original abstract
We review Andr\'e Luiz Barbosa's paper "P != NP Proof," in which the classes P and NP are generalized and claimed to be proven separate. We highlight inherent ambiguities in Barbosa's definitions, and show that attempts to resolve this ambiguity lead to flaws in the proof of his main result.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.