# Stephen Wolfram Q&A

Submit a questionSome 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.