back to indexStephen Wolfram: Complexity and the Fabric of Reality | Lex Fridman Podcast #234
Chapters
0:0 Introduction
0:57 What is complexity
13:58 Randomness in the universe
18:19 The Wolfram Physics Project
30:21 Space and time are discrete
42:26 Quantum mechanics and hypergraphs
51:40 What is intelligence
62:23 Computational equivalence
70:43 What it is like to be a cellular automata
85:7 Making prediction vs explanations
98:27 Why does the universe exist
104:8 The universe and rulial space
112:51 Does an atom have consciousness
123:17 Why does our universe exist
131:48 What is outside the ruliad
142:22 Automated proof systems
158:17 Multicomputation for biology
176:48 Cardano NFT collaboration with Wolfram Alpha
183:48 Global theory of economics
00:00:00.000 |
The following is a conversation with Stephen Wolfram, 00:00:07.600 |
theoretical physicist, and the founder of Wolfram Research, 00:00:14.600 |
Wolfram Language, and the new Wolfram Physics Project. 00:00:18.640 |
This conversation is a wild, technical rollercoaster ride 00:00:22.840 |
through topics of complexity, mathematics, physics, 00:00:28.180 |
I think this is what this podcast is becoming, a wild ride. 00:00:32.600 |
Some episodes are about physics, some about robots, 00:00:41.900 |
and some are just what the comedian Tim Dillon calls fun. 00:00:52.920 |
And now, here's my conversation with Stephen Wolfram. 00:00:57.680 |
Almost 20 years ago, you published "A New Kind of Science," 00:01:04.520 |
and an approach for modeling of complex systems. 00:01:07.500 |
So, let us return again to the core idea of complexity. 00:01:18.440 |
It's like, you know, if you ask a biologist, what is life? 00:01:22.860 |
- That's not the question they care the most about. 00:01:25.600 |
What I was interested in is how does something 00:01:33.080 |
And I got interested in that question like 50 years ago, 00:01:35.740 |
which is really embarrassingly a long time ago. 00:01:40.760 |
how does snowflakes get to have complicated forms? 00:01:43.240 |
How do galaxies get to have complicated shapes? 00:01:45.440 |
How does, you know, how do living systems get produced? 00:01:49.440 |
And the question is, what's the sort of underlying 00:01:54.640 |
And the thing that I was at first very surprised by, 00:01:57.840 |
'cause I've been doing physics and particle physics 00:02:13.520 |
And it's like, okay, what can one do to understand 00:02:17.120 |
the sort of basic secret that nature seems to have? 00:02:24.480 |
You look at sort of most engineered kinds of things, 00:02:29.920 |
we got sort of circles and lines and things like this. 00:02:34.320 |
The question is, what secret does nature have 00:02:54.160 |
is there some other way to try to understand this? 00:02:57.920 |
if you're going to look at some system in nature, 00:03:03.520 |
So, you know, a model is some abstract representation 00:03:05.980 |
of the system, some formal representation of the system. 00:03:15.880 |
programs are really good source of raw material 00:03:20.640 |
And, you know, in terms of my personal history, 00:03:27.480 |
is because I just spent several years building 00:03:29.960 |
this big piece of software that was sort of a predecessor 00:03:34.200 |
thing called SMP, Symbolic Manipulation Program, 00:03:39.760 |
of starting from just these computational primitives 00:03:43.200 |
and building up everything one had to build up. 00:03:51.600 |
That seemed like a totally obvious thing to do. 00:03:54.160 |
In retrospect, it might not have been externally 00:03:57.400 |
quite so obvious, but it was obvious to me at the time, 00:03:59.680 |
given the path that I happened to have been on. 00:04:02.040 |
So, you know, so that got me into this question 00:04:04.040 |
of let's use programs to model what happens in nature. 00:04:08.300 |
And the question then is, well, what kind of programs? 00:04:20.600 |
if you just go out into the sort of computational universe 00:04:25.480 |
take the simplest program you can imagine, what does it do? 00:04:40.440 |
and it's just some rule that says the color of the cell 00:04:43.400 |
is determined by the color that it had on the previous step 00:04:59.560 |
Okay, but then I actually ran the computer experiment, 00:05:04.080 |
I mean, it probably took a few hours originally. 00:05:07.260 |
And the results were not what I'd expected at all. 00:05:14.960 |
the results that I got had a lot of unexpected things 00:05:20.880 |
which was already right there in the printouts I made, 00:05:23.000 |
I didn't really understand for a couple more years. 00:05:33.080 |
but I wasn't smart enough to do that, so to speak. 00:05:46.840 |
it's possible to get very complicated behavior. 00:05:49.240 |
My favorite example is this thing called rule 30, 00:05:52.280 |
which is a particular cellular automaton rule. 00:05:56.200 |
and it makes this really complicated pattern. 00:05:58.980 |
And so that, for me, was sort of a critical discovery 00:06:03.680 |
that then kind of said, playing back onto, you know, 00:06:09.960 |
I sort of realized that might be how it does it. 00:06:12.480 |
That might be kind of the secret that it's using 00:06:14.980 |
is that in this kind of computational universe 00:06:22.580 |
the behavior when you run the program is not simple at all. 00:06:26.980 |
that was the kind of the story of kind of how, 00:06:31.220 |
that was sort of the indication that one had got an idea 00:06:38.020 |
and how complexity can be made in other places. 00:06:49.960 |
That's the informal version of what is complexity. 00:06:57.100 |
- Well, no, the rules can generate just randomness, right? 00:07:19.340 |
the early, you know, robots in science fiction movies, 00:07:27.860 |
Turns out that isn't actually the right story, 00:07:30.520 |
but it's not obvious that isn't the right story 00:07:32.360 |
'cause people assume simple rules, simple behavior. 00:07:37.880 |
about the computational universe is that isn't true. 00:07:52.340 |
well, you can't easily tell what it's going to do. 00:07:55.060 |
You could just run the rule and see what happens, 00:07:57.920 |
but you can't just say, oh, you know, show me the rule. 00:08:03.420 |
And, you know, the key phenomenon around that 00:08:05.740 |
is this thing I call computational irreducibility. 00:08:19.820 |
but you can't compress that, you can't reduce that 00:08:22.740 |
and say, I'm gonna be able to jump ahead and say, 00:08:25.140 |
this is what it's gonna do after a million steps, 00:08:47.820 |
that the center column of rule 30 doesn't repeat. 00:08:51.860 |
That's something I think might be doable, okay? 00:08:55.840 |
- Yes, and so that's analogous to a similar kind of thing 00:09:01.140 |
which are also generated in this very deterministic way. 00:09:04.060 |
And so a question is how random are the digits of pi? 00:09:32.200 |
That's far away from what can be understood mathematically 00:09:36.320 |
And that's kind of, but I'm even looking for step one, 00:09:41.320 |
which is prove that the center column doesn't repeat 00:09:46.920 |
like equidistribution of equal numbers of zeros and ones. 00:09:54.900 |
because I thought those were not too out of range. 00:10:05.540 |
They're not far away from what current mathematics 00:10:28.780 |
and then the complexity comes from a clever filter 00:10:36.740 |
You filter the randomness and outcomes complexity, 00:10:42.540 |
How do we know that's not actually what's happening? 00:10:44.820 |
So just because you were then able to develop, 00:10:49.060 |
look, you don't need this like incredible randomness. 00:11:02.820 |
where it's filtering randomness in the inputs. 00:11:12.100 |
that means there's all kinds of information in the input. 00:11:16.620 |
will be maybe just something close to what you put in. 00:11:20.100 |
Like people are very, in dynamical systems theory, 00:11:23.280 |
sort of big area of mathematics that developed 00:11:25.940 |
from the early 1900s and really got big in the 1980s. 00:11:29.720 |
You know, an example of what people study there a lot, 00:11:37.900 |
is the shift map, which is basically taking 2X mod one, 00:11:44.340 |
which is basically just taking digits in binary 00:11:50.800 |
if you say, how big is this number that I got out? 00:11:53.560 |
Well, the most important digit in that number 00:11:58.720 |
But now if you start off from an arbitrary random number, 00:12:05.520 |
then when you run that sort of chaos theory shift map, 00:12:09.000 |
all that you get out is just whatever you put in. 00:12:21.600 |
if there was that phenomenon in fluid mechanics, 00:12:24.400 |
then the equations of fluid mechanics can't be right. 00:12:29.120 |
the equations of that it matters to the fluid, 00:12:32.060 |
what happens in the fluid at the level of the, 00:12:34.740 |
you know, millionth digit of the initial conditions, 00:12:38.020 |
which is far below the point at which you're hitting 00:12:40.760 |
kind of sizes of molecules and things like that. 00:12:49.540 |
fluid dynamics, which describes fluids as continuous media 00:12:54.540 |
But so, you know, so this idea that, you know, 00:13:03.660 |
how much of what's coming out is what you put in, 00:13:10.940 |
where you just have very simple initial conditions, 00:13:24.160 |
Now, as a practical matter in doing experiments, 00:13:32.740 |
then it didn't come from just filtering some, 00:13:37.860 |
It has to be something that is intrinsically made, 00:13:40.680 |
because it wouldn't otherwise be, I mean, you know, 00:13:52.000 |
because it's kind of the definition of it being random, 00:13:54.400 |
is it was kind of picked at random each time, so to speak. 00:14:24.100 |
The thing that I think I can say fairly definitively 00:14:33.240 |
if there was sort of an extra dice being thrown, 00:14:37.260 |
it's something that doesn't need to be there. 00:14:54.260 |
But is it necessary for understanding the universe? 00:14:56.460 |
No, and I think actually from a more fundamental 00:14:59.420 |
point of view, it's, I think I might be able to argue. 00:15:04.320 |
So one of the things that I've been interested in, 00:15:06.380 |
I've been pretty surprised that I've had anything 00:15:13.220 |
I didn't think that was a question that I would, 00:15:32.860 |
that it is possible to actually address that question 00:15:38.100 |
And I kind of have a suspicion, I've not thought it through. 00:15:41.140 |
I kind of have a suspicion that that explanation 00:15:43.880 |
will eventually show you that in no meaningful sense, 00:15:47.780 |
can there be randomness underneath the universe? 00:15:57.860 |
That is that it could be there, but it doesn't matter. 00:16:03.460 |
whatever it would do, whatever extra thing it would add 00:16:06.940 |
is not relevant to our perception of what's going on. 00:16:15.580 |
connect to the big why question of the universe? 00:16:19.420 |
- So, okay, so I mean, why does the universe exist? 00:16:30.740 |
which of these topics is better to enter first? 00:16:36.000 |
And why you think it's the only one that exists? 00:16:39.660 |
- Well, I think they're very closely related. 00:16:45.160 |
I mean, this why does the universe exist question 00:16:50.020 |
that we've been figuring out about fundamental physics. 00:16:53.300 |
'Cause if you wanna know why the universe exists, 00:16:55.220 |
you kind of have to know what the universe is made of. 00:16:57.620 |
And I think the, well, let me describe a little bit 00:17:02.620 |
about the why does the universe exist question. 00:17:08.980 |
And you say, I've got this program or something, 00:17:19.540 |
that makes the universe, what computer is it running on? 00:17:27.380 |
but that's different from saying there's two, 00:17:29.260 |
a pile of two rocks, another pile of two rocks, 00:17:31.300 |
and somebody moves them together and makes four, 00:17:42.060 |
Okay, so there we have to start thinking about, 00:17:51.540 |
but confusingly enough, we're part of this universe. 00:17:57.820 |
what do we know about what's going on in the universe? 00:18:00.420 |
Well, what we know is what sort of our consciousness records 00:18:06.340 |
- And consciousness is part of the fabric of the universe, 00:18:13.740 |
by saying something about the consciousness story, 00:18:18.180 |
- Yes, maybe we should begin even before that, 00:18:22.900 |
at the very base layer of the Wolfram Physics Project. 00:18:26.800 |
Maybe you can give a broad overview, once again, 00:18:36.620 |
since you've brought this project to the world, 00:18:41.220 |
What are all the beautiful ideas you have come across? 00:18:45.620 |
What are the interesting things you can sort of mention? 00:18:48.540 |
- I mean, it's a frigging Cambrian explosion. 00:18:57.020 |
and suddenly, there's actually a way to think about them. 00:19:02.820 |
I mean, the real strength of what's happened, 00:19:09.740 |
but it turns out it's a foundational kind of model 00:19:12.420 |
that's a different kind of computation-like model, 00:19:30.820 |
So we know a lot, based on what we figured out in physics. 00:19:33.780 |
And if we know that the same model governs physics, 00:19:41.100 |
we know that the same kind of model governs those things, 00:19:45.740 |
that we've successfully discovered in physics, 00:19:47.980 |
and applying those intuitions in all these other areas. 00:19:50.740 |
And that's pretty exciting, and very surprising to me. 00:19:58.800 |
you go and you explain why is there complexity 00:20:02.820 |
then you realize, well, there's all this complexity, 00:20:04.820 |
there's all this computational irreducibility, 00:20:09.820 |
It's kind of a very confusing thing for people who say, 00:20:12.740 |
you know, science has nailed everything down, 00:20:17.360 |
Well, actually, there's this computational irreducibility 00:20:30.060 |
Why aren't we, why are we able to predict anything? 00:20:32.740 |
Why are we able to sort of operate in the world? 00:20:46.940 |
of the kind of model that seems to operate in physics 00:20:55.820 |
of computational reducibility that are relevant to us. 00:21:03.740 |
and not just have everything be completely unpredictable, 00:21:06.460 |
but they're also things that potentially give us 00:21:15.580 |
but I would say that in general for our project, 00:21:22.940 |
it wasn't something I expected to happen in my lifetime. 00:21:26.420 |
I mean, it's, you know, it's something where it's, 00:21:36.140 |
that wasn't how things worked and turns out I'm wrong. 00:21:40.020 |
And, you know, in a major area in meta-mathematics, 00:21:43.180 |
I'd be realizing that something I've long believed, 00:21:59.420 |
it can explain a little bit about how the model works, 00:22:02.780 |
- We can maybe ask you the following question. 00:22:33.860 |
And how does the idea of multi-computation differ? 00:22:44.300 |
something of a story of computational irreducibility. 00:22:47.180 |
And, you know, it's been going for a few years now. 00:22:51.220 |
to kind of find these appropriate pockets of reducibility. 00:23:13.980 |
people just sort of say space is just this thing 00:23:16.100 |
where you can put things at any position you want. 00:23:25.660 |
Sort of the first thing in our physics project 00:23:35.260 |
And the only thing we can say about these atoms of space 00:23:49.500 |
- And that's all there is to say about them, so to speak. 00:23:53.300 |
And then all we know about these atoms of space 00:24:03.700 |
are associated with each other in some relation. 00:24:12.100 |
You can build this essentially friend network 00:24:15.860 |
And the sort of starting point of our physics project 00:24:20.380 |
It's a giant friend network of the atoms of space. 00:24:23.420 |
And so how can that possibly represent our universe? 00:24:30.780 |
you know, there are molecules bouncing around, 00:24:32.540 |
but on a large scale, that produces fluid flow 00:24:41.820 |
from that underlying kind of collection of molecules 00:24:47.300 |
that that collection of molecules bouncing around 00:24:49.440 |
have this phenomenon of computational irreducibility. 00:24:53.100 |
to the second law of thermodynamics among other things. 00:25:03.020 |
seems like it's a smooth, continuous type of thing. 00:25:07.060 |
And so, okay, so first thing is space is made of something. 00:25:18.700 |
is sort of features of that structure of space. 00:25:21.660 |
So, you know, when we have an electron or something 00:25:34.300 |
it can involve different molecules in the fluid, 00:25:52.460 |
you can define what is a basic individual entity. 00:26:08.140 |
The smallest we've ever been able to sort of see 00:26:18.860 |
but it's perhaps over the order of 10 to the minus 100 meters 00:26:22.440 |
And, but that's the end, that's what things are made of. 00:26:35.220 |
which I consider to be somewhat rickety, okay? 00:26:44.220 |
the speed of light, once you know the elementary time, 00:26:49.660 |
from the elementary time to the elementary length. 00:26:52.360 |
Then there's the question of how do you convert 00:26:55.940 |
And how do you convert to, between other things? 00:27:03.460 |
we know Planck's constant in quantum mechanics, 00:27:09.620 |
we know things like the size of the universe, 00:27:14.080 |
And essentially this calculation of the elementary length 00:27:17.860 |
comes from looking at the sort of combination of those, 00:27:23.080 |
people have sort of assumed that quantum gravity 00:27:28.980 |
which is the sort of the combination of Planck's constant 00:27:32.660 |
and the gravitational constant, the speed of light, 00:27:36.480 |
Turns out in our model, there is an additional parameter, 00:27:41.520 |
which is essentially the number of simultaneous threads 00:27:47.640 |
independent quantum processes that are going on. 00:27:51.220 |
And that number, let's see if I remember that number, 00:28:19.100 |
The Planck length is tiny, 10 to the minus 34 meters, 00:28:21.540 |
the Planck time, 10 to the minus 43 meters, I think, 00:28:30.180 |
of a lightning strike, okay, which is pretty weird. 00:28:54.780 |
that's sort of been a thing we've been pretty interested in 00:29:02.520 |
that can kind of see through to the atoms of space? 00:29:05.860 |
You know, how do you get, in fluid flow, for example, 00:29:13.980 |
it really matters that there are individual molecules 00:29:16.860 |
hitting the space plane, not a continuous fluid. 00:29:19.800 |
The question is, what is the analogous kind of, 00:29:24.620 |
for things about the structure of space-time? 00:29:28.780 |
And it looks like a rapidly rotating black hole, right, 00:29:38.020 |
it looks as if that's a case where essentially 00:29:40.820 |
the structure of space-time is just about to fall apart. 00:29:44.900 |
And you may be able to kind of see the evidence 00:29:55.920 |
of actually seeing these discrete elements of space. 00:29:58.840 |
And there may be some effect in, for example, 00:30:01.380 |
gravitational waves produced by rapidly rotating black hole 00:30:05.620 |
that in which one could actually see some phenomenon 00:30:09.860 |
these don't come out the way one would expect 00:30:12.340 |
based on having a continuous structure of space-time, 00:30:15.900 |
that is it something where you can kind of see through 00:30:20.980 |
- So can you maybe elaborate a little bit deeper 00:30:23.740 |
how a microscope that can see to 10 to the minus 100, 00:30:32.980 |
the detailed accurate detection of gravitational waves 00:30:37.980 |
from such black holes can reveal the discreteness of space? 00:30:48.700 |
'cause I explained a little bit about what space is, 00:31:09.220 |
It's very, in the end, it's simple but deeply abstract. 00:31:18.460 |
but kind of wrapping one's head around what's going on 00:31:25.460 |
so I've described these kind of atoms of space 00:31:29.180 |
You can think about these things as a hypergraph, 00:31:34.140 |
but a hypergraph, you can have sort of not just friends, 00:31:40.180 |
but you can have these triplets of friends or whatever else. 00:31:45.980 |
and that's just the relations between atoms of space 00:31:50.940 |
And so we got some big collection of these atoms of space, 00:31:54.000 |
maybe 10 to the 400 or something in our universe. 00:32:00.180 |
That's an every feature of what we experience in the world 00:32:04.740 |
is a feature of that hypergraph, that spatial hypergraph. 00:32:21.780 |
and you just say at every step, at every time step, 00:32:24.460 |
you've got fixed time steps, fixed array of cells. 00:32:31.500 |
And that's kind of the, that's the way it works. 00:32:38.660 |
We say, every time you see a little piece of hypergraph 00:32:41.140 |
that looks like this, update it to one that looks like this. 00:32:47.460 |
Every time you see something that looks like that, 00:32:53.880 |
which we'll come to is this multi-computational idea, 00:33:07.260 |
And that leads one not to have a single thread of time 00:33:16.860 |
But if you say, just do whichever one you feel like, 00:33:19.260 |
you end up with these multiple threads of time, 00:33:21.180 |
these kind of multiple histories of the universe, 00:33:27.300 |
- So it's fundamentally asynchronous and parallel. 00:33:31.100 |
- Which is very uncomfortable for the human brain 00:33:33.520 |
that seeks for things to be sequential and synchronous. 00:33:48.620 |
is this point that we have a single thread of experience. 00:33:52.380 |
We have a memory of what happened in the past, 00:33:54.420 |
we can say something, predict something about the future, 00:33:58.500 |
And it's not obvious it should work that way. 00:34:00.300 |
I mean, we've got 100 billion neurons in our brains 00:34:02.500 |
and they're all firing at all kinds of different ways, 00:34:04.660 |
but yet our experience is that there is the single thread 00:34:12.740 |
And I think that one of the things I've kind of realized 00:34:17.440 |
is the fact that we conclude that the universe 00:34:21.820 |
has the laws it has as a consequence of the fact 00:34:24.940 |
that we have consciousness the way we have consciousness. 00:34:37.500 |
they're getting these little clumps of atoms of space 00:34:40.220 |
are getting turned into other clumps of atoms of space, 00:34:41.980 |
and that's happening everywhere in the universe all the time. 00:34:46.060 |
is there's nothing permanent in the universe. 00:34:48.620 |
The universe is getting rewritten everywhere all the time. 00:34:56.540 |
There wouldn't be any way in which we could say 00:34:58.740 |
this part of space is next to this part of space. 00:35:03.720 |
people were confused about back in antiquity, 00:35:10.660 |
You know, how can it be the case that you can take a thing 00:35:18.620 |
And in a sense with our models, that's again a question 00:35:22.380 |
because it's a different set of atoms of space. 00:35:27.180 |
it's moving into a different set of atoms of space. 00:35:34.180 |
It's being continuously recreated all the time. 00:35:37.020 |
Now it's a little bit like waves in an ocean, 00:35:40.740 |
which again, the actual molecules that exist in those 00:35:44.060 |
are not what define the identity of the thing. 00:35:55.460 |
to just move around in the universe and not change. 00:35:58.940 |
It's not self-evident that such a thing should be possible. 00:36:01.940 |
And that is part of our perception of the universe 00:36:04.700 |
is that we parse those aspects of the universe 00:36:10.220 |
Now, pure motion, even in general relativity, 00:36:14.620 |
pure motion is a little bit of a complicated thing. 00:36:16.820 |
I mean, if you imagine your average, you know, 00:36:19.620 |
teacup or something approaching a black hole, 00:36:21.900 |
it is deformed and distorted by the structure of space time. 00:36:25.180 |
And to say, you know, is it really pure motion? 00:36:27.700 |
Is it that same teacup that's the same shape? 00:36:34.820 |
So anyway, the thing that's happening is we've got space, 00:36:41.100 |
So time is this kind of this rewriting of the hypergraph. 00:36:45.100 |
And one of the things that's important about that, 00:36:46.780 |
time is this sort of computational irreducible process. 00:36:50.140 |
There's something, you know, time is not something where, 00:36:57.980 |
We can, you know, slide a slider, turn a knob, 00:37:01.620 |
and we'll change the time that we've got in this equation. 00:37:04.740 |
But in this picture of time, that's not how it works at all. 00:37:16.860 |
But so the thing, and one of the things that is, again, 00:37:22.460 |
is your average trained physicist like me says, 00:37:25.380 |
you know, space and time are the same kind of thing. 00:37:27.180 |
They're related by, you know, the Poincaré group 00:37:37.180 |
there are all these kind of sort of folk stories 00:37:51.620 |
So the thing that the first sort of surprising thing 00:37:54.820 |
is, well, it turns out you get relativity anyway. 00:38:04.700 |
if you are an observer embedded in the system 00:38:10.580 |
of things getting updated in this way and that, 00:38:17.420 |
And really in the end, the only thing you can tell 00:38:19.340 |
is what are the causal relationships between events. 00:38:25.740 |
an elementary event is a little piece of hypergraph 00:38:30.100 |
And that means a few hyper edges of the hypergraph 00:38:42.140 |
is kind of what the network of causal relationships 00:38:47.300 |
That's the ultimate thing, the causal graph of the universe. 00:38:52.500 |
well, there's this property of causal invariance 00:38:57.580 |
And I think is inevitably true for a variety of reasons 00:39:01.420 |
that makes it be the case that it doesn't matter 00:39:09.300 |
and I can rewrite this piece here and this piece here 00:39:15.100 |
for each of those orders that you choose to do things in, 00:39:24.460 |
well, that's in the end why relativity works. 00:39:41.020 |
you said the fact that the observer is embedded 00:39:54.460 |
you can say, oh, I see this particular place was updated 00:40:04.100 |
and I'm seeing which order things were updated in. 00:40:08.940 |
doesn't know which order things were updated in 00:40:20.340 |
Let's imagine that the universe is a Turing machine. 00:40:23.060 |
Turing machines have just this one update head, 00:40:27.700 |
and otherwise the Turing machine just does nothing. 00:40:30.420 |
And the Turing machine works by having this head 00:40:37.260 |
The question is, could the universe be a Turing machine? 00:40:39.820 |
Could the universe just have a single updating head 00:40:42.300 |
that's just zipping around all over the place? 00:40:44.220 |
You say, that's crazy because I'm talking to you, 00:40:47.300 |
you seem to be updating, I'm updating, et cetera. 00:40:50.460 |
But the thing is, there's no way to know that 00:40:52.460 |
because if there was just this head moving around, 00:40:59.100 |
Until the head has come over and updated you, 00:41:05.700 |
you realize the only thing we actually can tell 00:41:13.460 |
We don't get to know from some sort of outside 00:41:23.660 |
We only get to know sort of what the set of relationships 00:41:27.580 |
between the things that happened actually were. 00:41:33.020 |
of this, I guess would be called multi-computation, 00:41:52.060 |
can't I like realizing that I'm getting an outdated picture, 00:42:00.540 |
and this is where things start getting very entangled 00:42:06.220 |
The problem is that any such recording device 00:42:11.820 |
So you don't get to say, you never get to say, 00:42:14.980 |
let's go outside the universe and go do this. 00:42:17.660 |
And that's why, I mean, lots of the features of this model 00:42:21.740 |
and the way things work end up being a result of that. 00:42:24.740 |
- So, but what, I guess from on a human level, 00:42:40.020 |
Like how, like what are the limitations of that observer? 00:42:44.420 |
I understand you're getting a delayed picture. 00:42:47.540 |
so there's a bunch of limitations of the observer, I think. 00:42:51.540 |
Maybe just explain something about quantum mechanics, 00:43:05.340 |
so in standard physics, like high school physics, 00:43:09.260 |
you learn the equations of motion for a ball. 00:43:12.020 |
And it says, you throw the ball this angle, this velocity, 00:43:20.380 |
The story, the key story of quantum mechanics 00:43:22.860 |
is there aren't definite answers to where does the ball go? 00:43:25.580 |
There's kind of this whole sort of bundle of possible paths. 00:43:29.140 |
And all we say we know from quantum mechanics 00:43:32.180 |
is certain probabilities for where the ball will end up. 00:43:35.740 |
Okay, so that's kind of the core idea of quantum mechanics. 00:43:41.260 |
is not some kind of plugin add-on type thing. 00:43:44.500 |
You absolutely cannot get away from quantum mechanics, 00:43:46.660 |
because as you think about updating this hypergraph, 00:43:51.900 |
one definite sequence of things that can happen. 00:43:53.980 |
There are all these different possible update sequences 00:43:57.260 |
You could do this piece of the hypergraph now, 00:43:59.500 |
and then this one later, and et cetera, et cetera, et cetera. 00:44:04.540 |
correspond to these quantum paths in quantum mechanics, 00:44:10.860 |
And one of the things that's kind of surprising about it 00:44:15.500 |
there can be a certain state of the universe, 00:44:25.100 |
the next state they produce is the same for both of them. 00:44:30.900 |
and the idea that they can be merging is critical, 00:44:33.220 |
and somewhat non-trivial for these hypergraphs, 00:44:35.140 |
because there's a whole graph isomorphism story, 00:44:37.740 |
and there's a whole very elaborate set of mathematics. 00:44:40.300 |
- And that's where the causal invariance comes in? 00:44:44.700 |
But so then what happens is that what one's seeing, 00:44:51.900 |
it's branching, it's merging, et cetera, et cetera, et cetera. 00:44:54.180 |
Okay, so now the question is, how do we perceive that? 00:45:07.360 |
Well, the answer is we are embedded in that universe, 00:45:10.660 |
and our brains are branching and merging too. 00:45:13.580 |
And so what quantum mechanics becomes a story of 00:45:16.300 |
is how does a branching brain perceive a branching universe? 00:45:23.820 |
"I think definite things happen in the universe," 00:45:30.700 |
You're saying, "Actually, as far as I'm concerned, 00:45:33.540 |
"because I'm convinced that definite things happen 00:45:42.420 |
It might be you say, "All these parts of history 00:45:43.980 |
"are equivalent, but by golly, moments later, 00:45:47.320 |
"that would be a completely inconsistent point of view. 00:45:49.140 |
"Everything would have gone to hell in different ways." 00:45:54.700 |
well, that's a consequence of this causal invariance thing, 00:45:57.260 |
but that's, and the fact that that does happen a little bit 00:46:09.460 |
It would be, quantum mechanics is kind of like in this, 00:46:17.100 |
in statistical mechanics and fluid mechanics, whatever, 00:46:19.700 |
that most of the time, you just see this continuous fluid. 00:46:24.540 |
in this kind of way that's like this continuous fluid. 00:46:26.620 |
But every so often, if you look at the exact right 00:46:32.360 |
where they might go that way or they might go this way, 00:46:40.980 |
where we're sort of embedded in the universe, 00:46:43.060 |
this branching brain is perceiving this branching universe, 00:46:46.700 |
and that ends up being sort of a story of quantum mechanics. 00:46:49.420 |
That's part of the whole picture of what's going on. 00:46:55.180 |
where does conscious, what is the story of consciousness? 00:47:01.260 |
whatever it is, 10 to the 400 atoms of space, 00:47:05.420 |
It's all a big, complicated, irreducible computation. 00:47:08.500 |
The question is, what do we perceive from all of that? 00:47:11.800 |
And the answer is that we are parsing the universe 00:47:18.460 |
Let me again go back to the gas molecules analogy. 00:47:25.400 |
in all kinds of complicated patterns, but we don't care. 00:47:35.080 |
These are kind of features of that assembly of molecules 00:47:38.500 |
that we notice, and there are lots of details 00:47:41.680 |
- When you say we, do you mean the tools of physics, 00:47:47.720 |
- Well, okay, so the human brain is where it starts, 00:47:53.520 |
but they still have many of the same kinds of ideas. 00:47:55.800 |
You know, they're cameras, and they're pressure sensors, 00:48:02.200 |
we don't know how to make fundamentally, qualitatively 00:48:17.440 |
is somehow intricately tied to consciousness. 00:48:22.240 |
when we are looking at all these molecules in the gas, 00:48:28.780 |
it's like, what do we notice about those molecules? 00:48:35.640 |
We are, you know, we are computationally bounded observers. 00:48:44.360 |
and I know that I can sort of decrypt their motions, 00:49:05.480 |
there's only certain things about that universe 00:49:13.200 |
because we're just computationally bounded observers, 00:49:15.960 |
and we are only sampling these small set of features. 00:49:20.960 |
So I think the two defining features of consciousness, 00:49:23.800 |
and I would say that the sort of the preamble to this is, 00:49:28.800 |
for years, as I've talked about sort of computation 00:49:31.760 |
and fundamental features of physics and science, 00:49:43.080 |
you talk about intelligence, you talk about life. 00:49:50.200 |
We don't really know the abstract definition. 00:49:58.200 |
we know the human definition of intelligence, 00:50:06.400 |
sort of the abstract definition of intelligence 00:50:19.840 |
So then the question is, what about consciousness? 00:50:22.040 |
And what I sort of realized is that consciousness 00:50:41.440 |
but consciousness has two limitations, I think. 00:50:49.020 |
a sort of computationally bounded view of the universe. 00:50:52.680 |
And the other is this idea of a single thread of time. 00:50:58.240 |
neurophysiologically, our brains go to some trouble 00:51:01.240 |
to give us this one thread of attention, so to speak. 00:51:04.480 |
And it isn't the case that in all the neurons in our brains, 00:51:14.680 |
we just have this single thread of attention, 00:51:23.840 |
almost the quantum version of what's happening 00:51:29.080 |
of what we are mostly thinking about, so to speak. 00:51:32.200 |
But there's this kind of bubbling around of other paths 00:51:34.960 |
that is all those other neurons that didn't make it 00:51:37.280 |
to be part of our sort of conscious stream of experience. 00:51:42.940 |
as computational sophistication is much broader 00:52:02.280 |
okay, starting to get a sense of what is intelligence, 00:52:05.200 |
and how does that connect to our human brain? 00:52:07.240 |
'Cause you're saying intelligence is almost like a fabric, 00:52:12.240 |
like what, we like plug into it or something? 00:52:18.320 |
- Yeah, I mean, the intelligence, I think, the core, 00:52:22.060 |
I mean, intelligence at some level is just a word, 00:52:24.540 |
but we are asking what is the notion of intelligence 00:52:28.640 |
as we generalize it beyond the bounds of humans, 00:52:33.080 |
that we humans have built and so on, what is intelligence? 00:52:43.920 |
- Yeah, what does agency have to do with intelligence here? 00:52:47.000 |
So is intelligence just like your conception of computation? 00:52:58.900 |
and I think that this question of is it for a purpose, 00:53:03.900 |
that quickly degenerates into a horrible philosophical mess 00:53:13.860 |
Well, yes, it did, it was trying to move a bunch of hot air 00:53:19.820 |
But why, 'cause I seem to be equally as dumb today 00:53:23.700 |
as I was yesterday, so there's some persistence, 00:53:40.980 |
Like they seem to be really closely connected somehow. 00:53:58.180 |
other than the ones that are very much like us, right? 00:54:04.020 |
I think have this feature of single thread of time, 00:54:09.400 |
Now, that, but you also need computational sophistication. 00:54:16.720 |
you could just be a clock going tick-tock, you know, 00:54:21.900 |
But the fact that we have this sort of irreducible, 00:54:33.540 |
on which we can construct the things we construct. 00:54:35.860 |
Now, the fact that we have this experience of the world 00:54:49.620 |
from this irreducible mess of what's going on 00:55:04.060 |
why do we believe that gravity works the way it does? 00:55:09.120 |
we could be kind of parsing details of the universe 00:55:18.300 |
with the statistical mechanics and molecules in a box, 00:55:27.020 |
And we could say, what really matters is the, 00:55:33.020 |
that is something that we humans just never noticed 00:55:37.420 |
when there are 15 collisions of air molecules 00:55:41.860 |
- We just see the pure motion of a ball moving about. 00:55:47.180 |
- Right, and the point is that what seems to be the case 00:55:52.700 |
if we say, given this sort of hypergraph that's updating 00:56:04.200 |
What seems to be the case is that as soon as we assume, 00:56:09.540 |
single thread of time, that leads us to general relativity. 00:56:14.460 |
That's the way that we will parse the universe. 00:56:18.060 |
Given those constraints, we parse the universe 00:56:23.220 |
in such a way that we say the aggregate reducible, 00:56:34.380 |
computationally irreducible ocean of behavior 00:56:37.580 |
is just this one that corresponds to general relativity. 00:56:39.900 |
- Yeah, but we don't perceive general relativity. 00:56:45.180 |
- So you're saying, so perceive really does mean the full. 00:56:49.060 |
That's a great example of general relativity in action. 00:56:52.740 |
what's the difference in that and Newtonian mechanics? 00:57:01.940 |
I mean, Newtonian gravity is just the approximation 00:57:08.620 |
So this is, you know, the phenomenon of gravity 00:57:15.020 |
we would perceive something very different from gravity. 00:57:17.540 |
So the way to understand that is when we think about, 00:57:26.300 |
with which we parse what's happening in space and time. 00:57:29.420 |
So in other words, one of the things that we do 00:57:36.880 |
everywhere in space, something happens at a particular time 00:57:42.900 |
and we say this is what space is like at the next time, 00:57:47.140 |
That's, it's, the reason we are used to doing that 00:57:56.460 |
The time it takes light to travel that distance 00:57:59.900 |
is really short compared to the time it takes our brains 00:58:09.160 |
there is a moment in time, it's all of space. 00:58:13.560 |
You know, if we were the size of planets or something, 00:58:26.680 |
And so that's an important kind of constraint. 00:58:29.160 |
And the reason that we kind of parse the universe 00:58:31.840 |
in the way that causes us to say gravity works 00:58:34.600 |
the way it does is because we're doing things 00:58:36.960 |
like deciding that we can say the universe exists, 00:58:49.240 |
That kind of setup is what lets us kind of deduce, 00:58:53.620 |
kind of parse the universe in such a way that we say 00:59:10.560 |
Because in a sense, what consciousness is doing is, 00:59:13.620 |
it's insisting that the universe is kind of sequentialized. 00:59:27.320 |
It's like saying, no, everything is happening 00:59:30.560 |
in this one thread of experience that we have. 00:59:33.600 |
- And that illusion of that one thread of experience 00:59:40.360 |
are you saying we are at a human level is special 00:59:47.560 |
if we existed at a scale close to the elementary length, 00:59:51.360 |
for example, then our perception of the universe 00:59:55.160 |
- Okay, so, but this makes consciousness seem like 00:59:57.520 |
a weird side effect to this particular scale. 01:00:01.880 |
I mean, so consciousness is not that special. 01:00:04.760 |
- I think, look, I think that a very interesting question is 01:00:08.200 |
which I've certainly thought a little bit about, 01:00:19.000 |
And if you were a photon, if you were sort of, 01:00:23.080 |
some kind of thing that was some kind of intelligence 01:00:41.600 |
They've been traveling at the speed of light. 01:00:43.280 |
Time stayed still for them, and then they just arrived 01:01:00.040 |
for being able to tell a heck of a good story. 01:01:22.720 |
the great collection of books from my friend, 01:01:25.200 |
Rudy Rooker, which were, which I have to say, 01:01:34.320 |
And the thing that I really loved about them is, 01:01:39.920 |
the Earth is consumed by these things he called Nantes, 01:01:46.560 |
- And it's, so, you know, so the Earth is gone 01:01:52.120 |
- Yeah, right, that was only a micro spoiler. 01:01:56.080 |
- It's, but the thing that is not a real spoiler alert 01:02:03.200 |
but in the end, the Earth is saved by this thing 01:02:07.840 |
called the principle of computational equivalence, 01:02:09.520 |
which is a kind of a core scientific idea of mine. 01:02:17.080 |
And I was just thrilled I get to the end of this. 01:02:26.640 |
of computational equivalence can save a planet? 01:02:38.760 |
the principle of computational equivalence is. 01:02:41.120 |
So the question is, you have a system, you have some rule. 01:02:50.360 |
The question is, how sophisticated is that computation? 01:02:53.580 |
The statement of the principle of computational equivalence 01:03:01.840 |
And so that has the implication that, you know, rule 30, 01:03:05.720 |
you know, our brains, other things in physics, 01:03:15.000 |
because the reason we don't get to jump ahead, 01:03:20.320 |
is because we're just computationally equivalent to rule 30. 01:03:23.240 |
So we're kind of just both just running computations 01:03:35.720 |
you know, in the science fiction version would be, 01:03:40.240 |
okay, somebody says, we just need more servers, 01:03:43.960 |
The way to get even more servers is turn the whole planet 01:03:56.720 |
well, actually, you don't need to build those custom servers. 01:04:00.360 |
Actually, you can just use natural computation 01:04:10.120 |
You don't need to have done all that engineering. 01:04:12.040 |
And it's kind of feels a little disappointing 01:04:15.840 |
that you say, we're going to build all these servers. 01:04:20.000 |
maybe we're going to have human consciousness 01:04:22.520 |
uploaded into, you know, some elaborate digital environment. 01:04:27.920 |
it's got electrons moving around, just like in a rock. 01:04:31.040 |
And then you say, well, what's the difference? 01:04:33.240 |
And the principle of computational equivalence says, 01:04:35.560 |
there isn't at some level a fundamental, you know, 01:04:41.280 |
there's a fundamental difference between the rock 01:04:52.760 |
there is an aspect of this that seems to be more special 01:04:59.720 |
something I haven't really teased apart properly 01:05:02.480 |
is when it comes to something like the weather 01:05:04.480 |
and the weather having a mind of its own or whatever, 01:05:06.640 |
or your average, you know, pulsar magnetosphere 01:05:14.320 |
how is that entity related to the kind of consciousness 01:05:19.320 |
that we have and sort of what would the world look like, 01:05:37.400 |
I mean, this is a really kind of mind bending thing 01:05:40.480 |
'cause we've got to try and imagine where, you know, 01:05:43.840 |
we've got to try and imagine a parsing of the universe 01:05:51.920 |
I think that's kind of the key thing is, you know, 01:06:07.320 |
could have a completely different way of parsing 01:06:11.280 |
So it's as if, you know, there could be for all we know, 01:06:15.680 |
in the details of the motion of these gas molecules, 01:06:18.760 |
there could be an amazing intelligence that we were like, 01:06:24.800 |
we're not parsing the universe in the same way. 01:06:26.640 |
If only we could parse the universe in the right way, 01:06:29.560 |
you know, immediately this amazing thing that's going on 01:06:32.880 |
and this, you know, huge culture that's developed 01:06:35.000 |
and all that kind of thing would be obvious to us. 01:06:37.000 |
But it's not because we have our particular way 01:06:48.120 |
- I think it's a question of just what you mean by the word, 01:06:56.520 |
as sort of a key aspect of it is that we feel that, 01:07:00.840 |
the sort of a feeling of that we exist in some way, 01:07:04.360 |
that we have this intrinsic feeling about ourselves. 01:07:11.920 |
would also have an intrinsic feeling about themselves. 01:07:18.080 |
about what if you were just a piece of a cellular automaton, 01:07:22.320 |
what would your feeling about yourself actually be? 01:07:25.200 |
And, you know, can we put ourselves in the shoes, 01:07:28.640 |
in the cells of the cellular automaton, so to speak? 01:07:34.600 |
that we could have a sense of what the world would be like 01:07:40.720 |
And it's a little difficult because, you know, 01:07:42.680 |
you have to not only think about what are you perceiving, 01:07:46.080 |
but also what's actually going on in your brain, 01:07:52.720 |
I think there might be some experiments that are possible 01:07:58.000 |
where you can have something where you can at least see 01:08:00.520 |
in detail what's happening inside the system. 01:08:03.040 |
And I've been sort of one of my projects to think about is, 01:08:11.960 |
about what its view of the world is and how it, you know, 01:08:18.320 |
See, the main issue is this, where, you know, 01:08:21.320 |
it's a sort of philosophically difficult thing, 01:08:25.920 |
We understand ourselves, at least to some extent. 01:08:31.760 |
And, but yet, okay, so what are we trying to do, 01:08:34.720 |
for example, when we are trying to make a model of physics, 01:08:42.440 |
Well, of course we can, we just watch the universe. 01:08:46.080 |
But what we're trying to do when we make a model of physics 01:08:52.680 |
that we understand that is also a representation 01:09:00.960 |
can understand in our minds and what the universe does? 01:09:04.480 |
And in a sense, you know, a large part of my kind of life 01:09:09.240 |
efforts have been devoted to making computational language, 01:09:12.160 |
which kind of is a bridge between what is possible 01:09:16.840 |
and what we humans can conceptualize and think about. 01:09:20.120 |
In a sense, what, you know, when I built Wolfram Language 01:09:22.760 |
and our whole sort of computational language story, 01:09:25.520 |
it's all about how do you take sort of raw computation 01:09:37.080 |
and that map onto things that we care about doing. 01:09:46.360 |
can we get physics to the point where we humans 01:09:49.560 |
can understand something about what's happening in it? 01:09:52.360 |
And when we talk about an alien intelligence, 01:09:56.040 |
It's like, is there a way of mapping what's happening there 01:10:00.280 |
onto something that we humans can understand? 01:10:02.760 |
And, you know, physics in some sense is like our exhibit one 01:10:10.600 |
It's a, you know, it's an alien intelligence in some sense. 01:10:14.240 |
And what we're doing in making a model of physics 01:10:17.000 |
is mapping that onto something that we understand. 01:10:20.080 |
And I think, you know, a lot of these other things 01:10:25.080 |
whether it's molecular biology, other kinds of things, 01:10:39.840 |
of that sort of alien intelligence in some sense. 01:10:55.880 |
to what is it like to be a conscious human being? 01:11:02.320 |
So is it looking at some subset of the cellular automata, 01:11:17.640 |
what are you able to say about the broader cellular automata? 01:11:24.720 |
of how to step outside of that cellular automata. 01:11:26.480 |
- Right, but the tricky part is that that little subset, 01:11:31.480 |
it's what it's doing is it has a view of itself. 01:11:35.520 |
And the question is, how do you get inside it? 01:11:40.840 |
It's like, we can't get inside each other's consciousness. 01:11:51.800 |
but you can perceive things from the outside, 01:11:58.400 |
And for me, these sort of philosophical issues 01:12:09.760 |
when it comes to questions about consciousness 01:12:12.120 |
or whatever else, it's like, when I can run a program 01:12:15.360 |
and actually see pictures and make things concrete, 01:12:19.360 |
I have a much better chance to understand what's going on 01:12:21.840 |
than when I'm just trying to reason about things 01:12:24.760 |
- Yeah, but there may be a way to map the program 01:12:39.880 |
it's a very different thing than watching this entity. 01:12:52.440 |
But the difference in the first person shooter thing 01:12:57.580 |
is still remembering, you still have, it's hard to, 01:13:13.780 |
you know, how to think about being it, so to speak. 01:13:21.320 |
like with anything, with video game, with books, 01:13:26.720 |
if the virtual reality experience is well done, 01:13:31.000 |
and maybe in the future it'll be extremely well done, 01:13:45.500 |
I mean, you could argue sort of mathematically 01:13:51.560 |
I mean, why can't you merge with the cellular automaton? 01:13:55.600 |
- I mean, aren't you just part of the same fabric? 01:14:00.640 |
I mean, so let's imagine the following scenario. 01:14:08.080 |
I mean, it's like, let's imagine you've uploaded, 01:14:11.520 |
you've got every synapse, you know, mapped out. 01:14:16.760 |
the brain simulator, you upload the brain simulator, 01:14:19.080 |
and the brain simulator is basically, you know, 01:14:24.200 |
And then you say, well, now we've got an answer 01:14:26.400 |
to what does it feel like to be a cellular automaton? 01:14:28.720 |
It feels just like it felt to be ordinary you, 01:14:34.680 |
and they're both, you know, operating in the same way. 01:14:36.720 |
So in a sense, but I think there's somehow more to it, 01:14:45.980 |
there's another version of our consciousness. 01:14:57.240 |
And, you know, there's a way of thinking about this. 01:14:59.560 |
Okay, so this is coming on to sort of questions 01:15:02.020 |
about the existence of the universe and so on. 01:15:11.760 |
which is, you know, something you can move around in 01:15:30.340 |
where instead of moving around in physical space, 01:15:32.760 |
you're moving from history to history, so to speak, 01:15:35.280 |
from one possible history to another possible history. 01:15:40.300 |
that is the space in which quantum mechanics plays out. 01:15:46.060 |
or something like, I think we're slowly understanding 01:15:49.060 |
things like destructive interference in quantum mechanics. 01:15:54.340 |
is associated with phase in quantum mechanics. 01:16:01.940 |
are winding up at different ends of branchial space. 01:16:04.420 |
And so us, as these poor observers that are trying to, 01:16:16.120 |
We're really knitting together these threads of history. 01:16:20.300 |
wound up at opposite ends of branchial space, 01:16:22.820 |
we just can't knit them together to tell a consistent story. 01:16:30.060 |
- Got it, and then there's rule-ial space too, 01:16:41.140 |
'cause it's something I've realized in recent times, 01:16:43.080 |
and I think it's really, really kind of cool, 01:16:55.060 |
if you have a clock, it's ticking at a certain rate, 01:17:20.360 |
that is just hanging out where they're hanging out. 01:17:32.660 |
Well, when you move from somewhere to somewhere, 01:17:46.240 |
you're following these rules to update what happens. 01:17:51.000 |
when you have a certain amount of computation in you, 01:18:08.180 |
to recreate yourself as you move around the universe. 01:18:13.560 |
it's really cool actually that this is explainable 01:18:19.600 |
But that time dilation is a story of the fact that 01:18:23.200 |
as you kind of are recreating yourself as you move, 01:18:29.240 |
And so you don't have as much computation left over 01:18:32.100 |
to actually work out what happens progressively with time. 01:18:35.120 |
So that means that time is running more slowly for you 01:18:38.300 |
because it is, you're using up your computation, 01:18:49.380 |
on moving at half the speed of light or something. 01:19:01.660 |
because it has seemed like just a mathematical fact 01:19:04.320 |
about the mathematics of special relativity and so on. 01:19:30.300 |
And the clock is, there's all these little updates, 01:19:35.560 |
cause the pendulum to swing back the other way 01:19:45.200 |
to the motion of the pendulum going back and forth 01:19:47.800 |
or the little oscillator moving, whatever it is, okay? 01:19:51.280 |
But then the alternative is that sort of situation one, 01:19:58.400 |
what's happening is it is having to recreate itself 01:20:04.320 |
The thing is going to have to do the computations 01:20:14.040 |
so it's either going to spend its computation 01:20:16.780 |
recreating itself at a different position in space, 01:20:21.160 |
sort of doing the updating of the ticking of the clock, 01:20:30.360 |
the less the ticking of the clock update is doing. 01:20:34.320 |
The more it's having to update because of motion, 01:20:45.800 |
but that's kind of, to me, that was sort of exciting to me 01:20:48.840 |
that it's possible to have a really mechanically 01:21:06.600 |
to see these things about under what circumstances 01:21:21.200 |
in physical space, the main sort of big theory 01:21:25.040 |
is general relativity, the theory of gravity, 01:21:27.140 |
and that tells you how things move in physical space. 01:21:32.180 |
is the Feynman path integral, which it turns out, 01:21:40.040 |
So it's kind of like motion in branchial space. 01:21:42.900 |
And it's kind of a fun thing to start thinking about 01:21:49.960 |
like event horizons and black holes and so on, 01:21:52.480 |
what are the analogous things in branchial space? 01:21:55.940 |
what's the analog of the speed of light in branchial space? 01:21:58.700 |
It's the maximum speed of quantum entanglement. 01:22:01.540 |
So the speed of light is a flashbulb goes off here, 01:22:08.180 |
of that flashbulb is detectable moving away in space? 01:22:12.700 |
So similarly, in branchial space, something happens, 01:22:15.840 |
and the question is, how far in this branchial space, 01:22:20.420 |
how far away can that get within a certain period of time? 01:22:23.920 |
And so there's this notion of a maximum entanglement speed, 01:22:28.900 |
That's the thing we've been sort of poking at, 01:22:32.880 |
even in some atomic physics kind of situation? 01:22:35.660 |
'Cause one of the things that's weird in quantum mechanics 01:22:42.000 |
we mostly study it in terms of small numbers of particles. 01:22:46.580 |
this thing on an ion trap does that, and so on. 01:22:49.420 |
But when we deal with large numbers of particles, 01:22:52.440 |
It's kind of too complicated to deal with quantum mechanics. 01:22:57.300 |
so this question about maximum entanglement speed 01:23:00.320 |
and things like that may actually play in one of these, 01:23:03.300 |
in the sort of story of many-body quantum mechanics, 01:23:10.860 |
one of the things I realized I'd never understood, 01:23:14.740 |
but I think I now understand a little better, 01:23:17.180 |
is when you have chemistry and you have quantum mechanics, 01:23:29.480 |
In quantum mechanics, nothing ends up in a definite place. 01:23:31.920 |
There's always just some wave function for this to happen. 01:23:34.380 |
How can it be the case that we can draw these reasonable, 01:23:42.120 |
effectively made a bunch of measurements on the molecule 01:23:46.800 |
And that's a story that has to do with this whole thing 01:23:49.800 |
about measurements have to do with this idea of, 01:23:54.600 |
can we conclude that something definite happened? 01:24:00.380 |
the mathematics of quantum mechanics is all about, 01:24:05.160 |
Then there's this thing of, and then we make a measurement, 01:24:08.200 |
and we conclude that something definite happened. 01:24:12.960 |
about sort of moving, about knitting together 01:24:15.560 |
these different threads of history and saying, 01:24:18.200 |
this is now something where we can definitively say 01:24:21.360 |
In the traditional theory of quantum mechanics, 01:24:25.440 |
after you've done all this amplitude computation, 01:24:27.680 |
then this big hammer comes down and you do a measurement, 01:24:34.800 |
it's been a very confusing thing because when you say, 01:24:38.160 |
in quantum computing, the basic idea is you're gonna use 01:24:40.360 |
all these separate threads of computation, so to speak, 01:24:50.080 |
because you've got all these different threads going on. 01:24:52.880 |
But then you have to say, well, at the end of it, 01:24:56.240 |
and every thread came up with a definite answer, 01:25:00.600 |
to figure out a definite thing that we humans 01:25:04.880 |
so the computer actually produced this output. 01:25:13.520 |
do you think it's possible to then make predictions 01:25:30.760 |
I mean, the theory at some level is beautifully simple, 01:25:35.280 |
it's this whole question about how do you bridge it 01:25:54.020 |
There's a thing called the quantum Zeno effect. 01:25:56.280 |
So the idea is, you know, quantum stuff happens, 01:26:01.860 |
you're kind of freezing time in quantum mechanics. 01:26:11.180 |
and the way that many body quantum mechanics works 01:26:16.200 |
it may be possible to actually figure out a way 01:26:26.520 |
in terms of atoms and things, they're pretty big. 01:26:44.380 |
you're within a little bit closer striking distance of that. 01:27:02.020 |
if we could measure the maximum entanglement speed, 01:27:07.740 |
So if we got that one number, we just need one number. 01:27:11.440 |
If we can get that one number, we can, you know, 01:27:18.640 |
Well, there's another hope for doing that is in cosmology. 01:27:26.400 |
I mean, we think we live in three-dimensional space, 01:27:28.640 |
but this hypergraph doesn't have any particular dimension. 01:27:31.480 |
It can emerge as something which on an approximation, 01:27:36.440 |
what's the volume of a sphere in the hypergraph 01:27:38.780 |
where a sphere is defined as how many nodes do you get to 01:27:42.180 |
when you go a distance R away from a given point? 01:27:45.200 |
And you can say, well, if I get to about R cubed nodes, 01:27:49.380 |
when I go a distance R away in the hypergraph, 01:27:51.900 |
then I'm living roughly in three-dimensional space. 01:27:54.500 |
But you might also get to R to the point, you know, 2.92, 01:28:02.180 |
as R increases, that might be the sort of fit 01:28:10.180 |
infinite dimensional, and that as the universe expanded, 01:28:16.600 |
And so one of the things that is another little sort of point 01:28:21.460 |
to actually measure some things is dimension fluctuations 01:28:25.640 |
That is, is there a leftover dimension fluctuation of, 01:28:29.760 |
at the time of the cosmic microwave background, 01:28:31.960 |
100,000 years or something after the beginning 01:28:33.440 |
of the universe, is it still the case that there were pieces 01:28:37.060 |
of the universe that didn't have dimension three, 01:28:43.500 |
- Is that possible to observe the fluctuations 01:28:51.180 |
- Okay, so the question, which should be an elementary 01:28:54.820 |
exercise in electrodynamics, except it isn't, 01:29:00.440 |
when it propagates through 3.01 dimensional space. 01:29:03.660 |
So for example, the inverse square law is a consequence 01:29:06.780 |
of the surface area of a sphere is proportional 01:29:12.580 |
But if you're not in three dimensional space, 01:29:15.680 |
the surface area of a sphere is not proportional 01:29:18.260 |
to R squared, it's R to the whatever, 2.01 or something. 01:29:22.460 |
And so that means that I think when you try and do optics, 01:29:28.660 |
a common principle in optics is Huygens principle, 01:29:31.380 |
which basically says that every piece of a wave front 01:29:39.280 |
And those spherical waves, if they're different dimensional 01:29:41.780 |
spherical waves, will have other characteristics. 01:29:45.320 |
And so there will be bizarre optical phenomena, 01:29:50.000 |
- So you're looking for some weird photon trajectories 01:29:55.880 |
that designate that it's 3.01 dimensional space? 01:29:59.860 |
- Yeah, yeah, that would be an example of, I mean, 01:30:02.620 |
you know, there are only a certain number of things 01:30:09.540 |
we can measure their direction, those kinds of things. 01:30:15.540 |
and you know, in the current models of physics, 01:30:19.300 |
you know, it's been hard to explain how the universe 01:30:27.040 |
to the great annoyance of my then collaborator, 01:30:29.680 |
we figured out in like 1979, we had this realization 01:30:35.320 |
but it seemed implausible that that's the way 01:30:37.180 |
the universe worked, so we put in a footnote. 01:30:44.740 |
but that's an idea for how to sort of puff out the universe 01:30:53.760 |
And that you can somehow explain how the universe manages 01:30:59.640 |
In our model, this turns out to be much more natural, 01:31:03.320 |
because the universe just starts very connected. 01:31:05.520 |
The hypergraph is not such that the ball that you grow 01:31:09.300 |
starting from a single point has volume R cubed, 01:31:11.960 |
it might have volume R to the 500 or R to the infinity. 01:31:16.700 |
And so that means that you sort of naturally get 01:31:19.540 |
this much higher degree of connectivity and uniformity 01:31:24.560 |
this is sort of the mathematical physics challenge, 01:31:29.200 |
there's the Friedman-Robertson-Walker universe, 01:31:31.640 |
which is the kind of standard model where the universe 01:31:35.980 |
and you can then work out the equations of general relativity 01:31:38.720 |
and you can figure out how the universe expands. 01:31:48.880 |
is the sort of fundamental reason it's difficult. 01:32:03.760 |
it's one variable, it's two variables, three variables, 01:32:15.060 |
to understand these fractional dimensional spaces, 01:32:19.960 |
well, they're spaces where the effective dimension 01:32:28.160 |
and naturally and easily to fractional dimensions. 01:32:32.280 |
- So somebody has to figure out how to do that. 01:32:34.040 |
- Yeah, yeah, we're trying to figure this out. 01:32:37.560 |
I mean, it's very connected to very frontier issues 01:32:44.720 |
we're dealing with a scale that's so, so much smaller 01:32:50.480 |
Is it possible to make predictions versus explanations? 01:32:53.720 |
Do you have a hope that with this hypergraph model, 01:32:59.920 |
- That then could be validated with a physics experiment, 01:33:09.360 |
- In which domain do you think that prediction will- 01:33:12.960 |
to do with dimension fluctuations in the universe. 01:33:16.240 |
Nobody, you know, dimension fluctuation is just something, 01:33:19.640 |
If anybody sees dimension fluctuation, that's a huge flag, 01:33:30.720 |
that's a problem of traditional physics in a sense 01:33:32.760 |
of what's the best way to actually figure that out. 01:33:37.760 |
there are all kinds of things one can imagine. 01:33:40.360 |
I mean, there are things that in black hole mergers, 01:33:47.240 |
of maximum entanglement speed in large black hole mergers. 01:33:53.080 |
- And all of that is detected through like what? 01:33:55.440 |
Do you have a hope for LIGO type of situation? 01:33:59.520 |
- Yeah, or alternatively, I mean, I think it's, you know, 01:34:08.760 |
That is, you know, you've got a set of raw materials, 01:34:14.500 |
to figure out, you know, what is that thing I can measure 01:34:21.040 |
And we've spent less effort on that than I would have liked, 01:34:24.700 |
because one of the reasons is that I think that the, 01:34:28.280 |
you know, the physicists who've been working on our models, 01:34:35.320 |
It's kind of, you know, it's one of these cases 01:34:37.640 |
where I'm almost, I'm really kind of pleasantly surprised 01:34:41.500 |
that the sort of absorption of the things we've done 01:34:48.880 |
- So it's a Cambrian explosion of physicists too, 01:34:52.400 |
- Yes, I mean, you know, a lot of what's happened 01:34:56.960 |
not what I expected is, there are a lot of areas 01:35:09.820 |
all sorts of elaborate names for these things, 01:35:23.120 |
who've been working for decades in these particular areas. 01:35:27.880 |
but they've been building these mathematical structures, 01:35:30.840 |
and the mathematical structures are interesting, 01:35:37.040 |
And I think what's happened is our models provide 01:35:39.440 |
kind of a machine code that lives underneath those models. 01:35:43.400 |
So a typical example, this is due to Jonathan Gorod, 01:35:51.400 |
This is in, okay, so I'll give you an example, 01:35:54.680 |
just to give a sense of how these things connect. 01:35:58.040 |
So the idea of causal set theory is there are, 01:36:02.080 |
in space-time, we imagine that there's space and time, 01:36:05.080 |
it's a three plus one dimensional, you know, setup. 01:36:08.360 |
We imagine that there are just events that happen 01:36:12.320 |
at different times and places in space and time. 01:36:15.440 |
And the idea of causal set theory is the only thing 01:36:17.800 |
you say about the universe is there are a bunch of events 01:36:26.480 |
has to be to do with this graph of causal relationships 01:36:34.040 |
So they've always been confused by the fact that 01:36:40.080 |
you need a very special way to throw down those events. 01:36:50.480 |
they, instead of just generating events at random, 01:36:55.200 |
our models necessarily generate events in some pattern 01:37:02.880 |
and relativistic invariance and all those kinds of things. 01:37:08.040 |
well, we just have a random collection of events. 01:37:17.360 |
now that we have some different underlying foundational idea 01:37:20.760 |
for what the particular distribution of events is 01:37:23.880 |
as opposed to just where we throw down random events. 01:37:28.920 |
of what we're seeing in all these different areas 01:37:31.640 |
of kind of how you can take really interesting things 01:37:39.160 |
because the sort of the abstract models we have 01:37:45.920 |
very interesting, very elegant, abstract ideas, 01:38:01.800 |
combinators or something as abstract computational things. 01:38:04.760 |
And you can sort of do all kinds of study of them, 01:38:13.620 |
But when we actually start thinking about computers 01:38:16.160 |
computing things, we have a really good reason to care. 01:38:19.360 |
And this is sort of what we're providing, I think, 01:38:21.920 |
is a reason to care about a lot of these areas 01:38:27.200 |
- So I'm not sure we've ever got to the question 01:38:35.240 |
So it's not the simplest question in the world. 01:38:43.920 |
that you can even begin to answer this question, 01:39:01.360 |
And now we've got another level of kind of abstraction, 01:39:15.080 |
and we run this rule and we get the universe. 01:39:26.600 |
what if the thing could be using all possible rules? 01:39:31.660 |
in addition to saying apply a particular rule 01:39:43.160 |
Okay, and then you make this ruleal multi-way graph, 01:39:48.840 |
for a particular rule and all possible rules. 01:39:52.860 |
how can you get anything reasonable out of it? 01:40:07.320 |
which is the result of running all possible rules 01:40:11.640 |
And you might say, if you're running all possible rules, 01:40:19.520 |
there's sort of this entanglement that occurs. 01:40:24.560 |
a lot of different possible initial conditions, 01:40:30.800 |
Well, some of those rules can end up with the same state. 01:40:41.120 |
and there's a definite structure that's produced. 01:40:43.560 |
I think I'm gonna call that definite structure 01:40:52.280 |
- And you're saying that structure is finite, 01:40:54.580 |
so that somehow connects to maybe a similar kind of thing 01:41:08.240 |
plus universal computation gives you the fact 01:41:13.180 |
you can always, the paths will always converge. 01:41:16.760 |
does that necessarily infer that the Rulliad is a finite? 01:41:26.320 |
just like the history of the universe may not be finite. 01:41:28.940 |
The history of the universe, time may keep going forever. 01:41:31.520 |
You can keep running the computations of the Rulliad 01:41:34.120 |
and you'll keep spewing out more and more and more structure. 01:41:39.720 |
It's that, but the issue is there are three limits 01:41:49.280 |
Another is how many different rules you're applying. 01:41:52.240 |
And another is how many different states you start from. 01:41:57.400 |
I mean, this is just mathematically a horrendous object. 01:42:09.520 |
And in particular, it connects to some of the 20th century's 01:42:12.600 |
most abstract mathematics done by this chap Grothendieck. 01:42:17.000 |
Grothendieck had a thing called the infinity groupoid, 01:42:19.560 |
which is closely related to this Rulliad object. 01:42:29.320 |
But I think that what's interesting is this thing 01:42:36.520 |
that again, will take us into another direction, 01:42:40.080 |
which is the equivalence between physics and mathematics. 01:42:43.400 |
The way that, well, let's see, maybe this is, 01:42:48.400 |
just to give a sense of this kind of groupoid 01:43:08.280 |
like for addition, X plus Y is equal to Y plus X. 01:43:15.740 |
X squared minus one is equal to X plus one X minus one. 01:43:18.900 |
There are infinite number of these possible statements 01:43:22.100 |
- So it's not, I mean, it's not just, I guess, a statement, 01:43:32.480 |
It's also just a thing that is true in mathematics. 01:43:39.940 |
you imagine just laying out this giant kind of ocean 01:43:44.140 |
of all statements, well, actually, you first start, 01:43:50.480 |
Let me not go in this direction for a second. 01:43:59.500 |
let me explain the groupoid and things later. 01:44:20.940 |
So the thing that had confused me for a long time was, 01:44:42.440 |
and not universe quadrillion, quadrillion, quadrillion? 01:44:46.060 |
And I think the resolution of that is the realization 01:44:48.640 |
that the universe is running all possible rules. 01:44:53.640 |
So then you say, "Well, how on earth do we perceive 01:44:58.040 |
"the universe to be running according to a particular rule? 01:45:07.100 |
There is a reference frame that we are picking 01:45:15.000 |
With our particular sensory information and so on, 01:45:18.120 |
we are parsing the universe in this particular way. 01:45:24.880 |
we live in a particular place in the universe. 01:45:34.480 |
we could live in many different places in Rullio space, 01:45:45.760 |
Those are our interpretation of the universe. 01:45:48.840 |
What would it mean to travel in Rullio space? 01:45:51.560 |
What it basically means is that we are successively 01:46:01.680 |
a different interpretation of what's going on 01:46:04.680 |
And we can imagine even things like an analog 01:46:15.840 |
So Rullio space, and we, I'm confused by the we 01:46:33.120 |
- So it ultimately has to do with the perception. 01:46:35.400 |
So it doesn't, Rullio space is not somehow changing, 01:46:41.720 |
like branching into another universe or something like that. 01:46:45.720 |
- No, I mean, the point is, the whole point of this 01:46:48.560 |
is the Rulliard is sort of the encapsulated version 01:47:03.320 |
So we're a little bit loose with the word universe then 01:47:05.960 |
because wouldn't the Rulliard potentially encapsulate 01:47:10.760 |
a very large number, like combinatorially large, 01:47:14.040 |
maybe infinite set of what we human physicists 01:47:20.280 |
- That's an interesting parsing of the word universe, right? 01:47:25.800 |
just as we're at a particular place in physical space, 01:47:34.960 |
Just as if we lived at the center of the galaxy, 01:47:48.000 |
this Rulliard is sort of a super universe, so to speak, 01:48:03.400 |
We could imagine moving to somewhere else in the universe, 01:48:20.620 |
we could perceive a different reference frame 01:48:43.460 |
The alien intelligence might live on Alpha Centauri, 01:48:47.400 |
but it might also live at a different place in Rullio space. 01:48:53.400 |
that includes a very different perception of the universe. 01:48:57.680 |
And then because that Rullio space is very large, 01:49:21.880 |
even in kind of things I don't understand well, 01:49:25.280 |
you know, I know about the kind of Western tradition 01:49:33.040 |
well, I, you know, I'm really into some, you know, 01:49:37.160 |
Eastern tradition of this, that, and the other. 01:49:39.560 |
And it's really obvious to me how things work. 01:49:45.120 |
it is not obvious, I think, with this kind of realization 01:49:50.440 |
to interpret what's going on in the universe. 01:49:57.120 |
but it gives me at least more respect for the possibility 01:50:01.520 |
- Yeah, it humbles you to the possibility that like, 01:50:12.800 |
- Well, you know, the thing that I've realized 01:50:14.160 |
about a bunch of those things is that, you know, 01:50:17.840 |
of the history of philosophy, just trying to understand, 01:50:25.440 |
like the immortal soul concept, which, you know, 01:50:31.080 |
it was kind of a lots of religion bashing type stuff 01:50:34.240 |
of people saying, you know, well, we know about physics, 01:50:39.920 |
And people are like, well, how can it be a thing 01:50:52.040 |
And there is a sense, and in fact, it is correct, 01:50:56.400 |
because this pattern of computation is something abstract 01:50:59.600 |
that is not specific to the particular material of a brain. 01:51:03.680 |
Now, we don't know how to extract it, you know, 01:51:08.400 |
but it's still something where it isn't a crazy thing 01:51:11.840 |
to say there is something, it doesn't weigh anything. 01:51:18.160 |
Well, actually, maybe it isn't such a silly question 01:51:27.880 |
- You can start talking about mass and energy and so on. 01:51:30.600 |
There could be a, what would you call it, a solitron. 01:51:40.520 |
Well, that's what, by the way, that's what Leibniz said. 01:51:43.280 |
And, you know, one thing, I've never understood this. 01:51:45.680 |
You know, Leibniz had this idea of monads and monodology 01:51:48.480 |
and he had this idea that what exists in the universe 01:51:53.200 |
and that the only thing that one knows about the monads 01:51:58.320 |
which sounds awfully like hypergraphs, right? 01:52:00.640 |
But Leibniz had really lost me at the following thing. 01:52:30.680 |
in 1690 or whatever, that would have been kind of, 01:52:36.440 |
And so, you know, in a sense, it's like one of these, 01:52:39.100 |
there's no new idea under the sun, so to speak. 01:52:41.440 |
That's a sort of a version of the same kinds of ideas, 01:52:44.580 |
but couched in terms that are sort of bizarrely different 01:52:50.380 |
- Would you be able to maybe play devil's advocate 01:52:58.040 |
that it's constrained and there's a single thread of time, 01:53:01.640 |
is it possible that Leibniz was onto something 01:53:04.200 |
that the basic atom, the screwed atom of space 01:53:14.240 |
But like, is there some sense where consciousness 01:53:18.160 |
is much more fundamental than you're making it seem? 01:53:27.440 |
- I think that, okay, so the question would be, 01:53:38.720 |
could we say, well, so that's really a question 01:53:56.240 |
And I think that comes back to this question of, 01:54:08.460 |
and I don't even know yet quite how to think about this 01:54:12.960 |
in the sense that I was considering, you know, 01:54:15.720 |
I never write fiction, but I haven't written it 01:54:20.840 |
which I sent to some science fiction writer friends of mine, 01:54:29.480 |
That'd be interesting to see you write a short story 01:54:32.000 |
based on what sounds like it's already inspiring 01:54:38.800 |
- But I think the interesting thing for me is, 01:54:56.360 |
presumes that you're talking about a singular entity. 01:55:02.760 |
- Like, there's some kind of feeling of the entity, 01:55:12.800 |
And then that's when consciousness starts making sense. 01:55:17.000 |
But then, it seems like that could be generalizable. 01:55:21.440 |
If you take some subset of a cellular automata, 01:55:25.960 |
you could start talking about what does that subset-- 01:55:30.800 |
But then you can, I think you could just take 01:55:41.880 |
but you could also say the two of us together 01:55:59.400 |
How are they sort of entangled with each other? 01:56:08.960 |
You know, where there's a sort of more collective view 01:56:30.080 |
which is sort of a human understandable narrative? 01:56:32.360 |
And now what's it like to be a such and such? 01:56:35.320 |
You know, maybe the only medium in which we can describe 01:56:39.920 |
where it's kind of like you're telling, you know, 01:56:45.440 |
But this is beyond what I've yet understood how to do. 01:56:49.640 |
- Yeah, but it does seem so, like with human consciousness, 01:56:55.000 |
and like there's a bunch of systems that are networked 01:57:04.520 |
feel like a singular consciousness when you take. 01:57:07.600 |
- And so maybe like an ant colony is just too low level. 01:57:16.840 |
- There's some level at which it's a conscious being. 01:57:23.960 |
So there's a nice sweet spot for consciousness. 01:57:28.160 |
I think the difficulty is that, you know, okay, 01:57:32.360 |
so in sort of people who talk about consciousness, 01:57:37.560 |
'cause I've now interacted with some of this community, 01:57:48.160 |
I was saying that it must be kind of frustrating 01:58:01.000 |
everybody has their own theory of consciousness, 01:58:14.600 |
I'm an applied consciousness operative, so to speak, 01:58:32.720 |
to our definite perception and definite laws and so on, 01:58:35.760 |
and sort of an applied version of consciousness? 01:58:45.480 |
is kind of what's the analog of consciousness 01:58:52.600 |
Well, this whole description of this kind of, 01:58:57.640 |
We haven't talked about why the universe exists, 01:59:01.360 |
and then we can talk about, perhaps a little bit about 01:59:05.440 |
what these models of physics kind of show you 01:59:14.840 |
Okay, so we finally sort of more or less set the stage. 01:59:22.960 |
the fact that it's sort of not just this incoherent mess, 01:59:26.400 |
it's got all this entangled structure in it, and so on. 01:59:32.600 |
Well, it is the working out of all possible formal systems. 01:59:37.520 |
So the sort of the question of why does the universe exist, 01:59:41.080 |
its core question, which we kind of started with, 01:59:48.760 |
but that's not actualized, it's just an abstract thing. 01:59:52.680 |
And when we say we've got a model for the universe, 02:00:06.720 |
or is it merely a formal description of something? 02:00:13.240 |
the thing about the Rouliad is it's an inevitable, 02:00:16.520 |
it is the entangled running of all possible rules. 02:00:21.240 |
So you don't get to say, it's not like you're saying, 02:00:33.760 |
the only footnote, it's an important footnote, 02:00:44.640 |
that would be accessible to a Turing machine, 02:00:54.720 |
that would take a Turing machine infinite time to solve. 02:00:59.280 |
that you could make oracles for Turing machines, 02:01:05.200 |
It can't know what will happen in any Turing machine 02:01:10.120 |
but you could invent a box, just make a black box. 02:01:15.760 |
that will just tell you, you know, press this button, 02:01:22.880 |
You can't necessarily build one in the physical universe, 02:01:32.080 |
that there is a computational, that at the end, 02:01:37.920 |
It doesn't have a bunch of oracle black boxes in it. 02:01:44.020 |
Well, it turns out if there are oracle black boxes, 02:01:47.240 |
the Rouliad that is, you can make a sort of super Rouliad 02:01:55.440 |
relative to the first one, they can't communicate. 02:02:00.720 |
what you end up happening, what ends up happening 02:02:07.960 |
the causal relationships of different things, 02:02:14.760 |
where the effect here, an event happening here 02:02:19.800 |
because there's a disconnection in the causal graph. 02:02:30.320 |
is there is an event horizon and we in our Rouliad 02:02:39.480 |
that they're just separate things, they're not connected. 02:02:49.620 |
- It might exist, but it's not clear what it, 02:03:02.600 |
what, you know, it's, let me say another thing, 02:03:15.440 |
- The hyper Rouliad is referring to a Rouliad 02:03:51.000 |
So the important point about this Rouliad idea 02:03:54.240 |
is that it's, in the Rouliad are all possible formal systems. 02:04:01.120 |
There's no like, oh, we pick this particular universe 02:04:06.280 |
The second thing is that we have to ask the question. 02:04:10.000 |
So you say, why does two plus two equals four exist? 02:04:19.840 |
just on the basis of the meaning of the terms, 02:04:38.120 |
You don't, it is not a thing where you're saying, 02:04:43.680 |
This is just something which necessarily is that thing 02:04:58.800 |
- Ah, well, where are we in this whole thing? 02:05:13.240 |
Well, that's, in some sense, it necessarily exists. 02:05:21.840 |
Usually in philosophy, there's a sort of distinction made 02:05:29.920 |
analytic propositions, synthetic propositions, 02:05:32.160 |
there are a variety of different versions of this. 02:05:39.600 |
And there are things which happen to be true in our universe. 02:05:46.800 |
That's one of the coordinates that define our existence. 02:06:06.760 |
is we're at a particular place in this Rouliad, 02:06:23.520 |
Well, the answer is, I think it has to work that way 02:06:32.480 |
in the sense that it is a purely formal object, 02:06:37.500 |
It's not an object that was made of something. 02:06:43.040 |
of the necessary collection of formal relations that exist. 02:06:47.280 |
And so then the issue is, can we, in our experience of that, 02:06:52.280 |
is it, can we have tables and chairs, so to speak, 02:07:03.640 |
and honestly, I don't know of a lot of discussion of this 02:07:09.720 |
It's been a very, I've been surprised, actually, 02:07:12.920 |
at how little, I mean, I think it's one of these things 02:07:26.080 |
when you run them together, and that's the critical thing, 02:07:30.080 |
they produce this kind of entangled structure 02:07:51.400 |
then we can interpret as physics and things like this. 02:07:54.600 |
So in other words, we don't have to ask the question, 02:08:05.080 |
- So like you need to have it if you want to formalize 02:08:33.680 |
the existence of mathematics is something where, 02:08:40.160 |
what follows from that definition inevitably follows. 02:08:55.880 |
I think the way to think about this, let me see. 02:09:15.720 |
But it's a, the point is that it is not a thing of a, 02:09:19.200 |
you know, people imagine there is, I don't know, 02:09:31.280 |
They are, they happen to exist as a result of 02:09:34.240 |
kind of biological evolution and whatever else. 02:09:41.360 |
that there is, it is a different kind of thing 02:10:09.480 |
- Well, okay, so why, okay, so then the question is, 02:10:18.500 |
That is, we can certainly say there is a formal system 02:10:21.560 |
that we can construct abstractly in our minds 02:10:26.820 |
And that's the, you know, we can imagine it, right? 02:10:32.120 |
Now the question is, is it is that formal system, 02:10:37.120 |
once we exist as observers embedded in that formal system, 02:10:41.720 |
that's enough to have something which is like our universe. 02:10:45.560 |
And so then what you're kind of asking is perhaps, 02:10:49.720 |
is why, I mean, the point is we definitely can imagine it. 02:11:06.600 |
We're just, it is definitely something we can imagine. 02:11:12.520 |
that is a formally constructible thing that we can imagine. 02:11:18.840 |
what, you know, given that formally constructible thing, 02:11:28.640 |
if we were embedded in that formally constructible thing, 02:11:33.840 |
And we would say, we perceive that the world exists 02:11:42.600 |
And, but that's something that is just a feature of, 02:12:03.740 |
but it feels like then you should be able to, 02:12:07.560 |
not us, but somehow step outside of the Rouliad. 02:12:26.040 |
by the time it's all possible formal systems, 02:12:28.860 |
it's like, it is all things you can imagine, but-- 02:12:56.320 |
and that's I think related to the hyper-Rouliad footnote, 02:13:04.360 |
one of the things sort of interesting about this is, 02:13:07.440 |
there has been some discussion of this in theology 02:13:11.680 |
but which I don't necessarily understand all of, 02:13:30.040 |
with particular rules, but no, you don't do that. 02:13:32.560 |
You can make a world that deals with all possible rules 02:13:35.840 |
and then merely by virtue of living in a particular place 02:13:42.440 |
we have the perception we have of what the world is like. 02:13:51.840 |
and I, this philosophy stuff is not super easy 02:14:01.280 |
people have been interested in lots of different things 02:14:02.840 |
we've been doing, but this, why does the universe exist, 02:14:08.080 |
that you would think people would be most interested in, 02:14:23.640 |
a couple of pieces of that argument that would be, 02:14:29.520 |
- Well, you're conscious being is computationally bounded, 02:14:34.960 |
- Having written quite a few articles yourself, 02:14:40.520 |
- Yes, well, it's always-- - That's the limitation 02:14:44.900 |
why the universe exists thing and this kind of concept 02:14:48.520 |
of Rouillades and places in there representing 02:14:57.760 |
if the universe exists, mathematics must also exist. 02:15:01.380 |
And that's a weird thing because mathematics, 02:15:05.140 |
people have been very confused, including me, 02:15:11.640 |
of kind of what is the foundation of mathematics? 02:15:15.480 |
What is, what kind of a thing is mathematics? 02:15:17.600 |
Is mathematics something where we just write down axioms 02:15:21.680 |
like Euclid did for geometry and we just build the structure 02:15:24.920 |
and we could have written down different axioms 02:15:28.200 |
Or is it something that has a more fundamental 02:15:32.000 |
And I have to say, it's one of these cases where 02:15:34.040 |
I've long believed that mathematics has a great deal 02:15:37.000 |
of arbitrariness to it, that there are particular axioms 02:15:39.840 |
that kind of got written down by the Babylonians 02:15:42.420 |
and that's what we've ended up with the mathematics 02:15:46.000 |
And I have to say, actually, my wife has been telling me 02:15:50.480 |
she's been telling me, "You're wrong about the foundations 02:15:53.520 |
And I'm like, "No, no, no, I know what I'm talking about." 02:15:57.740 |
And finally, she's much more right than I've been. 02:16:03.880 |
- So I mean, her sense and your sense, are we just, 02:16:22.800 |
So 100 years ago, a little bit more than 100 years ago, 02:16:26.200 |
well, people have been doing mathematics for ages, 02:16:28.200 |
but then in the late 1800s, people decided to try 02:16:37.320 |
we're gonna make it like logic, we're gonna make it 02:16:42.020 |
And that was people like Frege and Piano and Hilbert 02:16:44.120 |
and so on, and they kind of got this idea of, 02:16:50.280 |
let's just make everything just in terms of this sort of 02:16:52.600 |
symbolic axioms, and then build up mathematics from that. 02:17:03.800 |
the kind of computational irreducibility mistake. 02:17:06.240 |
They thought as soon as we've written down the axioms, 02:17:13.960 |
that can just grind out all true theorems of mathematics. 02:17:23.120 |
It's that even though you know those underlying rules, 02:17:25.880 |
you can't deduce all the consequences in any finite way. 02:17:32.040 |
okay, so they broke mathematics down into these axioms, 02:17:37.800 |
So what I'm increasingly coming to realize is, 02:17:46.340 |
There's gas laws that are the large scale structure 02:17:52.060 |
and then there's the underlying molecular dynamics. 02:17:54.740 |
And I think that the axiomatic level of mathematics, 02:17:57.640 |
which we can access with automated theorem proving 02:18:00.180 |
and proof assistance and these kinds of things, 02:18:02.820 |
that's the molecular dynamics of mathematics. 02:18:05.340 |
And occasionally we see through to that molecular dynamics. 02:18:08.700 |
We see undecidability, we see other things like this. 02:18:11.300 |
One of the things I've always found very mysterious 02:18:13.820 |
is that Godel's theorem shows that there are sort of things 02:18:18.220 |
which cannot be finitely proved in mathematics. 02:18:26.060 |
mathematicians don't typically run into this. 02:18:28.300 |
They just happily go along doing their mathematics. 02:18:31.420 |
And I think what's actually happening is that 02:18:33.580 |
what they're doing is they're looking at this, 02:18:36.600 |
they are essentially observers in meta-mathematical space, 02:18:45.600 |
and they are computationally bounded observers 02:19:01.840 |
And so what gets really bizarre is thinking about 02:19:05.240 |
kind of the analogy between meta-mathematics, 02:19:20.960 |
in the mathematical space are statements in mathematics, 02:19:29.040 |
you can use those to prove some other statement, 02:19:33.600 |
That's the kind of causal network of mathematics, 02:19:51.280 |
You know a certain set of mathematical statements. 02:20:03.520 |
that the reason that mathematicians perceive mathematics 02:20:08.680 |
and lack of kind of undecidability and so on that they do, 02:20:17.320 |
with computational boundedness, single thread of time, 02:20:22.240 |
that the same thing is true of mathematicians 02:20:26.440 |
And so what's happening is that when you look at, 02:20:29.160 |
if you look at one of these formalized mathematics systems, 02:20:34.400 |
it'll be, it'll take, oh, I don't know, what is it? 02:20:46.920 |
that I'm trying to understand a little bit better, 02:20:50.240 |
if you look at different formalized mathematics systems, 02:20:52.800 |
they actually have different axioms underneath, 02:20:58.680 |
it's a little bit like what happens with gases. 02:21:01.080 |
We can have air molecules, we can have water molecules, 02:21:06.800 |
And so similarly, at the level that mathematics, 02:21:11.760 |
it's way above the molecular dynamics, so to speak. 02:21:16.280 |
like for example, one thing I was realizing recently 02:21:22.200 |
But basically, when you prove what is, you know, 02:21:25.720 |
a proof is you've got one statement in mathematics, 02:21:36.620 |
And that's a single path, a single proof is a single path. 02:21:52.000 |
- And then there's some invariance that you can formalize 02:21:54.600 |
in the same way that you can for the quantum mechanical. 02:21:59.240 |
you know, as you start thinking about multiple proofs, 02:22:05.440 |
So here's a bizarre idea, it's just a couple of days old, 02:22:14.480 |
it's like two photons going in different directions. 02:22:16.360 |
You have two proofs which at an intermediate stage 02:22:20.400 |
And that's kind of like destructive interference. 02:22:22.160 |
- Is it possible for this to instruct the engineering 02:22:37.880 |
that is looking for essentially using kind of, 02:22:44.920 |
energy is kind of level of activity in this hypergraph. 02:22:59.800 |
And I mean, the thing that gets interesting about this 02:23:02.440 |
is the way that one can sort of have the interplay 02:23:09.160 |
So the answer is, what is a black hole in physics? 02:23:14.160 |
in the simplest form of black hole, time ends. 02:23:16.960 |
That is all, you know, everything is crunched down 02:23:21.720 |
and everything just ends up at that singularity. 02:23:24.600 |
So in our models, and that's a little hard to understand 02:23:27.440 |
in general relativity with continuous mathematics 02:23:31.400 |
In our models, it's something very pragmatic. 02:23:36.520 |
and then there comes a moment where the rules, 02:23:42.800 |
There's, you know, nothing happens in the universe anymore. 02:23:45.880 |
Well, in mathematics, that's a decidable theory. 02:23:49.360 |
That's a theory, so theories which have undecidability, 02:23:52.800 |
which are things like arithmetic, set theory, 02:23:54.720 |
all the serious models, theories in mathematics, 02:23:57.560 |
they all have the feature that there are proofs 02:24:04.880 |
there are, you know, any question in Boolean algebra, 02:24:08.880 |
and in a known number of steps, you can answer it. 02:24:11.880 |
You know, satisfiability, you know, might be hard, 02:24:18.600 |
And so that's the notion of a black hole in physics 02:24:35.440 |
If you run into a black hole and time stops, you're done. 02:24:40.360 |
between decidable theories and undecidable theories. 02:24:43.120 |
So it's an example, and I think we're sort of, 02:24:46.520 |
the attempt to understand, so another question is kind of, 02:25:04.960 |
it's like on the earth, we would be, you know, 02:25:09.240 |
we've put cities in particular places on the earth, 02:25:19.440 |
the world of space in terms of where our cities 02:25:21.880 |
happen to be, but there's actually an underlying space. 02:25:24.480 |
And so the question is, what's that for metamathematics? 02:25:27.000 |
And as we kind of explore what is, for example, 02:25:29.520 |
for mathematics, which is always likes taking 02:25:33.680 |
So an obvious abstract limit for mathematics to take 02:25:43.280 |
And one of the things that's an empirical observation 02:25:47.640 |
is that a lot of theories in one area of mathematics, 02:25:59.160 |
seem to occur in very different areas of mathematics. 02:26:05.900 |
But I think that there's probably an understanding 02:26:08.240 |
of this metamathematical space that will explain 02:26:15.360 |
And I mean, you know, my little challenge to myself 02:26:24.320 |
as you move around in this mathematical space 02:26:34.040 |
as you move around in the space of mathematical statements, 02:26:36.400 |
it's like you're changing from algebra to geometry 02:26:47.400 |
'cause you keep on having to translate what you're doing 02:26:50.640 |
And that's kind of the beginnings of the analog 02:26:54.800 |
- Plus there's probably fractional dimensions 02:27:00.600 |
This space is much messier than physical space. 02:27:08.000 |
compared to branchial space and ruleal space. 02:27:10.920 |
I mean, the mathematical structure, you know, 02:27:13.000 |
branchial space is probably more like Hilbert space, 02:27:51.480 |
what about a mapping from one proof to another? 02:28:00.080 |
where you're mapping not just between objects, 02:28:10.960 |
I want mappings between proofs between proofs and so on. 02:28:26.640 |
can you continuously deform them into each other? 02:28:31.000 |
that prevents you from continuously deforming them 02:28:52.520 |
but sometimes there'll be a hole in that space. 02:28:56.320 |
you always have to go around the circuitous route 02:29:03.360 |
of whether there's sort of an obstruction in the space. 02:29:11.920 |
what does it mean if there's an obstruction in proof space? 02:29:14.760 |
- Yeah, I don't even know what an obstruction means 02:29:24.320 |
So this is like an unreachable part of the graph. 02:29:29.320 |
It's a part where there are paths that go one way, 02:29:33.720 |
And this question of homotopy and mathematics 02:29:35.600 |
is this question, can you continuously deform, 02:29:42.600 |
So if you're going around a sphere, for example, 02:29:47.200 |
a cylinder or something, you can wind around one way 02:29:51.840 |
there are paths where you can easily deform one path 02:29:55.080 |
into another, because it's just sort of sitting 02:30:00.560 |
you can't continuously deform that down to a point 02:30:03.400 |
because it's stuck, wrapped around a cylinder. 02:30:17.360 |
- Well, what it would mean is that you would have 02:30:19.760 |
one way of doing a proof of something over here in algebra 02:30:23.560 |
and another way of doing a proof of something 02:30:32.240 |
if they start at the same place and end at the same place? 02:30:35.280 |
- Well, it's the same thing as we've got points on a, 02:30:41.000 |
- Now I understand how it works in physical space, 02:30:44.440 |
it feels like proof space shouldn't have that. 02:30:58.760 |
- So you're playing with like proofs in this kind of space? 02:31:08.320 |
so this kind of segues to perhaps another thing, 02:31:10.560 |
which is this whole idea of multi-computation. 02:31:25.040 |
so I've sort of claimed that there've been sort of four epochs 02:31:31.720 |
And this multi-computation thing is the fourth, 02:31:42.600 |
people were like, what's the universe made of? 02:31:44.560 |
Oh, it's made of, you know, everything is water, Thales, 02:31:53.000 |
Or, you know, there are these crystal spheres 02:31:55.400 |
that represent where the planets are, and so on. 02:32:03.280 |
it's just what is the universe, how is the universe made? 02:32:08.640 |
and we get to the sort of revolution of mathematics 02:32:22.360 |
time enters, but it's usually just a parameter. 02:32:25.120 |
We just can, you know, sort of slide it back and forth 02:32:30.320 |
Okay, then we come to this kind of computational idea 02:32:33.480 |
that I kind of started really pushing in the early 1980s. 02:32:38.160 |
As a result, you know, the things we were talking about 02:32:40.200 |
before about complexity, that was my motivation, 02:32:47.760 |
And the big difference there from the mathematical models 02:32:50.480 |
is in mathematical models, there's an equation, 02:33:05.720 |
time is something where it just, you run the rule, 02:33:07.960 |
time goes in steps, and that's how you work out 02:33:15.560 |
time is something that is about the running of these rules. 02:33:19.240 |
And so there's this computational irreducibility, 02:33:27.040 |
It's still the case, you know, the cellular automaton state, 02:33:29.760 |
then it has the next state and the next state and so on. 02:33:32.160 |
The thing that is kind of, we've sort of tipped off 02:33:36.480 |
although it actually feeds back even into relativity 02:33:41.000 |
that there are these multiple threads of time. 02:33:50.280 |
there are these kind of distributed asynchronous threads 02:34:13.400 |
because you've got all these different threads of time, 02:34:21.000 |
And so the only way you can know what happened 02:34:22.960 |
is to have some kind of observer who is saying, 02:34:25.360 |
here's how to parse the results of what was going on. 02:34:39.560 |
that it's this idea of these multiple threads of time 02:34:44.520 |
And this is similar to what people think about 02:34:52.480 |
it follows another state, it follows another state. 02:34:55.960 |
when they've thought about these kinds of things 02:34:57.920 |
is they've said, well, there are all these possible paths, 02:35:21.480 |
What's happening in multi-computation in physics 02:35:29.000 |
probabilistic programming is a version of multi-computation 02:35:33.760 |
you're just asking for probabilities of things. 02:35:48.560 |
is that when you're an observer embedded in this thing, 02:35:53.760 |
with various other sort of footnotes and so on, 02:35:56.280 |
it is inevitable that the thing that you parse 02:35:59.880 |
out of the system looks like general relativity 02:36:04.320 |
In other words, that just by the very structure 02:36:32.920 |
that I've just been understanding very recently 02:36:39.160 |
sort of computational paradigm complexity-ish thing 02:36:42.480 |
back in the '80s, it was kind of like a big downer 02:36:45.000 |
because it's like there's a lot of stuff you can't say 02:36:50.080 |
and then you might say, now we've got multi-computation, 02:36:55.400 |
that we can't explain, it's all these threads of time 02:37:04.240 |
and any detailed thing you might want to answer, 02:37:30.040 |
There is all this irreducible computation going on, 02:37:32.480 |
all these details, but to that kind of observer, 02:37:38.760 |
of multi-computation, which means that observer 02:37:44.720 |
And I think it is inevitable that that observer 02:37:47.360 |
observes laws which are mathematically structured 02:37:50.580 |
like general relativity and quantum mechanics, 02:37:52.660 |
which by the way are the same law in our model of physics. 02:37:56.000 |
- So that's an explanation why there's simple laws 02:38:02.580 |
But the place where this gets really interesting 02:38:14.680 |
We'd really love to have a physics-like law in linguistics. 02:38:18.040 |
- We gotta talk about molecular biology here. 02:38:21.440 |
- So where does multi-computation come in for biology? 02:38:24.480 |
Economics is super interesting too, but biology-- 02:38:27.600 |
So let's talk about chemistry for a second, okay? 02:38:35.840 |
paradigmatic ideas and then the actual applications. 02:38:41.240 |
I learned all the chemistry I know, you know, 02:38:42.920 |
the night before some exam when I was 14 years old. 02:38:45.080 |
But I've actually learned a bunch more chemistry. 02:38:54.180 |
I've actually, I think, learned a certain amount of chemistry 02:38:56.660 |
that if you quizzed me on sort of basic high school 02:39:04.520 |
I mean, chemistry is sort of a story of, you know, 02:39:21.580 |
they interact in some way, you've got another graph 02:39:24.840 |
So that's kind of the, the sort of the abstract view 02:39:30.480 |
And so when you do a chemical synthesis, for example, 02:39:33.640 |
you are given certain sort of these are possible reactions 02:39:36.940 |
that can happen, and you're asked, can you piece together 02:39:40.220 |
this sequence of such reactions, a sequence of such sort of 02:39:43.400 |
axiomatic reactions, usually called name reactions 02:39:45.720 |
in chemistry, can you piece together a sequence 02:39:48.060 |
of these reactions so that you get out at the end 02:39:51.620 |
this great molecule you were trying to synthesize? 02:39:53.980 |
And so that's a story very much like theorem proving. 02:39:56.340 |
And people have done, actually, they started in the 1960s, 02:39:59.680 |
looking at kind of the theorem proving approach to that, 02:40:02.600 |
although it didn't really, it didn't, it didn't, 02:40:07.480 |
But anyway, so that's kind of the view is that chemistry, 02:40:10.060 |
chemical reactions are the story of all these different 02:40:18.420 |
Let's say, instead of asking about which species 02:40:26.180 |
And let's say we're looking at individual molecules, 02:40:32.000 |
of all these reactions that are happening, okay? 02:40:34.540 |
So then we've got this big graph, and by the way, 02:40:42.540 |
In fact, in the underlying theory of multi-computation, 02:40:45.860 |
there are these things we call token event graphs, 02:40:48.240 |
which are basically, you've broken your state into tokens, 02:40:55.100 |
and each event is just consuming some number of tokens 02:41:01.260 |
there's a lot of work to be done on update rules. 02:41:04.420 |
- In terms of what they actually are for chemistry? 02:41:06.700 |
- Yeah, what they are for our observed chemistry. 02:41:12.660 |
because we have this beautiful system in Wolfram language 02:41:17.220 |
So we actually have, this is an ongoing thing 02:41:24.720 |
or can it be automatically discovered, these update rules? 02:41:28.600 |
- Well, if we could do quantum chemistry better, 02:41:30.300 |
we could probably discover them automatically, 02:41:34.460 |
it's like there are these particular reactions. 02:41:38.560 |
we're probably gonna pick a particular subtype of chemistry, 02:41:41.860 |
and just, because let me explain where this is going. 02:41:47.480 |
So, you've got this whole network of all these molecules 02:41:53.180 |
And this is some whole multi-computational story, 02:42:03.980 |
We're not describing in what order they happen. 02:42:08.020 |
by some quantum mechanics thing, doesn't really matter. 02:42:21.600 |
The question is, what is the chemical observer? 02:42:33.500 |
I want to know the concentration of each species. 02:42:39.400 |
I'm going to solve the differential equations 02:42:50.380 |
there's kind of all these molecules bouncing around, 02:42:52.920 |
and you might say, we're just going to ignore, 02:42:56.100 |
we're just going to look at the aggregate densities 02:43:01.560 |
You can look at this whole graph of possible interactions. 02:43:10.640 |
one who just cares about overall concentrations, 02:43:15.280 |
who cares about this network of what happened? 02:43:23.960 |
very relevant to molecular biology and molecular computing. 02:43:32.480 |
We, you know, or chemistry, we say, there's this input, 02:43:35.440 |
we're going to make this molecule as the output. 02:43:46.600 |
What if it isn't just the input and the output 02:43:57.860 |
there are all kinds of weird sorts of observers. 02:44:02.760 |
that have, you know, different kinds of molecules 02:44:06.880 |
It's not obvious that the, from a human scale, 02:44:10.320 |
we just measure the concentration of something, 02:44:15.960 |
when we look at this whole network of possible reactions, 02:44:18.600 |
we can imagine, you know, at a physical level, 02:44:24.800 |
What was it, which we don't pay any attention to 02:44:26.740 |
when we're just talking about chemical concentrations. 02:44:32.540 |
And so here's the place where I have a little suspicion. 02:44:40.660 |
And that is, you know, we have all these chemical reactions. 02:44:42.780 |
We have all these molecular processes going on 02:44:53.540 |
well, so a big story of the what matters question 02:44:58.640 |
when DNA, when it was figured out how DNA worked. 02:45:03.160 |
genetics had been all these different effects 02:45:06.360 |
And then it was realized, ah, there's something new. 02:45:14.880 |
So there's a place where there can be something important 02:45:23.420 |
So the possibility now is, imagine this dynamic network, 02:45:27.760 |
this, you know, causal graphs and multi-way causal graphs 02:45:31.200 |
and so on, that represent all of these different reactions 02:45:58.540 |
- Well, yes, but also imagine that you're trying to do, 02:46:07.940 |
molecular computation is, we're just gonna run the thing, 02:46:13.500 |
This is saying, that's not the only thing you can do. 02:46:16.260 |
There is a different kind of chemical observer 02:46:20.120 |
which is somehow sensitive to this dynamic network. 02:46:23.680 |
Exactly how that works, how we make that measurement, 02:46:32.940 |
you can do the same thing even for Turing machines. 02:46:35.200 |
You can say, if you have a multi-way Turing machine, 02:46:41.640 |
You can't say, well, we've got this input and this output, 02:46:44.500 |
because the thing has all these threads of time, 02:46:48.220 |
And so then you say, well, what does it even mean 02:46:54.360 |
- That's an interesting idea, it would freak Turing out, 02:47:06.480 |
so this is, again, a story of what's the observer, 02:47:08.960 |
so to speak, in chemistry, what's the observer there? 02:47:11.760 |
Now, to give an example of where that might matter, 02:47:14.760 |
a very sort of present-day example is in immunology, 02:47:25.060 |
that are all these different shapes and so on. 02:47:27.660 |
We have a trillion different kinds of T-cell receptors 02:47:31.080 |
that we produce, and the traditional theory of immunology 02:47:39.980 |
randomly producing all these different antibodies, 02:47:42.540 |
and as soon as one of them binds to an antigen, 02:47:46.360 |
and we produce more of that antibody and so on. 02:47:49.440 |
Back in the 1960s, an immunologist called Nils Joerner, 02:47:53.640 |
who was the guy who invented monoclonal antibodies, 02:47:56.120 |
various other things, kind of had this network theory 02:47:59.440 |
of the immune system, where it would be like, 02:48:02.520 |
but then we produce antibodies to the antibodies, 02:48:05.120 |
anti-antibodies, and we produce anti-anti-antibodies, 02:48:07.960 |
and we get this whole dynamic network of interactions 02:48:13.180 |
and that was kind of a qualitative theory at that time, 02:48:20.260 |
'cause I've been studying immunology a bit recently, 02:48:22.540 |
and I knew something about this 35 years ago or something, 02:48:27.460 |
and I'd talked to a bunch of the people and so on, 02:48:29.420 |
and it was like an emerging theoretical immunology world, 02:48:43.800 |
but the theoretical sections seem to have shrunk, 02:48:55.040 |
Is it actually some cell sitting in our bone marrow 02:49:07.260 |
Is it something more like some network of interactions 02:49:09.640 |
between these different kinds of immune system cells 02:49:13.660 |
that there are plenty of interactions between T cells, 02:49:18.280 |
but what the consequence of that dynamics is is not clear, 02:49:26.480 |
In fact, I was just been trying to study this, 02:49:28.520 |
so I'm quite incomplete in my study of these things, 02:49:35.920 |
where they have the most advanced theory that they've got, 02:49:38.360 |
and it turns out it's the cellular automaton theory. 02:49:41.560 |
It's like, okay, well, at least I understand that theory, 02:49:58.440 |
and then the immune consciousness, so to speak, 02:50:02.360 |
the observer, ends up being something that in the end, 02:50:06.120 |
it's kind of like does the human get sick or whatever, 02:50:08.720 |
but it's something which is a complicated story 02:50:12.040 |
that relates to this whole sort of dynamic network 02:50:18.440 |
where I think multi-computation has the possibility. 02:50:28.560 |
that the observer who sees general relativity 02:50:31.860 |
in the immune system is an observer that's irrelevant 02:50:34.640 |
to what we care about about the immune system. 02:50:36.880 |
I mean, it could be, yes, there is some effect 02:50:46.800 |
and the thing we actually care about is things about 02:50:53.840 |
and how does that affect other places in shape space, 02:50:58.160 |
What's the analog of the speed of light in shape space, 02:51:04.800 |
It's like you poke into shape space by having, 02:51:10.160 |
that has a particular configuration in shape space. 02:51:13.160 |
How quickly, as this dynamic network spreads out, 02:51:16.880 |
how quickly do you get sort of other antibodies 02:51:20.360 |
in different places in shape space, things like that. 02:51:29.480 |
and multi-protein folding, all of that kind of stuff. 02:51:52.060 |
what is the qualitative way to think about it? 02:51:57.320 |
In other words, is it chemical reaction networks? 02:52:05.280 |
it's kind of, there's a digital aspect to the whole thing. 02:52:17.960 |
which just seems to have all these different tentacles, 02:52:20.360 |
is it really the case that that can be thought about 02:52:25.240 |
when people were describing genetic phenomena, 02:52:28.480 |
there were dominant, recessive, this, that, and the other, 02:52:35.200 |
and what is a gene, and so on, and so on, and so on, 02:52:44.640 |
that we can now start to think about using in microbiology? 02:52:48.560 |
and this is, again, one of these things where, 02:52:54.280 |
maybe molecular biology is doing molecular computing 02:53:00.520 |
that is something where it is very happily saying, 02:53:04.720 |
It's in the dynamic structure of this network. 02:53:10.320 |
but we're like, oh, I don't know what's going on. 02:53:12.440 |
It's just, we just measured the levels of these chemicals, 02:53:17.640 |
but it just, we're looking at the wrong thing. 02:53:31.500 |
I mean, I've thought about molecular computing 02:53:37.100 |
is kind of the original promise of nanotechnology 02:53:40.540 |
of like, can we make a molecular scale constructor 02:53:43.020 |
that will just build a molecule in any shape? 02:53:45.940 |
But I don't think, I'm now increasingly concluding 02:53:57.940 |
'cause the one example we have in molecular computing 02:54:00.340 |
that's really working is us biological organisms. 02:54:06.340 |
is not this, what chemicals do you make, so to speak, 02:54:11.980 |
- Dynamic process, and then you can have a good model 02:54:16.360 |
what, like simulate, again, make predictions, 02:54:25.740 |
First of all, biology doesn't have theories like physics. 02:54:34.500 |
Biology, what are the global theories of biology? 02:54:41.700 |
Any other theory is just a, well, the kidneys work this way, 02:54:50.980 |
That's another sort of global fact about biology. 02:54:56.340 |
something you have a model of in the hypergraph 02:55:00.540 |
to the actual, like how do you discover the theory? 02:55:04.980 |
Okay, you have something that looks nice and makes sense, 02:55:32.860 |
And, you know, there's this nice automated lab, 02:55:40.860 |
and you send it a piece of Wolfram Language code, 02:55:54.380 |
in this automated lab, we can actually get it 02:55:58.820 |
and, you know, the positions of the stripes are the primes. 02:56:06.020 |
and that would be with a particular, you know, 02:56:08.740 |
framework for actually doing the molecular computing, 02:56:12.100 |
you know, with particular kinds of molecules. 02:56:13.900 |
And there's a lot of kind of ambient technological mess, 02:56:17.580 |
so to speak, associated with, oh, is it carbon? 02:56:21.180 |
You know, is it important that there's a bromine atom here? 02:56:24.940 |
This is all chemistry that I don't know much about. 02:56:30.300 |
unfortunately, that's down at the level, you know, 02:56:34.700 |
not at the level of the transistors, so to speak. 02:56:37.180 |
But in chemistry, you know, there's a certain amount 02:56:39.700 |
we have to do, I think, at the level of transistors 02:56:53.100 |
He mentioned that he's collaborating with you. 02:56:56.940 |
He sends me papers on, speaking of automated theorem 02:57:01.420 |
He's exceptionally well read on that area as well. 02:57:04.180 |
So what's the nature of your collaboration with him? 02:57:08.420 |
What's the nature of the collaboration between Cardano 02:57:12.300 |
and the whole space of blockchain and Wolfram, 02:57:14.340 |
Wolfram Alpha, Wolfram Blockchain, all that kind of stuff? 02:57:17.420 |
- Well, okay, we're segueing to a slightly different world. 02:57:25.300 |
- Right, the whole thing is somehow connected. 02:57:27.860 |
- I know, I mean, you know, the strange thing in my life 02:57:31.060 |
is I've sort of alternated between doing basic science 02:57:33.580 |
and doing technology about five times in my life so far. 02:57:37.140 |
And the thing that's just crazy about it is, you know, 02:57:42.300 |
I think there's not gonna be a way back to the other thing. 02:57:50.300 |
maybe it'll have an application in 200 years. 02:57:59.580 |
It's, and in fact, it's also giving us this way. 02:58:09.620 |
actually that relates to several different things, 02:58:17.900 |
which is our attempt to kind of represent everything 02:58:22.460 |
And it's the thing I kind of started building 40 years ago 02:58:25.300 |
in the form of actual Wolfram Language 35 years ago. 02:58:39.940 |
Wolfram Alpha is kind of the consumer version of that 02:58:42.300 |
where you're just using natural languages as input. 02:58:54.020 |
Actually, Mathematica, which is its first instantiation, 02:58:57.500 |
will be one third of a century old in October. 02:59:14.860 |
- I've never heard of anyone celebrating that anniversary, 02:59:19.220 |
It's like, you don't get many slices of a century 02:59:25.260 |
that's really striking about that is that means, 02:59:28.100 |
you know, including the whole sort of technology stack 02:59:39.500 |
Mathematica version one programs today and so on, 02:59:51.900 |
We just made this picture of kind of the different 03:00:00.660 |
and, you know, all sorts of things with, you know, 03:00:17.180 |
of different threads of all these different capabilities 03:00:21.460 |
and representing different things in the world. 03:00:23.500 |
But the thing that was super lucky in some sense 03:00:29.340 |
It's all based on the idea of symbolic expressions 03:00:31.980 |
and transformation rules for symbolic expressions, 03:00:39.940 |
that was a predecessor of the whole Wolfram Language stack. 03:00:57.260 |
and all you do is transform symbolic expressions. 03:01:14.660 |
Because what do you do when you have a symbolic expression, 03:01:18.180 |
you make transformations for symbolic expressions? 03:01:20.620 |
Well, for example, one question is there may be 03:01:28.700 |
we're using the first transformation that applies. 03:01:31.860 |
And we keep doing that until we reach a fixed point. 03:01:42.220 |
And back when I was working on SMP and things, 03:01:48.740 |
what determines this kind of evaluation path. 03:01:52.140 |
So for example, you know, you work out Fibonacci, 03:01:56.020 |
F of N is F of N minus one plus F of N minus two. 03:01:59.100 |
And you get this whole tree of recursion, right? 03:02:01.780 |
And there's the question of how do you evaluate 03:02:09.580 |
where you're kind of collecting the terms together, 03:02:18.020 |
These are, you know, I didn't realize it at the time. 03:02:21.620 |
I was working on gauge field theories back in 1979. 03:02:25.220 |
And I was also working on the evaluation model in SMP 03:02:30.740 |
But it took me 40 more years to realize that. 03:02:52.220 |
of different kinds of computation that you can do 03:03:01.180 |
It also has a potential implication for blockchain, 03:03:05.380 |
which is, and this is not what we're doing with Cardano, 03:03:09.940 |
This is something where one of the questions is 03:03:17.900 |
blockchain is a deeply sequentialized story of time. 03:03:36.660 |
we've had this little conference we organized 03:03:40.580 |
'Cause I realized that a bunch of interesting things 03:03:42.900 |
that some of our science can tell one about that. 03:03:45.380 |
But that's a different, let's not go down that path. 03:03:49.220 |
that still has a sequential, there's like one- 03:03:55.460 |
how to apply multi computation to blockchain. 03:03:59.020 |
- Yes, and so that becomes a story of, you know, 03:04:03.060 |
instead of transactions all having to settle in one ledger, 03:04:06.660 |
it's like a story of all these different ledgers 03:04:09.580 |
and they all have to have some ultimate consistency, 03:04:12.220 |
which is what causal invariance would give one, 03:04:24.740 |
in one path of history, you got paid this amount. 03:04:27.100 |
In another path of history, you got paid this amount. 03:04:29.500 |
In the end, the universe will always become consistent. 03:04:35.980 |
okay, it's a little bit more complicated than that. 03:04:37.580 |
What happens is the way space is knitted together 03:04:40.500 |
in our theory of physics is through all these events. 03:04:43.700 |
And the idea is that the way that economic space 03:04:48.060 |
is knitted together is there these autonomous events 03:04:52.340 |
that essentially knit together economic space. 03:04:54.900 |
So there are all these threads of transactions 03:04:57.580 |
And the question is, can they be made consistent? 03:05:01.580 |
to be sort of a consistent fabric of economic reality? 03:05:07.740 |
is trying to realize how does economics fundamentally work? 03:05:13.660 |
And, you know, what are the atoms of economics, 03:05:24.380 |
There's sort of events in economics of transactions. 03:05:39.860 |
how do you knit together sort of economic space from that? 03:06:05.380 |
And there is some way that AI bots could make some path 03:06:12.380 |
by all these different intermediate transactions. 03:06:15.340 |
But in fact, we have an approximation to that, 03:06:18.820 |
which is we say they each have a dollar value. 03:06:26.660 |
of taking this whole complicated space of transactions 03:06:34.300 |
that is kind of like a parsing of physical space. 03:06:37.700 |
And so my guess is that the, yet again, I mean, it's crazy 03:06:54.260 |
with all of those different microscopic transactions. 03:06:56.780 |
They're just going to parse the whole thing by saying, 03:07:00.900 |
And that's their understanding of their summary 03:07:06.900 |
like there are all kinds of arbitrage opportunities, 03:07:12.300 |
And that's, you know, and places where there's sort 03:07:15.940 |
of different paths that can be followed and so on. 03:07:21.820 |
can one make a sort of global theory of economics? 03:07:35.620 |
and things like this, and you ask questions about, 03:07:38.020 |
well, if you're transporting lettuces to different places, 03:07:44.940 |
versus if you're just sitting in one place and selling them? 03:07:47.660 |
And you can kind of get a little bit of an analogy there, 03:07:49.460 |
but I think there's a better and more complete analogy. 03:08:14.820 |
kind of the quantum analog of money, so to speak, 03:08:19.460 |
you can have uncertainty relations where you're saying, 03:08:22.100 |
you know, well, if I insist on knowing my bank account 03:08:31.620 |
And so there's, you know, is there a way of using, 03:08:34.300 |
and so we've made a bunch of prototypes of this, 03:08:42.620 |
I actually have to have a foundational theory of economics. 03:08:47.100 |
it may be that we could deploy one of these prototypes 03:08:54.460 |
of how this plugs into kind of the economic system. 03:09:08.620 |
I don't even know, and I've been asking friends of mine 03:09:10.620 |
who are economists and things, what is economics? 03:09:20.580 |
Is it, you know, what kind of a theory is it? 03:09:22.540 |
Is it a theory, you know, what kind of thinking? 03:09:24.660 |
It's like in biology, in evolutionary biology, for example, 03:09:31.920 |
where if you're a good evolutionary biologist, 03:09:35.100 |
somebody says, "That creature has a weird horn." 03:09:37.980 |
And they'll say, "Well, that's because this and this 03:09:40.100 |
"and this and this selection of this kind and that kind, 03:09:49.420 |
By the way, evolutionary biology is yet another place 03:09:52.960 |
where it looks like this multi-computational idea 03:10:01.500 |
and there's a whole other kind of world of that. 03:10:09.180 |
like at the different levels of understanding of our reality. 03:10:28.200 |
The question is, can you make useful predictions 03:10:32.040 |
That's right, and that's really a question of... 03:10:35.600 |
It's a weird situation, because it's a situation 03:10:37.620 |
where the model probably has definite consequences. 03:10:41.800 |
The question is, are they consequences we care about? 03:10:50.300 |
so one thing is this idea of using physics-like notions 03:10:59.720 |
to construct a distributed analog of blockchain. 03:11:07.320 |
and it has to do with this computational language 03:11:15.760 |
and knows about how to compute all these kinds of things. 03:11:23.220 |
you need, with contracts and laws and rules and so on, 03:11:38.080 |
it's a piece of legalese, it's just written in English, 03:11:47.960 |
Back in Gottfried Leibniz, back in 1680 or whatever, 03:11:52.960 |
was like, "I'm gonna figure out how to use logic 03:12:01.160 |
"Let's make a computational language for human law. 03:12:07.320 |
"forgot about natural laws, what about human law? 03:12:13.160 |
Well, I think finally we're close to being able to do that, 03:12:16.400 |
and one of the projects that I hope to get to 03:12:18.720 |
as soon as there's a little bit of slowing down 03:12:21.260 |
of some of this Cambrian explosion that's happening 03:12:23.800 |
is a project I've been meaning to really do for a long time, 03:12:26.360 |
which is what I'm calling a symbolic discourse language. 03:12:31.900 |
to represent everything, like the conversation we're having 03:12:35.400 |
in computational terms, and one of the use cases for that 03:12:40.400 |
Another use case is something like the Constitution 03:12:43.400 |
that says what the AIs, what we want the AIs to do. 03:12:48.400 |
so these are like, you're saying computational contracts, 03:12:50.980 |
but smart contracts, this is what's in the domain 03:12:53.880 |
of cryptocurrencies known as smart contracts, 03:13:12.160 |
- But so, I mean, smart contracts tend to be right now 03:13:15.500 |
mostly about things happening on the blockchain. 03:13:20.280 |
Wolfram Alpha API is the main thing people use 03:13:23.580 |
to get information about the real world, so to speak, 03:13:27.560 |
- So Wolfram Alpha, as it stands, is a really good oracle 03:13:32.440 |
That's perhaps where the relationship with Cardano is. 03:13:34.800 |
- Yeah, well, that's how we started getting involved 03:13:36.600 |
with blockchains is we realized people were using, 03:13:42.720 |
and so that got us interested in blockchains in general, 03:13:45.840 |
and what was ended up happening is Wolfram Language is, 03:13:51.240 |
is really very good at representing things like blockchains, 03:13:56.720 |
and we don't really know all the comparisons, 03:14:00.240 |
within Wolfram Language for dealing with the sort of, 03:14:03.900 |
you know, for representing what happens in blockchains, 03:14:08.400 |
We have a whole effort in blockchain analytics, 03:14:12.040 |
and, you know, we've sort of published some samples 03:14:17.000 |
because our technology stack, Wolfram Language 03:14:21.480 |
in the quant finance world, there's a sort of immediate 03:14:29.360 |
the quant finance kind of thing, and blockchain analytics, 03:14:32.840 |
and that's, so it's kind of the representation 03:14:41.760 |
That is, how do you write sort of all these things 03:14:46.560 |
and contracts, and things in computational language, 03:14:49.360 |
and kind of the ultimate vision is that sort of 03:14:57.580 |
that trigger based on the thing that happened, 03:15:01.720 |
and of course, you know, I like to always pay attention 03:15:08.920 |
because it's another rethinking of kind of computation. 03:15:14.960 |
was a little bit of that, of sort of persistent 03:15:23.120 |
is a big rethinking of kind of what it means to compute. 03:15:29.960 |
The idea that you lodge kind of these autonomous lumps 03:15:32.480 |
of computation out there in the blockchain world, 03:15:38.760 |
for fun, so to speak, is we've been doing a bit of stuff 03:15:41.160 |
with NFTs, and we just did some NFTs on Cardano, 03:15:45.680 |
and, you know, we did some cellular automaton NFTs 03:15:48.520 |
on Cardano, which people seem to like quite a bit, 03:15:51.920 |
and, you know, one of the things I've realized about NFTs 03:16:02.400 |
one of the things that's come out of kind of my science, 03:16:05.200 |
I suppose, is this history matters type story 03:16:09.120 |
of, you know, it's not just the current stage, 03:16:14.280 |
I should be realizing, maybe it's not coincidental 03:16:24.960 |
those things, I didn't think those were connected, but-- 03:16:34.040 |
and having sort of a permanent record of things, 03:16:36.980 |
one of the things that's kind of interesting there 03:16:41.960 |
but, you know, you have to keep paying the hosting fees, 03:16:50.400 |
and you pay, you know, your commission to get that thing, 03:16:53.280 |
you know, put on, you know, mine, put on the blockchain, 03:16:56.880 |
then, in a sense, everybody who comes after you is, 03:17:01.120 |
you know, they are motivated to keep your thing alive, 03:17:03.800 |
'cause that's what keeps the consistency of the blockchain. 03:17:08.700 |
it's kind of like, if you want to have something permanent, 03:17:11.300 |
well, at least for the life of the blockchain, 03:17:13.440 |
but even if the blockchain goes out of circulation, 03:17:25.000 |
and you're kind of, you're lodged in the blockchain forever, 03:17:41.880 |
it's the opposite of the Snapchat view of the world. 03:17:48.120 |
and thereby you can have a permanence of history. 03:17:52.880 |
- Right, and that's kind of the, now, you know, 03:17:56.280 |
so that's one of the things we've been doing with Cardano, 03:17:59.960 |
I think that, I mean, this whole question about, 03:18:02.480 |
you know, you mentioned automated theorem proving, 03:18:06.160 |
and as I've thought about this kind of physics-inspired 03:18:09.880 |
obviously there, the sort of the proof that it works, 03:18:14.180 |
that there are no double spends, there's no whatever else, 03:18:22.760 |
And, you know, it's been an interesting thing 03:18:27.360 |
to do kind of actual automated theorem proving, 03:18:29.880 |
and I don't think anybody's really managed it 03:18:33.240 |
It's a thing that people, you know, aspire to, 03:18:39.200 |
one of the things about proving correctness of something 03:18:42.980 |
is, well, you know, people say, "I've got this program, 03:18:52.340 |
and people were very confused back in past decades of, 03:18:55.400 |
you know, "Oh, we're going to prove the correctness 03:18:57.560 |
"by representing the program in another language, 03:19:00.220 |
"which we also don't know whether it's correct." 03:19:04.120 |
we just mean it can't crash, or it can't scribble on memory, 03:19:07.520 |
but the thing is that there's this complicated trade-off, 03:19:10.760 |
because as soon as you're really using computation, 03:19:25.560 |
and say, "We're going to have just this happen, 03:19:30.800 |
I mean, Godel's theorem tries to say, you know, 03:19:43.280 |
There's a, you know, you can have all these wild, 03:19:54.720 |
You don't get to, you know, if you want to say, 03:19:57.680 |
"I want to know what happens," you're boxing yourself in, 03:20:00.440 |
and there's a limit to what can happen, so to speak. 03:20:04.120 |
and it's a big trade-off for AI, so to speak. 03:20:06.960 |
It's kind of like, do you want to let computation 03:20:09.260 |
actually do what it can do, or do you want to say, 03:20:16.160 |
And that's kind of a thing that becomes difficult to do. 03:20:22.720 |
I would say one of the things that's kind of complicated 03:20:25.580 |
in my sort of life and the whole sort of story 03:20:29.040 |
of computational language and all this technology 03:20:34.400 |
in the flow of one's life, it's sort of interesting 03:20:41.180 |
that I'm in the business of making kind of artifacts 03:20:46.440 |
there are things that I've done, I don't know, 03:20:48.320 |
this physics project, I don't know whether anybody 03:20:56.240 |
that a bunch of the core ideas are not well-absorbed. 03:20:59.440 |
I mean, that is, people finally got this idea 03:21:01.480 |
that I thought was a triviality of notebooks. 03:21:07.560 |
about symbolic computation and so on are not absorbed. 03:21:11.240 |
I mean, people use them every day in Wolfram Language 03:21:15.300 |
and, you know, do all kinds of cool things with them, 03:21:19.100 |
intellectual point here, it's not well-absorbed. 03:21:26.400 |
and I kind of made this thing about, you know, 03:21:29.340 |
we're building artifacts from the future, so to speak, 03:21:31.080 |
and I mentioned that at our, we have a conference, 03:21:34.480 |
it's coming up actually in a couple of weeks, 03:21:38.740 |
where we talk about all the things we're doing. 03:21:41.660 |
And, you know, so I was talking about it last year 03:21:44.600 |
about, you know, we're making artifacts from the future, 03:21:46.680 |
and I was kind of like, I had some version of that 03:21:49.620 |
that was kind of a dark and frustrated thing of like, 03:21:52.540 |
you know, I'm building things which nobody's gonna care 03:21:54.740 |
about until long after I'm dead, so to speak. 03:21:57.040 |
But then I realized, you know, people were sort of telling 03:22:01.780 |
me afterwards, you know, that's exactly how, you know, 03:22:05.180 |
we're using Wolfram Language in some particular setting 03:22:07.560 |
in some computational X field or some organization 03:22:10.620 |
or whatever, and it's like people are saying, 03:22:20.220 |
and it's kind of like that's sort of the business we're in, 03:22:22.820 |
and in a sense, with some of these ideas in science, 03:22:27.440 |
that there are some of these things where, you know, 03:22:29.740 |
some things, like for example, this whole idea, 03:22:33.380 |
well, so to relate to another sort of piece of history 03:22:36.740 |
and the future, one of, you know, I mentioned, 03:22:38.980 |
we mentioned at the beginning kind of complexity 03:22:41.460 |
as this thing that I was interested in back 40 years ago 03:22:51.260 |
even simple programs make it, and that's kind of the secret 03:23:04.220 |
the idea that you could go beyond mathematical equations, 03:23:06.820 |
which have been sort of the primary modeling medium 03:23:13.160 |
it is inexorably the case that people will use programs 03:23:18.460 |
I was saying that in the 1980s, and people were, 03:23:21.260 |
you know, I published my big book, "New Kind of Science," 03:23:23.540 |
that'll be 20 years ago next year, so in 2002, 03:23:27.580 |
and people were saying, oh no, this can't possibly be true, 03:23:33.860 |
To be fair, I now realize, on a little bit more analysis 03:23:37.160 |
of what people actually said, in pretty much every field 03:23:40.620 |
other than physics, people said, oh, these are new models, 03:23:44.120 |
that's pretty interesting, and physics, people were like, 03:23:47.400 |
we've got our physics models, we're very happy with them. 03:23:51.740 |
because of the attachment and the power of the equations. 03:23:54.820 |
The idea that programs might be the right way 03:23:57.540 |
to approach this field was, there's some resistance, 03:24:04.300 |
For somebody who likes the idea of time dilation 03:24:13.900 |
- But I mean, it is really interesting that just 20 years, 03:24:17.380 |
the span of 20 years, it's gone from, you know, 03:24:24.380 |
and you know, it's helped that we've, you know, 03:24:27.540 |
in our current effort in fundamental physics, 03:24:32.020 |
and we've managed to put a lot of puzzle pieces together 03:24:36.580 |
But the thing that I've been thinking about recently 03:24:39.980 |
So I've kind of was a sort of a field builder 03:24:44.860 |
I was kind of like, okay, you know, can we, you know, 03:24:50.540 |
that there was this sort of fundamental phenomenon 03:24:52.180 |
of complexity, and it showed up in lots of places. 03:24:55.380 |
this is an interesting sort of field of science. 03:25:01.560 |
I was at this, the very first sort of get together 03:25:07.280 |
I was like, in fact, there's even an audio recording 03:25:09.200 |
of me sort of saying, people have been talking about, 03:25:18.880 |
And it's kind of like, and that's what that ended up. 03:25:22.640 |
- And you planted the seed of complexity at Santa Fe. 03:25:26.760 |
- But, I mean, so that, but what's happened then 03:25:36.100 |
in the first journal, complex systems and so on. 03:25:39.080 |
And it's kind of an interesting thing in my life, 03:25:42.820 |
at least that it's kind of like you plant the seed, 03:25:45.460 |
you have this idea, it's a kind of a science idea. 03:25:52.020 |
The deeper idea was this computational paradigm. 03:25:54.820 |
But the nominal idea is this kind of idea of complexity. 03:25:58.040 |
Okay, then you roll time forward 30 years or whatever, 03:26:01.280 |
35 years, whatever it is, and you say, what happened? 03:26:09.280 |
I think more or less, we've been trying to count them. 03:26:12.120 |
And, you know, there are 40 complexity journals, I think. 03:26:16.340 |
And so it's kind of like what actually happened 03:26:27.940 |
because it's kind of like, what's actually going on? 03:26:38.440 |
one of the kind of cognitive mistakes I think is, 03:26:48.480 |
and our computational model gives complexity. 03:26:55.960 |
is a generic phenomenon and computational irreducibility 03:26:58.840 |
is a generic phenomenon that actually tells you nothing. 03:27:01.960 |
And so then the question is, well, what can you do? 03:27:06.180 |
that have been sort of done under this banner of complexity. 03:27:10.080 |
in providing sort of an interdisciplinary way 03:27:22.880 |
this sort of computational paradigm, computational modeling. 03:27:42.880 |
You know, all I have is a company that builds software 03:27:54.320 |
about lots of institutes and I've seen kind of 03:27:58.160 |
what happens in different situations and so on. 03:28:00.200 |
So I've been kind of reluctant, but I have realized 03:28:03.920 |
that, you know, what we've done with our company 03:28:10.600 |
and, you know, innovating and creating things. 03:28:12.920 |
And I just applied that machine to the physics project. 03:28:17.680 |
in a fairly short amount of time with a, you know, 03:28:34.600 |
- Yes, well, it needs to become an institute. 03:28:42.800 |
You know, what, there are all these people who've, 03:28:47.640 |
And what I realized is there's kind of this area 03:28:50.040 |
of foundations of complexity that's about these questions 03:28:55.560 |
that's far away from a bunch of the detailed applications 03:29:05.640 |
this is my recent kind of little innovation of a sort, 03:29:13.920 |
about kind of, you know, the foundations of complexity, 03:29:20.320 |
I think they're really two ideas, two conceptual ideas 03:29:23.880 |
that I hadn't really enunciated, I think, before. 03:29:26.680 |
One is what I call metamodeling, the other is ruleology. 03:29:31.400 |
So metamodeling is, you've got this complicated model, 03:29:34.160 |
and it's a model of, you know, hedgehogs interacting 03:29:38.640 |
And the question is, what's really underneath that? 03:29:49.120 |
And so there's this kind of meta-science question 03:29:52.120 |
of, given these models, what is the core model? 03:29:58.440 |
but then I realized I've been doing language design 03:30:00.520 |
for 40 years, and language design is exactly that question. 03:30:03.960 |
You know, underneath all of this detailed stuff people do, 03:30:08.800 |
And that's a question people haven't tended to ask 03:30:16.120 |
And what, you know, because once you have the thing 03:30:24.760 |
because it's saying underneath all these fields 03:30:29.720 |
And, you know, you can imagine the same kind of thing 03:30:32.080 |
in much more sort of, much sort of shallower levels 03:30:38.960 |
So the first activity is this kind of metamodeling, 03:30:41.880 |
the kind of the models about models, so to speak. 03:30:54.920 |
which is kind of the, okay, you've got these simple rules. 03:30:57.760 |
You've got cellular automata, you've got Turing machines, 03:31:05.960 |
And this is an area that I've spent a lot of time, 03:31:09.840 |
It's a lot of stuff in my new kind of science book 03:31:13.440 |
You know, this new book I wrote about combinators 03:31:19.720 |
has lots of papers about these kinds of things. 03:31:36.440 |
In fact, from my now understanding of metamathematics, 03:31:39.120 |
I understand that it's the molecular dynamics level. 03:31:47.040 |
because computer science is about writing programs 03:31:48.960 |
that do things, you know, that were for a purpose, 03:31:54.760 |
It doesn't have anything to do with, you know, 03:32:02.880 |
but what's great about it is it's a surviving field, 03:32:15.480 |
you know, in ancient Greece, ancient, you know, 03:32:24.720 |
You look at it, oh, that's a very modern thing. 03:32:31.680 |
And this idea of studying simple rules and what they do, 03:32:36.240 |
And I can see that over the last 40 years or so, 03:32:43.040 |
you can sort of catalog what are the different 03:32:49.160 |
like one, you might even know this one, rule 184. 03:32:52.600 |
It's rule 184 is a minimal model for road traffic flow. 03:32:58.960 |
But it's kind of fun that you can literally say, 03:33:07.800 |
And it's kind of remarkable that you can just, 03:33:10.000 |
by in this raw level of this kind of study of rules, 03:33:16.160 |
that you can use to make models of different things. 03:33:20.920 |
but it's one that, you know, people have explored it, 03:33:23.320 |
but they've been kind of a little bit in the wilderness. 03:33:27.440 |
that I would like to do finally is, you know, 03:33:30.920 |
I always thought that sort of this notion of pure 03:33:33.560 |
and chaos pure and chaos being the acronym for my book, 03:33:43.600 |
what's the right institutional structure to do this stuff. 03:33:45.960 |
You know, we dealt with a bunch of universities. 03:33:54.480 |
That's why the book was called "A New Kind of Science." 03:33:58.360 |
It's kind of the, because that's an increasingly 03:34:05.160 |
of the ruleological society, because we're realizing 03:34:13.320 |
I mean, I've never really done something like this before, 03:34:15.080 |
because there's this whole group of researchers 03:34:20.720 |
in some cases, very elegant, very surviving, very solid. 03:34:35.560 |
I kind of fault myself for not having been more, 03:34:38.040 |
you know, when complexity was developing in the '80s, 03:34:40.440 |
I didn't understand the danger of applications. 03:34:45.440 |
That is, it's really cool that you can apply this 03:34:47.640 |
to economics, and you can apply it to evolutionary biology, 03:34:51.600 |
But what happens with applications is everything 03:34:55.920 |
And the pure stuff, it's like the pure mathematics, 03:34:58.760 |
there isn't any pure mathematics, so to speak. 03:35:16.240 |
because I'm used to, look, I've been a tech CEO 03:35:31.520 |
and how that translates into kind of, you know, 03:35:35.040 |
there are a lot of people working on, for example, 03:35:38.160 |
through the academic world, and that's working just great. 03:35:53.040 |
in a company, in the end, the thing is, you know, 03:36:00.680 |
And, you know, when you're doing basic research, 03:36:02.440 |
one of the challenges is there isn't that same kind 03:36:06.960 |
And so it's, you know, how do you drive the thing 03:36:15.160 |
rather than, you know, what can often happen in, 03:36:17.840 |
you know, in academic settings where it's like, 03:36:21.640 |
but it's not clear that they're, you know, that it's- 03:36:24.520 |
- You have to have a central mission and a drive, 03:36:32.840 |
But the challenge is, you know, when you have a, 03:36:34.960 |
the economics of the world are such that, you know, 03:36:39.000 |
when you're delivering a product and people say, 03:36:44.480 |
then you can pay the people who build it to eat, 03:36:50.120 |
And with basic science, the payoff is very much less visible 03:36:55.760 |
and, you know, with this physics project, as I say, 03:36:57.520 |
the big surprise has been that, I mean, you know, 03:37:00.680 |
for example, well, the big surprise with the physics project 03:37:03.400 |
is that it looks like it has near-term applications. 03:37:07.120 |
And I was like, I'm guessing this is 200 years away. 03:37:10.160 |
It's, I was kind of using the analogy of, you know, 03:37:19.440 |
And, you know, but it turns out that's not the case, 03:37:23.960 |
And if you say we're signing up to do basic research, 03:37:30.560 |
and we can't, we don't know the horizon, you know, 03:37:34.560 |
It's kind of like an undecidable kind of proposition 03:37:37.120 |
of when is this proof going to end, so to speak? 03:37:39.540 |
When is it going to be something that gets applied? 03:37:45.660 |
this becomes a vibrant new field of rheology. 03:37:55.720 |
So I hope you get a bunch of people to explore this world. 03:38:02.920 |
for spending your really valuable time with me today. 03:38:12.600 |
please check out our sponsors in the description. 03:38:27.080 |
"reveals the organization of the entire tapestry." 03:38:30.260 |
Thank you for listening and hope to see you next time.