Stephen Wolfram Q&ASubmit a question
Some collected questions and answers by Stephen Wolfram
Questions may be edited for brevity; see links for full questions.
May 14, 2012
From: Reddit AMA
If somebody proved P=NP, what do you think your reaction would be?
I’d be surprised!
And then I’d ask just what axiom system (Peano arithmetic, set theory,… ?) was used to do it.
I have a suspicion that P?=NP ultimately isn’t a well-defined decidable question. But hopefully we’ll eventually see.