Are there any known barriers to some approach for solving P vs. NP? Posted by Steffen Schuler, at math.stackexchange.com, 26 Feb 2011 Are there any known barriers to show the following invariant (perhaps by some sort of induction)? Let $\Sigma$ be some finite…