I had a very selfish reason for building Mathematica. I wanted to use it myself, a bit like Galileo got to use his telescope four hundred years ago. … - Stephen Wolfram

I thought... I had a pretty good idea for what the structure of this... theory that's underneath space and time and so on might be like. ...I thought, "Gosh, in my lifetime... we might be able to figure out what happens in the first 10^-100 seconds of the universe. ...It's pretty far from anything that we can see today and it would be ...hard to test for what's right ...To my huge surprise, although it should have been obvious, ...we managed to get unbelievably much further than that. ...It turns out that even though there's this ...bed of computational irreducibility that ...all these simple rules run into, ...there are ...certain pieces of computational reducibility that ...generically occur for large classes of these rules, and... the big pieces of computational reducibility are ...the pillars of 20th century physics. That's the amazing thing, that general relativity and quantum field theory... turn out to be precisely the stuff you can say. There's a lot you can't say... at this... irreducible level where you.. don't... know what's going to happen. You have to run it [and] you can't run it within our universe... The things you can say turn out to be, very beautifully, exactly the structure that was found in 20th century physics...

That's... the big discovery of this principle of computational equivalence of mine. ...This is something which is kind of a follow-on to Gödel's theorem, to Turing's work on the ... that there is this fundamental limitation built into science, this idea of computational irreducibility that says that even though you may know the rules by which something operates, that does not mean that you can readily... be smarter that it and jump ahead and figure out what it's going to do.

I think there is an infinite collection of these local pockets [of reducibility]. We'll never run out...