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.
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.