= 27d567bc2d48d9f40e9ccc20ea370b15)
cousin_it comments on What independence between ZFC and P vs NP would imply - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (62)
See paulfchristiano's comments. The mistake in DanielLC's comment is that, even though any polynomial algorithm can be "stated in ZFC", the proof that it runs in polynomial time doesn't necessarily lie within ZFC, or ZFC+Con(ZFC), or any other system you can name in advance.
Ah, thanks.