Stephen Wolfram

Why is it the case?

How have people managed to navigate doing mathematics through looking at things where they're not just thrown into, it's all undecidable?

That's its own separate story.

Well, yeah.

But to me, it's like, in a sense, establishing principle of computational equivalence

It's a little bit like doing inductive science anywhere.

That is, the more examples you find, the more convinced you are that it's generally true.

Whenever we do natural science, we say, well, it's true here that this or that happens.

Can we prove that it's true everywhere in the universe?

No, we can't.

So it's the same thing here.

We're exploring the computational universe.

We're establishing facts in the computational universe.

And that's sort of a way of inductively concluding general things.

Right.

Well, let's talk about brains primarily.

I mean, I think the most important thing about the things that our brains do is that we care about them in the sense that there's a lot of computation going on out there in cellular automata and physical systems and so on.

And it just, it does what it does.

It follows those rules.

It does what it does.