Is P versus NP formally independent (2003)

by S Aaronson
Venue:Bulletin of the EATCS