The link to Scott Aaronson’s “Is P vs NP Formally independent” actually points to his broader survey of P vs NP. Here is a link to the one about independence ht

The link to Scott Aaronson’s “Is P vs NP Formally independent” actually points to his broader survey of P vs NP. Here is a link to the one about independence http://people.cs.uchicago.edu/~fortnow/beatcs/column81.pdf http://people.cs.uchicago.edu/~fortnow/beatcs/column81.pdf Both are enjoyable reads.