most recent 30 from http://mathoverflow.net 2013-05-20T04:15:29Z http://mathoverflow.net/feeds/user/13177 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/50023/independence-of-p-np/56344#56344 none 2011-02-23T00:32:33Z 2011-02-23T00:32:33Z

<p>This doesn't seem like much of a research-level question or discussion, but anyway I'm surprised to see no mention of Scott Aaronson's article: "Is P Versus NP Formally Independent?". It explains a lot of these basic issues in logic and would probably be helpful.</p> <p>See: <a href="http://www.scottaaronson.com/papers/pnp.pdf" rel="nofollow">http://www.scottaaronson.com/papers/pnp.pdf</a></p>