I hugely enjoyed a survey article by Scott Aaronson on P ≟ NP. Section 3.1 contains a discussion on the possibility of the question being independent from ZFC.

I hugely enjoyed a survey article by Scott Aaronson on P ≟ NP. Section 3.1 contains a discussion on the possibility of the question being independent from ZFC. (He doesn't believe this possibility to be likely.) http://www.scottaaronson.com/papers/pnp.pdf http://www.scottaaronson.com/papers/pnp.pdf