Title: Critique of Barbosa's "P != NP Proof",
Abstract: We review André 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.