back to indexStephen Wolfram: Fundamental Theory of Physics, Life, and the Universe | Lex Fridman Podcast #124
Chapters
0:0 Introduction
7:14 Key moments in history of physics
12:43 Philosophy of science
14:37 Science and computational reducibility
22:8 Predicting the pandemic
38:58 Sunburn moment with Wolfram Alpha
39:46 Computational irreducibility
46:45 Theory of everything
52:41 General relativity
61:16 Quantum mechanics
66:46 Unifying the laws of physics
72:1 Wolfram Physics Project
89:53 Emergence of time
94:11 Causal invariance
113:3 Deriving physics from simple rules on hypergraphs
127:24 Einstein equations
133:4 Simulating the physics of the universe
137:28 Hardware specs of the simulation
144:37 Quantum mechanics in Wolfram physics model
162:46 Double-slit experiment
165:13 Quantum computers
173:21 Getting started with Wolfram physics project
194:46 The rules that created our universe
204:22 Alien intelligences
212:29 Meta-mathematics
217:58 Why is math hard?
232:55 Sabine Hossenfelder and how beauty leads physics astray
241:7 Eric Weinstein and Geometric Unity
246:17 Travel faster than speed of light
256:59 Why does the universe exist at all
00:00:00.000 |
The following is a conversation with Stephen Wolfram, 00:00:07.200 |
theoretical physicist, and the founder and CEO 00:00:10.660 |
of Wolfram Research, a company behind Mathematica, 00:00:34.920 |
in simple rules that do their work on hypergraphs, 00:00:40.920 |
from which space, time, and all of modern physics can emerge. 00:00:50.240 |
Please check out these sponsors in the description 00:00:52.860 |
to get a discount and to support this podcast. 00:00:58.680 |
the idea that seemingly infinite complexity can arise 00:01:02.040 |
from very simple rules and initial conditions 00:01:07.720 |
mathematical and philosophical mysteries in science. 00:01:14.920 |
that Stephen and team are currently working on 00:01:17.360 |
to be the kind of simple, clear mathematical playground 00:01:21.080 |
within which fundamental ideas about intelligence, 00:01:24.560 |
consciousness, and the fundamental laws of physics 00:01:28.400 |
can be further developed in totally new ways. 00:01:31.680 |
In fact, I think I'll try to make a video or two 00:01:34.320 |
about the most beautiful aspects of these models 00:01:43.320 |
can jump in and explore them, either just for fun, 00:01:47.440 |
or potentially for publication of new, innovative research 00:01:54.080 |
But honestly, I think the emerging complexity 00:01:56.320 |
in these hypergraphs can capture the imagination of everyone, 00:01:59.960 |
even if you're someone who never really connected 00:02:04.020 |
That's my hope, at least, to have these conversations 00:02:06.760 |
that inspire everyone to look up to the skies 00:02:09.840 |
and into our own minds in awe of our amazing universe. 00:02:14.840 |
Let me also mention that this is the first time 00:02:20.360 |
as a kind of experiment to see if this is an option 00:02:32.640 |
If you enjoy this thing, subscribe on YouTube, 00:02:48.440 |
but I do give you timestamps, so you're welcome to skip. 00:02:59.560 |
Also, let me say, even though I'm talking way too much, 00:03:02.800 |
that I did a survey, and it seems like over 90% of people 00:03:06.580 |
either enjoy these ad reads somehow magically, 00:03:20.280 |
Go to simplisafe.com to get a free HD camera. 00:03:23.800 |
It's simple, no contracts, 15 bucks a month, easy setup. 00:03:34.280 |
One of my favorite movies is "Leon," or "The Professional," 00:03:48.800 |
In fact, when I was younger, the idea of being a hit man 00:03:56.440 |
which is how I thought about it, really appealed to me. 00:03:59.640 |
The skill of it, the planning, the craftsmanship. 00:04:02.860 |
In another life, perhaps, if I didn't love engineering 00:04:06.680 |
and science so much, I could see myself being 00:04:10.740 |
And in general, I love the idea of serving my country, 00:04:21.240 |
to get a free HD camera and to support this podcast. 00:04:24.340 |
They're a new sponsor, and this is a trial run, 00:04:36.300 |
to get $30 off your order and to support this podcast. 00:04:40.520 |
This is the last read of the trial they're doing, 00:04:43.100 |
so this is the time to get them if you're considering it. 00:04:46.220 |
And if you do, it'll help ensure that they decide 00:04:54.360 |
a nice break from the minimalist meals of meat 00:04:59.600 |
Maybe on a personal note, one of my favorite things to do 00:05:01.920 |
is watch people cook, especially people who love cooking, 00:05:09.040 |
I still tend to be strict in my diet, no matter what, 00:05:11.600 |
even in fancy restaurants, but it brings me joy 00:05:14.400 |
to see friends and family indulge something like a cake 00:05:19.380 |
that has way too many calories or ice cream or whatever. 00:05:24.880 |
made this cake called an ant hill on my birthday 00:05:27.720 |
that brings me a lot of joy and way too many calories. 00:05:32.460 |
I was thinking of doing a video with my mom as she makes it. 00:05:36.420 |
I thought it'd be a fun thing to do together. 00:05:39.460 |
Anyway, go to sunbasket.com/lex and use code LEX. 00:05:57.140 |
to watch lessons from Chris Hadfield, Neil deGrasse Tyson, 00:06:03.020 |
Daniel Negrano, and many more brilliant world experts. 00:06:07.180 |
Masterclass has been a really special sponsor. 00:06:10.220 |
They believe in this podcast in a way that gives me strength 00:06:16.340 |
I'm thinking of doing a few solo podcast episodes 00:06:24.380 |
or Stalin, Putin, and many other difficult topics 00:06:29.500 |
I have a worldview that seeks inspiring positive insights, 00:06:33.100 |
even and perhaps especially from periods of tragedy 00:06:37.100 |
and evil that perhaps some folks may find value in. 00:06:40.740 |
If I can only learn to convey the ideas in my mind 00:06:50.460 |
but to be honest, I have trouble speaking in a way 00:06:56.740 |
So it really does mean a lot, the love and support I get 00:07:03.820 |
Anyway, go to masterclass.com/lex to get a discount 00:07:13.740 |
You said that there are moments in history of physics, 00:07:17.380 |
and maybe mathematical physics or even mathematics, 00:07:24.740 |
So if you look back through the history of physics, 00:07:31.140 |
such breakthroughs where a flurry of progress follows? 00:07:46.580 |
- Yeah, it was kind of the Schrodinger, Heisenberg, 00:07:52.420 |
originally Planck, then Dirac was a little bit later. 00:07:56.520 |
That was something that happened at that time, 00:08:06.260 |
that quantum field theory was actually going to be useful 00:08:09.060 |
in physics and QCD, quantum carbon dynamics theory 00:08:13.000 |
of quarks and gluons and so on was really getting started. 00:08:22.380 |
and happened to be really involved in physics. 00:08:26.500 |
And so I got to be part of that, which was really cool. 00:08:33.860 |
- You know, who won the Nobel prize for QCD, okay? 00:08:37.020 |
People, David Gross, Frank Wilczek, David Politzer, 00:08:41.420 |
the people who are the sort of the slightly older generation, 00:08:43.980 |
Dick Feynman, Murray Gell-Mann, people like that, 00:08:51.700 |
he's younger, he's in the younger group actually, 00:08:54.780 |
but these are all characters who were involved. 00:08:59.220 |
I mean, it's funny because those are all people 00:09:10.140 |
They seem more like everyday characters, so to speak. 00:09:20.380 |
it always seems like everything happened instantly. 00:09:27.380 |
but usually there's some methodological thing happens 00:09:30.900 |
and then there's a whole bunch of low-hanging fruit 00:09:32.540 |
to be picked and that usually lasts five or 10 years. 00:09:43.200 |
methodological advance, things actually started working 00:09:54.820 |
some significant fraction of the way done, so to speak. 00:10:03.100 |
like what was the key moment for the deep learning 00:10:08.940 |
the AlexNet business. - AlexNet with ImageNet. 00:10:11.460 |
So is there something like that with physics where, 00:10:14.440 |
so deep learning neural networks have been around 00:10:21.980 |
- There's a bunch of little pieces that came together 00:10:23.900 |
and then all of a sudden everybody's eyes lit up. 00:10:34.300 |
that there's simple rules can create complexity. 00:10:38.860 |
At which point was there a thing where your eyes light up? 00:10:45.060 |
It's like, wait a minute, there's something here. 00:10:46.500 |
Is it the very first idea or is it some moment 00:10:51.500 |
along the line of implementations and experiments 00:10:56.580 |
One is the think about the world computationally. 00:11:35.500 |
of much more systematic computer experiments and things 00:11:39.900 |
that I could only have said occurs in one particular case 00:11:46.380 |
called principle of computational equivalence. 00:11:51.100 |
And then as part of that process, I was like, 00:12:00.700 |
That's our sort of ultimate example of a complicated thing. 00:12:05.100 |
could we use these ideas to study fundamental physics? 00:12:30.060 |
- There's echoes in the cellular automata world 00:12:37.660 |
Allow me to sort of romanticize a little more 00:12:53.140 |
And so to linger on the sort of original line of discussion, 00:13:07.020 |
It's a different methodology for studying things. 00:13:19.620 |
The biographer of Steve Jobs, of Albert Einstein. 00:13:24.780 |
where he discusses how a lot of the innovations 00:13:29.780 |
in the history of computing has been done by groups. 00:13:33.860 |
There's a complicated group dynamic going on. 00:13:39.340 |
that the individual is at the core of the revolution. 00:13:49.940 |
for these revolutions that creates the spark? 00:13:54.620 |
Or is it just the big mush and mess and chaos 00:13:58.820 |
of people interacting, of personalities interacting? 00:14:05.420 |
it's a lot easier for one person to have a crisp new idea 00:14:08.100 |
than it is for a big committee to have a crisp new idea. 00:14:19.180 |
And you can, I mean, this has happened to me plenty, right? 00:14:24.180 |
You have an idea, it's actually a pretty good idea, 00:14:34.540 |
And it's hard to get the thing to get traction. 00:14:38.740 |
I mean, when I look at a new kind of science, 00:14:43.660 |
so you can't tell the story of these decades. 00:14:59.140 |
Like, it feels like at some point, of course it might be, 00:15:02.620 |
but it feels at some point people will return to that book 00:15:13.580 |
- Oh yeah, it's happened, except that people aren't, 00:15:16.020 |
you know, the sort of the heroism of it may not be there. 00:15:24.540 |
if you want to make a model of things in the world, 00:15:27.060 |
mathematical equations are the best place to go. 00:15:34.620 |
most often are made with programs, not with equations. 00:15:38.620 |
Now, you know, was that sort of going to happen anyway? 00:15:48.820 |
I mean, I am always amazed at the amounts of feedback 00:15:56.100 |
because I read your book, blah, blah, blah, blah, blah. 00:16:05.860 |
- One of the interesting side effects of publishing 00:16:11.980 |
is it serves as an education tool and an inspiration 00:16:15.340 |
to hundreds of thousands, millions of people, 00:16:32.900 |
people think of it as probably more, you know, 00:16:36.900 |
conceptual inspiration than kind of a, you know, 00:17:00.500 |
That should be a big thing that lots of people do. 00:17:03.980 |
- You mean in mathematics purely, almost like- 00:17:06.340 |
- It's like pure mathematics, but it isn't mathematics. 00:17:26.900 |
I mean, you look at your competition around rule 30. 00:17:33.540 |
is there some aspect of this thing that could be predicted? 00:17:42.860 |
I think that is some people's view of what science is about, 00:17:55.340 |
what science's actual role in those kinds of things is. 00:17:58.420 |
- Oh, you think it's possible that in science, 00:18:09.540 |
I think that question is answered, and the answer is no. 00:18:13.100 |
The answer could be just humans are not smart enough yet. 00:18:20.660 |
of this principle of computational equivalence of mind. 00:18:23.300 |
And this is something which is kind of a follow-on 00:18:26.820 |
to Godel's theorem, to Turing's work on the halting problem, 00:18:39.060 |
that says that even though you may know the rules 00:19:02.060 |
- So, and then a set of tools and mathematics 00:19:07.020 |
- That's where we live, is in the pockets of reducibility. 00:19:12.500 |
that sort of come out of this physics project 00:19:15.460 |
I should have realized many years ago, but didn't, 00:19:17.900 |
it could very well be that everything about the world 00:19:23.380 |
is computationally irreducible and completely unpredictable. 00:19:29.700 |
there is at least some amount of prediction we can make. 00:19:32.500 |
And that's because we have sort of chosen a slice of, 00:19:36.540 |
probably talk about this in much more detail, 00:19:41.740 |
in which we can kind of sample a certain amount 00:19:51.620 |
And it may not be the whole story of how the universe is, 00:19:55.900 |
but it is the part of the universe that we care about 00:20:03.580 |
that's been sort of a very special case of that. 00:20:05.700 |
That is science has chosen to talk a lot about places 00:20:09.340 |
where there is this computational reducibility 00:20:16.260 |
Something about the weather is much harder to predict. 00:20:25.180 |
And it's, these are, but science has tended to 00:20:29.380 |
concentrate itself on places where its methods 00:20:35.100 |
- So you think rule 30, if we could linger on it, 00:20:38.220 |
because it's just such a beautiful, simple formulation 00:20:53.980 |
And that's, and figuring out where those pockets are, 00:21:05.820 |
But it's also, the important thing to realize 00:21:08.820 |
that has not been, you know, is that science, 00:21:44.460 |
I'm going to have my computer pick a question at random. 00:21:46.980 |
- Yeah, most likely it's going to be reducible. 00:21:50.940 |
And what we're throwing in the world, so to speak, 00:22:00.260 |
When we're throwing things by the natural world, 00:22:05.500 |
that we will be kept in this kind of zone of reducibility. 00:22:15.980 |
there's obviously huge amount of economic pain 00:22:28.740 |
to walk along the trajectory of reducibility. 00:22:38.060 |
You know, people understand generally how virus is spread, 00:23:02.700 |
figure out which variables are really important 00:23:06.620 |
in this kind of, from an epidemiological perspective. 00:23:17.380 |
So, I mean, you know, when this pandemic started up, 00:23:21.860 |
of being about to release this whole physics project thing. 00:23:31.340 |
I should do the public service thing of, you know, 00:23:33.980 |
trying to understand what I could about the pandemic. 00:23:36.020 |
And, you know, we've been curating data about it 00:23:39.300 |
But, you know, so I started looking at the data 00:23:49.860 |
It's actually clear now that there's a lot of stuff 00:23:56.020 |
And it's, you know, I think what will come out in the end 00:24:08.340 |
about this happened because, you know, of T cell immunity. 00:24:12.260 |
This happened because there's this whole giant 00:24:14.380 |
sort of field of asymptomatic viral stuff out there. 00:24:20.180 |
and that narrative, whenever there's a narrative, 00:24:24.620 |
But when you just say, "Let's from first principles 00:24:35.660 |
and you can't do that unless you know details 00:24:41.340 |
The thing that has been very sort of frustrating to see 00:24:46.340 |
is the mismatch between people's expectations 00:24:50.740 |
and what science can actually deliver, so to speak, 00:24:53.700 |
because people have this idea that, you know, it's science, 00:25:00.500 |
And, you know, this is, it is both, you know, 00:25:07.580 |
with sort of little programs in the computational universe, 00:25:11.820 |
You know, it's, I always, I'm always fond of saying, 00:25:18.260 |
That is, you know, you look at one of these things, 00:25:20.260 |
and it's like, it can't possibly do such and such a thing. 00:25:23.260 |
Then you run it, and it's like, wait a minute, 00:25:31.520 |
is that in the chaos of the irreducible universe, 00:25:35.900 |
we nevertheless persist to find those pockets. 00:25:40.260 |
That's, like you say that the limits of science, 00:25:43.060 |
but that, you know, yes, it's highly limited, 00:25:48.860 |
And like, there's so many questions I wanna ask here. 00:25:52.020 |
So one, you said narrative, which is really interesting. 00:25:54.220 |
So obviously from a, at every level of society, 00:25:58.100 |
you look at Twitter, everybody's constructing narratives 00:26:00.460 |
about the pandemic, about not just the pandemic, 00:26:03.200 |
but all the cultural tension that we're going through. 00:26:06.100 |
So there's narratives, but they're not necessarily 00:26:08.860 |
connected to the underlying reality of these systems. 00:26:14.700 |
So our human narratives, I don't even know if they're, 00:26:26.900 |
that are not actually representative of reality, 00:26:29.180 |
and thereby not giving us like good solutions 00:26:36.820 |
- Look, it gets complicated because, you know, 00:26:38.420 |
people want to say, explain the pandemic to me. 00:26:48.580 |
- Yeah, or what's going to happen, but I mean, 00:26:50.700 |
it's similar to sort of explaining things in AI 00:26:59.860 |
because of this detail and this detail and this detail 00:27:02.100 |
and a million details, and there isn't a big story to tell. 00:27:08.740 |
There's no kind of big arc of the story that says, 00:27:12.020 |
oh, it's because, you know, there's a viral field 00:27:14.500 |
that has these properties and people start showing symptoms. 00:27:20.060 |
people will show symptoms and people don't even understand, 00:27:22.300 |
you know, seasonal variation of flu, for example. 00:27:29.980 |
or it could be just a zillion little details that mount up. 00:27:33.860 |
- See, but, okay, let's pretend that this pandemic, 00:27:45.860 |
So, I mean, that's how epidemiologists model virus spread. 00:27:55.380 |
- And, okay, so you could say it's simplistic, 00:28:07.500 |
It probably is closer to the hypergraph model. 00:28:13.300 |
As we were getting ready to release this physics project, 00:28:15.340 |
we realized that a bunch of things we'd worked out 00:28:20.700 |
were directly relevant to thinking about contact tracing 00:28:27.220 |
- But, like, it just feels like we should be able 00:28:36.740 |
on the hypergraph of human civilization, right? 00:28:45.380 |
it's a funny thing 'cause it turns out the main model, 00:28:48.420 |
you know, this SIR model, I only realized recently, 00:28:51.340 |
was invented by the grandfather of a good friend of mine 00:28:58.860 |
The question is, you know, okay, so you know, 00:29:02.060 |
you know, on this graph of how humans are connected, 00:29:12.060 |
where we don't have the data about how human society works 00:29:20.580 |
of sort of what happens on different kinds of graphs 00:29:25.580 |
Okay, his basic answer is there are few general results 00:29:30.820 |
like, you know, a small number of big gatherings 00:29:33.180 |
is worse than a large number of small gatherings, okay? 00:29:38.660 |
more detailed questions, it seemed like it just depends. 00:29:44.740 |
it's kind of telling you, in that case, you know, 00:29:49.860 |
It's not, there's not gonna be this kind of one 00:29:55.140 |
and therefore this is how things are gonna work. 00:29:59.060 |
from a graph perspective, the certain kind of dynamic 00:30:02.780 |
to human interaction, so like large groups and small groups, 00:30:22.140 |
as long as the outgoing degree of that graph is small 00:30:31.340 |
of human dynamic interaction where I can still be happy, 00:30:36.500 |
and a bunch of other people that mean a lot to me 00:30:38.940 |
in my life and then stay away from the bigger, 00:30:41.700 |
I don't know, not going to a Miley Cyrus concert 00:30:44.300 |
or something like that, and figuring out mathematically 00:30:52.380 |
this is the question of what you're describing 00:30:54.760 |
is kind of the problem of the many situations 00:31:09.500 |
things that start orderly tend to get more disordered, 00:31:16.620 |
it's hard, heat is the microscopic motion of molecules, 00:31:26.260 |
and turn that into, oh, all the atoms are gonna line up 00:31:35.780 |
as how do you go from this computationally irreducible 00:31:45.740 |
now, actually, I've understood in recent years 00:31:54.380 |
but it is already an analogy. - It's interesting. 00:31:58.620 |
You can kind of see that, is can you take the, 00:32:07.820 |
the mess of all these complicated human interactions 00:32:10.100 |
and all this kind of computational processes going on, 00:32:22.180 |
of sort of mechanical work that I find helpful. 00:32:34.380 |
the curves basically, for reasons we don't understand, 00:32:38.500 |
the curves, the clearly measurable mortality curves 00:32:42.580 |
and so on for the Northern Hemisphere have gone down. 00:32:55.220 |
for the discovery of the pockets of reducibility 00:32:59.860 |
within a pandemic that's much more dangerous. 00:33:02.580 |
- Well, my guess is the specific risk of viral pandemics, 00:33:07.580 |
that the pure virology and immunology of the thing, 00:33:19.060 |
But it's, does, is the structure of modern society 00:33:29.220 |
And it's surprising to me the extent to which people, 00:33:39.380 |
That is people say, oh, because the science says this, 00:33:42.780 |
that and the other, we'll do this and this and this, 00:33:44.340 |
even though from a sort of common sense point of view, 00:33:50.460 |
and it doesn't really work in society as it is 00:33:58.620 |
- Yeah, because then, yeah, what's the alternative? 00:34:05.020 |
it's difficult to meditate on computational reducibility. 00:34:13.140 |
while knowing that you know nothing about the world. 00:34:17.860 |
this is what politicians and political leaders do 00:34:22.140 |
is you gotta make some decision about what to do. 00:34:28.260 |
- While amidst the mystery and knowing not much 00:34:33.820 |
still telling a narrative that somehow gives people hope 00:34:44.820 |
be able to get the definitive answer from science, 00:34:54.380 |
because let me point out that if that was possible, 00:34:59.240 |
then in a sense, that would be a big downer for our lives. 00:35:06.820 |
it's like, well, it's kind of fun to live one's life 00:35:11.760 |
If one could always just say, let me check my science, 00:35:15.140 |
oh, I know the result of everything is gonna be 42, 00:35:18.380 |
I don't need to live my life and do what I do, 00:35:27.700 |
that doesn't allow you to just sort of jump through time 00:35:37.220 |
to jump through time and know what the answer is. 00:35:41.020 |
Do you think we're gonna be okay as a human civilization? 00:35:47.980 |
- Do you think we'll prosper or destroy ourselves? 00:35:57.060 |
No, I think that it'll be interesting to see, 00:36:02.700 |
To me, when you look at organizations, for example, 00:36:08.140 |
having some kind of perturbation, some kick to the system, 00:36:12.900 |
usually the end result of that is actually quite good 00:36:19.580 |
And I think in this case, people, I mean, my impression, 00:36:24.900 |
because I've been a remote tech CEO for 30 years. 00:36:47.140 |
- But overall, your sense is when you shake up the system 00:36:50.980 |
and throw in chaos, that you challenge the system, 00:37:02.060 |
my sort of vague impression is that people are sort of, 00:37:16.860 |
- It's so fascinating that on the individual level, 00:37:28.300 |
of collective intelligence, where we figure out, 00:37:42.660 |
And the little humans figure out what to do about it. 00:37:45.740 |
We get like, we tweet stuff about information. 00:37:58.100 |
but there's a, just you said the computational reducibility. 00:38:11.140 |
- I mean, the thing is, if you knew everything, 00:38:20.340 |
It would be, it would reveal the pointlessness, so to speak. 00:38:39.260 |
is kind of like, it gives the meaning to life. 00:38:43.300 |
Computational reducibility is the meaning of life. 00:38:47.420 |
I mean, it's what causes it to not be something 00:38:53.500 |
you went through all those steps to live your life, 00:39:16.700 |
- Okay, well, let me just check what it thinks. 00:39:39.580 |
- And then there'll be a data point either way. 00:39:51.940 |
but can you say what computation reducibility is? 00:39:55.300 |
So the question is, if you think about things 00:40:06.100 |
something that you compute in mathematics, whatever else, 00:40:09.140 |
it's a computation in the sense it has definite rules. 00:40:11.940 |
You follow those rules, you follow them many steps, 00:40:18.380 |
So then the issue is, if you look at all these different 00:40:22.740 |
whether they're computations that are happening 00:40:26.540 |
whether they're happening in our mathematics, 00:40:32.100 |
Is, are there dumb computations and smart computations? 00:40:37.540 |
And the thing that I kind of was sort of surprised to realize 00:40:41.700 |
from a bunch of experiments that I did in the early '90s, 00:40:48.860 |
which basically says, when one of these computations, 00:40:54.300 |
doesn't seem like it's doing something obviously simple, 00:40:57.640 |
then it has reached the sort of equivalent level 00:41:00.100 |
of computational sophistication of everything. 00:41:07.220 |
gosh, I'm studying this little tiny, you know, 00:41:15.320 |
and my brain is surely much smarter than that thing. 00:41:22.060 |
because I have a more sophisticated computation 00:41:25.160 |
But what the principle of computational equivalence says 00:41:33.480 |
to the kinds of computations that are being done 00:41:42.240 |
These systems are computationally irreducible, 00:41:45.820 |
in the sense that there's no sort of shortcut 00:42:02.820 |
which by the way are an inevitable consequence 00:42:06.700 |
that there have to be these pockets scattered around 00:42:17.300 |
of a parable type thing that I think is fun to tell, 00:42:22.420 |
they were trying to predict three kinds of things. 00:42:41.860 |
of computational reducibility that, you know, 00:42:51.740 |
You know, who's gonna win or lose the battle? 00:43:03.460 |
- Yeah, I think we're doing okay on that one. 00:43:04.980 |
You know, long-term climate, different story. 00:43:07.420 |
But the weather, you know, we're much closer on that. 00:43:10.100 |
- But do you think eventually we'll figure out the weather? 00:43:15.160 |
we'll figure out the local pockets in everything, 00:43:17.660 |
essentially, the local pockets of reducibility? 00:43:19.820 |
- No, I think that it's an interesting question, 00:43:24.060 |
there is an infinite collection of these local pockets. 00:43:34.900 |
if we want to have a predictable life, so to speak, 00:43:50.700 |
have definite things to know what's gonna happen. 00:43:53.080 |
You know, I have to say, I think one of the features, 00:43:59.940 |
I suspect one of the things where people will say, 00:44:04.460 |
is stuff to do with the following kind of thing. 00:44:07.020 |
So, you know, if we describe, oh, I don't know, 00:44:16.900 |
"it's, you know, it's this temperature, this pressure." 00:44:20.820 |
Otherwise, just a bunch of random molecules bouncing around. 00:44:25.700 |
"they didn't realize that there was all this detail 00:44:27.640 |
"and how all these molecules were bouncing around 00:44:33.140 |
there's a thing I realized last week, actually, 00:44:37.180 |
one of the scenarios for the very long-term history 00:44:39.460 |
of our universe is a so-called heat death of the universe, 00:44:55.460 |
It's an outcome where there's all this computation 00:44:57.460 |
going on and all those individual gas molecules 00:44:59.440 |
are all bouncing around in very complicated ways, 00:45:04.020 |
It just happens to be a computation that right now, 00:45:10.080 |
We haven't found ways, you know, our brains haven't, 00:45:12.800 |
you know, and our mathematics and our science and so on, 00:45:15.440 |
haven't found ways to tell an interesting story about that. 00:45:20.080 |
- You're saying there's a hopeful view of the heat death, 00:45:26.760 |
where there's actual beautiful complexity going on, 00:45:30.840 |
similar to the kind of complexity we think of 00:45:38.580 |
- So those little molecules interact in complex ways. 00:45:44.440 |
I mean, this is what you learn from this principle. 00:45:48.280 |
- Right, I mean, this is what you kind of learn 00:45:49.840 |
from this principle of computational equivalence. 00:45:52.000 |
You learn it's both a message of sort of hope 00:45:59.320 |
you're not as special as you think you are, so to speak. 00:46:03.800 |
with sort of all the things we do with human intelligence 00:46:07.920 |
and all of the stuff we've constructed in science, 00:46:12.280 |
but actually it turns out, well, no, we're not. 00:46:23.560 |
The only thing about the computations that we do 00:46:42.600 |
That's, we're just attached to this kind of thing. 00:47:01.760 |
as a something where we have to sort of pick away and say, 00:47:08.320 |
to something where we have a complete formal theory 00:47:14.260 |
for long enough, we would reproduce everything, 00:47:19.640 |
this conversation at this moment, et cetera, et cetera, 00:47:22.840 |
- Any physical phenomena, any phenomena in this world? 00:47:27.080 |
But the, you know, because of computational irreducibility, 00:47:30.360 |
it's not, you know, that's not something where you say, 00:47:33.760 |
okay, you've got the fundamental theory of everything. 00:47:42.520 |
You know, that's a, no, you have to run this thing 00:47:45.480 |
for, you know, 10 to the 500 steps or something 00:47:54.240 |
this is a rule and run this rule enough times 00:48:02.400 |
a fundamental theory of physics, as far as I'm concerned, 00:48:04.720 |
is you've got this rule, it's potentially quite simple. 00:48:09.400 |
but we have various reasons to believe it might be simple. 00:48:12.600 |
And then you say, okay, I'm showing you this rule. 00:48:22.260 |
the problem of physics to a problem of mathematics, 00:48:29.800 |
There's a definite procedure, you just generate them. 00:48:36.400 |
that I'm imagining, you know, you get this rule 00:48:41.240 |
and you just run it out and you get everything 00:48:45.900 |
- So a theory of everything is a mathematical framework 00:48:52.160 |
within which you can explain everything that happens 00:48:58.640 |
It's not there's a bunch of disparate modules of... 00:49:07.080 |
and we'll talk about the Wolfram physics model, 00:49:11.160 |
which is fascinating, but if you have a simple set of rules 00:49:21.820 |
does that feel like a satisfying theory of everything? 00:49:25.120 |
Because then you really run up against the irreducibility, 00:49:32.360 |
- Right, so that's a really interesting question. 00:49:34.240 |
So I, you know, what I thought was gonna happen 00:49:38.180 |
is I thought we, you know, I thought we had a pretty good, 00:49:42.260 |
I had a pretty good idea for what the structure 00:49:45.480 |
of this sort of theory that's sort of underneath space 00:49:50.200 |
And I thought, gosh, you know, in my lifetime, so to speak, 00:49:55.080 |
in the first 10 to the minus 100 seconds of the universe. 00:49:58.180 |
And that would be cool, but it's pretty far away 00:50:03.880 |
And it will be hard to test whether that's right 00:50:07.560 |
To my huge surprise, although it should have been obvious, 00:50:10.500 |
and it's embarrassing that it wasn't obvious to me, 00:50:15.620 |
we managed to get unbelievably much further than that. 00:50:18.420 |
And basically what happened is that it turns out 00:50:25.300 |
that sort of all these simple rules run into, 00:50:30.100 |
there are certain pieces of computational reducibility 00:50:46.060 |
are basically the pillars of 20th century physics. 00:50:50.300 |
that general relativity and quantum field theory, 00:50:52.740 |
the sort of the pillars of 20th century physics 00:50:55.540 |
turn out to be precisely the stuff you can say. 00:51:00.900 |
There's a lot that's kind of at this irreducible level 00:51:03.420 |
where you kind of don't know what's going to happen. 00:51:06.100 |
You know, you can't run it within our universe, 00:51:07.860 |
et cetera, et cetera, et cetera, et cetera, et cetera. 00:51:10.300 |
But the thing is there are things you can say 00:51:13.620 |
and the things you can say turn out to be very beautifully, 00:51:21.580 |
namely general relativity and quantum mechanics. 00:51:24.100 |
- And general relativity and quantum mechanics 00:51:27.040 |
are these pockets of reducibility that we think of as, 00:51:49.980 |
is we didn't know where those things came from. 00:51:54.500 |
it's a very nice mathematically elegant theory. 00:52:14.020 |
And that's the thing that is sort of remarkable. 00:52:20.820 |
I mean, it's, and the thing that's even more beautiful 00:52:28.180 |
theory of gravity relate to quantum mechanics? 00:52:30.580 |
They seem to have all kinds of incompatibilities. 00:52:32.900 |
It turns out what we realized is at some level, 00:52:37.520 |
And that's just, it's just great as far as I'm concerned. 00:52:52.500 |
but from the perspective of 20th century physics, 00:53:00.900 |
from the context of the theory of everything? 00:53:06.580 |
So I mean, you know, a little bit of history of physics. 00:53:16.240 |
in ancient Greek times, people basically said, 00:53:24.540 |
You know, some philosophers thought there were atoms. 00:53:26.580 |
Some philosophers thought there were, you know, 00:53:30.580 |
People had different ideas about how the world works. 00:53:33.820 |
we're gonna construct this idea of how the world works. 00:53:38.180 |
of doing experiments and so on quite the same way 00:53:43.300 |
for thinking about sort of models of the world. 00:53:46.620 |
Then by the time of 1600s, time of Galileo and then Newton, 00:53:57.620 |
Mathematical Principles of Natural Philosophy. 00:54:00.420 |
We can use mathematics to understand natural philosophy, 00:54:04.220 |
to understand things about the way the world works. 00:54:07.100 |
And so that then led to this kind of idea that, you know, 00:54:21.140 |
that allowed him to compute all sorts of features 00:54:27.980 |
for people to actually be able to do the math 00:54:36.300 |
We don't really know where these equations come from. 00:54:40.960 |
we work out the consequences and we say, yes, 00:54:49.500 |
And then the first of these two sort of great 00:54:55.460 |
well, the history is actually a little bit more complicated, 00:55:05.420 |
was kind of the very early stuff done by Planck 00:55:08.380 |
that led to the idea of photons, particles of light. 00:55:14.900 |
One feature of the story is that special relativity, 00:55:31.460 |
that were sort of axiomatically thought to be true 00:55:42.020 |
of some existing theories in the more recent times, 00:55:45.900 |
where it had just been, we write down an equation 00:56:01.920 |
you shine a flashlight, the light will come out. 00:56:05.080 |
Even if you're going at half the speed of light, 00:56:07.140 |
the light doesn't come out of your flashlight 00:56:13.080 |
And to make that work, you have to change your view 00:56:15.780 |
of how space and time work to be able to account 00:56:42.480 |
is it's a theory that says when there is mass in space, 00:56:51.720 |
You usually you think of what's the shortest distance 00:56:55.140 |
between two points, like ordinarily on a plane in space, 00:57:13.560 |
the shortest distance between two points is a great circle. 00:57:18.600 |
So Einstein's observation was maybe the physical 00:57:23.000 |
structure of space is such that space is curved. 00:57:34.160 |
And in particular, if a photon is traveling near the sun 00:57:47.360 |
something which looks curved to us because it seems curved 00:57:49.800 |
to us because space has been deformed by the presence 00:57:55.480 |
So the kind of the idea there is think of the structure 00:58:00.480 |
of space as being a dynamical changing kind of thing. 00:58:05.520 |
these differential equations that basically represented 00:58:09.240 |
the curvature of space and its response to the presence 00:58:13.040 |
- And that ultimately is connected to the force 00:58:16.740 |
of gravity, which is one of the forces that seems to, 00:58:20.600 |
based on its strength, operate on a different scale 00:58:27.760 |
- What happens there is just this curvature of space 00:58:32.160 |
which causes the paths of objects to be deflected. 00:58:37.200 |
It causes the paths of objects to be deflected. 00:58:39.720 |
And this is an explanation for gravity, so to speak. 00:58:43.160 |
And the surprise is that from 1915 until today, 00:58:52.160 |
And that it wasn't clear black holes were sort of a, 00:58:59.560 |
although Einstein tried to sort of patch up his equations 00:59:10.480 |
and he should have just trusted the equations. 00:59:14.480 |
interested in making fundamental theories of physics 00:59:18.640 |
and not try and patch it because of something 00:59:25.320 |
- Even if the theory says something crazy is happening. 00:59:38.560 |
were a consequence of general relativity and so on. 00:59:42.140 |
But that's some, the big surprise has been that so far, 00:59:51.840 |
seen by the gravitational waves, it all just works. 00:59:55.840 |
So that's been kind of one pillar of the story of physics. 01:00:00.560 |
to work out the consequences of general relativity, 01:00:05.680 |
and some things are kind of squiggly and complicated, 01:00:12.040 |
Okay, well, energy conservation doesn't really work 01:00:26.320 |
you're operating in and so on and so on and so on. 01:00:28.320 |
But fundamentally, general relativity is a straight shot 01:00:34.880 |
- And that theory is useful in terms of basic science 01:00:39.280 |
and trying to understand the way black holes work, 01:00:43.560 |
sort of all of these kind of cosmological thing, 01:00:45.840 |
understanding what happened, like you said, at the Big Bang. 01:00:50.560 |
well, no, not at the Big Bang, actually, right? 01:00:52.880 |
- Well, features of the expansion of the universe, yes. 01:01:07.640 |
of general relativity, it all works very beautifully. 01:01:10.080 |
And it's, in a sense, it is mathematically sophisticated, 01:01:13.720 |
but it is not conceptually hard to understand in some sense. 01:01:22.080 |
Quantum mechanics. - Quantum mechanics, right. 01:01:40.020 |
Is it made of particles, corpuscles, whatever? 01:01:42.600 |
What had become clear in the 1800s is that atoms, 01:02:00.760 |
smaller and smaller and smaller and smaller scale, 01:02:02.480 |
eventually you get down to these molecules and then atoms. 01:02:21.720 |
Well, there's a question, I mean, for example, 01:02:35.680 |
there was this kind of mathematical theory developed 01:02:37.680 |
that could explain certain kinds of discreteness 01:02:40.440 |
in particularly in features of atoms and so on. 01:02:44.280 |
And, you know, what developed was this mathematical theory 01:02:50.160 |
theory of wave functions, Schrodinger's equation, 01:02:53.640 |
That's a mathematical theory that allows you to calculate 01:03:11.260 |
Now, I mean, to just explain a little bit historically, 01:03:14.240 |
the, you know, the early calculations of things like atoms 01:03:22.660 |
in quantum field theory, which is a theory of, 01:03:26.400 |
in quantum mechanics, you're dealing with a certain number 01:03:31.940 |
You say, I'm dealing with a two electron thing. 01:03:34.900 |
In quantum field theory, you allow for particles 01:03:38.880 |
So you can emit a photon that didn't exist before. 01:03:52.920 |
But there were only certain ways of doing the calculations. 01:03:59.640 |
And that led to a lot of development up until the 1960s 01:04:03.800 |
of alternative ideas for how one could understand 01:04:07.160 |
what was happening in atomic nuclei, et cetera, et cetera, 01:04:13.960 |
obvious mathematical structure of quantum field theory 01:04:17.220 |
seems to work, although it's mathematically difficult 01:04:19.780 |
to deal with, but you can calculate all kinds of things. 01:04:22.980 |
You can calculate to, you know, a dozen decimal places, 01:04:44.120 |
there's like you say, the temperature field in this room. 01:04:54.000 |
would be the vector direction of the wind at every point. 01:05:00.200 |
The quantum field is a much more mathematically 01:05:04.320 |
And I should explain that one of the pictures 01:05:34.840 |
And we can calculate certain aspects of what happens, 01:05:37.840 |
certain probabilities of different outcomes and so on. 01:05:43.440 |
What's the sort of, what's the underlying, you know, 01:05:46.880 |
What, how do we, how do we turn this mathematical theory 01:05:50.680 |
that we can calculate things with into something 01:05:53.040 |
that we can really understand and have a narrative about? 01:05:56.400 |
And that's been really, really hard for quantum mechanics. 01:06:06.440 |
out of calculating things about quantum mechanics. 01:06:11.760 |
- But nevertheless, it's what the quantum field theory 01:06:21.720 |
- Yeah, but there are things about it, you know, 01:06:26.160 |
the standard model of particle physics, for example, 01:06:33.440 |
And you say, well, it has certain parameters. 01:06:34.880 |
It has a whole bunch of parameters, actually. 01:06:41.560 |
Why is it 206 times the mass of the electron? 01:06:50.880 |
for describing three of the fundamental forces of physics. 01:06:55.200 |
And it's looking at the world of the very small. 01:07:04.760 |
So, and in the context of a theory of everything, 01:07:07.640 |
what's traditionally the task of the unification 01:07:16.000 |
- Well, the issue is, you try to use the methods 01:07:18.160 |
of quantum field theory to talk about gravity, 01:07:27.960 |
And when you try and compute sort of the properties 01:07:32.680 |
the kind of mathematical tricks that get used 01:07:36.040 |
in working things out in quantum field theory don't work. 01:07:39.240 |
And that's, so that's been a sort of fundamental issue. 01:07:44.800 |
which are a place where sort of the structure of space 01:07:58.720 |
and there are apparent paradoxes and things like that. 01:08:01.320 |
And people have, you know, there have been a bunch 01:08:03.720 |
of mathematical developments in physics over the last, 01:08:08.600 |
which have kind of picked away at those kinds of issues 01:08:22.840 |
here's quantum field theory, you know, be happy. 01:08:25.800 |
- Yeah, so do you think there's a quantization of gravity, 01:08:28.840 |
so quantum gravity, what do you think of efforts 01:08:36.360 |
of the physics community to try to unify these laws? 01:08:41.320 |
I mean, I would have said something very different 01:08:43.360 |
before what's happened with our physics project. 01:08:55.560 |
underlying set of ideas, we've been able to build this, 01:09:06.880 |
And the big surprise, as far as I'm concerned, 01:09:09.240 |
is that it touches many of the ideas that people have had. 01:09:12.960 |
So in other words, things like string theory and so on, 01:09:15.520 |
twister theory, it's like, you know, we might've thought, 01:09:21.000 |
we're building something that's computational, 01:09:22.640 |
it's completely different from what other people have done. 01:09:27.320 |
is to provide essentially the machine code that, 01:09:35.440 |
that talk about various aspects of this machine code. 01:09:37.920 |
And I think there's a, this is something that to me 01:09:40.320 |
is very exciting because it allows one both for us 01:09:48.440 |
and for all the work that's been done in those areas 01:09:52.000 |
to, you know, to give us, you know, more momentum 01:09:58.840 |
oh, we're just gonna be able to get, you know, 01:10:04.920 |
And I think we now kind of can see a little bit 01:10:07.640 |
about just sort of how far away certain kinds of things are 01:10:31.400 |
the first 10 to the minus 100 seconds of the universe. 01:10:37.680 |
It's just turned out it actually wasn't that hard. 01:10:42.520 |
- So you're seeing echoes of all the disparate theories 01:11:00.600 |
You know, Turing machines were invented in 1936. 01:11:07.240 |
but actually there had been preexisting theories 01:11:09.920 |
of computation, combinators, general recursive functions, 01:11:14.880 |
But people hadn't, those hadn't been concrete enough 01:11:18.240 |
that people could really wrap their arms around them 01:11:21.760 |
And I think what we're gonna see in this case 01:11:23.440 |
is that a bunch of these mathematical theories, 01:11:28.000 |
I mean, one of the things that's really interesting 01:11:37.480 |
things about infinity groupoids, things like this, 01:11:41.720 |
they were floating off into the stratosphere, 01:11:46.760 |
turn out to be things which our sort of theory 01:12:21.400 |
a view of the universe is at least the right mountain. 01:12:25.640 |
- We're the right mountain, yes, without question. 01:12:28.360 |
- So which aspect of it is the right mountain? 01:12:54.480 |
You start from nothing, you generate everything. 01:13:04.120 |
from simplicity generating complexity is the right? 01:13:06.600 |
Like what aspect of the mountain is the correct? 01:13:12.760 |
about using simple computational systems to do things, 01:13:28.560 |
and allow one to actually understand what's going on. 01:13:33.600 |
We know that there's a large number of different ways 01:13:38.600 |
I mean, I can describe things in terms of hypergraphs. 01:13:41.120 |
I can describe them in terms of higher category theory. 01:13:43.480 |
I can describe them in a bunch of different ways. 01:13:50.240 |
and the kind of cultural mathematical resonances 01:13:56.760 |
sort of saying a little bit about kind of the, 01:13:58.840 |
the foundational ideas of these models and things. 01:14:11.120 |
but can you say like what the central idea is 01:14:17.520 |
So the question is we're interested in finding 01:14:26.320 |
That's such a beautiful, that's such a beautiful idea 01:14:30.920 |
that we can generate our universe from a data structure, 01:14:55.160 |
if you're going to pack everything about a universe 01:14:59.040 |
not much that we are familiar with in our universe 01:15:04.000 |
So you don't get to fit all these parameters of the universe, 01:15:07.920 |
all these features of, you know, this is how space works, 01:15:10.120 |
this is how time works, et cetera, et cetera, et cetera. 01:15:13.080 |
It all has to be sort of packed in to this, this thing, 01:15:18.640 |
much lower level machine code, so to speak, than that. 01:15:38.360 |
what you're going to have for lunch tomorrow. 01:15:42.200 |
basically anything about your life, about the universe. 01:15:44.800 |
- Right, but, and you're not going to be able to see 01:15:49.160 |
for the number of dimensions of space and so on. 01:16:04.880 |
that I think in some cases just turn out not to be right. 01:16:21.520 |
We can pick a point absolutely anywhere in space. 01:16:24.320 |
Precise numbers, we can specify of where that point is. 01:16:30.320 |
the original kind of axiomatization of geometry 01:16:32.960 |
back in 300 BC or so, his very first definition, he says, 01:16:40.680 |
A point is this indivisible, infinitesimal thing. 01:16:45.680 |
Okay, so we might've said that about material objects. 01:16:50.440 |
We might've said that about water, for example. 01:16:54.820 |
that we can just pick any point we want in some water. 01:17:00.780 |
We know that water is made of molecules that are discrete. 01:17:04.140 |
And so the question, one fundamental question 01:17:08.360 |
And so one of the things that's sort of a starting point 01:17:10.880 |
for what I've done is to think of space as a discrete thing, 01:17:15.640 |
to think of there being sort of atoms of space 01:17:25.600 |
there were ancient Greek philosophers who had this idea. 01:17:35.520 |
We don't have the mathematical tools in our time, 01:17:38.680 |
which was 1940s, 1950s, and so on, to explore this. 01:17:42.520 |
- Like the way he thought, you mean that there is something 01:17:45.820 |
very, very small and discrete that's underlying space? 01:17:50.820 |
- Yes, and that means that, so the mathematical theory, 01:17:56.580 |
mathematical theories in physics assume that space 01:18:07.820 |
Space is this just sort of background sort of theater 01:18:13.580 |
- But can we draw a distinction between space 01:18:34.340 |
- So you think this 3D aspect of it is fundamental? 01:18:38.460 |
- No, I don't think that 3D is fundamental at all, actually. 01:18:53.140 |
is that you can describe it by precise numbers, 01:19:04.260 |
That's what, you know, Newton invented calculus 01:19:11.380 |
From Euclid on, that's been a fundamental idea about space. 01:19:20.940 |
It's right at the level of our experience most of the time. 01:19:25.700 |
It's not right at the level of the machine code, 01:19:31.020 |
Yeah, of the simulation, that's right, that's right. 01:19:33.660 |
The very lowest level of the fabric of the universe, 01:20:10.500 |
We don't get to say, this is a position such and such. 01:20:16.100 |
there might be 10 to the 100 of these points. 01:20:23.460 |
all we have is the friend network, so to speak. 01:20:25.540 |
We don't have, you know, people's physical addresses. 01:20:29.100 |
All we have is the friend network of these points. 01:20:35.180 |
We don't know their location, but we have the friends. 01:20:38.020 |
We know which point is connected to which other points. 01:20:44.820 |
can you get something which is like our experience 01:20:48.260 |
of, you know, what seems like continuous space? 01:20:51.580 |
by the time you have 10 to the 100 of these things, 01:21:07.740 |
- Because they're much, much, much, much larger. 01:21:14.460 |
we're talking about is just a humongous amount. 01:21:32.740 |
So, you know, the size of, to give a comparison, 01:21:34.860 |
you know, the size of a proton is 10 to the minus 15 meters. 01:21:38.460 |
And so this is something incredibly tiny compared to that. 01:21:45.940 |
the experience of continuous space is mind-blowing. 01:21:53.500 |
Like, first of all, I mean, we'll get into it, 01:22:01.860 |
but the construct of hypergraphs is just beautiful. 01:22:14.220 |
is in today's world is actually not so surprising. 01:22:17.260 |
I mean, you know, your average computer screen, right? 01:22:19.500 |
Every computer screen is made of discrete pixels, 01:22:23.740 |
we have the idea that we're seeing these continuous pictures. 01:22:27.060 |
I mean, it's, you know, the fact that on a large scale, 01:22:29.540 |
continuity can arise from lots of discrete elements. 01:22:37.060 |
but the pixels have a very definitive structure 01:22:51.860 |
inherent in the underlying fabric of reality. 01:22:56.740 |
So the point is, but there are cases where there are. 01:23:07.700 |
and it's connected to four other atoms of space 01:23:10.860 |
on the, you know, northeast, southwest corners, right? 01:23:14.500 |
There you have something where if you zoom out from that, 01:23:19.060 |
- Yeah, so the relationship creates the spatial, 01:23:31.740 |
like, yeah, like a, basically a spatial coordinate 01:23:38.140 |
- Even though the individual point doesn't have a spatial. 01:23:40.580 |
- Even though the individual point doesn't know anything, 01:23:42.340 |
it just knows what its, you know, what its neighbors are. 01:23:44.820 |
The, on a large scale, it can be described by saying, 01:23:52.820 |
You can say, well, you can describe these different points 01:23:54.940 |
by saying they have certain positions, coordinates, 01:24:03.100 |
It's something much more dynamic and complicated, 01:24:19.380 |
Well, so the simplest kind of thing you might say 01:24:30.940 |
out of these connections that go between atoms of space. 01:24:36.420 |
from this place to the, from this atom to this atom. 01:24:40.660 |
'cause there's a lot of very people that listen to this. 01:24:44.540 |
Just to clarify, 'cause I did a poll, actually. 01:24:46.980 |
What do you think a graph is a long time ago? 01:24:52.100 |
know the term graph outside of computer science. 01:24:59.180 |
So, but every time, I like the word graph, though. 01:25:06.660 |
And it's just nodes represent some abstract entity, 01:25:20.660 |
- That is the simplest case of a basic structure. 01:25:23.420 |
Actually, it tends to be better to think about hypergraphs. 01:25:31.620 |
there are connections between pairs of things, 01:25:34.660 |
we say there are connections between any number of things. 01:25:42.980 |
are connected by an edge, you say three points 01:25:54.180 |
It's a detail that happens to make the, for me, 01:25:57.660 |
you know, sort of in the history of this project, 01:26:00.060 |
the realization that you could do things that way 01:26:07.940 |
- I mean, a hypergraph can be mapped to a graph. 01:26:14.420 |
mathematically speaking. - Right, that's correct. 01:26:17.020 |
But so then, so, okay, so the first question, 01:26:33.940 |
people have said there's space, it's kind of a background, 01:26:37.020 |
and then there's matter, all these particles, 01:26:48.420 |
So in other words, everything that exists in the universe 01:26:58.660 |
there are certain structures in this hypergraph 01:27:01.660 |
where you say that little twisty, knotted thing, 01:27:07.260 |
but we have sort of idea about how it works mathematically. 01:27:14.860 |
This thing over there that has this different form, 01:27:18.540 |
- So the different peculiarities of the structure 01:27:25.300 |
we think of as the particles inside the space, 01:27:29.020 |
but in fact, it's just the property of the space. 01:27:40.340 |
- But that's space, and then there's another concept 01:27:45.860 |
but you think of computation as a transformation. 01:28:03.620 |
The features of that hypergraph, you can say, 01:28:09.660 |
represent the presence of energy, for example, 01:28:13.980 |
and we know what the features of the hypergraph 01:28:22.220 |
if you just look at this hypergraph and you say, 01:28:24.260 |
and we're gonna talk about sort of what the hypergraph does, 01:28:30.020 |
in this hypergraph is things we know and care about, 01:28:37.540 |
and how much is just the background of space? 01:28:40.900 |
So it turns out, so far as in one rough estimate of this, 01:28:45.260 |
or everything that we care about in the universe 01:28:54.060 |
is purely things that maintain the structure of space. 01:29:13.860 |
mostly, I can't say intended, there's no intention here, 01:29:21.980 |
It just makes me feel so good as a human being. 01:29:26.700 |
To be the froth on the one in the 10 to the-- 01:29:39.900 |
how much work needs to be done on the infrastructure 01:29:44.860 |
Right, to maintain the infrastructure of our universe 01:29:53.380 |
But you were just starting to talk a little bit about, 01:29:59.780 |
that represents all the stuff that's in the universe. 01:30:06.060 |
And for that, we have to start talking about time 01:30:17.980 |
So in other words, we have a structure of space 01:30:21.020 |
and there is a rule that says how that structure of space 01:30:35.980 |
- Right, so what the rule says is something like, 01:30:38.660 |
if you have a little tiny piece of hypergraph 01:30:42.220 |
then it will be transformed into a piece of hypergraph 01:30:51.260 |
and you can think of these edges, these hyper edges 01:30:55.180 |
as being relations between elements in space. 01:31:03.260 |
And we're not saying where those elements are 01:31:04.820 |
or what they are, but every time there's a certain 01:31:09.220 |
then arrangement in the sense of the way they're connected, 01:31:12.220 |
then we transform it into some other arrangement. 01:31:16.300 |
and you transform it into another little pattern. 01:31:21.500 |
it's kind of similar to cellular automata in that like, 01:31:40.980 |
And what you're doing is you're applying that rule 01:31:43.540 |
to different parts, like anytime you match it 01:31:49.500 |
- And then one of the like incredibly beautiful 01:31:53.100 |
and interesting things to think about is the order 01:31:59.260 |
Because that pattern appears all over the place. 01:32:01.980 |
- Right, so this is a big, complicated thing, 01:32:33.500 |
in computer science terms sort of asynchronously. 01:32:35.860 |
You're just doing it wherever you feel like doing it. 01:32:38.980 |
And the only constraint is that if you're going 01:32:46.700 |
the little elements to which you apply the rule, 01:32:54.940 |
you can think of each application of the rule 01:32:56.500 |
as being kind of an event that happens in the universe. 01:33:17.180 |
before another transformation that's going to apply 01:33:23.220 |
- Yeah, so that's like the prerequisite for the event. 01:33:33.860 |
It says this event has to have happened before this event. 01:34:01.020 |
well, okay, so this question about the freedom 01:34:07.220 |
well, let me sort of state an answer and then explain it. 01:34:11.060 |
The validity of special relativity is a consequence 01:34:15.500 |
of the fact that in some sense it doesn't matter 01:34:25.380 |
- So that's, the part that's in a certain sense 01:34:31.820 |
but the fact that it sometimes doesn't matter, 01:34:35.660 |
that's a, I don't know, that's another beautiful thing. 01:34:39.180 |
- So there's this idea of what I call causal invariance. 01:34:44.060 |
So that's a really, really powerful, powerful idea. 01:34:51.340 |
of mathematics, mathematical logic, even computer science, 01:34:56.780 |
I mean, our particular version of it is a little bit tighter 01:34:59.260 |
than other versions, but it's basically the same idea. 01:35:08.100 |
Let's say you're doing algebra and you're told, 01:35:16.780 |
You say, well, which order should I do that in? 01:35:19.140 |
Say, well, do I multiply the third one by the fourth one 01:35:31.580 |
That's a property, if you think about kind of making 01:35:37.100 |
in what order you do things, you'll get different orders 01:35:40.700 |
for different ways of multiplying things out, 01:35:48.900 |
they're in some random order, you know, BAA, BBBAA, 01:35:54.380 |
that says every time you see BA, flip it around to AB, okay? 01:36:02.300 |
you'll have sorted the string so that it's all the A's first 01:36:10.060 |
in which you can do that, many different sort of places 01:36:15.300 |
In the end, you'll always get the string sorted 01:36:18.500 |
- I know with sorting a string, it sounds obvious. 01:36:28.300 |
obviously with a string, but in a hypergraph, 01:36:33.340 |
a synchronous rule can lead to the same results sometimes. 01:36:40.700 |
I sort of discovered that idea for these kinds of systems 01:36:44.060 |
and back in the 1990s, and for various reasons, 01:36:56.300 |
which is that it turns out that even if the underlying rule 01:37:01.060 |
does not have this property of causal invariance, 01:37:03.860 |
it can turn out that every observation made by observers 01:37:13.820 |
We can explain that, it's a little bit more complicated. 01:37:15.460 |
I mean, technically that has to do with this idea 01:37:17.940 |
of completions, which is something that comes up 01:37:20.100 |
in term rewriting systems, automated theorem proving systems 01:37:23.100 |
and so on, but let's ignore that for a second. 01:37:35.500 |
as you apply these rules in an asynchronous way, 01:37:39.420 |
you can think of those transformations as events. 01:37:42.140 |
So there's this hypergraph that represents space 01:37:44.340 |
and all of these events happening in the space, 01:37:46.980 |
and the graph grows in interesting, complicated ways, 01:37:50.420 |
and eventually the froth arises of what we experience 01:38:03.580 |
- Right, so one thing that is sort of surprising 01:38:06.740 |
in this theory is one of the sort of achievements 01:38:10.060 |
of 20th century physics was kind of bringing space 01:38:13.860 |
That was special relativity, people talk about 01:38:16.500 |
space-time, this sort of unified thing where space 01:38:20.060 |
and time kind of are mixed, and there's a nice 01:38:22.580 |
mathematical formalism in which space and time 01:38:27.260 |
sort of appear as part of the space-time continuum, 01:38:30.780 |
the space-time four vectors and things like this. 01:38:38.820 |
It's, you know, and it seems like the theory of relativity 01:38:42.180 |
sort of says space and time are fundamentally 01:38:45.420 |
So one of the things that took a while to understand 01:38:48.700 |
in this approach of mine is that in my kind of approach, 01:39:00.500 |
time is the kind of progress of this inexorable computation 01:39:04.420 |
of these rules getting applied to the hypergraph. 01:39:07.060 |
So they seem like very different kinds of things. 01:39:10.020 |
And so that, at first, seems like how can that 01:39:21.620 |
Well, it turns out that when you have causal invariance, 01:39:26.140 |
that, and let's see, we can, it's worth explaining 01:39:31.020 |
It's a little bit elaborate, but the basic point is 01:39:39.940 |
from very different places, it turns out that the rules 01:39:43.660 |
of sort of space time that special relativity talks about 01:39:56.100 |
in terms of when you're looking at large enough systems, 01:39:59.500 |
the part of that story is when you look at some fluid 01:40:07.860 |
Those equations are things that apply on a large scale. 01:40:14.420 |
they don't know anything about those equations. 01:40:19.340 |
of those molecules turns out to follow those equations. 01:40:22.820 |
And it's the same kind of thing happening in our models. 01:40:32.540 |
at the lowest level of the model, which is space. 01:40:35.980 |
The hypergraph time is the evolution of this hypergraph. 01:40:39.860 |
But there's also space time that we think about 01:40:43.160 |
in general relativity for your special relativity. 01:40:46.400 |
Like what, how do you go from the lowest source code 01:40:55.940 |
to the more traditional terminology of space and time? 01:40:59.020 |
So the key thing is this thing we call the causal graph. 01:41:01.820 |
So the causal graph is the graph of causal relationships 01:41:06.660 |
So every one of these little updating events, 01:41:10.300 |
of the hypergraph happens somewhere in the hypergraph, 01:41:18.240 |
That event has a causal relationship to other events 01:41:22.280 |
in the sense that if another event needs as its input, 01:41:29.420 |
there will be a causal relationship of the future event 01:41:37.980 |
So you can make this graph of causal relationships 01:41:44.180 |
causal invariance implies that that graph is unique. 01:41:51.220 |
oh, I'm, you know, let's say we were sorting a string. 01:41:53.520 |
For example, I did that particular transposition 01:42:00.140 |
Turns out if you look at the network of connections 01:42:02.960 |
between those updating events, that network is the same. 01:42:17.060 |
the places where you put the nodes of the network 01:42:20.020 |
will be different, but the way the nodes are connected 01:42:27.280 |
it's kind of an observate, it's not enforced. 01:42:36.380 |
- It's characteristic, I guess, of the way events happen. 01:42:42.540 |
And so that creates this network of causal relationships. 01:42:56.400 |
you have to sort of make sense of this causal graph. 01:43:05.040 |
And so that means, so let me give you an example 01:43:08.380 |
So imagine we have a really weird theory of physics 01:43:11.140 |
of the world where it says this updating process, 01:43:15.100 |
there's only going to be one update at every moment in time. 01:43:18.180 |
And there's just going to be like a Turing machine 01:43:21.540 |
and just is always just updating one thing at a time. 01:43:27.480 |
there's just this one little place where things get updated. 01:43:34.340 |
that things are being updated sort of at the same time. 01:43:37.420 |
- Asynchronously, yeah, or at the same time, yeah. 01:43:42.440 |
if I'm talking to you and you seem to be being updated 01:43:51.000 |
I will not know whether you've been updated or not 01:43:55.440 |
So in other words, when you draw this causal graph 01:43:58.640 |
of the causal relationship between the updatings in you 01:44:04.400 |
whether even though the underlying sort of story 01:44:07.120 |
of what happens is, oh, there's just this one little thing 01:44:10.120 |
and it goes and updates in different places in the universe. 01:44:18.040 |
Is that clear that there's a unique causal graph? 01:44:24.240 |
- So it's okay to think of what we're talking about 01:44:30.600 |
as a kind of Turing machine with a single head, 01:44:32.960 |
like a single guy running around updating stuff. 01:44:35.740 |
Is that safe to intuitively think of it this way? 01:44:47.960 |
the reason I'm pausing for a second is that I'm wondering, 01:44:55.840 |
depends how far it jumps every time it runs around. 01:45:01.960 |
- Yeah, you can think of it as one operation at a time. 01:45:03.760 |
- It's easier for the human brain to think of it that way 01:45:08.280 |
- Well, maybe it's not, okay, but the thing is 01:45:15.760 |
everything seems to be happening at successive moments 01:45:25.580 |
I mean, that is the speed of light is really fast 01:45:30.680 |
I can see maybe a hundred feet away right now. 01:45:38.960 |
in the time it takes light to go a hundred feet. 01:45:41.480 |
- The brain operates at a scale of hundreds of milliseconds 01:45:47.760 |
- Right, light goes in a billionth of a second, 01:45:53.880 |
- There's certain moments through this conversation 01:46:03.780 |
modeled by a hypergraph that are communicating 01:46:06.020 |
with each other and experiencing this whole thing 01:46:15.420 |
but there's something much, much deeper going on here. 01:46:19.900 |
- It's paralyzing sometimes just to remember that. 01:46:40.100 |
that represents the sort of causal relationships 01:46:43.800 |
That causal graph kind of is a representation of space-time, 01:46:53.000 |
This is kind of a key idea, Einstein had this idea 01:47:03.380 |
sort of what we define as simultaneous moments in time. 01:47:13.100 |
You know, if we've got a spacecraft landing on Mars, 01:47:19.540 |
Was it, you know, even though there's a 20-minute 01:47:25.380 |
How do we set up sort of time coordinates for the world? 01:47:30.020 |
And that turns out to be, there's kind of this arbitrariness 01:47:35.960 |
that define sort of what counts as simultaneous. 01:47:39.200 |
And what is the essence of special relativity 01:47:44.340 |
at different speeds and to think about sort of 01:47:52.320 |
That's all a bit technical, but the basic bottom line is 01:47:58.920 |
that means that it's always the same causal graph, 01:48:01.780 |
independent of how you slice it with these reference frames, 01:48:04.760 |
you'll always sort of see the same physical processes go on. 01:48:07.840 |
And that's basically why special relativity works. 01:48:10.360 |
- So there's something like special relativity, 01:48:22.920 |
- Right, well, you know, one way to think about it is 01:48:33.200 |
at the causal relationships between connected updates, 01:48:39.800 |
that together with the fact that there are lots 01:48:41.540 |
of these things and that you can take a continuum limit 01:48:52.920 |
it was completely unobvious when you started off 01:48:57.880 |
it's being updated in time, et cetera, et cetera, et cetera, 01:49:00.200 |
that just looks like nothing to do with special relativity. 01:49:08.280 |
this was stuff that I figured out back in the 1990s. 01:49:11.160 |
The next big thing you get is general relativity. 01:49:22.440 |
you can think of as being just like, you know, 01:49:27.040 |
So this hypergraph seems continuous on a large scale. 01:49:31.660 |
how many dimensions of space does it correspond to? 01:49:39.480 |
how do you deduce what effective dimension of space 01:49:50.520 |
and you look at how many neighbors does that point have? 01:49:59.960 |
What you realize is, as you go more and more levels out, 01:50:02.760 |
as you go more and more distance on the graph out, 01:50:05.880 |
you're capturing something which is essentially a circle 01:50:11.440 |
the number of the area of a circle is pi r squared. 01:50:18.360 |
goes up like the distance you've gone squared. 01:50:37.720 |
the effective dimension of one of these graphs. 01:50:47.360 |
they're often visualized in three dimensions. 01:50:50.920 |
- And then there's a certain kind of structure. 01:50:53.040 |
Like you said, there's, I mean, a circle, a sphere. 01:50:58.880 |
There's a planar aspect to it, to this graph, 01:51:03.680 |
to where it kinda, it almost starts creating a surface, 01:51:09.120 |
So how does that connect to effective dimension? 01:51:11.880 |
- Okay, so I mean, if you can lay out the graph 01:51:25.640 |
then it's gonna approximate a two-dimensional thing. 01:51:31.200 |
in two dimensions, then it's not approximating 01:51:34.080 |
Maybe you can lay it out in three dimensions. 01:51:36.160 |
Maybe you have to lay it out in five dimensions 01:51:46.040 |
but there's an infinity number of possible rules. 01:51:55.760 |
the kind of structures that are reminiscent for, 01:52:00.600 |
that have echoes of the different physics theories in them. 01:52:05.080 |
So what kind of rules, is there something simple 01:52:15.400 |
one of the features of computational irreducibility is 01:52:28.920 |
'cause they're gonna be the ones that are gonna work. 01:52:30.960 |
That's, you can make some statements along those lines, 01:52:35.220 |
Now, you know, the state of what we've been able to do 01:52:38.280 |
is, you know, different properties of the universe, 01:52:40.700 |
like dimensionality, you know, integer dimensionality, 01:52:44.620 |
features of other features of quantum mechanics, 01:52:48.980 |
At this point, what we've got is we've got rules 01:53:06.980 |
the Wolfram Physics Project, which is, you know, 01:53:11.380 |
something that's been in your brain for a long time, 01:53:23.300 |
I'll try to publish this conversation as quickly as possible 01:53:27.820 |
already new things will probably have come out. 01:53:45.180 |
- That progress of time, there's a causal graph 01:53:53.720 |
of, yeah, of science within the Wolfram Physics model 01:53:58.660 |
is to try different rules and see which properties 01:54:02.540 |
of physics that we know of, known physical theories, 01:54:06.120 |
are, appear within the graphs that emerge from that rule. 01:54:16.060 |
- It turns out we can do a lot better than that. 01:54:18.180 |
It turns out that using kind of mathematical ideas, 01:54:34.100 |
In other words, the idea of you just try a bunch of rules 01:54:37.780 |
that's what I thought we were going to have to do. 01:54:40.260 |
But in fact, we can say, given causal invariance 01:54:55.140 |
And that's where things really start to get exciting, 01:55:05.420 |
even if we found the rule, to be able to say, 01:55:07.980 |
yes, it corresponds to things we already know, 01:55:16.900 |
and definitely not a physicist, not even close, 01:55:22.780 |
- Okay, so let me, this is an interesting question. 01:55:29.180 |
- In the context of computational irreducibility. 01:55:32.940 |
So what you have to do, let me go back to, again, 01:55:40.420 |
So you have a bunch of molecules bouncing around. 01:56:08.480 |
that you have to say there's enough randomness 01:56:18.320 |
to derive, for example, the Einstein equations. 01:56:23.700 |
the Einstein equations are about curvature of space. 01:56:28.880 |
sort of how you can figure out dimension of space. 01:56:31.860 |
There's a similar kind of way of figuring out 01:56:43.220 |
you might think the area of a circle is pi r squared, 01:56:50.540 |
the area of a circle isn't precisely pi r squared, 01:56:55.060 |
the area is slightly smaller than you would expect 01:56:57.020 |
from the formula pi r squared as a little correction term 01:56:59.580 |
that depends on the ratio of the size of the circle 01:57:05.660 |
allows you to measure from one of these hypergraphs, 01:57:35.300 |
and the space represented by this hypergraph. 01:57:44.680 |
first thing you have to have is a notion of dimension. 01:57:47.120 |
You don't get to talk about curvature of things. 01:58:03.100 |
What this is about is, you have your hypergraph, 01:58:08.780 |
Is it roughly like a grid, a two-dimensional grid? 01:58:11.500 |
Is it roughly like all those nodes are arranged on a line? 01:58:32.980 |
and you can say, "Oh, this thing is wiggling around, 01:58:41.460 |
So, that's how you have a notion of dimension 01:58:45.620 |
Curvature is something a little bit beyond that. 01:58:53.960 |
curvature is a correction to the size increase 01:58:58.900 |
It's a sort of a second order term in determining size, 01:59:03.340 |
just like the area of a circle is roughly pi r squared, 01:59:11.080 |
But when that circle is drawn on a big sphere, 01:59:24.980 |
and that correction term, that gives you curvature. 01:59:28.260 |
And that correction term is what makes this hypergraph 01:59:35.860 |
Now, the next question is, is that curvature, 01:59:40.400 |
the way that Einstein's equations for general relativity, 01:59:52.260 |
- The calculation of the curvature of this hypergraph 02:00:01.540 |
It doesn't, so long as they have causal invariance 02:00:11.380 |
- Oh, oh, dimensional. - Non-infinite dimensional. 02:00:21.420 |
so in a tree, you start from one root of the tree, 02:00:25.420 |
it doubles, doubles again, doubles again, doubles again, 02:00:30.740 |
starting from a given point, how many points do you get to? 02:00:34.160 |
Remember, like a circle, you get to r squared, 02:00:37.820 |
On a tree, you get to, for example, two to the r. 02:00:44.340 |
- Do you have a sense of, in the space of all possible rules, 02:00:48.460 |
how many lead to infinitely dimensional hypergraphs? 02:01:03.500 |
because, for example, it's very possibly the case 02:01:07.420 |
that the universe started infinite dimensional, 02:01:16.100 |
And as the universe sort of expanded and cooled, 02:01:25.380 |
which actually there are experiments you can do 02:01:28.520 |
the universe can have dimension fluctuations. 02:01:40.540 |
And it may be that in the very early universe, 02:01:47.180 |
that we end up getting three-dimensional space. 02:01:49.220 |
- But from your perspective of the hypergraph, 02:01:51.900 |
one of the underlying assumptions you kind of implied, 02:01:57.820 |
set of assumptions that the rules that underlie our universe 02:02:03.100 |
or the rule that underlies our universe is static. 02:02:17.560 |
- Well, actually then, but let's backtrack to the curvature, 02:02:23.160 |
- Finite dimensional computational irreducibility 02:02:29.720 |
then it follows that the large-scale structure 02:02:37.920 |
And now let me, again, qualify that a little bit more. 02:02:42.960 |
Okay, so Einstein's equations in their simplest form 02:02:48.640 |
apply to the vacuum, no matter just the vacuum. 02:02:52.280 |
And they say, in particular, what they say is if you have, 02:03:01.440 |
comes from measuring the shortest paths on the earth. 02:03:04.220 |
So you look at a bunch of, a bundle of geodesics, 02:03:23.440 |
although the cross-sectional area of this bundle may, 02:03:28.280 |
although the actual shape of the cross-section may change, 02:03:32.300 |
That's a version, that's the most simple-minded version 02:03:35.760 |
of R mu nu minus a half R, g mu nu equals zero, 02:03:50.600 |
Okay, so we get that as a result of this model, 02:04:04.080 |
So the question is, how does matter come into this? 02:04:11.640 |
And one of the things that we realized, you know, 02:04:18.400 |
was that there's a very simple interpretation 02:04:31.480 |
in these hypergraphs and the way that that remains over time. 02:04:41.580 |
as having these edges that represent causal relationships. 02:04:46.160 |
there's one more concept that we didn't get to. 02:04:47.940 |
There's the notion of space-like hyper surfaces. 02:04:59.780 |
The notion is you're defining what is a possibly, 02:05:14.020 |
So in other words, what is a consistent set of places 02:05:18.240 |
where you can say this is happening now, so to speak, 02:05:25.620 |
through the space-time, through this causal graph, 02:05:34.660 |
It's somewhat arbitrary because you can deform that 02:05:37.700 |
if you're going at a different speed in special activity, 02:06:00.380 |
And the answer is there is a precise definition of that. 02:06:14.620 |
See, the reason it gets tricky is you might say 02:06:20.980 |
in this hypergraph, but you haven't defined what volume is. 02:06:25.260 |
So it's a little bit, you have to be a little bit more-- 02:06:27.140 |
- But this hyper surface gives some more formalism to that. 02:06:30.620 |
- Yeah, yeah, it gives a way to connect that. 02:06:32.860 |
- But intuitively we should think about as the just-- 02:06:36.420 |
Right, so the amount of activity that kind of remains 02:06:39.620 |
in one place in the hypergraph corresponds to energy. 02:06:44.660 |
an activity here affects an activity somewhere else 02:06:56.700 |
The mathematics is easy, but the intuitive version, 02:06:58.960 |
I'm not sure, but basically the way that things 02:07:01.060 |
sort of stay in the same place and have activity 02:07:05.920 |
And so one of the things that you get to derive 02:07:09.860 |
That is a consequence of this interpretation of energy 02:07:18.040 |
which is the whole thing is sort of a consequence 02:07:20.160 |
of this whole story about updates and hypergraphs and so on. 02:07:37.720 |
in the mathematical explorations of this thing right now. 02:07:59.820 |
we should pay more attention to this derivation 02:08:09.300 |
that can be intuitively thought of as the activity, 02:08:12.900 |
the flux, the level of changes that are occurring 02:08:16.780 |
based on the transformations within a certain volume, 02:08:30.660 |
that does not somehow propagate through time. 02:08:34.180 |
Yeah, I mean, one of the things that was not obvious 02:08:36.140 |
in the usual formulation of special relativity 02:08:38.580 |
is that space and time are connected in a certain way, 02:08:43.020 |
energy and momentum are also connected in a certain way. 02:08:46.460 |
The fact that the connection of energy to momentum 02:08:55.140 |
It is a consequence of the way this model works. 02:08:58.540 |
It's an intrinsic consequence of the way this model works. 02:09:07.940 |
between energy and, well, it's energy, momentum, mass, 02:09:13.780 |
- And so, like, hence the general relativity, 02:09:19.780 |
you have a sense that it appears to be baked in 02:09:30.620 |
so I got as far as special relativity and E equals MC squared. 02:09:46.860 |
when you understand this interpretation of energy 02:09:49.980 |
and you kind of understand the correspondence 02:10:04.700 |
- Is that, have you, that last piece with curvature, 02:10:15.660 |
here's how we're really, really going to know 02:10:18.720 |
So, you know, we have the mathematical derivation, 02:10:20.980 |
it's all fine, but, you know, mathematical derivations, 02:10:32.360 |
which are large compared to the size of an elementary length, 02:10:35.500 |
small compared to the whole size of the universe, 02:10:37.700 |
large compared to certain kinds of fluctuations, 02:10:41.860 |
There's a tower of many, many of these mathematical limits 02:10:52.740 |
we can, you know, we can try each one of them 02:10:54.820 |
computationally and we could say, yeah, it really works, 02:10:57.500 |
but the formal mathematics is really hard to do. 02:11:03.060 |
the equations of fluid dynamics from molecular dynamics, 02:11:07.980 |
There is no rigorous version of that derivation. 02:11:15.860 |
- But so the limits allow you to try to describe 02:11:27.180 |
and we can do all kinds of computer experiments-- 02:11:37.020 |
and you end up with a bunch of difficulty there. 02:11:39.500 |
But here's the way that we're getting really confident 02:11:42.300 |
that we know completely what we're talking about, 02:11:43.920 |
which is when people study things like black hole mergers 02:11:47.840 |
using Einstein's equations, what do they actually do? 02:11:50.920 |
Well, they actually use Mathematica a whole bunch 02:11:54.360 |
but in the end, they do numerical relativity, 02:11:57.300 |
which means they take these nice mathematical equations 02:12:08.880 |
Then they run them on a computer, they get results, 02:12:14.760 |
Turns out that our model gives you a direct way 02:12:21.020 |
you start from these continuum equations from Einstein, 02:12:23.880 |
you break them down into these discrete things, 02:12:27.520 |
you say, "We're doing it the other way around. 02:12:31.680 |
"and we're just running big versions on a computer, 02:12:45.620 |
- That is, in other words, you're taking something 02:12:48.420 |
where we've got this description of a black hole system, 02:13:01.060 |
by doing the computation from the Einstein equations. 02:13:04.240 |
- As a small tangent, or actually a very big tangent, 02:13:08.280 |
but proof by compilation is a beautiful concept. 02:13:13.280 |
In a sense, the way of doing physics with this model 02:13:31.960 |
is there totally new possibilities of computing hardware 02:13:47.560 |
these models seem to give one a lot of intuition 02:13:54.660 |
about how to think about parallel computation, 02:14:10.120 |
That's actually partly a story of the model itself, 02:14:12.900 |
because the model itself has deep parallelism in it. 02:14:17.780 |
we're just starting to be able to use that deep parallelism 02:14:24.400 |
But in fact, the structure of the model itself 02:14:27.860 |
allows us to think about parallel computation 02:14:40.220 |
if multiple things can happen on different computers 02:14:43.820 |
oh, what happens if this thing happens before that thing, 02:14:48.740 |
where something can race to get to the answer 02:14:53.120 |
because you don't know which thing is gonna come in first. 02:15:00.500 |
to the point where you've had locks and mutexes 02:15:08.500 |
so that there can only be one sequence of things 02:15:12.620 |
all the different kinds of things that can happen. 02:15:18.220 |
forcing us to think about all these possible things 02:15:28.260 |
about all these different things happening in parallel. 02:15:31.500 |
- They have built-in protection for some of the parallelism. 02:15:34.600 |
- Well, causal invariance is the built-in protection. 02:15:39.700 |
even though things happen in different orders, 02:15:43.420 |
- As a person who struggled with concurrent programming 02:15:50.220 |
with all the basic concepts of concurrent programming, 02:15:55.740 |
a strong mathematical framework for causal invariance, 02:16:03.660 |
but really powerful for massively distributed computation. 02:16:29.280 |
I've spent much of my life as a language designer, right? 02:16:54.400 |
but I couldn't see how to actually make the connections 02:17:12.040 |
just as we think about thinking about physics 02:17:15.040 |
It's a certain co-ordinatization of what's going on. 02:17:17.600 |
We say, we're gonna program in this reference frame. 02:17:19.920 |
Oh, let's change the reference frame to this reference frame. 02:17:25.200 |
and we'll have a different way to think about it, 02:17:32.360 |
I got way more questions than I can deal with, 02:17:34.560 |
but what pops to mind is a question somebody asked 02:17:42.560 |
what are the specs of the computer running the universe? 02:17:46.200 |
So we're talking about specs of hardware and software 02:18:05.080 |
and we actually have to go a couple more stages 02:18:13.720 |
This is what happens when you build these abstract systems 02:18:19.600 |
They're quite a number of levels deep, so to speak. 02:18:43.260 |
to get to the different things that correspond to physics. 02:18:49.280 |
And they are, you know, it's actually probably, 02:18:52.380 |
if anything, getting harder to explain this project 02:18:54.480 |
'cause I'm realizing that the fraction of way through 02:19:03.080 |
and every week basically we know a little bit more. 02:19:07.000 |
- Those are just layers on the initial fundamental-- 02:19:24.060 |
Last three days we've kind of figured that out, okay? 02:19:27.300 |
But, and it's very interesting, it's very cool. 02:19:34.420 |
at a certain level, layer of abstraction on the hydrograph. 02:19:37.860 |
- Yes, yes, and there's, but the layers of abstraction 02:19:46.300 |
- But the specs nevertheless remain the same. 02:19:48.460 |
- The specs underneath, so I have an estimate. 02:19:52.460 |
So we've got these different fundamental constants 02:19:56.160 |
So one of them is the speed of light, which is the, 02:20:00.180 |
in all these different ways of thinking about the universe 02:20:02.700 |
is the notion of time, because time is computation. 02:20:08.080 |
which is sort of the amount of time that we ascribe 02:20:12.220 |
to elapsing in a single computational step, okay? 02:20:19.260 |
- That's a parameter or whatever, that's a constant. 02:20:28.100 |
what it is, because we could be, it could be slow, 02:20:30.380 |
it's just a number which we use to convert that to seconds, 02:20:34.460 |
so to speak, because we are experiencing things, 02:20:37.180 |
and we say this amount of time has elapsed, so to speak. 02:20:39.900 |
- But we're within this thing, so it doesn't-- 02:20:43.700 |
But what does matter is the ratio, what we can, 02:20:47.360 |
the ratio of the spatial distance in this hypergraph 02:20:51.020 |
to this moment of time, again, that's an arbitrary thing, 02:20:55.860 |
but we measure that in meters per second, for example, 02:21:03.220 |
to the elementary time is the speed of light, okay? 02:21:16.580 |
which is a thing that happens at another level 02:21:26.980 |
just as the speed of light is a maximum speed 02:21:36.620 |
which is another one of these maximum speeds, 02:21:42.140 |
that are able to capture the kind of physical universe 02:21:47.060 |
- They are inevitable features of having a rule 02:21:51.820 |
that has only a finite amount of information in the rule. 02:21:54.620 |
So long as you have a rule that only involves 02:22:03.260 |
limited number of relations, it is inevitable 02:22:08.820 |
we didn't know about the one for maximum entanglement speed, 02:22:11.440 |
which is actually something that is possibly measurable, 02:22:14.060 |
particularly in black hole systems and things like this. 02:22:19.660 |
you're asking what the processing specs of the universe, 02:22:25.180 |
there's a question of even what are the units 02:22:37.020 |
- There gotta be some kind of frame of reference. 02:22:38.380 |
- Right, right, so because it turns out in the end, 02:22:41.840 |
there will be, there's sort of an arbitrariness 02:22:44.300 |
in the language that you use to describe the universe. 02:22:47.020 |
So in those terms, I think it's like 10 to the 500 02:22:51.660 |
Wolfram language operations per second, I think, 02:22:58.840 |
What about memory, if there's an interesting thing 02:23:02.780 |
- Well, there's a question of how many sort of atoms 02:23:08.740 |
We don't know exactly how to estimate these numbers. 02:23:17.260 |
When there start to be able to be experiments done, 02:23:21.900 |
that can actually nail down some of these numbers. 02:23:27.980 |
there's not much hope for very efficient compression, 02:23:31.580 |
like very efficient representation of this atom space? 02:23:35.740 |
I mean, there's probably certain things, you know. 02:23:41.140 |
the question is how deep does the reducibility go? 02:23:48.860 |
And so one of the things is that there's a question 02:23:57.520 |
in order to explain certain kinds of phenomena? 02:23:59.340 |
Like, for example, if we want to study quantum interference, 02:24:05.860 |
Turns out I thought we did, turns out we don't. 02:24:13.200 |
- So you can get a lot of really powerful shortcuts. 02:24:15.580 |
- Right, there's a bunch of sort of bulk information 02:24:19.300 |
The thing that I'm excited about last few days, okay, 02:24:38.300 |
- Is it useful for us to maybe first talk about 02:24:41.920 |
how quantum mechanics fits into the Wolfram physics model? 02:24:49.720 |
Now, what have you found from quantum mechanics? 02:24:59.960 |
- Right, so I mean, the key idea of quantum mechanics, 02:25:06.880 |
classical physics says a definite thing happens. 02:25:09.920 |
Quantum physics says there's this whole set of paths 02:25:14.560 |
and we are just observing some overall probability 02:25:19.640 |
Okay, so when you think about our hypergraphs 02:25:22.440 |
and all these little updates that are going on, 02:25:28.960 |
well, which particular sequence of updates should you do? 02:25:37.400 |
Okay, that set of possible sequences of updates 02:25:50.840 |
there is a choice of several different possible things 02:25:55.280 |
So for example, you go this way, you go that way, 02:25:57.680 |
those are two different edges in the multi-way graph, 02:26:00.880 |
and you're building up the set of possibilities. 02:26:02.600 |
So actually, like for example, I just made the one, 02:26:07.360 |
So tic-tac-toe, you start off with some board 02:26:12.240 |
and then somebody can put down an X somewhere, 02:26:18.160 |
At each stage, there are different possibilities. 02:26:25.920 |
you have the feature that there can be something 02:26:28.120 |
where you have two different things that happen, 02:26:35.200 |
you know, the same configuration of the board, 02:26:37.360 |
even though you got there in two different ways. 02:26:39.920 |
So the thing that's sort of an inevitable feature 02:26:42.760 |
of our models is that just like quantum mechanics suggests, 02:26:54.600 |
so, okay, so that's sort of a picture of what's going on. 02:27:08.800 |
So quantum mechanics is actually, in a sense, 02:27:30.000 |
which are more or less probabilities of things happening, 02:27:32.440 |
but yet we actually observe definite things in the world. 02:27:35.840 |
Quantum measurement has always been a bit mysterious. 02:27:39.080 |
It's always been something where people just say, 02:27:46.600 |
But it's not something where there's a theory 02:28:20.520 |
Okay, so first point is there's this multi-way graph 02:28:32.640 |
you can have branchings and you can have mergings. 02:28:35.600 |
Okay, so this property turns out causal invariance 02:28:45.800 |
So in other words, every time there's a branch, 02:28:50.640 |
In other words, every time there were two possibilities 02:28:52.600 |
for what might've happened, eventually those will merge. 02:29:03.880 |
and that's closely related to the sort of objectivity 02:29:08.520 |
The fact that we believe definite things happen, 02:29:10.680 |
it's because although there are all these different paths, 02:29:19.360 |
but that's roughly the essence of what's going on. 02:29:41.280 |
if we slice it at a particular time, what do we see? 02:29:48.840 |
something to do with the state of the universe 02:29:53.080 |
So in other words, we've got this multi-way graph 02:29:56.680 |
and then we're asking, okay, we take this slice. 02:30:06.120 |
to a different quantum possibility for what's happening. 02:30:14.960 |
- And when you say slice, you slice the graph, 02:30:23.520 |
- Right, but then, okay, so the important thing 02:30:29.120 |
is that what matters is kind of how these leaves 02:30:44.040 |
they might have just branched from one thing, 02:30:45.880 |
or they might be far away, way far apart in this graph, 02:30:55.160 |
- So there's some kind of measure of distance. 02:30:57.240 |
- Right, but what you get is by making the slice, 02:31:01.640 |
we call it branchial space, the space of branches. 02:31:05.960 |
And in this branchial space, you have a graph 02:31:11.320 |
between these quantum states in branchial space. 02:31:14.720 |
You have this notion of distance in branchial space. 02:31:21.960 |
It's basically, the distance in branchial space 02:31:35.560 |
I mean, it's really, you know, and it tells one, 02:31:38.960 |
okay, so anyway, so then this branchial space 02:31:50.360 |
so you know, you can say, take, let's say the causal graph, 02:31:57.840 |
and then we get this map of how things are laid out 02:32:02.760 |
there's a thing called the multi-way causal graph, 02:32:07.800 |
We slice that, we get essentially the relationships 02:32:22.320 |
is just to mention how quantum measurement works. 02:32:24.840 |
So quantum measurement has to do with reference frames 02:32:33.760 |
it matters whether how we assign spatial position 02:32:38.760 |
and how we define coordinates in space and time. 02:32:42.680 |
And that's how we make measurements in ordinary space. 02:32:54.920 |
And the relationship between different events 02:32:59.880 |
will be different depending on what reference frame 02:33:18.600 |
the observer is sort of arbitrarily determining 02:33:27.000 |
by saying that space and time are coordinatized this way. 02:33:32.760 |
that quantum states and time are coordinatized in this way. 02:33:45.080 |
this multi-way system in these quantum observation frames. 02:33:51.960 |
is by their choice of these quantum observation frames. 02:34:02.600 |
but anyway, because the observer is computationally bounded, 02:34:06.380 |
there is a limit to the type of quantum observation frames 02:34:11.000 |
So there's, okay, so there's some constraints, 02:34:32.680 |
that we can't track each individual molecule. 02:34:36.360 |
we could run every movie in reverse, so to speak, 02:34:39.560 |
that we would not see that things are getting more disordered 02:34:42.400 |
but it's because we are computationally bounded. 02:34:52.440 |
that we describe it in terms of entropy increasing and so on. 02:34:58.720 |
also a consequence of computational irreducibility 02:35:01.560 |
that causes us to basically be forced to conclude 02:35:08.720 |
this set of all these different quantum processes 02:35:18.600 |
- And in the evolution of the Wolfram Physics Project, 02:35:21.920 |
where do you feel you stand on some of the puzzles 02:35:27.880 |
- Oh, it's amazing how much these things are unraveling. 02:35:35.680 |
nobody understands quantum mechanics, including me, okay? 02:35:39.760 |
where I think I actually understand quantum mechanics. 02:35:41.580 |
My exercise, okay, is can I explain quantum mechanics 02:35:45.760 |
for real at the level of kind of middle school 02:35:52.620 |
I'm not quite there, I've tried it a few times, 02:35:58.920 |
about elaborate mathematical concepts and so on. 02:36:03.000 |
that it's not self-evident that we can explain, 02:36:12.380 |
The universe wasn't built for our understanding, 02:36:16.280 |
But I think then, okay, so another important idea 02:36:21.280 |
is this idea of branchial space, which I mentioned, 02:36:27.420 |
It is, okay, so I mentioned Einstein's equations 02:36:31.260 |
describing, you know, the effect of mass and energy 02:36:40.840 |
The curvature of physical space is associated 02:37:06.320 |
deflection of geodesics in this branchial space, okay? 02:37:16.000 |
the best formulation we have of quantum mechanics, 02:37:26.200 |
in terms of mathematics that can be interpreted as, 02:37:51.200 |
You can also think of it as a magnitude and a phase. 02:37:53.920 |
And people have sort of thought these quantum amplitudes 02:37:58.160 |
have magnitude and phase, and you compute those together. 02:38:10.240 |
how do you compute things in quantum mechanics? 02:38:14.280 |
to be able to do this at a middle school level, 02:38:24.960 |
evolve to this other state in quantum mechanics? 02:38:27.800 |
And you can think about that like a particle traveling 02:38:31.340 |
or something traveling through physical space, 02:38:33.960 |
but instead it's traveling through branchial space. 02:38:37.940 |
does this quantum state evolve to this other quantum state? 02:38:42.880 |
from this place in space to this other place in space? 02:38:48.440 |
these quantum amplitudes characterize kind of 02:38:52.740 |
to what extent the thing will successfully reach 02:38:59.000 |
oh, it had a certain velocity and it went in this direction. 02:39:02.440 |
In branchial space, there's a similar kind of concept. 02:39:15.760 |
It's this big branching thing, branching and merging thing. 02:39:18.480 |
- But I mean, like moving through that space. 02:39:21.840 |
I'm just trying to understand what that looks like. 02:39:26.000 |
- You know, that space is probably exponential dimensional, 02:39:33.960 |
That space, as in ordinary space, this hypergraph, 02:39:52.400 |
I mean, it's just a weird exponential dimensional space. 02:39:57.240 |
I mean, there are much weirder things that go on. 02:39:58.920 |
For example, one of the things I've been interested in 02:40:00.760 |
is the expansion of the universe in branchial space. 02:40:03.960 |
So we know the universe is expanding in physical space, 02:40:09.240 |
in branchial space. - Expanding in branchial space. 02:40:17.920 |
- Right, so that means that the, and by the way, 02:40:20.720 |
this is related to whether quantum computing can ever work. 02:40:33.120 |
just to finish the thought about quantum amplitudes, 02:40:44.720 |
It says that the amplitude, the quantum amplitude 02:41:02.240 |
So it's a deflection of a geodesic in the multi-way path 02:41:05.080 |
that is caused by this thing called the action, 02:41:07.000 |
which is essentially associated with the energy, okay? 02:41:10.080 |
And so this is a deflection of a path in branchial space 02:41:15.560 |
which is the thing that is the mathematical essence 02:41:22.800 |
the deflection of geodesics in branchial space 02:41:28.760 |
as the deflection of geodesics in physical space, 02:41:31.920 |
except the deflection of geodesics in physical space 02:41:36.520 |
The deflection of geodesics in branchial space 02:41:42.840 |
In other words, they are mathematically the same. 02:41:48.400 |
is a story of essentially motion in physical space. 02:41:53.240 |
Quantum mechanics is a story of essentially motion 02:41:57.360 |
And the underlying equation for those two things, 02:42:13.440 |
which are those two sort of pillars of 20th century physics, 02:42:16.360 |
which have seemed to be off in different directions 02:42:19.120 |
are actually facets of the exact same theory. 02:42:31.040 |
look, having spent some part of my early life, 02:42:34.240 |
you know, working in the context of these theories 02:42:46.480 |
Actually, you mentioned double-slit experiment, okay? 02:42:50.280 |
is an interference phenomenon where you say there are, 02:42:54.040 |
you know, you can have a photon or an electron, 02:43:05.080 |
where you might've said in classical physics, 02:43:10.440 |
that it gets through one or the other of them. 02:43:13.240 |
there's this phenomenon of destructive interference 02:43:15.720 |
that means that even though there are two slits, 02:43:48.520 |
associated with photons going through those two slits, 02:43:51.200 |
winding up at opposite ends of branchial space. 02:43:56.000 |
there's sort of nothing there when you look at it, 02:43:58.480 |
is because these two different sort of branches 02:44:02.160 |
couldn't get merged together to produce something 02:44:07.720 |
- Is there a lot to be understood about branchial space? 02:44:13.960 |
- Yes, it's a very beautiful mathematical thing, 02:44:32.000 |
one-dimensional, two-dimensional, three-dimensional space. 02:44:37.960 |
in fractional-dimensional and dynamic-dimensional space. 02:44:42.640 |
- So there's tools in mathematics that are needed here. 02:44:46.140 |
- And this is the motivation for that, actually. 02:44:47.040 |
- Right, and it's, you know, there are indications, 02:44:58.040 |
And in branchial space, it's actually even worse. 02:45:00.720 |
There's even more sort of layers of mathematics that are, 02:45:10.100 |
we need more sort of mathematical sophistication. 02:45:14.880 |
- Okay, so the basic idea of quantum computers, 02:45:19.960 |
is quantum mechanics does things in parallel, 02:45:33.280 |
And, you know, I actually worked on quantum computing a bit 02:45:36.240 |
with Dick Feynman back in 1980, one, two, three, 02:45:47.840 |
the big thing we tried to do was invent a randomness chip 02:45:51.000 |
that would generate randomness at a high speed 02:45:55.440 |
And the discovery that that wasn't really possible 02:46:04.200 |
but we didn't write stuff about what we figured out 02:46:07.480 |
about sort of the fact that it really seemed like 02:46:12.280 |
was a serious damper on what was possible to do 02:46:15.640 |
in sort of, you know, the possible advantages 02:46:20.680 |
But anyway, so the sort of the promise of quantum computing 02:46:24.680 |
is let's say you're trying to, you know, factor an integer. 02:46:34.580 |
In ordinary computing, it seems like we pretty much 02:46:38.200 |
just have to try all these different factors, 02:46:43.040 |
But in quantum mechanics, you might have the idea, 02:46:51.280 |
And the, you know, and there's this algorithm, 02:46:58.720 |
according to the formalism of quantum mechanics, 02:47:01.040 |
to do everything in parallel and to do it much faster 02:47:11.960 |
So the quantum mechanics internally has figured out 02:47:15.480 |
but then you have to pull all these branches together 02:47:17.840 |
to say, and the classical answer is this, okay? 02:47:30.200 |
And that process, which intuitively you can see 02:47:37.040 |
how that process of pulling things together works. 02:47:40.160 |
And the answer seems to be, we're not absolutely sure. 02:47:52.120 |
what seems to be the case is that the advantage you get 02:47:56.760 |
from the parallelization from quantum mechanics 02:47:59.960 |
is lost from the amount that you have to spend 02:48:11.880 |
that are seen in practical quantum computers and so on. 02:48:14.280 |
I mean, I should say as a very practical point, 02:48:16.760 |
I mean, it's like, should people stop bothering 02:48:25.240 |
to get to a new level of what's possible in computing. 02:48:35.960 |
you can reduce exponential time to polynomial time, 02:48:43.080 |
but that's not relevant to the practical speed-ups 02:48:46.080 |
you can get by using different kinds of technologies, 02:48:48.520 |
different kinds of physics to do basic computing. 02:48:55.280 |
the indication is that to get all the sheep back together 02:49:12.240 |
- By the way, I mean, so again, this question, 02:49:26.080 |
which is a standard quantum computing framework 02:49:28.360 |
that represents things in terms of the standard 02:49:36.920 |
the representation of quantum gates into multi-way systems. 02:49:43.920 |
was from somebody who's working on the project 02:49:46.000 |
who has managed to compile one of the sort of 02:49:53.200 |
and core quantum formalism into multi-way systems. 02:50:06.280 |
- Right, but the point is that what we're saying is 02:50:14.040 |
And it's just a pure matter of sort of computation 02:50:19.240 |
We will get the same result as running this multi-way system. 02:50:23.360 |
- Can you do complexity analysis on that multi-way system? 02:50:26.640 |
- Well, that's what we've been trying to do, yes. 02:50:33.480 |
And we've done, as I say, our computer experiments, 02:50:36.240 |
we've unimpressively gotten to about two times three 02:50:41.040 |
which is kind of about how far people have got 02:50:48.040 |
we definitely will be able to do complexity analysis 02:50:51.800 |
So the one remaining hope for quantum computing 02:50:58.200 |
of quantum brand exponential stuff being done 02:51:34.920 |
they're receding from each other very quickly. 02:51:39.320 |
You connect a spring between these two central black holes. 02:51:49.120 |
It's getting more potential energy in the spring 02:51:52.320 |
as a result of the expansion of the universe. 02:52:00.440 |
and the sort of violation of energy conservation 02:52:03.040 |
that's associated with that cosmological expansion 02:52:07.080 |
You're essentially building a perpetual motion machine 02:52:19.120 |
to essentially mine the expansion of the universe 02:52:26.720 |
the sort of quantum computing for free, so to speak, 02:52:31.160 |
just from the expansion of the universe in branchial space. 02:52:34.160 |
Now, the physical space version is kind of absurd 02:52:36.520 |
and involves springs between black holes and so on. 02:52:40.120 |
It's conceivable that the branchial space version 02:52:42.680 |
is not as absurd and that it's actually something 02:52:54.640 |
and there might be something that could be exploited. 02:52:59.640 |
that you can exploit that expansion of the universe 02:53:14.520 |
the official brand that says you can do exponential things 02:53:18.840 |
in polynomial time is probably not gonna work. 02:53:22.880 |
so this is more like, this is not middle school. 02:53:25.240 |
We're gonna go to elementary school for a second. 02:53:28.520 |
Maybe middle school, let's go to middle school. 02:53:31.280 |
So if I were to try to maybe write a pamphlet 02:53:41.880 |
aka for me, or maybe make a video on the basics, 02:53:47.240 |
but not just the basics of the physics project, 02:53:51.200 |
but the basics plus the most beautiful central ideas, 02:54:02.680 |
- Yeah, yeah, I mean, as a really practical matter, 02:54:05.720 |
we have this kind of visual summary picture that we made, 02:54:30.640 |
- So basically, the things we've talked about, 02:54:36.200 |
transformation of that space is kind of time. 02:54:51.200 |
I would say that's actually easier to explain 02:54:54.320 |
- Oh, so going into general, so going to curvature? 02:55:22.120 |
that there's this kind of map of how the branches work, 02:55:25.280 |
and that, I mean, I think actually the recent things 02:55:30.280 |
that we have about the double slit experiment 02:55:32.280 |
are pretty good, 'cause you can actually see this, 02:55:34.920 |
you can see how the double slit phenomenon arises 02:55:44.760 |
of sleight of hand there, because the true story 02:55:51.800 |
depends on the co-ordinatization of branchial space 02:56:04.960 |
what's becoming clear is that it's mathematically 02:56:10.680 |
it involves essentially putting space-filling curves, 02:56:13.160 |
you basically have a thing which is naturally 02:56:14.800 |
two-dimensional, and you're sort of mapping it 02:56:17.240 |
into one dimension with a space-filling curve, 02:56:20.000 |
and it's like, why is it this space-filling curve 02:56:23.360 |
And that becomes a story about Riemann surfaces and things, 02:56:28.200 |
But there's a more, a little bit sleight of hand way 02:56:32.680 |
of doing it where it's, you know, it's surprisingly direct. 02:56:36.680 |
- So a question that might be difficult to answer, 02:56:46.120 |
could you give me advice on how we can learn more? 02:56:50.360 |
Specifically, there is people that are completely outside 02:57:00.880 |
So people that just want to explore, play around with this. 02:57:04.000 |
Second level is people from, say, people like me, 02:57:16.480 |
the work you're doing is of computational nature, 02:57:22.200 |
- So what can a person like that do to learn enough physics 02:57:27.200 |
or not to be able to, one, explore the beauty of it, 02:57:32.640 |
and two, the final level of contribute something 02:57:55.720 |
who's been a key person working on this project, 02:57:59.920 |
And some other people started writing things, too. 02:58:03.400 |
- Physicist, well, I would say a mathematical physicist. 02:58:19.480 |
I wrote this kind of original announcement blog post 02:58:22.480 |
about this project, which people seem to have found. 02:58:25.520 |
I've been really happy, actually, that people who, 02:58:29.040 |
you know, people seem to have grokked key points from that. 02:58:34.800 |
Much deeper key points people seem to have grokked 02:58:41.600 |
that explains some of the things we talked about, 02:58:50.120 |
It does have quantum mechanics, yes, it does. 02:58:51.920 |
But we know a little bit more since that blog post 02:58:59.600 |
And, you know, talking about things like, again, 02:59:04.920 |
is a consequence of curvature in Brown-Shield space. 02:59:10.120 |
to be able to understand the beauty of this framework 02:59:16.880 |
- Okay, so I think that those are different questions. 02:59:20.200 |
So, I mean, I think that the why does this work, 02:59:28.460 |
you have to know a fair amount of physics, okay? 02:59:35.040 |
you're referring to the connection between this model and-- 02:59:45.240 |
as the pure mathematical framework is fascinating. 02:59:49.920 |
- Right, then it's quite accessible to, I mean, you know, 02:59:52.520 |
I wrote this sort of long technical introduction 02:59:55.280 |
to the project, which seems to have been very accessible 02:59:58.480 |
to people who are, you know, who understand computation 03:00:07.240 |
I mean, the thing with the physics part of it is, 03:00:22.120 |
you kind of have to know what the energy momentum tensor is, 03:00:25.920 |
I mean, that's kind of graduate level physics, basically. 03:00:29.260 |
And so that, you know, making that final connection 03:00:33.360 |
is, requires some depth of physics knowledge. 03:00:38.880 |
the difference in machine learning and physics 03:00:42.880 |
Is it really out of reach of a year or two worth of study? 03:00:53.260 |
- But it doesn't require necessarily like 15 years. 03:00:57.000 |
And in fact, a lot of what has happened with this project 03:01:00.200 |
makes a lot of this stuff much more accessible. 03:01:02.760 |
There are things where it has been quite difficult 03:01:09.120 |
having the concreteness of being able to do simulations, 03:01:11.800 |
knowing that this thing that you might've thought 03:01:15.120 |
was just an analogy is really actually what's going on, 03:01:21.000 |
about just sort of saying, this is how this works. 03:01:33.320 |
very much more elaborate, because for example, 03:01:47.080 |
it's just like, here is a picture, this is how it works. 03:01:50.880 |
And there's no, oh, did we get the limit right? 03:01:53.200 |
Did this, you know, did this thing that is of, 03:01:55.520 |
you know, zero, you know, measure zero object, 03:01:59.360 |
you know, interact with this thing in the right way. 03:02:01.920 |
You don't have to have that whole discussion. 03:02:07.120 |
And, you know, you can, then it takes more effort 03:02:15.160 |
And you can get sort of core intuition for what's going on. 03:02:25.960 |
there's just an unbelievable amount to do there. 03:02:36.040 |
It's not, you know, and you can discover things. 03:02:38.920 |
I mean, you know, we, you can discover stuff about, 03:02:42.560 |
I don't know, like this thing about expansion 03:02:45.120 |
That's an absolutely accessible thing to look at. 03:02:47.720 |
Now, you know, the main issue with doing these things 03:02:56.000 |
The actual doing of the experiments, you know, 03:02:58.040 |
all the code is all on our website to do all these things. 03:03:13.520 |
but it isn't like you have to have done 10 years of study 03:03:17.040 |
to get to the point where you can do the experiments. 03:03:29.680 |
There's still, I would say, maybe you can correct me. 03:03:32.760 |
It feels like there's a huge number of low-hanging fruit 03:03:40.120 |
- No, look, on the, okay, on the physics side, 03:03:44.440 |
we are, we're definitely in harvesting mode, you know. 03:04:02.200 |
It's like, can we get this one, this one, this one, 03:04:07.560 |
interesting and satisfying, and it's like, you know, 03:04:19.920 |
It's like, oh, you know, it looks really hard, 03:04:29.040 |
I mean, it seems like, I've been following your progress. 03:04:31.520 |
It's kind of exciting, all the, in harvesting mode, 03:04:34.320 |
all the things you're picking up along the way. 03:04:35.880 |
- Right, right, no, I mean, it's the thing that is, 03:04:38.320 |
I keep on thinking it's gonna be more difficult than it is. 03:04:40.560 |
Now, that's a, you know, that's a, who knows what, 03:04:43.360 |
I mean, the one thing, so the thing that's been, 03:04:47.400 |
was a big thing that I think we're pretty close to, 03:04:50.920 |
I mean, I can give you a little bit of the roadmap, 03:05:18.080 |
That angular momentum, even though the masses of particles 03:05:34.840 |
And that's a fact that was discovered in the 1920s, 03:05:58.040 |
And that's a big deal because that's a very core feature 03:06:01.160 |
of understanding how particles work in quantum mechanics. 03:06:06.600 |
between particles that obey the exclusion principle 03:06:10.640 |
that leads to the stability of matter and things like that, 03:06:15.400 |
and be in the same state, things like photons, 03:06:18.120 |
that, and that's what leads to phenomena like lasers, 03:06:22.200 |
where you can get sort of coherently everything 03:06:25.520 |
That difference is the particles of integer spin 03:06:29.280 |
or bosons like to get together in the same state, 03:06:31.760 |
the particles of half integers spin, of fermions, 03:06:34.480 |
like electrons, that they tend to stay apart. 03:06:37.560 |
And so the question is, can we get that in our models? 03:06:47.960 |
I mean, it's one of these things where we're really close. 03:06:54.240 |
So this was, what happens is what seems to happen, okay? 03:06:57.760 |
It's subject to revision even the next few days. 03:07:04.960 |
are associated with essentially merging in multi-way graphs 03:07:18.320 |
things have a certain extent in branchial space 03:07:21.400 |
that in which things are being sort of forced apart 03:07:24.040 |
in branchial space, whereas the case of bosons, 03:07:26.320 |
they get, they come together in branchial space. 03:07:44.280 |
you don't get back to where you started from. 03:07:53.200 |
we're just incredibly close to actually having that, 03:08:00.680 |
that it's as simple as the directed hypergraphs 03:08:07.840 |
- The relationship between spinners and vectors. 03:08:12.840 |
if these are all these kind of nice properties 03:08:16.320 |
of this multigraphs of branching and rejoining. 03:08:30.440 |
- Why are spinners important in quantum mechanics? 03:08:37.040 |
because they are the representation of electrons 03:08:43.440 |
They are the wave functions of electrons are spinners. 03:08:48.360 |
Just like the wave functions of photons are vectors, 03:08:51.320 |
the wave functions of electrons are spinners. 03:09:02.960 |
and take 720 degrees to get back to the original value. 03:09:14.280 |
as being when you have this notion of rotational invariance 03:09:18.760 |
and rotational invariance, as we ordinarily experience it, 03:09:28.520 |
And so that's why understanding how that works is important. 03:09:43.600 |
which is this way of taking an extended object 03:09:50.280 |
- Yeah, it would be very cool if it somehow connects 03:09:54.680 |
I think it's gonna be as simple as that, but we'll see. 03:10:02.040 |
is that, because I learned physics as probably, 03:10:07.040 |
let's say a fifth generation in the sense that, 03:10:16.280 |
Maybe I was like a third generation or something. 03:10:19.760 |
I don't know, but the people from whom I learned physics 03:10:23.560 |
were the people who have been students of the students 03:10:31.240 |
And we're now at probably the seventh generation 03:10:33.920 |
of physicists or something from the early days 03:10:38.360 |
And whenever a field gets that many generations deep, 03:10:43.360 |
it seems the foundations seem quite inaccessible 03:10:46.520 |
and it seems like you can't possibly understand that. 03:10:49.800 |
We've gone through seven academic generations 03:10:52.720 |
and that's been this thing that's been difficult 03:11:01.040 |
- But in a sense, maybe that journey takes you 03:11:03.800 |
to a simple explanation that was there all along. 03:11:13.200 |
I didn't expect this project to work in this way. 03:11:15.980 |
But I had this sort of weird piece of personal history 03:11:31.680 |
of computational paradigm for basically 40 years. 03:11:35.100 |
And the fact that I'm sort of now coming back 03:11:42.240 |
it kind of felt like that journey was necessary. 03:11:44.880 |
- When did you first try to play with a hypergraph? 03:11:50.520 |
- Yeah, so what I had was, okay, so this is again, 03:12:05.720 |
of underlying thing underneath space and time 03:12:11.920 |
I figured out the things about general relativity. 03:12:17.400 |
But I always felt there was a certain inelegance 03:12:21.880 |
and there were certain constraints on these graphs 03:12:30.200 |
It was like pick any number, but the number has to be prime. 03:12:34.600 |
it was kind of an awkward special constraint. 03:12:38.400 |
graphs with just three connections from every node. 03:12:41.440 |
Okay, so, but I discovered a bunch of stuff with that. 03:12:46.280 |
And the other piece of sort of personal history 03:12:52.960 |
And so the story of computational language design 03:12:55.160 |
is a story of how do you take all these random ideas 03:13:09.300 |
for representing things and have ridiculous amounts 03:13:15.840 |
- And actually all of those trajectories of your life 03:13:19.320 |
So you make it sound like you could have come up 03:13:21.600 |
with everything you're working on now decades ago, 03:13:30.280 |
I couldn't figure out how to make it elegant. 03:13:32.840 |
And that turns out hypergraphs were the key to that. 03:13:35.600 |
And that I figured out about less than two years ago now. 03:13:46.160 |
Well, okay, so the real embarrassment of this project 03:14:00.000 |
a formalized version of the exact same structure 03:14:03.560 |
that I've used to build computational languages 03:14:14.360 |
but I mean, that's what the new kind of science is about, 03:14:23.760 |
entire other kind of objects that are useful for, 03:14:27.600 |
like we're not talking about machine learning, for example. 03:14:31.920 |
Maybe there's other variants of the hypergraph 03:14:35.720 |
- Well, we'll see whether the multi-way graph 03:14:37.440 |
for a machine learning system is interesting, okay? 03:14:43.680 |
- That's, we're not gonna go there right now. 03:15:07.080 |
is let's say we think we found the rule for the universe. 03:15:27.680 |
getting one of the simple possible universe rules? 03:15:30.400 |
Why didn't we get some incredibly complicated rule? 03:15:35.280 |
And that's the thing which, in the history of science, 03:15:38.800 |
the whole sort of story of Copernicus and so on was, 03:15:42.840 |
we used to think the Earth was the center of the universe, 03:15:46.320 |
And we're actually just in some random corner 03:15:48.760 |
of some random galaxy out in this big universe. 03:15:58.120 |
out of all the infinite number of possibilities, 03:16:00.400 |
how do we get something that small and simple? 03:16:05.040 |
And it's like, what are we going to say about this? 03:16:08.560 |
And I thought it might be one of these things 03:16:10.320 |
where you just, you can get it to the threshold, 03:16:13.300 |
and then you find out its rule number such and such, 03:16:15.480 |
and you just have no idea why it's like that. 03:16:26.200 |
that you take these underlying transformation rules 03:16:34.720 |
And that makes this whole multi-way graph of possibilities. 03:16:54.920 |
You're never going to be able to conclude anything. 03:17:00.840 |
- Don't tell me there's some kind of invariance. 03:17:13.400 |
this multi-way graph that is a branching of rules 03:17:15.920 |
as well as a branching of possible applications of rules. 03:17:22.100 |
It's an inevitable feature that it shows causal invariance. 03:17:25.360 |
And that means that you can take different reference frames, 03:17:30.960 |
and they will all in some sense be equivalent. 03:17:33.960 |
If you make the right translation, they will be equivalent. 03:17:44.400 |
- So it's not just an intuition, there is some- 03:17:47.520 |
- No, no, no, there's real mathematics behind this. 03:17:58.800 |
the mathematics it's connected to is the mathematics 03:18:03.640 |
and things like this, which I've always been afraid of, 03:18:05.900 |
but now I'm finally wrapping my arms around it. 03:18:13.280 |
it also relates to computational complexity theory. 03:18:16.160 |
It's also deeply related to the P versus NP problem 03:18:25.160 |
This space of all possible, okay, so a Turing machine, 03:18:32.080 |
You just got this tape where you write down ones and zeros 03:18:36.480 |
or something on the tape, and you have this rule 03:18:55.800 |
can have different choices that it makes at every step. 03:18:59.000 |
And so, you know this stuff, you probably teach this stuff. 03:19:11.720 |
which is in fact one of these multi-way graphs. 03:19:16.280 |
imagine the extremely non-deterministic Turing machine, 03:19:31.340 |
of that extreme non-deterministic Turing machine 03:20:06.780 |
but I'm trying to see the rules on the hypergraphs, 03:20:12.260 |
Or do they all ultimately just map into something simple? 03:20:18.060 |
that's another layer of complexity on this whole thing. 03:20:20.220 |
You can think about these in transformations of hypergraphs, 03:20:23.100 |
but Turing machines are a little bit simpler. 03:20:23.940 |
- You should stick up with Turing machines, okay. 03:20:30.980 |
you're mapping out all the possible non-deterministic paths 03:20:46.340 |
fills out this whole sort of ball of possibilities. 03:21:02.840 |
relative to what happens with individual paths. 03:21:07.860 |
of the P versus NP problem that comes out of this. 03:21:21.860 |
not just to different applications of a single rule, 03:21:32.020 |
I'm going to be an observer embedded in that system, 03:21:55.340 |
Even though all possible rules are being run, 03:22:04.580 |
But what you see could be completely different. 03:22:10.380 |
you essentially have a different description language 03:22:15.000 |
Okay, so what does this really mean in practice? 03:22:19.660 |
We think about the universe in terms of space and time, 03:22:22.340 |
and we have various kinds of description models and so on. 03:22:25.060 |
Now let's imagine the friendly aliens, for example, right? 03:22:46.360 |
where the speed of light really would matter. 03:22:52.960 |
the fact that the speed of light is finite is irrelevant. 03:23:01.280 |
That's about the level of how we notice the speed of light. 03:23:09.400 |
And so we have a way of describing the universe 03:23:17.960 |
also on the mathematics we've constructed and so on. 03:23:20.760 |
But the realization is it's not the only way to do it. 03:23:24.200 |
There will be completely, utterly incoherent descriptions 03:23:30.880 |
to different reference frames in this sort of ruleal space. 03:23:41.720 |
- That's why we are attributing this rule to the universe. 03:23:49.480 |
The answer is just shine the light back on us, so to speak. 03:23:54.480 |
It's because of the reference frame that we've picked 03:23:59.000 |
in this sort of space of all possible rules and so on. 03:24:02.360 |
- But also in the space from this reference frame, 03:24:11.160 |
that simple, that the rule on which the universe, 03:24:25.040 |
these are a little bit mind twisting in some ways, 03:24:27.320 |
but the, okay, another thing that's sort of we know 03:24:31.880 |
from computation is this idea of computation universality. 03:24:42.800 |
we can convert it to run on any other kind of computer. 03:24:45.360 |
We can emulate one kind of computer with another. 03:24:50.240 |
"Well, you think you have the rule for the universe, 03:24:52.760 |
but you might as well be running it on a Turing machine, 03:24:54.840 |
because we know we can emulate any computational rule 03:25:03.680 |
That is that what we're doing is we're saying 03:25:16.040 |
thinking about the physics as running in different, 03:25:19.520 |
as if different underlying computers were running them. 03:25:22.960 |
And, but because of computation universality, 03:25:39.440 |
the ultimate fact that doesn't depend on any of these, 03:25:41.520 |
you know, we don't have to talk about specific rules, 03:25:44.640 |
The ultimate fact is the universe is computational, 03:25:48.360 |
and it is the things that happen in the universe 03:25:54.400 |
that the principle of computational equivalence 03:25:59.480 |
hey, you're not really saying anything there, 03:26:15.720 |
What this is saying is the universe is not a hypercomputer. 03:26:19.600 |
It's not simpler than an ordinary Turing machine 03:26:24.040 |
It's exactly like an ordinary Turing machine type computer. 03:26:30.040 |
the sort of net net conclusion is that's the thing 03:26:38.000 |
That's sort of the fundamental principle of the universe 03:26:41.600 |
is that it is computational and not hypercomputational 03:26:59.200 |
these different kind of ruleal reference frames, 03:27:02.280 |
these different description languages for the universe, 03:27:09.840 |
imagine the extraterrestrial intelligence thing, 03:27:21.120 |
- They can end up with a description of the universe 03:27:25.160 |
that is utterly, utterly incoherent with ours. 03:27:28.040 |
And that's also interesting in terms of how we think about, 03:27:31.320 |
well, intelligence, the nature of intelligence and so on. 03:27:46.560 |
And what's different is we don't have a way to understand 03:27:50.320 |
what the weather is trying to do, so to speak. 03:27:52.480 |
We have a story about what's happening in our brains. 03:28:18.000 |
how the Wolfram Physics Project changed your view 03:28:27.040 |
because of our comprehension of the physics of the world 03:28:33.640 |
we would just not be able to communicate at all? 03:28:41.520 |
The fact, this idea that there's this notion of, 03:28:57.280 |
just natural things that are like human intelligences. 03:29:01.160 |
They'll realize that extraterrestrial intelligences 03:29:04.520 |
or intelligences associated with physical systems and so on, 03:29:19.200 |
Do you have sort of a story you're telling yourself about it? 03:29:23.160 |
And, you know, the weather could have a story 03:29:27.560 |
We just, it's utterly incoherent with the stories 03:29:30.880 |
that we tell ourselves based on how our brains work. 03:29:47.240 |
what's the, how do you think about the distance 03:29:54.680 |
And needless to say, I have thought about this. 03:29:57.120 |
And, you know, I don't have a great answer yet, 03:30:00.880 |
but I think that's a thing where there will be things 03:30:05.080 |
that where you can sort of start to characterize, 03:30:10.880 |
between this, you know, version of the universe 03:30:15.120 |
or this, you know, kind of set of computational rules 03:30:21.480 |
there's this idea of algorithmic information theory. 03:30:23.560 |
There's this question of sort of what is the, 03:30:28.700 |
what is the sort of shortest description you can make of it 03:30:36.480 |
So I'm pretty sure that there will be a physicalization 03:30:41.480 |
of the idea of algorithmic information and that, 03:30:51.560 |
but so I mentioned that there's the speed of light, 03:30:57.560 |
There's a maximum speed of information transmission 03:30:59.840 |
in branchial space, which is a maximum entanglement speed. 03:31:02.920 |
There's a maximum speed of information transmission 03:31:05.240 |
in ruleal space, which has to do with a maximum speed 03:31:09.200 |
of translation between different description languages. 03:31:14.200 |
And again, I'm not fully wrapped my brain around this one. 03:31:17.480 |
- Yeah, that one just blows my mind to think about that, 03:31:20.120 |
but that starts getting closer to the, yeah, the-- 03:31:26.360 |
And it's also a physicalization of algorithmic information. 03:31:29.960 |
And I think there's probably a connection between, 03:31:33.640 |
between the notion of energy and some of these things, 03:31:48.560 |
with the physics project is that you're connecting 03:32:00.420 |
I mean, the fact that our physical universe is, 03:32:03.520 |
right, that we can think of it as a computation 03:32:15.520 |
is really, I think that's really interesting. 03:32:24.240 |
that I have to in terms of this sort of unification 03:32:26.140 |
of different ideas, which is metamathematics. 03:32:43.840 |
one thinks of mathematics as you have certain axioms, 03:32:47.400 |
you say, you know, you say things like X plus Y 03:32:57.360 |
and from these axioms, we derive all these theorems 03:33:06.800 |
Actually, the axioms of mathematics are very small. 03:33:10.360 |
You can fit, you know, when I did my new kind 03:33:12.480 |
of science book, I fit all of the standard axioms 03:33:15.400 |
of mathematics on basically a page and a half. 03:33:23.980 |
The way it works, though, is a little different 03:33:26.680 |
from the way things work in sort of a computation 03:33:31.680 |
because in mathematics, what you're interested in 03:33:37.480 |
you can use from this expression, for example, 03:33:40.360 |
you can use these axioms to get to this other expression. 03:33:45.480 |
Okay, so we can begin to see how this is going to work. 03:33:53.420 |
So what happens is each, two different ways to look at it. 03:33:57.680 |
You can just look at it as mathematical expressions 03:33:59.920 |
or you can look at it as mathematical statements, 03:34:05.200 |
you think of these things and they are connected 03:34:15.960 |
you apply this axiom, you get some other expression. 03:34:21.640 |
there may be many possible different expressions 03:34:27.360 |
and a proof is a path through the multi-way graph 03:34:34.240 |
The path tells you how did you get from one thing 03:34:37.800 |
It's the story of how you got from this to that. 03:34:48.640 |
- You mentioned that Gadel's incompleteness theorem 03:35:04.240 |
you say, I'm trying to get from here to here, 03:35:07.940 |
You say, well, I've looked at all the paths of length 10. 03:35:14.720 |
And there's no upper bound on how long that path is. 03:35:17.400 |
And that's what leads to the incompleteness theorem. 03:35:19.760 |
So, I mean, the thing that is kind of an emerging idea 03:35:34.940 |
it's fascinating to model all the mathematics in this way. 03:35:40.360 |
So human mathematicians have made a few million theorems. 03:35:45.840 |
But imagine the infinite future of mathematics. 03:35:50.440 |
that mathematics likes to apply to other things. 03:35:53.520 |
What is the limit of the infinite future of mathematics? 03:35:59.560 |
What is the, as you just fill in more and more 03:36:05.040 |
How does, what kinds of conclusions can you make? 03:36:07.380 |
So for example, one thing I've just been doing 03:36:17.400 |
His book, you know, that was the sort of defining book 03:36:39.220 |
of how all these theorems get proved from other theorems. 03:36:42.420 |
And so you can ask questions about, you know, 03:36:50.980 |
That turns out to be the hardest theorem in Euclid. 03:36:52.800 |
That's actually his last theorem in all his books. 03:37:03.740 |
So that's the, there's a 33 step path you have to follow 03:37:07.400 |
to go from the axioms, according to Euclid's proofs, 03:37:10.920 |
to the statement there are five platonic solids. 03:37:15.560 |
- Then the question is, in, what does it mean, 03:37:24.520 |
this meta-mathematical space is the infrastructural space 03:37:27.960 |
of all possible theorems that you could prove in mathematics. 03:37:37.120 |
That is, where did people choose to live in space? 03:37:40.760 |
And that's what, for example, exploring the sort 03:37:43.040 |
of empirical meta-mathematics of Euclid is doing that. 03:37:45.480 |
- Each individual, like, human mathematician, 03:38:03.920 |
well, there are two surprising facts about math. 03:38:06.060 |
One is that it's hard, and the other is that it's doable. 03:38:09.560 |
Okay, so first question is, why is math hard? 03:38:12.640 |
You know, you've got these axioms, they're very small. 03:38:15.000 |
Why can't you just solve every problem in math easily? 03:38:27.560 |
already doesn't have the simplicity that logic has. 03:38:34.680 |
- Because what happens is, to know what's true, 03:38:40.720 |
you have to follow, and how long is the path, 03:38:47.720 |
but the fact that the path is not always compressible 03:38:56.840 |
Now, the next question is, why is math doable? 03:38:59.540 |
Because it might be the case that most things 03:39:01.560 |
you care about don't have finite length paths. 03:39:06.760 |
where you get lost in the sea of computational 03:39:19.100 |
Gödel proved his incompleteness theorem in 1931. 03:39:22.260 |
Most working mathematicians don't really care about it. 03:39:31.060 |
It could have been that Fermat's last theorem 03:39:37.020 |
The twin prime conjecture might be undecidable. 03:39:43.060 |
These things might be, the axioms of mathematics 03:39:45.960 |
might not be strong enough to reach those statements. 03:39:49.060 |
It might be the case that depending on what axioms 03:40:00.420 |
Yeah, so the notion of geodesics in metamathematical space 03:40:03.760 |
is a notion of shortest proofs in metamathematical space. 03:40:16.140 |
I mean, this stuff is so bizarrely connected. 03:40:18.820 |
I mean, if you're into automated theorem proving, 03:40:21.700 |
there are these so-called critical pair lemmas 03:40:30.620 |
Let me just finish on the why mathematics is doable. 03:40:49.060 |
When you just say, I'm picking a random integer equation, 03:40:57.440 |
without any human sort of path getting there. 03:41:04.780 |
We just pick them at random from the space of possibilities. 03:41:12.500 |
into this ocean of sort of irreducibility and so on. 03:41:16.620 |
human mathematics is a story of building a path. 03:41:36.780 |
You're not just parachuting in from anywhere, 03:41:41.780 |
you're following Lewis and Clark or whatever. 03:41:48.180 |
And the fact that you are constrained to go along that path 03:41:55.100 |
of undecidability and you'll avoid that part of the path. 03:41:59.340 |
of why human mathematics has seemed to be doable. 03:42:05.220 |
that are by their nature, they have been constructed 03:42:19.460 |
The fact that human mathematics works that way is, 03:42:26.060 |
between the way that observers work in physics 03:42:29.700 |
and the way that the axiom systems of mathematics 03:42:38.860 |
I think there is an analog of causal invariance, 03:42:44.820 |
it's sort of the upper reaches of mathematics 03:42:50.660 |
there's this thing called homotopy type theory, 03:42:52.900 |
which is an abstract, it's came out of category theory, 03:42:56.100 |
and it's sort of an abstraction of mathematics. 03:43:00.340 |
but it's an abstraction of the abstraction of mathematics. 03:43:03.980 |
And there is the thing called the univalence axiom, 03:43:06.620 |
which is a sort of a key axiom in that set of ideas. 03:43:18.980 |
- Is that something for somebody like me accessible? 03:43:23.260 |
- There's a statement of it that's fairly accessible. 03:43:27.100 |
basically it says things which are equivalent 03:43:43.860 |
the thing just to give a sketch of how that works, 03:43:46.140 |
so category theory is an attempt to idealize, 03:43:49.660 |
it's an attempt to sort of have a formal theory 03:43:52.020 |
of mathematics that is at a sort of higher level 03:43:55.580 |
It's where you just think about these mathematical objects 03:44:01.820 |
and these morphisms, these connections between categories. 03:44:05.540 |
Okay, so it turns out the morphisms and categories, 03:44:08.580 |
at least weak categories, are very much like the paths 03:44:14.780 |
And it turns out, again, this is where it all gets crazy. 03:44:18.420 |
I mean, it's the fact that these things are connected 03:44:43.380 |
that says you can get from this thing to this other thing. 03:44:45.900 |
And here's the path that you get from this thing 03:44:51.140 |
many proofs that get you many different paths 03:45:00.380 |
which is a proof of the equivalence of those proofs. 03:45:12.260 |
That path between the paths is essentially related 03:45:20.300 |
- Path between path between path between path, 03:45:22.980 |
the infinite limit, that infinite limit turns out 03:45:31.500 |
that's a fascinating thing, both in the physics world 03:45:36.860 |
I'm not sure I've loaded it in completely, but-- 03:45:44.580 |
it's like, this was obvious, but I didn't see it. 03:45:47.100 |
No, but the thing which is sort of interesting to me 03:45:49.300 |
is that there's sort of an upper reach of mathematics, 03:45:55.860 |
This thing, there's this mathematician called Grothendieck 03:46:03.020 |
of the most abstract mathematics of 1970s-ish timeframe. 03:46:07.860 |
And one of the things that he constructed was this thing 03:46:18.340 |
from essentially logic in the structure of this thing. 03:46:22.380 |
Well, it turns out this Rullio multiway system 03:46:29.620 |
and this is an instance of that limiting object. 03:46:35.420 |
I've been always afraid of this kind of mathematics 03:46:37.940 |
because it seemed incomprehensibly abstract to me. 03:46:49.220 |
the way that you can reach this kind of mathematics, 03:46:51.820 |
which makes it, well, both seem more relevant 03:46:57.380 |
I don't yet know exactly what mileage we're gonna get 03:46:59.940 |
from using the sort of the apparatus that's been built 03:47:03.300 |
in those areas of mathematics to analyze what we're doing. 03:47:19.820 |
is because I want to understand quantum mechanics better. 03:47:25.940 |
we live that kind of the multi-way graph of mathematics 03:47:30.220 |
because we actually know this is a theorem we've heard of. 03:47:33.980 |
We can actually say these are actual things in the world 03:47:36.860 |
that we relate to, which we can't really do as readily 03:47:43.020 |
And so it's kind of a way to help my intuition. 03:47:45.140 |
It's also, you know, there are bizarre things 03:47:47.780 |
like what's the analog of Einstein's equations 03:47:57.620 |
but there's this notion of non-constructive proofs 03:48:04.420 |
they relate to things related to event horizons. 03:48:10.380 |
So the fact that you can take ideas from physics, 03:48:17.980 |
- Do you think you might stumble upon some breakthrough 03:48:22.980 |
ideas in theorem proving, like from the other direction? 03:48:29.540 |
No, I mean, what's really nice is that we are using, 03:48:32.140 |
so this absolutely directly maps to theorem proving. 03:48:37.220 |
that's what a theorem prover is trying to do. 03:48:38.500 |
- But I also mean like automated theorem proving. 03:48:43.700 |
the finding of shortest paths or finding of paths at all 03:48:50.980 |
so we've actually been using automated theorem proving 03:48:56.300 |
and using that as a way to understand multi-way graphs. 03:49:00.500 |
And because what an automated theorem prover is doing 03:49:04.060 |
is it's trying to find a path through a multi-way graph. 03:49:07.380 |
And it's critical pair lemmas are precisely little stubs 03:49:11.780 |
of branch pairs going off into branchial space. 03:49:16.980 |
We have these visualizations in Wolfram language 03:49:19.060 |
of proof graphs from our automated theorem proving system. 03:49:25.620 |
- Well, it's just bizarre because we made these up 03:49:27.660 |
a few years ago and they have these little triangle things. 03:49:32.980 |
We didn't quite get the analogy perfectly right, 03:49:36.740 |
Just to say in terms of how these things are connected. 03:49:39.900 |
So there's another bizarre connection that I have 03:49:42.140 |
to mention because, which again, we don't fully know, 03:49:51.100 |
you might not have thought was in the slightest 03:49:52.620 |
bit connected, which is distributed blockchain like things. 03:49:59.860 |
because it's a story of distributed computing. 03:50:02.820 |
And the issue, with a blockchain, you're saying 03:50:05.820 |
there's gonna be this one ledger that globally says, 03:50:11.660 |
But that's a bad deal if you've got all these 03:50:16.300 |
And this transaction in country A doesn't have 03:50:21.220 |
to be reconciled with the transaction in country B, 03:50:30.980 |
That whole reconciliation thing is just like what happens 03:50:35.660 |
- Yeah, so that's where the causal invariance 03:50:37.620 |
I mean, that's, you know, most of your conversations 03:50:43.060 |
that this probably and possibly might have even bigger 03:50:53.980 |
- Right, so the question is, why is that happening? 03:51:00.700 |
because I like to think about these meta questions 03:51:08.700 |
And once you have an incredibly minimal model, 03:51:11.300 |
and this happened with cellular automata as well, 03:51:13.580 |
cellular automata are an incredibly minimal model. 03:51:22.660 |
And it's like, you know, the fact that it gets used, 03:51:25.220 |
you know, cellular automata are sort of a minimal model 03:51:27.340 |
of like, say, road traffic flow or something. 03:51:29.100 |
And they're also a minimal model of something 03:51:32.060 |
And they're also a minimal model of something 03:51:40.260 |
Similarly, this model that we have of the physics project 03:51:43.020 |
is another, cellular automata are a minimal model 03:51:47.260 |
of parallel, of basically of parallel computation 03:51:57.140 |
And they have been very hard to understand in the past. 03:52:00.300 |
But the, I think the, perhaps the most important breakthrough 03:52:03.700 |
there is the realization that these are models of physics. 03:52:09.140 |
that's been developed in physics to get intuition 03:52:13.820 |
And that's why you can potentially use ideas from physics 03:52:17.420 |
to get intuition about how to do parallel computing. 03:52:20.060 |
And because the underlying model is the same. 03:52:24.380 |
And, but we have all of this achievement in physics. 03:52:28.380 |
oh, you've come up with the fundamental theory of physics. 03:52:30.060 |
That throws out what people have done in physics before. 03:52:41.420 |
- This kind of brings up, I know you probably don't 03:52:44.060 |
particularly love commenting on the work of others, 03:52:48.740 |
but let me bring up a couple of personalities 03:52:51.180 |
just 'cause it's fun and people are curious about it. 03:53:12.340 |
Which so much about what we're talking about now, 03:53:20.380 |
Like there's a certain intuition with physicists, 03:53:23.460 |
with people that a simple theory, like this reducibility, 03:53:27.980 |
pockets of reducibility is the ultimate goal. 03:53:37.660 |
that are just really good at predicting physical phenomena. 03:53:40.540 |
It's okay to have a bunch of disparate theories 03:53:44.300 |
as opposed to trying to chase this beautiful theory 03:53:48.500 |
of everything is the ultimate beautiful theory, a simple one. 03:54:00.620 |
- You might be misquoting the title of her book. 03:54:03.740 |
- Okay, well, let me respond to what you were describing, 03:54:09.340 |
with what Sabine Hossenfelder says or thinks. 03:54:23.340 |
is beauty a guide to whether something is correct? 03:54:26.580 |
Which is kind of also the story of Occam's razor. 03:54:29.260 |
If you've got a bunch of different explanations of things, 03:54:32.180 |
is the thing that is the simplest explanation 03:54:38.180 |
and there are situations where it isn't true. 03:54:55.660 |
"beautiful explanation for things," or is it a big mess? 03:55:03.660 |
before I worked on the project in recent times, 03:55:07.180 |
I would have said, "We do not know how complicated 03:55:17.780 |
that's the thing that makes science possible, 03:55:21.860 |
I mean, early theologians would have used that 03:55:27.140 |
because it's like, why is there order in the universe? 03:55:29.420 |
Why doesn't every single particle in the universe 03:55:32.660 |
Something must be making there be order in the universe. 03:55:37.180 |
We, in the sort of early theology point of view, 03:55:41.820 |
that's, the role of God is to do that, so to speak. 03:56:03.180 |
in the sense that, because all the stuff that we see 03:56:13.300 |
but I mean, for me, the sort of the surprising 03:56:17.940 |
connectivity of it is, at least in my aesthetic, 03:56:21.980 |
that's something that responds to my aesthetic. 03:56:25.100 |
- But the question is, I mean, you're a fascinating person 03:56:29.660 |
in the sense that you're at once talking about computational, 03:56:34.460 |
the fundamental computational reducibility of the universe, 03:56:41.220 |
with a theory of everything, which simply describes 03:56:44.340 |
the simple origins of that computational reducibility. 03:56:53.820 |
it's paralyzing to think that we can't make any sense 03:57:01.460 |
we can think of a rule that generates this whole complexity, 03:57:19.300 |
focus on the finding of small pockets of reducibility 03:57:26.980 |
- You know, it's a funny thing because, you know, 03:57:29.700 |
a bunch of people have started working on this, 03:57:32.180 |
you know, physics project, people who are, you know, 03:57:40.060 |
because what, you know, when I was working on this before 03:57:47.780 |
put it, it's 100 pages of this 1200 page book 03:57:51.540 |
it's, you know, 100 pages of that is about physics. 03:57:54.380 |
But I saw it at that time, not as a pinnacle achievement, 03:58:02.060 |
I mean, my main point was this new kind of science, 03:58:06.180 |
you can apply it to, you know, other kinds of physics, 03:58:17.740 |
that was interesting with that book was, you know, 03:58:21.380 |
book comes out, lots of people think it's pretty interesting 03:58:28.300 |
The one field where there was sort of a heavy pitchforking 03:58:32.700 |
was from my friends, the fundamental physics people, 03:58:36.140 |
which was, it's like, no, this can't possibly be right. 03:58:41.740 |
it'll overturn 50 years of what we've been doing. 03:58:44.420 |
And it's like, no, it won't, was what I was saying. 03:58:51.020 |
when I started, you know, I was going to go on 03:58:55.980 |
I was going to go on working on this project. 03:58:58.700 |
And I actually stopped, partly because it's like, 03:59:30.580 |
where, you know, people say, great, thanks for those tools, 03:59:36.540 |
Whereas, you know, if you're dealing with kind of a, 03:59:39.140 |
you know, sort of a structure where people are saying, 03:59:46.300 |
- Yeah, there's like literally, like, I don't know, 03:59:48.460 |
millions of people who are thankful for Wolfram Alpha, 03:59:55.620 |
than the theoretical physics community, perhaps. 04:00:20.420 |
Now, what's happened in the last 18 years or so, 04:00:23.580 |
I think there's a couple of things have happened. 04:00:30.460 |
would deliver the fundamental theory of physics, 04:00:34.740 |
That the, another thing that's happened is the, 04:00:37.500 |
the sort of the interest in computation around physics 04:00:41.220 |
has been greatly enhanced by the whole quantum information, 04:00:47.260 |
there might be something sort of computational 04:00:53.260 |
And I think, you know, it's sort of interesting, 04:01:04.660 |
no professional physicists. - Oh, no professional. 04:01:07.420 |
- What are your, I mean, you've talked with him, 04:01:14.020 |
what are your thoughts about Eric Weinstein's work? 04:01:20.780 |
he did a PhD thesis in mathematical physics at Harvard. 04:01:24.740 |
- And, you know, it's, it seems like it's kind of, 04:01:31.100 |
and it's kind of like, I'm not sure how much further 04:01:39.540 |
it's a fairly specific piece of mathematical physics 04:01:49.220 |
in his particular case, I mean, from what I understand, 04:01:53.100 |
but, you know, I think I know the rough tradition, 04:02:04.380 |
how local gauge invariance works in our models 04:02:09.580 |
and, you know, does some of the mathematical structure 04:02:15.980 |
- So there might be a possibility of trying to understand 04:02:29.020 |
Gauge theory, the standard model of particle physics says 04:02:35.780 |
Those are the designations of these Lie groups. 04:02:52.780 |
Okay, so all those are subgroups of a group called E8, 04:02:59.100 |
Okay, it is conceivable, I don't know whether it's the case, 04:03:06.900 |
that the gauge invariance of the model has this property, 04:03:15.220 |
which corresponds to a thing called general covariance, 04:03:28.100 |
that we see in particle physics is somehow generic. 04:03:32.980 |
the thing that's really cool, I think, you know, 04:03:36.020 |
sociologically, although this hasn't really hit yet, 04:03:40.700 |
all these different things people have been working on 04:03:42.300 |
in these, in some cases, quite abstruse areas 04:03:45.740 |
of mathematical physics, an awful lot of them 04:04:00.660 |
which is it's strange that the theory of everything 04:04:04.860 |
is not at the core of the passion, the dream, 04:04:09.860 |
the focus, the funding of the physics community. 04:04:21.500 |
ancient Greece, people thought we're nearly there. 04:04:24.340 |
You know, the world is made of platonic solids. 04:04:26.340 |
It's, you know, water is a tetrahedron or something. 04:04:35.180 |
You know, time of Newton, you know, we're almost there. 04:04:39.900 |
You know, time of Faraday and Maxwell, we're almost there. 04:04:47.100 |
- And the whole time we're making big progress, though. 04:04:51.140 |
But the fundamental theory of physics is almost a footnote 04:04:57.820 |
It's like, we're operating in the high-level languages. 04:05:01.140 |
- You know, that's what we really care about. 04:05:02.580 |
That's what's relevant for our everyday physics. 04:05:06.020 |
and the 21st century will be everything is computation. 04:05:10.540 |
- If that takes us all the way, we don't know, 04:05:15.540 |
But I think the point is that it's like, you know, 04:05:20.820 |
"in the origin of life and the definition of life?" 04:05:24.300 |
You know, you're studying the properties of some virus. 04:05:26.700 |
It doesn't matter, you know, where, you know, 04:05:31.300 |
And it's the same, what's happened with physics is, 04:05:36.100 |
I was sort of mapping out this history of people's efforts 04:05:39.460 |
to understand the fundamental theory of physics. 04:05:47.660 |
there've been times when there's been bursts of enthusiasm. 04:05:55.420 |
"Oh, it's too hard, but it's not relevant anyway." 04:06:20.660 |
if we figure out the fundamental theory of physics? 04:06:26.100 |
- Outside of the intellectual curiosity of us. 04:06:33.540 |
I think a very interesting analogy is Copernicus. 04:06:44.740 |
It used epicycles, et cetera, et cetera, et cetera. 04:06:54.860 |
But Copernicus had this different way of formulating things 04:07:04.180 |
The consequence was you can use this mathematical theory 04:07:07.900 |
to conclude something which is absolutely not 04:07:14.140 |
So it's like, trust the mathematics, trust the science. 04:07:34.820 |
Nobody would have thought if the science says something 04:07:37.700 |
that doesn't agree with our everyday experience, 04:07:47.620 |
once we figure out the framework of computation 04:07:53.820 |
we'll be able to derive totally counterintuitive things. 04:08:01.140 |
that right now, I talk about computational irreducibility. 04:08:13.900 |
That's a whole 'nother topic we could talk about. 04:08:18.260 |
But in any case, so computational irreducibility 04:08:29.220 |
if you believe the world is fundamentally computational. 04:08:33.180 |
But if you know the fundamental theory of physics 04:08:40.260 |
That is, you know the world is computational. 04:08:48.860 |
well, you have this whole computational irreducibility, 04:08:54.140 |
because after all, the world isn't computational, 04:09:05.260 |
you know, that that's kind of the grounding for that stuff. 04:09:07.700 |
Just as in a sense, Copernicus was the grounding 04:09:10.540 |
for the idea that you could figure out something 04:09:20.100 |
So now we've got to this point where, for example, 04:09:32.820 |
Like it means there's computational irreducibility. 04:09:35.260 |
That means science is limited in certain ways. 04:09:39.780 |
But the fact that we have that grounding means that, 04:09:49.180 |
on the set of mathematics of astronomy were cool, 04:09:52.380 |
but they involved a very small number of people. 04:09:54.580 |
The implications of his work for sort of the philosophy 04:09:59.860 |
and involved, you know, everybody more or less. 04:10:02.860 |
- But do you think, so that's actually the way scientists 04:10:10.620 |
Do you think it might have an impact more directly 04:10:18.140 |
like propulsion systems, our ability to colonize the world? 04:10:24.640 |
but if you understand the computational nature, 04:10:44.160 |
will, you know, will like Elon Musk start paying attention? 04:10:47.640 |
Like it's awfully costly to launch these rockets. 04:10:50.520 |
Do you think we'll be able to, yeah, create warp drive? 04:10:52.880 |
- Right, you know, I set myself some homework. 04:10:55.400 |
I agreed to give a talk at some NASA workshop 04:10:57.640 |
in a few weeks about faster than light travel. 04:10:59.920 |
So I haven't figured it out yet, but no, but-- 04:11:04.460 |
- But do you think that kind of understanding 04:11:09.640 |
- Okay, I think it's far away, but I'm not certain. 04:11:26.480 |
They're, you know, how on earth can we do things with them? 04:11:28.120 |
But just imagine that we could get, you know, 04:11:32.480 |
You know, what kind of technology could we build with them? 04:11:36.720 |
But I think in, you know, so there are ideas. 04:11:39.840 |
You know, I have this, one of the weirder ideas 04:11:44.160 |
which are higher dimensional pieces of space time, 04:11:52.000 |
there might be a five-dimensional, you know, region, 04:11:57.040 |
at one end and a black hole at the other end. 04:12:04.480 |
is the thing that I'm calling a vacuum cleaner, okay? 04:12:34.840 |
in either our model or the physical universe, 04:12:40.620 |
is a thing where, you know, you have all these things 04:12:44.520 |
but what if you could clean out some of that stuff 04:12:54.240 |
- Right, and that would lead to negative energy density, 04:13:19.640 |
'cause you're saying, like, at this level of abstraction, 04:13:21.600 |
you can reach to the lower levels and mess with it. 04:13:30.760 |
that this reminds me of people telling one years ago 04:13:36.360 |
over a copper wire at more than 1,000, you know, 04:13:44.000 |
You know, why do we have these much, much faster 04:13:47.080 |
Because we've understood many more of the details 04:13:52.600 |
And it's the same, you know, I think that this, 04:13:54.800 |
as I say, I think one of the features of sort of, 04:14:00.600 |
that will seem incredibly naive in the future 04:14:03.080 |
is the belief that, you know, things like heat 04:14:11.360 |
it's just random, we can't say anything about it. 04:14:18.160 |
those particles would be laughing at us humans 04:14:23.640 |
- Right, we'll have a whole civilization, you know. 04:14:29.000 |
- Well, right, but also, and they used to think 04:14:31.280 |
that this would just be random and uninteresting. 04:14:33.960 |
But that's, but so this question about whether you can, 04:14:41.320 |
with the underlying structure, that's a, you know, 04:14:44.040 |
I have to say, you know, my immediate thing is, 04:14:48.800 |
But then, and, you know, possibly computational 04:14:59.720 |
is the engineering invention that has to be made. 04:15:02.520 |
- Those little pockets can have huge engineering impact. 04:15:11.400 |
And the fact is, you know, I, you know, this is, yes, 04:15:16.960 |
it's a, you know, it's one of these things where, 04:15:20.360 |
where, you know, I'm a person who likes to figure out ideas 04:15:32.080 |
of serious humility in terms of my level of imagination. 04:15:35.440 |
One is this thing about different reference frames 04:15:40.600 |
imagine the physics of the aliens, what will it be like? 04:15:49.920 |
you can at least reason about the things you don't know. 04:15:57.560 |
But then the mathematics can, that's exactly it. 04:16:01.560 |
Allow you to reach beyond what you can reason about. 04:16:05.400 |
- Right, so I'm, you know, I'm trying to not have, 04:16:09.160 |
you know, if you think back to Alan Turing, for example, 04:16:11.640 |
and, you know, when he invented Turing machines, 04:16:13.880 |
you know, and imagining what computers would end up doing, 04:16:23.440 |
but most of it he couldn't predict, possibly. 04:16:25.480 |
- By the time, by 1950, he was making reasonable predictions 04:16:30.080 |
- Right, not when he first, you know, conceptualized, 04:16:34.600 |
you know, and he conceptualized universal computing 04:16:41.280 |
But yes, it's a good sort of exercise in humility 04:16:52.200 |
if we know how the universe works, how can we engineer it? 04:16:58.360 |
- By the way, I have to mention one more thing, 04:16:59.680 |
which is the ultimate question from physics is, 04:17:04.200 |
okay, so we have this abstract model of the universe. 04:17:11.160 |
So, you know, we might say there is a formal model 04:17:15.120 |
that if you run this model, you get the universe, 04:17:29.320 |
But the question is, why was that actualized? 04:17:35.840 |
And so this is another one of these humility, 04:17:41.560 |
I have a guess, okay, about the answer to that. 04:17:47.640 |
but my guess is that it's a little bit similar 04:17:55.000 |
as an axiomatic theory like Peano arithmetic, 04:18:02.240 |
So my guess is that for entities within the universe, 04:18:07.920 |
there is no finite determination that can be made 04:18:19.680 |
- Within that universe, how does that make you feel? 04:18:22.640 |
Does that put you at peace that it's impossible, 04:18:30.880 |
- Well, I think it just says that it's not a kind 04:18:44.560 |
You can say, imagine there was a hypercomputer, 04:18:47.640 |
So, okay, great, it would be lovely to have a hypercomputer, 04:18:49.920 |
but unfortunately we can't make it in the universe. 04:18:53.520 |
but unfortunately we can't do it in the universe. 04:18:56.280 |
And, you know, this is all we have, so to speak. 04:19:02.320 |
It's sort of, in the end, it'll be a kind of a logical, 04:19:10.640 |
as you understand what it means to have a sort of predicate 04:19:14.960 |
of existence and what it means to have these kinds 04:19:21.680 |
you can't establish the reason for its existence, 04:19:26.880 |
- And nevertheless, because of computational reducibility, 04:19:29.880 |
the future is ultimately not predictable, full of mystery, 04:19:39.280 |
because as a pure sort of human being doing what I do, 04:19:46.720 |
I like sort of, you know, the whole human experience, 04:19:50.960 |
And yet, it's a little bit weird when I'm thinking, 04:20:05.720 |
it is a funny thing, because every so often I get this, 04:20:12.480 |
of how physics works, and I'm like thinking to myself, 04:20:24.000 |
this infinite creature that is so abstract and so on? 04:20:28.440 |
And I kind of, it is a, it's a funny sort of feeling 04:20:44.960 |
we make things as, it's not like we're just a tiny speck. 04:21:43.240 |
You know, it's gonna be much more impressive. 04:21:48.880 |
And the thing that, you know, it's not gonna be, 04:21:51.360 |
oh, this thing is amazingly much more impressive 04:21:53.960 |
and amazingly much more meaningful, let's say. 04:22:01.480 |
- And the symbolism of this particular moment, 04:22:04.400 |
so this has been one of the favorite conversations 04:22:12.720 |
to talk about a topic like this for four plus hours 04:22:18.600 |
and yet we're just two finite descendants of apes 04:22:28.040 |
- Right, and we're gonna get bitten by mosquitoes 04:22:32.600 |
we're talking about the most basic fabric of reality 04:22:36.320 |
and having to end because of the fact that things end. 04:22:44.360 |
I can't wait to see what you do in the next couple of days 04:22:54.440 |
with Stephen Wolfram, and thank you to our sponsors, 04:23:00.880 |
Please check out our sponsors in the description 04:23:03.160 |
to get a discount and to support this podcast. 04:23:05.960 |
If you enjoy this thing, subscribe on YouTube,