Stephen Wolfram Q&A

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

Contact | © Stephen Wolfram, LLC