back to index

Peter Woit: Theories of Everything & Why String Theory is Not Even Wrong | Lex Fridman Podcast #246


small model | large model

link |
00:00:00.000
The following is a conversation with Peter White, a theoretical physicist at Columbia,
link |
00:00:04.800
outspoken critical strength theory, and the author of the popular physics and mathematics
link |
00:00:09.600
blog called Not Even Wrong.
link |
00:00:13.640
This is the Lex Friedman podcast.
link |
00:00:15.680
To support it, please check out our sponsors in the description.
link |
00:00:18.880
And now, here's my conversation with Peter White.
link |
00:00:23.840
You're both a physicist and a mathematician, so let me ask, what is the difference between
link |
00:00:29.320
physics and mathematics?
link |
00:00:31.000
Well, there's kind of a conventional understanding of the subject that there are two quite different
link |
00:00:36.880
things.
link |
00:00:37.880
So that mathematics is about making rigorous statements about these abstract things, things
link |
00:00:45.800
of mathematics and proving them rigorously.
link |
00:00:48.520
And physics is about doing experiments and testing various models and that.
link |
00:00:54.040
But I think the more interesting thing is that there's a wide variety of what people
link |
00:01:00.640
do as mathematics, what they do as physics, and there's a significant overlap, and that
link |
00:01:04.440
I think is actually a much, much very, very interesting area.
link |
00:01:09.120
And if you go back kind of far enough in history and look at figures like Newton or something,
link |
00:01:15.000
I mean, at that point, you can't really tell, you know, was Newton a physicist or a mathematician.
link |
00:01:20.400
Christians will tell you as a mathematician, the physicists will tell you as a physicist.
link |
00:01:24.080
He will say he's a philosopher.
link |
00:01:27.000
Yeah, that's interesting.
link |
00:01:29.000
But anyway, there was kind of no such distinction then that's more of a modern thing.
link |
00:01:35.160
But anyway, I think these days there's a very interesting space in between the two.
link |
00:01:38.200
So in the story of the 20th century and the early 21st century, what is the overlap between
link |
00:01:43.480
mathematics and physics, would you say?
link |
00:01:45.520
Well, I think it's actually become very, very complicated.
link |
00:01:49.840
I think it's really interesting to see a lot of what my colleagues in the math department
link |
00:01:54.240
are doing.
link |
00:01:56.400
Most of what they're doing, they're doing all sorts of different things, but most of
link |
00:01:59.080
them have some kind of overlap with physics or other.
link |
00:02:02.480
So I'm personally interested in one particular aspect of this overlap, which I think has
link |
00:02:07.960
a lot to do with the most fundamental ideas about physics and about mathematics.
link |
00:02:12.200
But you kind of see this really, really everywhere at this point.
link |
00:02:19.040
Which particular overlap are you looking at, Goop theory?
link |
00:02:21.880
Yeah.
link |
00:02:22.880
So at least the way it seems to me that if you look at physics and look at our most
link |
00:02:28.480
successful laws of fundamental physics, they have a certain kind of mathematical structure.
link |
00:02:35.440
It's based upon certain kind of mathematical objects and geometry, connections and curvature,
link |
00:02:40.760
the spinners, the Dirac equation.
link |
00:02:44.000
And this very deep mathematics provides kind of a unifying set of ways of thinking that
link |
00:02:52.000
allow you to make a unified theory of physics.
link |
00:02:54.920
But the interesting thing is that if you go to mathematics and look at what's been going
link |
00:02:59.040
on in mathematics the last 50 hundred years, and even especially recently, there's similarly
link |
00:03:06.920
some kind of unifying ideas which bring together different areas of mathematics, which have
link |
00:03:11.520
been especially powerful in number theory recently.
link |
00:03:14.720
There's a book, for instance, by Edward Frankel about love and math.
link |
00:03:18.960
Yeah, that book's great.
link |
00:03:20.280
I recommend it highly.
link |
00:03:21.520
It's partially accessible, but there's a nice audiobook that I listened to while running
link |
00:03:29.440
an exceptionally long distance like across the San Francisco bridge.
link |
00:03:35.720
And there's something magic about the way he writes about it, but some of the group
link |
00:03:39.960
theory in there is a little bit difficult.
link |
00:03:41.600
Yeah, that's the problem with any of these things, to kind of really say what's going
link |
00:03:45.600
on and make it accessible is very hard.
link |
00:03:49.000
He, in this book and elsewhere, I think takes the attitude that kinds of mathematics he's
link |
00:03:53.720
interested in and that he's talking about are, provide kind of a grand unified theory
link |
00:03:58.200
of mathematics.
link |
00:03:59.280
They bring together geometry and number theory and representation theory, a lot of different
link |
00:04:05.680
ideas in a really unexpected way.
link |
00:04:09.800
But I think, to me, the most fascinating thing is if you look at the kind of grand unified
link |
00:04:13.560
theory of mathematics he's talking about and you look at the physicists kind of ideas
link |
00:04:17.440
about unification, it's more or less the same mathematical objects are appearing in both.
link |
00:04:22.720
So it's this, I think there's a really, we're seeing a really strong indication that the
link |
00:04:27.120
deepest ideas that we're discovering about physics and some of the deepest ideas that
link |
00:04:31.600
mathematicians are learning about are really, are intimately connected.
link |
00:04:36.240
Is there something, if I was five years old and you were trying to explain this to me,
link |
00:04:40.720
is there ways to try to sneak up to what this unified world of mathematics looks like?
link |
00:04:47.400
You said number theory, you said geometry, words like topology, what does this universe
link |
00:04:53.440
begin to look like?
link |
00:04:55.480
What should we imagine in our mind?
link |
00:04:57.560
Is it a three dimensional surface and we're trying to say something about it?
link |
00:05:03.360
Is it triangles and squares and cubes, like what are we supposed to imagine our minds?
link |
00:05:09.480
Is this natural number?
link |
00:05:11.320
What's a good thing to try to, for people that don't know any of these tools except
link |
00:05:17.000
maybe some basic calculus and geometry from high school that they should keep in their
link |
00:05:20.920
minds as to the unified world of mathematics that also allows us to explore the unified
link |
00:05:28.480
world of physics?
link |
00:05:30.480
I mean, what I find kind of remarkable about this is the way in which we've discovered
link |
00:05:37.520
these ideas, but they're actually quite alien to our everyday understanding.
link |
00:05:42.520
We grow up in this three spatial dimensional world and we have intimate understanding of
link |
00:05:47.520
certain kinds of geometry and certain kinds of things, but these things that we've discovered
link |
00:05:53.440
in both math and physics are, they're not at all close, have any obvious connection
link |
00:05:59.760
to kind of human everyday experience.
link |
00:06:02.120
They're really quite different.
link |
00:06:03.120
And I can say some of my initial fascination with this when I was young and starting to
link |
00:06:07.800
learn about it was actually exactly this kind of arcane nature of these things.
link |
00:06:14.480
It was a little bit like being told, well, there are these kind of semi mystical experience
link |
00:06:20.920
that you can acquire by a long study and whatever except that it was actually true and there's
link |
00:06:27.040
actually evidence that this actually works.
link |
00:06:29.600
So I'm a little bit wary of trying to give people that kind of thing because I think
link |
00:06:34.040
it's mostly misleading.
link |
00:06:35.280
But one thing to say is that geometry is a large part of it and maybe one interesting
link |
00:06:42.160
thing to say very, that's about more recent, some of the most recent ideas is that when
link |
00:06:47.000
we think about the geometry of our space and time, it's kind of three spatial and one time
link |
00:06:52.720
dimension.
link |
00:06:53.720
Let's say physics is in some sense about something that's kind of four dimensional in a way.
link |
00:07:01.080
And a really interesting thing about some of the recent developments and number theory
link |
00:07:06.120
have been to realize that these ideas that we were looking at naturally fit into a context
link |
00:07:12.680
where your theory is kind of four dimensional.
link |
00:07:17.320
So geometry is a big part of this and we know a lot and feel a lot about two, one, two,
link |
00:07:23.200
three dimensional geometry.
link |
00:07:24.720
So wait a minute.
link |
00:07:25.720
So we can at least rely on the four dimensions of space and time and say they can get pretty
link |
00:07:32.520
far by working in that in those four dimensions.
link |
00:07:35.600
I thought you were going to scare me that we're going to have to go to many, many, many,
link |
00:07:39.120
many more dimensions than that.
link |
00:07:41.120
My point of view, which goes against a lot of these ideas about unification is that,
link |
00:07:45.240
no, this is really, everything we know about really is about four dimensions that, and
link |
00:07:53.120
that you can actually understand a lot of these structures that we've been seeing in
link |
00:07:56.000
fundamental physics and in number theory just in terms of four dimensions that it's kind
link |
00:08:02.000
of, it's in some sense I would claim has been a mistake that physicists have made for decades
link |
00:08:12.200
and decades to try to go to higher dimensions, to try to formulate a theory in higher dimensions.
link |
00:08:19.120
And then you're stuck with the problem of how do you get rid of all these extra dimensions
link |
00:08:23.320
that you've created because we only ever see anything in four dimensions.
link |
00:08:27.520
That kind of thing leaves us astray, you think.
link |
00:08:30.000
So creating all these extra dimensions just to give yourself extra degrees of freedom.
link |
00:08:36.560
I mean, isn't that the process of mathematics is to create all these trajectories for yourself,
link |
00:08:41.400
but eventually have to end up at a final place.
link |
00:08:46.000
And it's okay to sort of create abstract objects on your path to proving something.
link |
00:08:55.520
Yeah, certainly.
link |
00:08:57.320
And from a mathematician's point of view, I mean, the kinds of mathematicians also are
link |
00:09:02.160
very different than physicists in that we like to develop very general theories.
link |
00:09:06.400
If we have an idea, we want to see what's the greatest generality in which you can talk
link |
00:09:10.200
about it.
link |
00:09:11.200
So from the point of view of most of the ways geometry is formulated by mathematicians,
link |
00:09:17.080
it really doesn't matter.
link |
00:09:18.080
It works in any dimension.
link |
00:09:19.080
We can do one, two, three, four, any number.
link |
00:09:22.240
There's no particular, for most of geometry, there's no particular special thing but four.
link |
00:09:28.320
But anyway, but what physicists have been trying to do over the years is try to understand
link |
00:09:35.720
these fundamental theories in a geometrical way.
link |
00:09:38.480
And it's very tempting to kind of just start bringing in extra dimensions and using them
link |
00:09:44.960
to explain the structure.
link |
00:09:46.320
But typically this attempt kind of founders because you just don't know, you end up not
link |
00:09:54.200
being able to explain why we only see four.
link |
00:09:59.640
It is nice in the space of physics that like if you look at Fermat's last theorem, it's
link |
00:10:04.640
much easier to prove that there's no solution for n equals three than it is for the general
link |
00:10:10.040
case.
link |
00:10:12.240
And so I guess that's the nice benefit of being a physicist is you don't have to worry
link |
00:10:17.320
about the general case because we live in a universe with n equals four in this case.
link |
00:10:23.000
Yeah, physicists are very interested in saying something about specific examples.
link |
00:10:29.200
And I find that interesting even when I'm trying to do things in mathematics and I'm
link |
00:10:33.840
trying to even teaching courses into mathematics students, I find that I'm teaching them in
link |
00:10:39.480
a different way than most mathematicians because I'm very often very focused on examples on
link |
00:10:45.640
what's kind of the crucial example that shows how this powerful new mathematical technique,
link |
00:10:52.880
how it works and why you would want to do it.
link |
00:10:56.040
And I'm less interested in kind of proving a precise theorem about exactly when it's
link |
00:11:00.920
going to work and when it's not going to work.
link |
00:11:02.320
Do you usually think about really simple examples, like both for teaching and when you try to
link |
00:11:08.720
solve a difficult problem, do you construct like the simplest possible examples that captures
link |
00:11:13.480
the fundamentals of the problem and try to solve it?
link |
00:11:15.880
Yeah, yeah, exactly.
link |
00:11:17.200
That's often a really fruitful way to, if you've got some idea, just to kind of try
link |
00:11:22.400
to boil it down to what's the simplest situation in which this kind of thing is going to happen
link |
00:11:28.520
and then try to really understand that and understand that and that is almost always
link |
00:11:32.880
a really good way to get insight into it.
link |
00:11:34.520
Do you work with paper and pen or like, for example, for me, coming from the programming
link |
00:11:41.080
side, if I look at a model, if I look at some kind of mathematical object, I like to mess
link |
00:11:46.920
around with it sort of numerically.
link |
00:11:49.440
I just visualize different parts of it, visualize however I can.
link |
00:11:53.000
So most of the work is like when you're on networks, for example, is you try to play
link |
00:11:57.440
with the simplest possible example and just to build up intuition by, you know, any kind
link |
00:12:03.840
of object has a bunch of variables in it and you start to mess around with them in different
link |
00:12:08.680
ways and visualize in different ways to start to build intuition.
link |
00:12:12.360
Or do you go the Einstein route and just imagine like everything inside your mind and sort
link |
00:12:19.600
of build like thought experiments and then work purely on paper and pen?
link |
00:12:24.520
Well, the problem with this kind of stuff I'm interested in is you rarely can kind of,
link |
00:12:32.000
it's rarely something that is really kind of, or even the simplest example, you can
link |
00:12:38.120
kind of see what's going on by looking at something happening in three dimensions.
link |
00:12:42.720
There's generally the structures involved are either they're more abstract or if you
link |
00:12:48.320
try to kind of embed them in some kind of space and where you could manipulate them
link |
00:12:53.840
in some kind of geometrical way, it's going to be a much higher dimensional space.
link |
00:12:57.360
So even simple examples, embedding them into three dimensional space, you're losing a lot?
link |
00:13:03.120
Yeah.
link |
00:13:04.120
Or but to capture what you're trying to understand about them, you have to go to four or more
link |
00:13:09.040
dimensions so it starts to get to be hard to, and you can train yourself to try it as
link |
00:13:14.360
much as to kind of think about things in your mind and, you know, I often use pad and paper
link |
00:13:20.800
and often if my office office is the blackboard, and you are kind of drawing things, but they're
link |
00:13:27.120
really kind of more abstract representations of how things are supposed to fit together
link |
00:13:32.320
and they're not really, unfortunately, not just kind of really living in three dimensions
link |
00:13:37.520
where you cannot.
link |
00:13:38.520
Are we supposed to be sad or excited by the fact that our human minds can't fully comprehend
link |
00:13:44.040
the kind of mathematics you're talking about?
link |
00:13:45.880
I mean, what do we make of that? I mean, to me, that makes me quite sad. It makes me,
link |
00:13:51.760
it makes it seem like there's a giant mystery out there that will never truly get to experience
link |
00:13:56.480
directly.
link |
00:13:58.360
It is kind of sad, you know, how difficult this is. I mean, or I would put it a different
link |
00:14:03.440
way that, you know, most questions that people have about this kind of thing, you know, you
link |
00:14:09.480
can give them a really true answer and really understand it, but the problem is one more
link |
00:14:15.080
of time. It's like, yes, you know, I could explain to you how this works, but you'd
link |
00:14:20.760
have to be willing to sit down with me and, you know, work at this repeatedly for hours
link |
00:14:26.440
and days and weeks. I mean, it's just going to take that long for your mind to really
link |
00:14:32.320
wrap itself around what's going on.
link |
00:14:35.760
And so that does make things inaccessible, which is sad. But I mean, it's just kind of
link |
00:14:42.200
part of life that we all have a limited amount of time, and we have to decide what we're
link |
00:14:46.040
going to, what we're going to spend our time doing.
link |
00:14:49.840
Speaking of a limited amount of time, we only have a few hours, maybe a few days together
link |
00:14:55.640
here on this podcast. Let me ask you the question of amongst many of the ideas that you work
link |
00:15:02.720
on in mathematics and physics, what's used the most beautiful idea or one of the most
link |
00:15:08.360
beautiful ideas, maybe a surprising idea. And once again, unfortunately, the way life
link |
00:15:13.520
works, we only have a limited time together to try to convey such an idea.
link |
00:15:18.240
Okay. Well, actually, let me just tell you something, which I'm tempted to kind of start
link |
00:15:24.480
trying to explain what I think is this most powerful idea that brings together math and
link |
00:15:28.080
physics ideas about groups and representations and how it fits quantum mechanics. But in
link |
00:15:33.480
some sense, I wrote a whole textbook about that. And I don't think we really have time
link |
00:15:37.400
to get very far into it.
link |
00:15:38.880
Well, can I actually, on a small tangent, you did write a paper towards a grant unified
link |
00:15:43.240
theory of mathematics and physics. Maybe you can step there first. What is the key idea
link |
00:15:48.560
in that paper?
link |
00:15:49.560
Well, I think we've kind of gone over that. I think the key idea is what we were talking
link |
00:15:53.280
about earlier, that just kind of a claim that if you look and see what's that have been
link |
00:15:59.440
successful idea as a unification in physics over the last 50 years or so, and what's been
link |
00:16:06.560
happening in mathematics and the kind of thing that Frankel's book is about, that these
link |
00:16:11.080
are very much the same kind of mathematics. And so it's kind of an argument that there
link |
00:16:14.520
really is, you shouldn't be looking to unify just math or just fundamental physics, but
link |
00:16:21.960
taking inspiration for looking for new ideas and fundamental physics, that they are going
link |
00:16:26.120
to be in the same direction of getting deeper into mathematics and looking for more inspiration
link |
00:16:32.360
in mathematics from these successful ideas about fundamental physics.
link |
00:16:37.440
Could you put words to sort of the disciplines we're trying to unify? So you said number
link |
00:16:41.000
theory. Are we literally talking about all the major fields of mathematics? So it's like
link |
00:16:45.640
the number theory geometry, so like differential geometry, topology, like.
link |
00:16:51.840
So the, I mean, one name for this, that this is acquired in mathematics is the so called
link |
00:16:58.000
Langlands program. And so this started out in mathematics. It's that, you know, Robert
link |
00:17:03.880
Langlands kind of realized that a lot of what people were doing in them, that was starting
link |
00:17:09.920
to be really successful in number theory in the 60s. And so that this actually was, anyway,
link |
00:17:19.720
that this could be, could be a thought of in terms of these ideas about symmetry in groups
link |
00:17:24.440
and representations. And, and in a way that was also close to some ideas about geometry.
link |
00:17:32.120
And then more later on in the 80s and 90s, there was something called geometric Langlands
link |
00:17:38.000
that people realized that you could take what people have been doing in number theory in
link |
00:17:41.880
Langlands and, and get rid, just forget about the number theory and ask, what is this telling
link |
00:17:46.560
you about geometry? And you get a whole, some new insights into certain kinds of geometry
link |
00:17:51.080
that way. So it's anyway, that's kind of the name for this area is Langlands and geometric
link |
00:17:56.840
Langlands. And just recently in the last few months, there's been, there's kind of really
link |
00:18:01.800
major paper that appeared by Peter Schultz and Laurel Farg, where they, you know, made,
link |
00:18:09.080
you know, some serious advance and try to understand a very much kind of a local problem
link |
00:18:15.880
of what happens in number theory near a certain prime number. And they turned this into a
link |
00:18:21.520
problem of exactly the, the kind of geometric Langlands people had been doing these kind
link |
00:18:26.800
of pure, a pure geometry problem. And they found by generalizing mathematics, they could
link |
00:18:32.560
actually reformulate it in that way. And it worked perfectly well.
link |
00:18:35.880
One of the things that makes me sad is, you know, I'm a pretty knowledgeable person. And
link |
00:18:46.160
then what is it? At least I'm in the neighborhood of like theoretical computer science, right?
link |
00:18:50.800
And it's still way out of my reach. And so many people talk about like Langlands, for
link |
00:18:54.480
example, is one of the most brilliant people in mathematics and just really admire his
link |
00:18:58.960
work. And I can't, it's like, almost I can't hear the music that he composed. And it makes
link |
00:19:05.000
me sad.
link |
00:19:06.000
Yeah. Well, I mean, I think unfortunately, it's not just you. It's I think even most
link |
00:19:11.760
mathematicians have no, really don't actually understand what this is about. I mean, the
link |
00:19:16.520
group of people who really understand all these ideas. And so for instance, this paper
link |
00:19:21.360
of Shultz and Farg that I was talking about, the number of people who really actually understand
link |
00:19:26.280
how that works is anyway, very, very small. And so it's a, so I think even you find if
link |
00:19:34.120
you talk to mathematicians and physicists, even they will often feel that, you know,
link |
00:19:38.080
there's this really interesting sounding stuff going on and which I should be able to understand.
link |
00:19:42.920
It's kind of in my own field. I have a PhD in, but it still seems pretty clearly far
link |
00:19:47.160
beyond me right now.
link |
00:19:48.720
Well, if we can step into the back to the question of beauty, is there an idea that
link |
00:19:55.880
maybe is a little bit smaller that you find beautiful in this pace of mathematics or physics?
link |
00:20:02.120
There's an idea that, you know, I kind of went, got a physics PhD and spent a lot of
link |
00:20:05.760
time learning about mathematics. And I guess it was embarrassing that I hadn't really actually
link |
00:20:11.040
understood this very simple idea until I kind of learned it when I actually started teaching
link |
00:20:16.560
math classes, which is maybe that there, there, maybe there's a simple way to explain kind
link |
00:20:23.880
of fundamental way in which algebra and geometry are connected. So you normally think of geometry
link |
00:20:29.800
is about these spaces and these points. And, and you think of algebra is this very abstract
link |
00:20:35.920
thing about with these abstract objects that satisfy certain kinds of relations, you can
link |
00:20:41.400
multiply them and add them and do stuff. But it's, it's completely abstract. It is nothing
link |
00:20:46.720
geometric about it. But the kind of really fundamental idea is that unifies algebra and
link |
00:20:53.480
geometry is to, is to realize, is to think whenever, whenever anybody gives you what
link |
00:20:59.920
you call an algebra, some abstract thing of things that you can multiply and add that
link |
00:21:04.680
you should ask yourself, is that algebra the space of functions on some geometry? So one
link |
00:21:10.960
of the most surprising examples of this, for instance, is a standard kind of thing that
link |
00:21:16.880
seems to have nothing to do with geometry is the, is the, the integers. So then there,
link |
00:21:23.080
you can, you can multiply them and add them. It's, it's an algebra, but the, it has seems
link |
00:21:29.480
to have nothing to do with geometry. But what you can, it turns out, but if you ask yourself
link |
00:21:33.120
this question and ask, you know, is our integers, can you think if somebody gives you an integer,
link |
00:21:37.840
can you think of it as a function on some space on some geometry? And it turns out that
link |
00:21:43.120
yes, you can. And the space is the space of prime numbers. And so what you do is you just,
link |
00:21:48.600
if somebody gives you an integer, you can make a function on the prime numbers by just,
link |
00:21:53.640
you know, at each prime number, taking that, that integer modulo, that prime. So if, as
link |
00:22:00.000
you say, I don't know, if you give, give in 10, you know, 10, and you ask, what is its
link |
00:22:04.680
value at two? Well, it's, it's five times two. So mod two is zero. So it has zero one.
link |
00:22:11.080
What is, what is its value at three? Well, it's nine plus one. So it's, it's one mod
link |
00:22:16.440
three. So it's, it's zero at two. It's one at three. And you can kind of keep going.
link |
00:22:22.040
And so this is really kind of a truly fundamental idea. It's at the basis of what's called algebraic
link |
00:22:28.560
geometry. And it just links these two parts of mathematics that look completely different.
link |
00:22:33.040
And it's just an incredibly powerful idea. And so much of mathematics emerges from this
link |
00:22:37.480
kind of simple relation.
link |
00:22:39.840
So you're talking about mapping from one discrete space to another, to another. So for a second,
link |
00:22:47.480
I thought perhaps mapping like a continuous space to a discrete space, like functions
link |
00:22:52.200
over a continuous space, because, yeah, well, you can, I mean, you can take, if somebody
link |
00:22:57.800
gives you a space, you can ask, you can say, well, let's, let's, and this is also, this
link |
00:23:04.200
is part of the same idea. The part of the same idea is that if you try and do geometry
link |
00:23:08.080
and somebody tells you, here's a space, that what you should do is you should wait to say,
link |
00:23:12.280
wait a minute, maybe I should be trying to solve this using algebra. And so if I do that,
link |
00:23:17.000
the way to start is you give me the space, I start to think about the functions on the
link |
00:23:21.200
space. Okay. So for each point in the space, I associate a number. I can take different
link |
00:23:26.720
kinds of functions and different kinds of values, but, but basically functions on a
link |
00:23:31.080
space. So what this insight is telling you is that if you're a geometer, often the way
link |
00:23:38.080
to, to, to work is to trans change your problem into algebra by changing your space, stop
link |
00:23:43.600
thinking about your space and the points in it and thinking about the functions on it.
link |
00:23:48.360
And if you're, and if you're an algebraist and you've got these abstract algebraic gadgets
link |
00:23:52.160
that you're multiplying and adding say, wait a minute, are those gadgets, can I think of
link |
00:23:57.600
them in some way as a function on a space? What would that space be and what kind of
link |
00:24:01.520
functions would they be? And that going back and forth really brings these two completely
link |
00:24:07.160
different looking areas of mathematics together.
link |
00:24:09.280
Do you have particular examples where it allowed to prove some difficult things by jumping
link |
00:24:15.480
from one to the other? Is that something that's a part of modern mathematics where such jumps
link |
00:24:20.640
are made? Oh yeah. So this is kind of all the time. A lot, much, much of modern number
link |
00:24:24.900
theory is kind of based on this idea. But, and, and when you start doing this, you start
link |
00:24:30.200
to realize that you need, you know, what simple things, simple things on one side of the algebra
link |
00:24:36.960
is, you know, start to require you to think about the other side about geometry in a new
link |
00:24:42.160
way. You have to kind of get a more sophisticated idea about geometry. Or if you start thinking
link |
00:24:46.920
about the functions on a space, you may have, you may need a more sophisticated kind of
link |
00:24:51.480
algebra. But, but in some sense, I mean, much or most of modern number theory is based
link |
00:24:56.680
upon this move to geometry. And there's also a lot of geometry and topology is also based
link |
00:25:02.520
upon, yeah, change. If you want to understand the topology of something, you look at the
link |
00:25:07.160
functions, you do Dharam callmology, and you get the topology.
link |
00:25:11.560
Anyway.
link |
00:25:12.560
Well, let me ask you then the ridiculous question. You said that this idea is beautiful. Can
link |
00:25:19.080
you formalize the definition of the word beautiful? And why is this beautiful? Like, well, first,
link |
00:25:25.320
why is this beautiful? And second, what is beautiful?
link |
00:25:29.480
Well, and I think there are many different things you can find beautiful for different
link |
00:25:33.680
reasons. I mean, I think in this context, the notion of beauty, I think really is just
link |
00:25:38.880
kind of an idea is beautiful if it's packages a huge amount of kind of power and information
link |
00:25:46.520
into something very simple. So in some sense, you can almost kind of try and measure it
link |
00:25:54.560
in the sense of, you know, what's the, what are the implications of this idea? What non
link |
00:25:59.200
trivial things does it tell you versus, you know, how, how, how, how simply can you express
link |
00:26:05.520
the idea?
link |
00:26:06.520
So the level of compression, what does it correlates with beauty?
link |
00:26:12.160
Yeah. That's one, one aspect of it. And so you can start to tell that an idea is becoming
link |
00:26:17.200
uglier and uglier as you start kind of having to, you know, it doesn't quite do what you
link |
00:26:21.960
want. So you throw in something else to the idea and you keep doing that until you get
link |
00:26:26.680
what you want. But that's how you know you're doing something uglier and uglier when you
link |
00:26:30.760
have to kind of keep adding in more, more, more into what was originally a fairly simple
link |
00:26:38.000
idea and making it more and more complicated to get what you want.
link |
00:26:41.640
Okay. So let's put some philosophical words on the table and trying to make some sense
link |
00:26:46.360
of them. One word is beauty. Another one is simplicity, as you mentioned. Another one
link |
00:26:51.320
is truth. So do you have a sense, if I give you two theories, one is simpler, one is more
link |
00:27:00.360
complicated. Do you have a sense of which one is more likely to be true to capture deeply
link |
00:27:11.320
the fabric of reality? The simple one or the more complicated one?
link |
00:27:15.240
Yeah. I think all of our evidence and what we see in the history of the subject is the
link |
00:27:21.280
simpler one. Though often it's a surprise. It's simpler in a surprising way, but yeah,
link |
00:27:28.320
that we just don't, we just, anyway, the kind of best theories we've been coming up with
link |
00:27:34.080
are ultimately when properly understood, relatively simple and much, much simpler than you would
link |
00:27:40.760
expect them to be.
link |
00:27:41.760
Do you have a good explanation why that is? Is it just because humans want it to be that
link |
00:27:45.480
way? Or we're just like ultra biased and we just kind of convince ourselves that simple
link |
00:27:51.560
is better because we find simplicity beautiful? Or is there something about our actual universe
link |
00:27:57.520
that at the core is simple?
link |
00:27:59.480
My own belief is that there is something about a universe that is that simple and I was trying
link |
00:28:04.600
to say that there is some kind of fundamental thing about math, physics, and physics and
link |
00:28:09.680
all this picture, which is in some sense simple. It's true that our minds are very limited
link |
00:28:20.720
and can certainly do certain things and not others. So it's in principle possible that
link |
00:28:26.520
there's some great insight. There are a lot of insights into the way the world works,
link |
00:28:31.320
which is aren't accessible to us because that's not the way our minds work. We don't. And
link |
00:28:35.600
at what we're seeing, this kind of simplicity is just because that's all we ever have any
link |
00:28:40.040
hope of seeing.
link |
00:28:42.680
So there's a brilliant physicist by the name of Sabine Hassanfelder who both agrees and
link |
00:28:50.200
disagrees with you. I suppose agrees that the final answer will be simple. But simplicity
link |
00:28:59.800
and beauty leads us astray in the local pockets of scientific progress. Do you agree with
link |
00:29:07.720
her disagreement? Do you disagree with her agreement? And agree with the agreement and
link |
00:29:13.720
so on?
link |
00:29:14.720
Yes, I thought it was really fascinating reading her book. Anyway, I was finding disagreeing
link |
00:29:20.600
with a lot. But then at the end, when she says, yes, when we find there, when we actually
link |
00:29:25.840
figure this out, it will be simple. And okay, so we agree in the end.
link |
00:29:30.960
But does beauty lead us astray, which is the core thesis of her work in that book?
link |
00:29:37.440
Actually, I guess I do disagree with her on that so much. I don't think, and especially,
link |
00:29:42.880
and I actually fairly strongly disagree with her about sometimes the way she'll refer
link |
00:29:46.440
to math. So the problem is, physicists and people in general just refer to it as math,
link |
00:29:52.880
and they're often meaning not what I would call math, which is the interesting ideas
link |
00:29:58.680
of math, but just some complicated calculation. And so I guess my feeling about it is more
link |
00:30:07.640
that the problem with talking about simplicity and using simplicity as a guide is that it's
link |
00:30:16.360
very easy to fool yourself. And it's very easy to decide to fall in love with an idea.
link |
00:30:23.600
You have an idea, you think, oh, this is great, and you fall in love with it. And like any
link |
00:30:28.400
kind of love affair, it's very easy to believe that the object of your affections is much
link |
00:30:33.040
more beautiful than others might think, and that they really are. And that's very, very
link |
00:30:38.600
easy to do. So if you say, I'm just going to pursue ideas about beauty and mathematics
link |
00:30:45.840
in this, it's extremely easy to just fool yourself, I think. And I think that's a lot
link |
00:30:51.520
of what the story she was thinking of about where people have gone to stray that, I think
link |
00:30:56.720
it's, I would argue that it's more people. It's not that there was some simple, powerful,
link |
00:31:02.080
wonderful idea which they'd found, and it turned out not to be useful, but it was more
link |
00:31:08.800
that they kind of fooled themselves that this was actually a better idea than it really
link |
00:31:12.560
was, and that it was simpler and more beautiful than it really was, is a lot of the story.
link |
00:31:18.040
I think so it's not that the simplicity would be Lisa's strays that just people are people
link |
00:31:22.760
and they fall in love with whatever idea they have. And then they weave narratives around
link |
00:31:29.120
that idea, or they present the institution that emphasizes the simplicity and the beauty.
link |
00:31:36.480
Yeah, that's part of it. But the thing about physics that you have is that you, you know,
link |
00:31:42.480
that really can tell, if you can do an experiment and check and see if nature is really doing
link |
00:31:47.760
what your idea expects, that you do in principle have a way of really testing it. And it's
link |
00:31:54.920
certainly true that if you, you know, if you thought you had a simple idea and that doesn't
link |
00:31:59.760
work and you got into an experiment and what actually does work is somewhere, maybe some
link |
00:32:04.560
more complicated version of it, that can certainly happen and that can be true. I think her emphasis
link |
00:32:12.320
is more that I don't really disagree with is that people should be concentrating on when
link |
00:32:20.440
they're trying to develop better theories on morons, on self consistency, not so much
link |
00:32:25.040
on beauty, but, you know, not is this idea beautiful, but, you know, is there something
link |
00:32:29.560
about the theory which is not quite consistent and that and use that as a guide that there's
link |
00:32:35.600
something wrong there which needs fixing. And so I think that part of her argument,
link |
00:32:40.680
I think I was, we're on the same page about what's, what is consistency and inconsistency?
link |
00:32:47.160
Well, what, what exactly do you have examples in mind? Well, it can be just simple inconsistency
link |
00:32:55.560
between theory and an experiment that if you, so we have this great fundamental theory,
link |
00:33:01.040
but there are some things that we see out there which don't seem to fit in like, like
link |
00:33:04.920
dark energy and dark matter, for instance. But if there's something which you can't test
link |
00:33:08.760
experimentally, I think, you know, she would argue, and I would agree that, for instance,
link |
00:33:12.560
if you're trying to think about gravity and how are you going to have a quantum theory
link |
00:33:16.360
of gravity, you should kind of be, you know, test any of your ideas with kind of kind of
link |
00:33:23.240
a thought experiment, you know, is, does this actually give a consistent picture of what's
link |
00:33:26.960
going to happen, of what happens in this particular situation or not?
link |
00:33:31.440
So this is a good example you've written about this. You know, since quantum gravitational
link |
00:33:37.800
effects are really small, super small, arguably unobservably small, should we have hope to
link |
00:33:45.840
arrive at a theory of quantum gravity somehow? What are the different ways we can get there?
link |
00:33:51.640
You've mentioned that you're not as interested in that effort because basically, yes, you
link |
00:33:57.160
cannot have ways to scientifically validate it given the tools of today.
link |
00:34:03.960
You know, I've actually, you know, I've over the years certainly spent a lot of time learning
link |
00:34:07.640
about gravity and about attempts to quantize it, but it hasn't been that much in the past,
link |
00:34:13.600
the focus of what I've been thinking about. But I mean, my feeling was always, you know,
link |
00:34:18.960
as I think speed would agree that the, you know, one way you can pursue this if you can't
link |
00:34:24.920
do experiments is just this kind of search for consistency. You know, it can be remarkably
link |
00:34:30.560
hard to come up with a completely consistent model of this in a way that brings together
link |
00:34:36.280
a quantum mechanics and general relativity. And that's, I think, kind of been the traditional
link |
00:34:42.520
way that people who have pursued quantum gravity have often pursued, you know, we have the
link |
00:34:48.720
best route to finding a consistent theory of quantum gravity. And string theorists will
link |
00:34:54.520
tell you this. Other people will tell you it's kind of what people argue about. But
link |
00:35:00.480
the problem with all of that is that you end up, the danger is that you end up with that
link |
00:35:08.880
everybody could be successful. Everybody, everybody's program for how to find a theory
link |
00:35:14.520
of quantum gravity, you know, ends up with something that is consistent. And so, in some
link |
00:35:19.920
sense, you could argue this is what happened to the strength there is they, they solve
link |
00:35:24.280
their problem of finding a consistent theory of quantum gravity and then it, but they found
link |
00:35:28.360
10 of the 500 solutions. So you, you know, if you believe that everything that they would
link |
00:35:34.840
like to be true is true, well, okay, you've got a theory, but it's, it ends up being kind
link |
00:35:40.480
of useless because it's just one of an infant, essentially infinite number of things which
link |
00:35:46.120
you have no way to experimentally distinguish. And so this is just a depressing situation.
link |
00:35:53.040
But I do think that there is a, so again, I think pursuing ideas about what more about
link |
00:35:59.720
beauty and how can you integrate and unify these issues about gravity with other things
link |
00:36:04.960
we know about physics and can you find a theory which were they, were these fit together
link |
00:36:08.680
in a, in a way that makes sense and, and hopefully predict something that's much more promising.
link |
00:36:13.560
Well, it makes sense and hopefully, I mean, we'll sneak up onto this question a bunch
link |
00:36:19.080
of times because you kind of said a few slightly contradictory things, which is like it's nice
link |
00:36:24.760
to have a theory that's consistent, but then if the theory is consistent, it doesn't necessarily
link |
00:36:30.680
mean anything. So like, it's not enough. It's not enough. It's not enough. And that's a problem.
link |
00:36:36.840
So it's like, it keeps coming back to, okay, there should be some experimental validation.
link |
00:36:43.480
So okay, let's talk a little bit about strength theory. You've been a bit of an outspoken
link |
00:36:49.400
critic of strength theory. Maybe one question first to ask is, what is strength theory?
link |
00:36:57.000
And beyond that, why is it wrong? Or rather, as the title of your blog says, not even wrong.
link |
00:37:06.320
Okay. Well, one interesting thing about the current state of strength theory is that I
link |
00:37:10.680
think it, I'd argue it's actually very, very difficult to, at this point, to say what strength
link |
00:37:15.200
theory means. If people say they're strength theorists, what they mean and what they're
link |
00:37:19.360
doing is a, it's kind of hard, it's hard to pin down the meaning of the term. But the,
link |
00:37:24.320
but the initial meaning I think goes back to, there was kind of a series of developments
link |
00:37:30.440
starting in 1984 in which people felt that they had found a unified theory of, of our
link |
00:37:38.320
so called standard model of all the standard well known kind of particle interactions and
link |
00:37:43.880
gravity and it all fit together in a quantum theory. And that you could do this in a very
link |
00:37:48.560
specific way by instead of thinking about having a quantum theory of particles moving
link |
00:37:55.760
around in space time, think about quantum theory of kind of one dimensional loops moving
link |
00:38:00.960
around in space time, so called strings. And so instead of one degree of freedom, these
link |
00:38:06.720
have an infinite number of degrees of freedom. It's a much more complicated theory. But you
link |
00:38:10.160
can imagine, okay, we're going to quantize this theory of loops moving around in space
link |
00:38:15.500
time. And what they found is that they, is that you could make, you could do this and
link |
00:38:21.200
you could fairly, relatively straightforwardly make sense of, of such a quantum theory, but
link |
00:38:27.000
only if space and time together were 10 dimensional. And so then you had this problem again, the
link |
00:38:33.240
problem I referred to at the beginning of, okay, now, once you make that move, you got
link |
00:38:37.480
to get rid of six dimensions. And so the hope was that you could get rid of the six dimensions
link |
00:38:43.120
by making them very small and that consistency of the theory would require these, that these
link |
00:38:49.080
six dimensions satisfy a very specific condition called being a Kalabiow manifold and that we
link |
00:38:55.920
knew very, very few examples of this. So what got a lot of people very excited back in 8485
link |
00:39:02.400
was the hope that you could just take this 10 dimensional string theory and find one
link |
00:39:09.160
of a limited number of possible ways of, of getting rid of six dimensions by making them
link |
00:39:14.040
small and then you would end up with an effective four dimensional theory, which looked like
link |
00:39:18.040
the real world. This was the hope. So then there's then a very long story about what
link |
00:39:22.840
happened to that hope over the years. I mean, I would argue and part of the point of the
link |
00:39:28.400
book and its title was that this ultimately was a failure that you ended up, that this idea just
link |
00:39:35.840
didn't, there ended up being just too many ways of doing this and you didn't know how to do this
link |
00:39:42.120
consistently. That it was kind of not even wrong in the sense that you couldn't even, you never
link |
00:39:48.200
could pin it down well enough to actually get a real falsifiable prediction out of it that would
link |
00:39:54.120
tell you it was wrong. But it was kind of in the, in the realm of ideas, which initially look good,
link |
00:40:00.280
but the more you look at them, they just, they don't work out the way, the way you want. And
link |
00:40:05.520
they don't actually end up carrying the power or the, that you originally had this vision of.
link |
00:40:09.880
And yes, the book title is not even wrong. Your blog, your excellent blog title is not even wrong.
link |
00:40:16.760
Okay. But there's nevertheless been a lot of excitement about string theory through the
link |
00:40:22.080
decades as you mentioned. What are the different flavors of ideas that came, like the branched
link |
00:40:30.360
out, you mentioned 10 dimensions, you mentioned loops with infinite degrees of freedom. What,
link |
00:40:36.680
what are the interesting ideas to you that kind of emerged from this world?
link |
00:40:40.200
Well, yeah, I mean, the problem in talking about the whole subject and part of the reason I wrote
link |
00:40:44.720
the book is that, you know, it gets very, very complicated. I mean, there's a huge amount, you
link |
00:40:51.320
know, a lot of people got very interested in this, a lot of people worked on it. And in some
link |
00:40:56.800
sense, I think what happened is exactly because the idea didn't really work, that this caused
link |
00:41:02.440
people to, you know, instead of focusing on this one idea and digging in and working on that,
link |
00:41:08.040
they just kind of kept trying new things. And so people, I think, ended up wandering around in
link |
00:41:14.120
a very, very rich space of ideas about mathematics and physics and discovering, you know, all sorts
link |
00:41:18.960
of really interesting things. It's just the problem is there tended to be an inverse relationship
link |
00:41:23.360
between how interesting and beautiful and fruitful this new idea that they were trying to pursue
link |
00:41:28.400
was and how much it looked like the real world. So there's a lot of beautiful mathematics came
link |
00:41:33.560
out of it. I think one of the most spectacular is what the physicists call two dimensional
link |
00:41:38.920
conformal field theory. And so these are basically quantum field theories and kind of think of it
link |
00:41:45.560
as one space and one time dimension, which, you know, have just this huge amount of symmetry and
link |
00:41:51.400
a huge amount of structure, which does some totally fantastic mathematics behind it. And again,
link |
00:41:58.440
and some of that mathematics is exactly also what appears in the Langland's program. So a lot of
link |
00:42:03.920
the first interaction between math and physics around the Langland's program has been around
link |
00:42:09.400
these two dimensional conformal field theories. Is there something you could say about what
link |
00:42:15.640
the major problems are with string theory? So like, besides that there's no experimental
link |
00:42:24.760
validation, you've written that a big hole in string theory has been its perturbative definition.
link |
00:42:33.000
Yeah. Perhaps that's one. Can you explain what that means?
link |
00:42:36.320
Well, maybe to begin with, I think the simplest thing to say is the initial idea really was that,
link |
00:42:44.400
okay, we have this, instead of what's great is we have this thing that only works. It's very
link |
00:42:51.120
structured and has to work in a certain way for it to make sense. But then you ended up in 10
link |
00:43:00.040
space time dimensions. And so to get back to physics, you had to get rid of five of the
link |
00:43:04.920
dimensions, six of the dimensions. And the bottom line, I would say in some sense is very simple,
link |
00:43:09.560
that what people just discovered is just there's kind of no particularly nice way of doing this.
link |
00:43:15.520
There's an infinite number of ways of doing it, and you can get whatever you want, depending on
link |
00:43:19.160
how you do it. So you end up, the whole program of starting at 10 dimensions and getting to four,
link |
00:43:24.880
just kind of collapses out of a lack of any way to kind of get to where you want, because you
link |
00:43:29.960
can get anything. The hope around that problem has always been that the standard formulation that
link |
00:43:37.560
we have of string theory, which is you can go in by the name perturbative, but it's kind of,
link |
00:43:43.360
there's a standard way we know of given a classical theory of constructing a quantum theory and working
link |
00:43:52.440
with it, which is the so called perturbation theory, that we know how to do. And that, that by
link |
00:44:01.400
itself just doesn't give you any hint as to what to do about the six dimensions. So actual perturbed
link |
00:44:07.880
with string theory by itself really only works in 10 dimensions. So you have to start making some
link |
00:44:13.400
kinds of assumptions about how I'm going to go beyond this formulation that we really understand
link |
00:44:20.880
of string theory and get rid of these six dimensions. So kind of the simplest one was the
link |
00:44:25.520
clavial postulate. But when that didn't really work out, people have tried more and more different
link |
00:44:33.520
things. And the hope has always been that the solution, this problem would be that you would
link |
00:44:39.800
find a deeper and better understanding of what string theory is that would actually go beyond
link |
00:44:45.400
this perturbative expansion, which would generalize this. And that once you had that,
link |
00:44:52.880
it would solve this problem of, it would pick out what to do with the six dimensions.
link |
00:44:59.440
How difficult is this problem? So if I could restate the problem, it seems like there's a
link |
00:45:06.400
very consistent physical world operating in four dimensions. And how do you map a consistent
link |
00:45:15.880
physical world in 10 dimensions to a consistent physical world in four dimensions? And how
link |
00:45:21.760
difficult is this problem? Is that something you can even answer? Just in terms of physics
link |
00:45:29.680
intuition, in terms of mathematics, mapping from 10 dimensions to four dimensions?
link |
00:45:35.080
Well, basically, I mean, you have to get rid of the six of the dimensions. So there's kind
link |
00:45:40.520
of two ways of doing it. One is what we call compactification. You say that there really
link |
00:45:45.800
are 10 dimensions, but for whatever reason, six of them are really are so, so small, we
link |
00:45:50.320
can't see them. So you basically start out with 10 dimensions. And what we call make
link |
00:45:56.440
six of them not go out to infinity, but just kind of a finite extent, and then make that
link |
00:46:01.400
size go down so small, it's unobservable. That's a math trick. So can you also help
link |
00:46:10.440
me build an intuition about how rich and interesting the world in those six dimensions
link |
00:46:16.680
is? So compactification seems to imply that it's not very interesting.
link |
00:46:22.720
Well, no, but the problem is that what you learn if you start doing mathematics and looking
link |
00:46:27.080
at geometry and topology and more and more dimensions is that, I mean, asking the question
link |
00:46:33.960
like, what are all possible six dimensional spaces? It's just a, it's kind of an unanswerable
link |
00:46:38.080
question. It's just, I mean, it's even kind of technically undecidable in some way. They're
link |
00:46:42.720
just too, too, there are too many things you can do with all these. If you start trying
link |
00:46:46.880
to make, if you start trying to make one dimensional spaces, it's like, well, you got a line, you
link |
00:46:51.240
can make a circle, you can make graphs, you can kind of see what you can do. But as you
link |
00:46:55.920
go to higher and higher dimensions, there's just so many ways you can put things together
link |
00:47:02.080
of and get something of that dimensionality. And so it, unless you have some very, very
link |
00:47:08.920
strong principle, which is going to pick out some very specific ones of these six dimensional
link |
00:47:13.920
spaces, and there's just too many of them and you can get anything you want.
link |
00:47:19.600
So if you have 10 dimensions, the kind of things that happen or say that's actually
link |
00:47:25.560
the way that's actually the fabric of our realities, 10 dimensions, there's a limited
link |
00:47:30.840
set of behaviors of objects, I don't know, even know what the right terminology to use
link |
00:47:36.000
that can occur within those dimensions, like in reality. And so like what I'm getting at
link |
00:47:44.000
is like, is there some consistent constraints? So if you have some constraints that map to
link |
00:47:49.640
reality, then you could start saying like, dimension number seven is kind of boring.
link |
00:47:56.440
All the excitement happens in the spatial dimensions one, two, three. And time is also
link |
00:48:01.320
kind of boring. And like, some are more exciting than others, or we can use our metric of beauty.
link |
00:48:08.280
Some dimensions are more beautiful than others. Once you have an actual understanding of what
link |
00:48:13.420
actually happens in those dimensions in our physical world, as opposed to sort of all
link |
00:48:17.680
the possible things that could happen.
link |
00:48:19.640
In some sense, just the basic fact is you need to get rid of them. We don't see them.
link |
00:48:23.080
So you need to somehow explain them. The main thing you're trying to do is to explain why
link |
00:48:27.200
we're not seeing them. And so you have to come up with some theory of these extra dimensions
link |
00:48:33.880
and how they're going to behave. And string theory gives you some ideas about how to do
link |
00:48:38.880
that. But the bottom line is where you're trying to go with this whole theory you're
link |
00:48:44.880
creating is to just make all of its effects essentially unobservable. So it's not a really,
link |
00:48:54.880
it's an inherently kind of dubious and worrisome thing that you're trying to do there. Why are
link |
00:48:58.480
you just adding in all the stuff and then trying to explain why we don't see it?
link |
00:49:02.200
I mean, it just
link |
00:49:03.200
This may be a dumb question, but is this an obvious thing to state that those six dimensions
link |
00:49:09.800
are unobservable or anything beyond four dimensions is unobservable? Or do you leave a little door
link |
00:49:19.000
open to saying the current tools of physics and obviously our brains aren't unable to
link |
00:49:25.400
observe them. But we may need to come up with methodologies for observing them. So as opposed
link |
00:49:31.200
to collapsing your mathematical theory into four dimensions, leaving the door open a little
link |
00:49:36.120
bit too, maybe we need to come up with tools that actually allow us to directly measure
link |
00:49:41.200
those dimensions.
link |
00:49:42.200
Yes. I mean, you can certainly ask, you know, assume that we've got model, look at models
link |
00:49:49.720
with more dimensions and ask, you know, what would be observable effects? How would we
link |
00:49:53.480
know this? And then you go out and do experiments. So for instance, you have like gravitationally
link |
00:50:00.080
you have an inverse square law forces. Okay, if you had more dimensions, that inverse square
link |
00:50:04.680
law would change something else. So you can go and start measuring the inverse square
link |
00:50:09.200
law and say, okay, inverse square law is working. But maybe if I get, it turns out to be actually
link |
00:50:15.560
kind of very, very hard to measure gravitational effects at even kind of, you know, somewhat
link |
00:50:20.520
macroscopic distances because they're so small. So you can start looking at the inverse square
link |
00:50:25.800
law and say, start trying to measure it at shorter and shorter distances and see if there
link |
00:50:31.320
were extra dimensions at those distance scales, you would start to see the inverse square
link |
00:50:35.600
law fail. And so people look for that. And again, you don't see it. But you can, I mean,
link |
00:50:42.160
there's all sorts of experiments of this kind, you can imagine which test for effects of
link |
00:50:47.480
extra dimensions at different, at different distance scales, but none of them, I mean,
link |
00:50:54.760
they all just don't work.
link |
00:50:57.520
Nothing yet. But you can say, ah, but it's, it's just, it's just much, much smaller. You
link |
00:51:03.000
can say that. Which by the way, makes LIGO and the detection of gravitational waves quite
link |
00:51:10.160
an incredible project. Ed Whitten is often brought up as one of the most brilliant mathematicians
link |
00:51:17.280
and physicists ever. What do you make of him and his work on string theory?
link |
00:51:23.840
Well, I think he's a truly remarkable figure. I've, you know, had the pleasure of meeting
link |
00:51:29.680
him first when he was a postdoc. And I mean, he's just completely amazing mathematician
link |
00:51:36.560
and physicist. And, you know, he's quite a bit smarter than just about any of the rest
link |
00:51:43.080
of us and also more hardworking. It's a, it's a kind of frightening combination to see how
link |
00:51:47.120
much he's been able to do. And, but I would actually argue that, you know, his, his greatest
link |
00:51:53.160
work, the things that he's done that have been of just this mind blowing significance
link |
00:51:57.360
of giving us, I mean, he's completely revolutionized some areas of mathematics. He's totally revolutionized
link |
00:52:03.320
the way we understand the relations between mathematics and physics. And most of those,
link |
00:52:09.720
his greatest work is stuff that doesn't have as little or nothing to do with string theory.
link |
00:52:14.800
I mean, for instance, he, you know, he, so he was actually one of fields. The very strange
link |
00:52:19.680
thing about him in some sense is that he, he doesn't have a Nobel Prize. So there, there's
link |
00:52:24.640
a very large number of people who are nowhere near as smart as he is and don't work anywhere
link |
00:52:29.480
near as hard who have Nobel Prizes. I think he just had the misfortune of coming into
link |
00:52:34.320
the field at a time when things had gotten much, much, much tougher and nobody really
link |
00:52:39.040
had, no matter how smart you were, it was very hard to come up with a new idea that
link |
00:52:44.040
it was going to work physically and get you a Nobel Prize. But he, but he, you know, he,
link |
00:52:49.640
he had got a Fields Medal for a certain work he did in, in mathematics. And that's just
link |
00:52:55.520
completely unheard of, you know, for mathematicians to give a Fields Medal to someone outside
link |
00:52:59.240
their field and physics is really, you know, you wouldn't have before he came around. I
link |
00:53:05.520
don't think anybody would have thought that was even conceivable.
link |
00:53:07.840
So you're saying is he came into the field of theoretical physics at a time when, and
link |
00:53:14.800
still to today is you can't get a Nobel Prize for purely theoretical work.
link |
00:53:20.000
The specific problem of trying to do better than the standard, the standard model is just
link |
00:53:24.840
this insanely successful thing. And it kind of came together in 1973 pretty much. And
link |
00:53:30.920
post and so, and all of the people who kind of were involved in that coming together,
link |
00:53:36.000
you know, many of them ended up with Nobel Prizes for that. But, but if you look post
link |
00:53:41.640
1973 pretty much, it's a little bit more, there's some edge cases if you like, but the,
link |
00:53:48.160
if you look post 1973 at what people have done to try to do better than the standard
link |
00:53:53.800
model and to get a better, you know, idea, it really hasn't, it's been too hard a problem.
link |
00:53:58.480
It hasn't worked. The theory is too good. And so it's not that other people went out
link |
00:54:03.080
there and did it and not him and that they got Nobel Prizes for doing it. It's just that
link |
00:54:08.080
no one really, the kind of thing he's been trying to do with string theory is not, um,
link |
00:54:12.360
no one has been able to do since 1973.
link |
00:54:14.280
Is there something you can say about the standard model? So the four laws of physics that seems
link |
00:54:19.280
to work very well. And yet people are striving to do more talking about unification. So on
link |
00:54:26.800
why, what's wrong, what's broken about the standard model? Why, why does it need to be
link |
00:54:32.080
improved?
link |
00:54:33.080
I mean, the thing that gets most attention is, um, is gravity that we have trouble. Um,
link |
00:54:39.280
so you want to, you want to in some sense integrate, integrate what we know about the
link |
00:54:44.600
gravitational force with it and have a unified quantum field theory that has gravitational
link |
00:54:49.480
interactions also. So that's the big problem. Everybody talks about, um, I mean, but it,
link |
00:54:54.760
but it's also true that if you look at the standard model, it has these very, very deep
link |
00:54:58.360
beautiful ideas, but there's certain aspects of it that are very, that are, let's, let's
link |
00:55:06.800
just say that they're not beautiful. They're not, um, you have to, to make the thing work,
link |
00:55:11.440
you have to throw in lots and lots of extra parameters at various points. Um, and a lot
link |
00:55:16.680
of this has to do with the so called, uh, you know, the so called Higgs mechanism in
link |
00:55:20.720
the Higgs field that if you look at the theory, it's everything is, if you forget about the
link |
00:55:26.680
Higgs field and what it needs to do, the rest of the theory is, um, is very, very constrained
link |
00:55:33.400
and has very, very few free parameters, really a very small number. There's a very small
link |
00:55:37.000
number of parameters and a few integers which tell you what the theory is to make this work
link |
00:55:41.680
as a theory, the real world. You need a Higgs field and you need to, it needs to do, to
link |
00:55:46.960
do something. And once you introduce that Higgs field, all sorts of parameters, um,
link |
00:55:53.760
make it apparent. So now when we've got 20 or 30 or whatever, whatever parameters that
link |
00:55:58.840
are going to tell you what all the masses of things are and what's going to happen.
link |
00:56:02.240
So you've gone from a very tightly constrained thing with a couple of parameters to, uh,
link |
00:56:08.600
this thing, which the minute you put it in, you had to add all this extra, all these extra
link |
00:56:13.600
parameters to make things work. And so that, it may be one argument as well, that's just
link |
00:56:19.440
the way the world is. And the fact that you don't find that aesthetically pleasing is
link |
00:56:24.160
just your problem or maybe we live in a multiverse and those numbers are just different in every
link |
00:56:28.920
universe. But, but, you know, another reasonable conjecture is just that, well, this is just
link |
00:56:34.920
telling us that there's something we don't understand about what's going on in a deeper
link |
00:56:39.840
way, which would explain those numbers. And there's some kind of deeper idea about where
link |
00:56:44.720
the Higgs field comes from and what's going on, which we haven't figured out yet. And
link |
00:56:49.120
that that's, that's what we should look for.
link |
00:56:52.920
But to stick on string theory a little bit longer, could you play devil's advocate and
link |
00:56:59.480
try to argue for string theory? Why it is something that deserve the effort that it
link |
00:57:06.080
got and still can, like if you think of it as a flame, still should be a little flame
link |
00:57:12.000
that keeps, keeps burning.
link |
00:57:13.880
Well, I think the, I mean, the most positive argument for it is all the, you know, all
link |
00:57:19.840
sorts of new ideas about mathematics and about parts of physics really emerge from it. So
link |
00:57:24.880
it was very a fruitful source of ideas. And I think, you know, this is actually one argument
link |
00:57:30.000
you'll definitely, which I kind of agree with all here from, from Whitton and from other
link |
00:57:33.600
string theorists, you know, this is, this is just such a fruitful and inspiring idea.
link |
00:57:38.800
And it's led to so many other different things coming out of it that, you know, there must
link |
00:57:42.520
be something right about this. And that's, you know, okay, that anyway, I think that
link |
00:57:48.280
that's probably the strong, the strongest thing that they, that they've got.
link |
00:57:52.280
But you, you don't think there's aspects to it that could be neighboring to, to, to a
link |
00:58:00.040
theory that does unify everything, to a theory of everything, like it could, it may not be
link |
00:58:04.680
exactly, exactly the theory, but sticking on it longer might get us closer to the theory
link |
00:58:13.000
of everything.
link |
00:58:14.000
Well, the problem with it now really is that you really don't know what it is now. You've
link |
00:58:17.640
never, nobody has ever kind of come up with this nonperturbative theory. So it's, it's
link |
00:58:25.040
become more and more frustrating and an odd activity to try to argue with string theorists
link |
00:58:30.240
about string theory, because it's become less and less well defined what it is. And it's
link |
00:58:37.840
become actually more and more kind of a, whether you have this weird phenomenon of people calling
link |
00:58:42.880
themselves string theorists when they've never actually worked on any theory, were there
link |
00:58:47.680
any strings anywhere.
link |
00:58:49.640
So what has actually happened kind of sociologically is that you started out with this fairly well
link |
00:58:55.160
defined proposal. And then I would argue, because that didn't work, people and branched
link |
00:59:00.440
out in all sorts of directions doing all sorts of things that became farther and farther
link |
00:59:03.880
removed from that. And for sociological reasons, the ones who kind of started out or now are,
link |
00:59:12.880
or were trained by the people who worked on that have now become this string, string theorists.
link |
00:59:19.080
And, and, but, but it's becoming almost more kind of a tribal denominator than a, so it's
link |
00:59:27.240
very hard to know what you're arguing about when you're arguing about string theory these
link |
00:59:30.280
days.
link |
00:59:31.280
Well, to push back on that a little bit, I mean, string theory, it's just a term, right?
link |
00:59:34.560
It doesn't, like you could, like this is the way language evolves is it could start to represent
link |
00:59:40.960
something more than just the theory that involves strings, it could represent the effort to unify
link |
00:59:47.680
the laws of physics, right?
link |
00:59:49.720
Yeah.
link |
00:59:50.720
At, at high dimensions with these super tiny objects, right? Or something like that. I
link |
00:59:56.160
mean, we can sort of put string theory aside. So for example, neural networks in the space
link |
01:00:01.280
of machine learning, there was a time when they were extremely popular, they became much,
link |
01:00:06.200
much less popular to a point where if you mentioned neural networks, you're getting
link |
01:00:09.240
no funding and you're not going to be respected at conferences. And then once again, neural
link |
01:00:15.600
networks became all the, all the rage about 10, 15 years ago, and as it goes up and down
link |
01:00:21.920
and a lot of people would argue that using terminology like machine learning and deep
link |
01:00:26.880
learning is, is, you know, often misused over general, you know, everything that works is
link |
01:00:34.560
deep learning, everything that doesn't, isn't something like that. You know, that's just
link |
01:00:38.600
the way, again, we're back to sociological things. But I guess what I'm trying to get
link |
01:00:44.320
at is if we leave the sociological mess aside, do we throw out the baby with the bathwater?
link |
01:00:53.160
Is there some, besides the side effects of nice ideas from the admittance of the world,
link |
01:00:59.280
is there some core truths there that we should stick by in, in, in the full, beautiful mess
link |
01:01:07.520
of a space that we call string theory, that people call string theory?
link |
01:01:11.040
You're right. It is kind of a common problem that, you know, how what you're, what you
link |
01:01:16.520
call some field changes and evolves and in interesting ways as, as the field changes.
link |
01:01:22.840
But I mean, I guess what I would argue is the, you know, the initial understanding of
link |
01:01:29.960
string theory that was quite specific, we're talking about a specific idea, 10 dimensional
link |
01:01:33.800
super strings compactified as six dimensions. That, to my mind, the, the really bad thing
link |
01:01:40.600
that's happened to the subject is that you, it's hard to get people to admit at least
link |
01:01:46.040
publicly that that was a failure, that this really didn't work. And so de facto, what
link |
01:01:51.560
people do is people will stop doing that and they start doing more interesting things.
link |
01:01:55.600
But they keep talent talking to the public about, about string theory and referring
link |
01:02:02.200
back to that idea and using that as kind of the starting point and as kind of the place
link |
01:02:07.720
where the whole, where the whole tribe starts and everything else comes from. And so the
link |
01:02:13.680
problem with this is that having as your, as your initial name and what everything points
link |
01:02:19.440
back to something which, which really didn't work out, it kind of makes everybody makes
link |
01:02:27.440
everything you've created this potentially very, very interesting field with interesting
link |
01:02:31.360
things happening. But, you know, people in high, in graduate school take courses on string
link |
01:02:37.360
theory and everything kind of, and this is what you tell the public in which you continually
link |
01:02:40.880
pointing back. So you're continually pointing back to this idea which never worked out as
link |
01:02:45.040
your guiding inspiration. And it really kind of deforms the whole, your whole way of your,
link |
01:02:52.840
your hopes of making progress. And that's to me, I think, you know, the kind of worst
link |
01:02:57.160
thing that's happened in this field.
link |
01:02:59.040
Because sure. So there's a lack of transparency, sort of authenticity about communicating the
link |
01:03:04.120
things that failed in the past. And so you don't have a clear picture of like firm ground
link |
01:03:10.880
that you're standing on. But again, those are sociological things. And I, there's a
link |
01:03:17.480
bunch of questions I want to ask you. So one, what's your intuition about why the original
link |
01:03:25.760
idea failed? So what can you say about why you're pretty sure it has failed?
link |
01:03:31.720
You know, and the initial idea was, as I try to explain it, it was quite seductive in
link |
01:03:36.800
that, that you could see why Whitton and others got excited by it. It was, you know, at the
link |
01:03:43.640
time it looked like there were only a few of these possible clobby hours that would work.
link |
01:03:47.720
And it looked like, okay, we just have to understand this very specific model in these
link |
01:03:52.320
very specific six dimensional spaces, and we're going to get everything. And so it was
link |
01:03:56.200
a very seductive idea. But it just, you know, as people learn more and more about it, it
link |
01:04:03.360
just didn't, they just kind of realized that there are just more and more things you can
link |
01:04:08.080
do with these six dimensions and you can't, and this is just not going to work.
link |
01:04:12.440
Meaning like it's, I mean, what was the failure mode here is you could just have an infinite
link |
01:04:23.200
number of possibilities that you could do. So it's, you can come up with any theory you
link |
01:04:26.880
want, you can fit quantum mechanics, you can, you can explain gravity, you can explain anything
link |
01:04:31.520
you want with it. Is that the basic failure mode?
link |
01:04:34.280
Yeah. So it's a failure mode of kind of that this idea ended up being kind of being essentially
link |
01:04:39.520
empty that it just didn't, doesn't end up not telling you anything because it's consistent
link |
01:04:44.400
with just about just about anything. And so I mean, there's a complex, if you try and
link |
01:04:50.560
talk with string theorists about this now, I mean, there's a, there's an argument, there's
link |
01:04:53.560
a long argument over this about whether, you know, oh no, no, no, maybe there's still our
link |
01:04:58.880
constraints coming, coming out of this idea or not. And, or maybe we live in a multiverse
link |
01:05:03.560
and, you know, every, everything is true anyway. So you can, there are various ways you can
link |
01:05:09.680
kind of, the string theorists have kind of react, react to this kind of argument that
link |
01:05:13.000
I'm making, try to hold on to it.
link |
01:05:17.280
What about experimental validation? Is that, is that a fair standard to hold before a theory
link |
01:05:25.960
of everything that's trying to unify quantum mechanics and gravity?
link |
01:05:28.680
Yeah, I mean, ultimately to be really convinced that, you know, that on some new, you know,
link |
01:05:35.240
idea about invocation really works, you need some kind of, you need to look at the real
link |
01:05:39.280
world and see that this is telling you something, something true about it. I mean, you know,
link |
01:05:45.280
either, either telling you that if you do some experiment and go out and do it, you'll
link |
01:05:50.840
get some unexpected result and that's the kind of gold standard or it may be just like
link |
01:05:57.320
all those numbers that are, we don't know how to explain it, it will show you how to
link |
01:06:01.000
calculate them. I mean, you can, it can be various kinds of experimental validation,
link |
01:06:05.320
but that, that's certainly ideally what you're looking for.
link |
01:06:08.760
How tough is this, do you think? For theory of everything, not just string theory. So
link |
01:06:12.920
for something that unifies gravity and quantum mechanics, so the very big and the very small,
link |
01:06:17.600
is this a, let me ask it one way, is it a physics problem, a math problem, or an engineering
link |
01:06:26.400
problem?
link |
01:06:28.200
My guess is it's a combination of a physics and a math problem that you really need. It's,
link |
01:06:34.120
it's not really engineering. It's not like there's some kind of well defined thing you
link |
01:06:38.560
can write down and we just don't have enough computer power to do the calculation. That's
link |
01:06:43.440
not the kind of problem it is at all. But the question is, you know, what mathematical
link |
01:06:48.520
tools you need to properly formulate the problem is unclear. So one reasonable conjecture
link |
01:06:55.120
is the way the reason that we haven't had any success yet is just that we're missing either
link |
01:07:01.800
or missing certain physical ideas or missing certain mathematical tools, which are some
link |
01:07:07.400
combination of them, which would, which we need to kind of properly formulate the problem
link |
01:07:12.640
and see, and see that it, it has a solution that looks like the real world.
link |
01:07:16.800
But those you need, I guess you don't, but there's a sense that you need both gravity,
link |
01:07:25.400
all the laws of physics to be operating on the same level. So it feels like you need
link |
01:07:30.160
an object like a black hole or something like that in order to make predictions about. Otherwise,
link |
01:07:38.880
you're always making predictions about this joint phenomena. Or can you do that as long
link |
01:07:45.440
as the theory is consistent and doesn't have special cases for each of the phenomena?
link |
01:07:48.840
Well, your theory should, I mean, if your theory is going to include gravity, our current
link |
01:07:52.480
understanding of gravity is that you should have, there should be black hole states in
link |
01:07:57.600
it, you should be able to describe black holes in this theory. And, and just one aspect that
link |
01:08:02.600
people have concentrated a lot on is just this kind of questions about if your theory
link |
01:08:07.920
includes black holes like it's supposed to, and it includes quantum mechanics, then there's
link |
01:08:12.160
certain kind of paradoxes which come up. And so that's, that's been a huge focus of
link |
01:08:15.840
kind of quantum gravity work, work has been just those paradoxes.
link |
01:08:19.240
So stepping outside of string theory, can you just say first at a high level, what is
link |
01:08:27.400
the theory of everything? What is the theory of everything seek to accomplish?
link |
01:08:31.040
Well, I mean, this is very much a kind of reductionist point of view in the sense that
link |
01:08:36.400
so it's not a theory. This is not going to explain to you, you know, anything, it doesn't
link |
01:08:42.640
really, this kind of theory, theory, this kind of theory of everything we're talking
link |
01:08:45.960
about doesn't say anything interesting, particularly about like macroscopic objects about what
link |
01:08:51.040
the weather is going to be tomorrow or, you know, things are happening at this scale.
link |
01:08:54.920
But just what we've discovered is that as you look at the universe that kind of, you
link |
01:09:01.920
know, if you kind of start, you can start breaking it apart into, and you end up with
link |
01:09:07.040
some fairly simple pieces, quanta, if you like, and which are doing, which are interacting
link |
01:09:11.920
in some fairly, in some fairly simple way. And it's some, it's good. So what we mean
link |
01:09:17.440
by theory of everything is a theory that describes all, all the object, all the correct objects
link |
01:09:25.320
you need to describe what's happening in the world and describes how they're interacting
link |
01:09:29.640
with each other at a most fundamental level. How you get from that theory to describing
link |
01:09:35.480
some macroscopic incredibly complicated thing is there that becomes, again, more of an engineering
link |
01:09:40.680
problem and you may need machine learning or you made, you know, a lot of very different
link |
01:09:44.440
things to do it.
link |
01:09:45.440
But I don't even think it's just engineering. It's also science. One thing that I find kind
link |
01:09:54.280
of interesting talking to physicists is a little bit, there's a little bit of hubris.
link |
01:10:07.440
Some of the most brilliant people I know are physicists, both philosophy and just in terms
link |
01:10:11.560
of mathematics in terms of understanding the world. But there's a kind of either a hubris
link |
01:10:16.360
or what would I call it, like a confidence that if we have a theory of everything, we
link |
01:10:22.920
will understand everything. Like this is the deepest thing to understand. And I would say
link |
01:10:28.000
and like the rest is details, right? That's the old Rutherford thing. But to me, there's
link |
01:10:35.880
like this is like a cake or something. There's layers to this thing and each one has a theory
link |
01:10:40.620
of everything. Like at every level from biology, like how life originates, that itself like
link |
01:10:51.000
complex systems. Like that in itself is like this gigantic thing that requires a theory
link |
01:10:58.000
of everything. And then there's the what in the space of humans, psychology, like intelligence,
link |
01:11:04.000
collective intelligence, the way it emerges among species, that feels like a complex system
link |
01:11:09.120
that requires its own theory of everything. On top of that is things like in the computing
link |
01:11:14.920
space, artificial intelligence systems, like that feels like a user theory of everything.
link |
01:11:19.680
And it's almost like once we solve, once we come up with a theory of everything that explains
link |
01:11:27.120
the basic laws of physics that gave us the universe, even stuff that's super complex,
link |
01:11:32.680
like how like how the universe might be able to originate, even explaining something that
link |
01:11:38.360
you're not a big fan of like multiverses or stuff that we don't have any evidence of yet.
link |
01:11:43.240
So we won't be able to have a strong explanation of why food tastes delicious.
link |
01:11:52.160
Oh yeah. No. Anyway, I agree completely. I mean, there is something kind of completely
link |
01:11:58.240
wrong with this terminology of theory of everything. It's not, it's really in some
link |
01:12:02.760
sense very bad term, very heuristic and bad terminology because it's not. This is explaining,
link |
01:12:11.200
this is a purely kind of reductionist point of view that you're trying to understand certain
link |
01:12:16.280
very specific kind of things, which in principle, other things emerge from. But to actually understand
link |
01:12:26.000
how anything emerges from this, it can't be understood in terms of this underlying
link |
01:12:33.080
fund wealth area is going to be hopeless in terms of kind of telling you what about this
link |
01:12:39.720
various emergent behavior. And as you go to different levels of explanation, you're
link |
01:12:43.120
going to need to develop different, completely different ideas, completely different ways
link |
01:12:46.720
of thinking. And I guess there's a famous kind of Phil Andersen's slogan is that more
link |
01:12:53.080
is different. And so it's just, even once you understand how what a couple of things,
link |
01:13:00.600
if you have a collection of stuff and you understand perfectly well how each thing is
link |
01:13:04.160
interacting with it, with the others, what the whole thing is going to do is just a completely
link |
01:13:09.320
different problem than it's just not. And you need completely different ways of thinking
link |
01:13:12.560
about it.
link |
01:13:13.560
What do you think about this? I got to ask you at a few different attempts at a theory
link |
01:13:17.880
of everything, especially recently. So I've been, for many years, a big fan of cellular
link |
01:13:24.040
automata of complex systems. And obviously, because of that, a fan of Stephen Wolfram's
link |
01:13:29.400
work on in that space, but he's recently been talking about a theory of everything through
link |
01:13:35.320
his physics project, essentially. What do you think about this kind of discrete theory
link |
01:13:42.680
of everything, like from simple rules and simple objects on the hypergraphs, emerges
link |
01:13:48.080
all of our reality where time and space are emergent, basically everything we see around
link |
01:13:52.800
us is emerging.
link |
01:13:53.800
Yeah. I have to say, unfortunately, I've kind of pretty much zero sympathy for that. I mean,
link |
01:13:58.600
I don't, I spent a little time looking at it and I just don't see, it doesn't seem to
link |
01:14:03.640
me to get anywhere. And it really is just really, really doesn't agree at all with what
link |
01:14:09.920
I'm seeing, this kind of unification of math and physics that I'm kind of talking about
link |
01:14:14.360
around certain kinds of very deep ideas about geometry and stuff. This, if you want to believe
link |
01:14:20.000
that your things are really coming out of cellular automata at the most fundamental level,
link |
01:14:26.800
you have to believe that everything that I've seen my whole career and as beautiful, powerful
link |
01:14:33.920
ideas that that's all just kind of a mirage, which just kind of randomly is emerging from
link |
01:14:38.800
these more basic, very, very simple minded things. And you have to give me some serious
link |
01:14:44.200
evidence for that and I'm saying nothing.
link |
01:14:46.280
So mirage, you don't think there could be a consistency where things like quantum mechanics
link |
01:14:53.880
could emerge from much, much, much smaller, discrete, like computational type systems?
link |
01:15:00.000
Well, I think from the point of view of certain mathematical point of view, quantum mechanics
link |
01:15:04.240
is already mathematically as simple as it gets. It really is a story about really the
link |
01:15:12.840
fundamental objects that you work with and when you write down a quantum theory are in
link |
01:15:16.880
some, in some form point of view, precisely the fundamental objects at the deepest levels
link |
01:15:22.160
of mathematics that you're working with are exactly the same. And cellular automata are
link |
01:15:27.360
something completely different, which don't fit into these structures. And so I just don't
link |
01:15:31.240
see why. Anyway, I don't see it as a promising thing to do. And then just looking at it and
link |
01:15:38.320
saying, does this go anywhere? Does this solve any problem that I've ever, that I didn't,
link |
01:15:43.000
does this solve any problem of any kind? I just don't see it.
link |
01:15:46.360
Yeah, to me, cellular automata and these hypergraphs, I'm not sure solving a problem is even the
link |
01:15:54.240
standard to apply here at this moment. To me, the fascinating thing is that the question
link |
01:15:59.960
it asks have no good answers. So there's not good math explaining, forget the physics
link |
01:16:05.240
of it, math explaining the behavior of complex systems. And that to me is both exciting and
link |
01:16:11.640
paralyzing. Like we're at the very early days of understanding, you know, how complicated
link |
01:16:18.440
and fascinating things emerge from simple rules.
link |
01:16:21.160
Yeah, you know, I agree. I think that is a truly a great problem. And depending where
link |
01:16:26.640
it goes, it may be, you know, it may start to develop some kind of connections to the
link |
01:16:34.720
things that I've kind of found more fruitful and hard to know. It just, I think a lot of
link |
01:16:40.800
that area, I kind of strongly feel I best not say too much about it, because I just,
link |
01:16:46.880
I don't know too much about it. And I mean, again, we're back to this original problem
link |
01:16:51.520
that, you know, your time in life is limited. You have to figure out what you're going to
link |
01:16:55.480
spend your time thinking about. And that's something I just never seen enough to convince
link |
01:16:59.800
me to spend more time thinking about.
link |
01:17:01.360
Well, also timing, it's not just that our time is limited, but the timing of the kind
link |
01:17:05.960
of things you think about there. There's some aspect to cellular automata, these kinds
link |
01:17:10.160
of objects that it feels like we're very many years away from having big breakthroughs
link |
01:17:17.240
on. And so it's like, you have to pick the problems that are solvable today. In fact,
link |
01:17:22.200
my intuition, again, not perhaps biased is it feels like the kind of systems that complex
link |
01:17:30.600
systems that cellular automata are would not be solved by human brains. It feels like,
link |
01:17:37.040
well, like it feels like something post human that will solve that problem, or like significantly
link |
01:17:43.360
enhance humans, meaning like using computational tools, very powerful computational tools to
link |
01:17:50.160
us to crack these problems open. That's, that's if our approach to science, our ability to
link |
01:17:58.840
understand science, our ability to understand physics will become more and more computational,
link |
01:18:03.040
or there'll be a whole field as computational nature, which currently is not the case. Currently,
link |
01:18:09.120
computation is the thing that sort of assists us in understanding science the way we've
link |
01:18:15.040
been doing it all along. But if there's a whole new, I mean, that we're from new kind
link |
01:18:19.760
of science, right? It's a little bit dramatic. But, you know, this, if computers could do
link |
01:18:26.560
science on their own computational systems, perhaps that's the way they would do the science.
link |
01:18:35.600
They would try to understand the cellular automata. And that feels like we're decades
link |
01:18:39.080
away. So perhaps it'll crack open some interesting facets of this physics problem, but it's very
link |
01:18:45.760
far away. So timing is everything.
link |
01:18:48.080
That's perfectly possible.
link |
01:18:49.840
Well, let me ask you then in the space of geometry, I don't know how well, you know,
link |
01:18:56.640
Erich Weinstein.
link |
01:18:57.640
Oh, quite well.
link |
01:19:00.240
What are your thoughts about his geometric community and the space of ideas that he's
link |
01:19:04.840
playing with on, in his proposal for theory or everything?
link |
01:19:09.840
Well, I think that he has, he fundamentally has, I think, the same problems that everybody
link |
01:19:16.560
has had trying to do this. And, you know, there are various, there are really versions
link |
01:19:20.880
of the same problem that you try to, you try to get unity by putting everything into some
link |
01:19:27.880
bigger structure. So he has some other ones that are not so conventional that he's trying
link |
01:19:33.960
to work with. But he has the same problem that even if he can, if he can get a lot farther
link |
01:19:42.720
in terms of having a really well defined, well understood, clear picture of these things
link |
01:19:48.840
he is working with, they're really kind of large geometrical structures with many dimensions,
link |
01:19:54.040
many kinds. And I just don't see any way he's going to have the same problem the string
link |
01:19:58.880
there has had. How do you get back down to the structures of the standard model? And
link |
01:20:04.160
how do you, yeah, so I just, anyway, it's the same, and there's another interesting
link |
01:20:12.800
example of a similar kind of thing is Garrett Luzi's theory of everything. Again, it's
link |
01:20:18.840
a little bit more specific than Eric's, he's working with this E8. But again, I think all
link |
01:20:25.200
these things founder at the same point that you don't, you know, you create this unity,
link |
01:20:30.880
but then you have no, you don't actually have a good idea how you're going to get back to
link |
01:20:36.920
the actual, to the objects we're seeing, how are you going to, you create these big symmetries,
link |
01:20:44.000
how are you going to break them? And because we don't see those symmetries in the real
link |
01:20:48.160
world. And so ultimately, there would need to be a simple process for collapsing it to
link |
01:20:55.080
four dimensions. You'd have to explain, well, yeah, and I forget in his case, but it's not
link |
01:21:00.160
just four dimensions. It's also these, these structures you see in the standard model, there's
link |
01:21:05.600
a, you know, there's certain very small dimensional groups of symmetries called U1, SU2 and SU3.
link |
01:21:11.480
And the problem with, and this has been the problem since the beginning, almost immediately
link |
01:21:16.040
after 1973, about a year later, two years later, people started talking about grand unified
link |
01:21:21.280
theories. So you take the U1, the SU2 and the SU3, and you put them in together into
link |
01:21:27.200
this bigger structure called the SU5 or SO10. But then you're stuck with this problem that,
link |
01:21:33.560
wait a minute, how, why does the world not look, why do I not see these SU5 symmetries
link |
01:21:40.640
in real world? I only see these. And so, and, and, and I think, you know, those, the kind
link |
01:21:47.440
of thing that, that, that Eric and all of a sudden Garrett and lots of people who try
link |
01:21:50.640
to do it, they all kind of found her in that same, in that same way that they don't have,
link |
01:21:56.200
they don't have a good answer to that.
link |
01:21:57.520
Are there lessons, ideas to be learned from theories like that from Garrett Leases from
link |
01:22:03.160
Eric's?
link |
01:22:04.160
Um, I don't know. It depends. I have to confess, I haven't looked that closely at, at, at,
link |
01:22:10.240
at, at Eric's. I mean, he explained to this to me personally a few times and I looked
link |
01:22:14.480
a bit at his paper, but it's, um, again, we're, we're, we're back to the problem of a limited
link |
01:22:19.800
amount of time in life.
link |
01:22:21.320
Yeah. I mean, it's an interesting effect, right? Why don't more physicists look at it?
link |
01:22:30.080
They're, I mean, I, I'm, I'm in this position that somehow, you know, uh, I've, I've, uh,
link |
01:22:42.520
people write me emails for whatever reason. And I had worked in the space of AI and this
link |
01:22:47.720
is, there's a lot of people, perhaps AI is even way more accessible than physics in a
link |
01:22:52.400
certain sense. And so a lot of people write to me with different theories about what they
link |
01:22:56.280
have for how to create general intelligence. And it's again, a little bit of an excuse I
link |
01:23:02.440
say to myself, like, well, I only have a limited amount of time. So that's why I'm not investigating
link |
01:23:07.400
it. But I wonder if, um, there's ideas out there that are still powerful. They're still
link |
01:23:13.480
fascinating. And that I'm missing because I'm, because I'm dismissing them because they're
link |
01:23:21.800
outside of the sort of the usual process of, uh, academic research.
link |
01:23:26.160
Yeah. Well, I mean, I have the same thing and pretty much every day in my email, there's
link |
01:23:30.080
a, somebody's got a theory or everything about why all of what physicists are doing, perhaps
link |
01:23:37.480
the most disturbing thing I should say about my critique being a critic of string theory
link |
01:23:41.640
is, is it when you realize who your fans are, um, that they, every day I hear from somebody
link |
01:23:46.840
said, Oh, well, since you don't like string theory, you must of course agree with me that
link |
01:23:50.080
this is the right way to think about everything. Oh no. Oh no. And you know, most of these
link |
01:23:56.640
are, you know, you quickly can see this is person doesn't know very much and doesn't
link |
01:24:01.080
know what they're doing. You know, but there's a whole continuum to, you know, people who
link |
01:24:05.440
are quite serious physicists and mathematicians who are making a fairly serious attempt to
link |
01:24:10.360
try to, to do something and like, like Eric and, uh, and Eric. And then, then your, your
link |
01:24:16.200
problem is, you know, you spent, you, you do, so I want to try to spend more time looking
link |
01:24:21.560
at it and try to figure out what they're really doing. And, but then at some point you just
link |
01:24:25.840
realized, wait a minute, you know, for me to really, really understand exactly what's
link |
01:24:28.640
going on here would just take time. I just don't have.
link |
01:24:33.240
Yeah. It takes a long time, which is the nice thing about AI is unlike the kind of physics
link |
01:24:39.520
we're talking about, if your idea is good, that should quite naturally lead to you being
link |
01:24:47.160
able to build a system that's intelligent. So you don't need to get approval from say
link |
01:24:51.720
somebody that's saying you have a good idea here. You can just utilize that idea and engineer
link |
01:24:56.240
system like naturally leads to engineering with physics here. If you have a perfect theory
link |
01:25:01.880
that explains everything that still doesn't obviously lead one to, um, to, to scientific
link |
01:25:10.640
experiments that can validate that theory and two to like, uh, trinkets you can build
link |
01:25:15.560
and sell at a store for $5.
link |
01:25:18.400
I can't make money off of it.
link |
01:25:21.280
So that, that makes it much, much more challenging. Um, well, let me also ask you about something
link |
01:25:27.640
that you found especially recently appealing, which is Roger Penrose's Twister theory. Um,
link |
01:25:34.480
what is it? What kind of questions might it allow us to answer? What will the answers
link |
01:25:38.920
look like?
link |
01:25:40.040
It's only in the last couple of years that I really, really kind of come to really, I
link |
01:25:43.360
think, to appreciate it and to see how to really, I believe to see how to really do something
link |
01:25:47.680
with it. And I've gotten very excited about that the last year or two. I mean, one way
link |
01:25:51.840
of saying one idea of Twister theory is that what it's, it's, it's a different way of thinking
link |
01:25:58.160
about what space and time are and about what points in space and time are, but, but which
link |
01:26:03.760
only, which is very interesting that it only really works in four dimensions. So four dimensions
link |
01:26:08.360
behaves very, very specially unlike other dimensions. And in four dimensions are certain,
link |
01:26:13.520
there is a way of thinking about space and time geometry where, you know, as well as
link |
01:26:18.000
just thinking about points in space and time, you can also think about different objects,
link |
01:26:25.080
these so called twisters. And then when you do that, you end up with a kind of a really
link |
01:26:29.960
interesting insight that the, that you can formulate a theory and you can formulate a
link |
01:26:36.640
very, take a standard theory that we formulate in terms of points of space and time. And
link |
01:26:41.920
you can reformulate in this Twister language. And in this Twister language, it's be the
link |
01:26:47.920
fundamental objects are actually, are more kind of the, are actually spheres in some
link |
01:26:52.840
sense kind of the light cone. So maybe one way to say it, which, which actually I think
link |
01:26:58.120
is, is really, is quite amazing is if you ask yourself, you know, what do we know about,
link |
01:27:04.440
about the world? We have this idea that the world out there is this, all these different
link |
01:27:09.320
points and these points of time. Well, that's kind of a derived quantity. What really, really
link |
01:27:13.840
know about the world is when we open our eyes, what do you see? You see a sphere. And you,
link |
01:27:20.120
and that what you're looking at is you're looking at this, you know, a sphere is worth
link |
01:27:23.800
a light rays coming into, into your eyes. And what Penrose says is that, well, what,
link |
01:27:30.360
what a point in space time is, is that sphere, that sphere of all the light rays coming in.
link |
01:27:36.920
And he says, and you should formulate your, instead of thinking about points, you should
link |
01:27:41.560
think about the space of those spheres, if you like, and formulate the degrees of freedom
link |
01:27:46.760
as physics as living on those spheres, living on, so you're kind of, you're kind of living
link |
01:27:51.440
on your degrees of freedom or living on light rays, not on points. And it's a very different
link |
01:27:56.160
way of thinking about, about, about physics. And you know, he and others working with him
link |
01:28:02.680
developed a, you know, a beautiful mathematical, this beautiful mathematical formalism and
link |
01:28:08.520
a way to go back from forth between our kind of some aspects of our standard way we write
link |
01:28:13.040
these things down and work in the so called twister space. And, you know, they, certain
link |
01:28:19.360
things worked out very well, but they ended up, you know, I think kind of stuck by the
link |
01:28:24.000
80s or 90s that they weren't a little bit like string theory that they, they, by using
link |
01:28:30.240
these ideas about twisters, they could develop them in different directions and find all
link |
01:28:33.600
sorts of other interesting things. But they were, they were getting, they weren't finding
link |
01:28:37.540
any way of doing that, that brought them back to kind of new insights into physics.
link |
01:28:43.320
And my own, I mean, what's kind of gotten me excited really is what I think I have an,
link |
01:28:48.360
an idea about that I think does actually, does actually work that goes more in that
link |
01:28:53.560
direction. And I can, can go on about that endlessly or talk a little bit about it. But
link |
01:28:57.960
that's the, I think that that's the one kind of easy to explain insight about twister theory.
link |
01:29:05.400
There's some more technical ones. I should, I mean, I think it's also very convincing
link |
01:29:09.320
what it tells you about spinners, for instance, but that's a more technical.
link |
01:29:12.760
Well, first let's like linger on the spheres and the light cones. You're saying twisted
link |
01:29:18.760
theory allows you to make that the fundamental object with which you're operating.
link |
01:29:23.840
Yeah.
link |
01:29:24.840
How that, I mean, first of all, like philosophically, that's weird and beautiful. Maybe because
link |
01:29:33.200
it maps, it feels like it moves us so much closer to the way human brains perceive reality.
link |
01:29:40.880
So it's almost like our perception is like the, the content of our perception is the
link |
01:29:51.840
fundamental object of reality. That's very appealing.
link |
01:29:56.040
Yeah.
link |
01:29:57.040
Is it mathematically powerful? Is there something you can say, can you say a little bit more
link |
01:30:05.720
about what the heck that even means for, because it's much easier to think about mathematically
link |
01:30:11.160
like a point in space time. Like, what does it mean to be operating on the light cone?
link |
01:30:16.960
It uses a kind of mathematics that's relative, that, you know, what was kind of goes back
link |
01:30:21.040
to the 19th century and mathematicians. It's not, anyway, it's a bit of a long story.
link |
01:30:26.520
The one problem is that you have to start, it's crucial that you think in terms of complex
link |
01:30:30.760
numbers and not just real numbers. And this, for most people, that makes it harder to,
link |
01:30:36.440
for mathematicians, that's fine. We love doing that. But for most people, that makes it harder
link |
01:30:40.120
to think about.
link |
01:30:41.120
But I think perhaps the most, the way that there is something you can say very specifically
link |
01:30:46.640
about it, you know, in terms of spinners, which I don't know if you want to, I think
link |
01:30:50.480
at some point, you want to talk.
link |
01:30:51.480
Yeah.
link |
01:30:52.480
What are spinners?
link |
01:30:53.480
I'll start with spinner, because I think that if we can introduce that, then I can say...
link |
01:30:57.320
By the way, twister is spelled with an O and spinner is spelled with an O as well.
link |
01:31:03.880
Yes.
link |
01:31:04.880
Okay.
link |
01:31:05.880
So...
link |
01:31:06.880
In case you want to Google it and look it up, there's very nice Wikipedia pages. That's
link |
01:31:09.840
the starting point. I don't know what is a good starting point for twister 3.
link |
01:31:13.360
Oh, what?
link |
01:31:14.360
Well, let me just say about Penrose. I mean, Penrose is actually a very good writer and
link |
01:31:18.200
also very good draftsman. He's on drafts. To the extent this is visualizable, he actually
link |
01:31:22.400
has done some very nice drawings. So, I mean, almost anything kind of expository thing you
link |
01:31:26.520
can find in handwriting is a very good place to start. He's a remarkable person.
link |
01:31:32.640
But the... So, spinners are something that independently came out of mathematics and
link |
01:31:38.460
out of physics. And to say where they came out of physics, I mean, what people realized
link |
01:31:43.760
when they started looking at elementary particles like electrons or whatever, that there seemed
link |
01:31:48.480
to be... There seemed to be some kind of doubling of the degrees of freedom going on. If you
link |
01:31:53.920
counted what was there in some sense in the way you would expect it and when you started
link |
01:31:59.120
doing quantum mechanics and started looking at elementary particles, there were seem to
link |
01:32:02.120
be two degrees of freedom. They're not one. And one way of seeing it was that if you put
link |
01:32:08.720
your electron in a strong magnetic field and ask what was the energy of it, instead of
link |
01:32:14.480
having one energy, it would have two energies. It would be two energy levels. And as you
link |
01:32:19.480
increased magnetic field, the splitting would increase. So, physicists kind of realized
link |
01:32:24.400
that, wait a minute. So, we thought when we were doing... First, we're doing quantum mechanics
link |
01:32:28.160
that the way to describe particles was in terms of wave functions and these wave functions
link |
01:32:33.440
were complex values. Well, if we actually look at particles, that's not right. They're
link |
01:32:39.960
pairs of complex numbers. They're pairs of complex numbers. So, one of the kind of fundamental...
link |
01:32:47.040
From the physics point of view, the fundamental question is, why are all our kind of fundamental
link |
01:32:50.760
particles described by pairs of complex numbers? It's just weird. And then you can ask, well,
link |
01:32:59.640
what happens if you take an electron and rotate it? So, how do things move in this pair of
link |
01:33:06.560
complex numbers? Well, now, if you go back to mathematics, what had been understood in
link |
01:33:12.560
mathematics some years earlier, not that many years earlier, was that if you ask very,
link |
01:33:19.160
very generally, think about geometry of three dimensions and ask... And if you think about
link |
01:33:25.080
things that are happening in three dimensions in the standard way, everything... The standard
link |
01:33:29.680
way of doing geometry, everything is about vectors. So, if you've taken any mathematics
link |
01:33:34.720
classes, you probably see vectors at some point. They're just triplets of numbers tell
link |
01:33:38.280
you what a direction is or how far you're going in three dimensional space. And everything
link |
01:33:44.320
we teach in most standard courses in mathematics is about vectors and things you build out of
link |
01:33:50.960
vectors. So, you express everything about geometry in terms of vectors or how they're
link |
01:33:54.720
changing or how you put two of them together and get planes and whatever. But what I'd
link |
01:34:02.160
been realized is that if you ask very, very generally, what are the things that you can
link |
01:34:09.960
kind of consistently think about rotating? So, you ask a technical question, what are
link |
01:34:16.480
the representations of the rotation group? Well, you find that one answer is they're
link |
01:34:21.520
vectors and everything you build out of vectors. But then people found, wait a minute, there's
link |
01:34:26.520
also these other things which you can't build out of vectors, but which you can consistently
link |
01:34:33.280
rotate and they're described by pairs of complex numbers by two complex numbers. And they're
link |
01:34:39.160
the spinners also. And you can think of spinners in some sense as more fundamental than vectors
link |
01:34:46.600
because you can build vectors out of spinners. You can take two spinners and make a vector,
link |
01:34:51.280
but if you only have vectors, you can't get spinners. So, there's some kind of lower level
link |
01:34:59.960
of geometry beyond what we thought it was, which was kind of spinner geometry. And this
link |
01:35:05.080
is something which even to this day when we teach graduate courses in geometry, we mostly
link |
01:35:10.800
don't talk about this because it's a bit hard to do correctly. If you start with your whole
link |
01:35:17.080
setup is in terms of vectors, describing things in terms of spinners is a whole different
link |
01:35:23.200
ballgame. But anyway, it was just this amazing fact that this kind of more fundamental piece
link |
01:35:32.280
of geometry spinners and what we were actually seeing, if you look at electron, are one and
link |
01:35:36.760
the same. So, it's kind of a mind blowing thing, but it's very counterintuitive.
link |
01:35:45.080
What are some weird properties of spinners that are counterintuitive?
link |
01:35:50.480
There are some things that they do. For instance, if you rotate a spinner around 360 degrees,
link |
01:35:56.400
it doesn't come back towards, it becomes minus what it was. So, the way rotations work, there's
link |
01:36:04.800
a kind of a funny sign you have to keep track of in some sense. So, they're kind of too
link |
01:36:08.920
valued in another weird way. But the fundamental problem is that it's just not, if you're used
link |
01:36:15.280
to visualizing vectors, there's nothing you can do visualizing in terms of vectors that
link |
01:36:20.600
will ever give you a spinner. It just is not going to ever work.
link |
01:36:24.000
As you were saying that I was visualizing a vector walking along a mobius strip and it
link |
01:36:29.520
ends up being upside down. But you're saying that doesn't really capture.
link |
01:36:34.920
So, what really captures it, the problem is that it's really the simplest way to describe
link |
01:36:40.800
it is in terms of two complex numbers. And your problem with two complex numbers is that's
link |
01:36:45.320
four real numbers. So, your spinner kind of lies in a four dimensional space. So, that
link |
01:36:52.360
makes it hard to visualize. And it's crucial that it's not just any four dimensions, it's
link |
01:36:58.160
actually complex numbers. You're really going to use the fact that these are two complex
link |
01:37:02.800
numbers. So, it's very hard to visualize. But to get back to what I think is mind blowing
link |
01:37:09.240
about twisters is that another way of saying this idea about talking about spheres, another
link |
01:37:16.000
way of saying the fundamental idea of twister theory is, in some sense, the fundamental
link |
01:37:20.400
idea of twister theory is that a point is a two complex dimensional space. And that
link |
01:37:30.720
it lives inside, the space that it lies inside is twister space. So, in the simplest case,
link |
01:37:36.920
twister space is four dimensional. And a point in space time is a two complex dimensional
link |
01:37:42.720
subspace of all the four complex dimensions. And as you move around in space time, you're
link |
01:37:49.080
just moving, your planes are just moving around. Okay. And that, but then the
link |
01:37:54.440
So, it's a plane in a four dimensional space.
link |
01:37:57.000
It's a plane complex plane. So, it's two complex dimensions in four complex. But then to me,
link |
01:38:04.600
the mind blowing thing about this, is this then kind of tautologically answers the question
link |
01:38:09.320
is what is a spinner? Well, a spinner is a point. I mean, the space of spinners at a
link |
01:38:16.200
point is the point. In twister theory, the points are the complex two planes. And you
link |
01:38:21.880
want me to, and you're asking what a spinner is. Well, a spinner, the space of spinners is that
link |
01:38:27.040
two plane. So, it's, you know, just your whole definition of what a pointed space time was,
link |
01:38:33.200
just told you what a spinner was. It's they're just, it's the same thing.
link |
01:38:36.880
Yeah, we're trying to project that into a three dimensional space and trying to into it.
link |
01:38:41.120
Yeah. So, the intuition becomes very difficult. But from if you don't, you not using twister
link |
01:38:48.440
theory, you have to kind of go through a certain fairly complicated rigmarole to even describe
link |
01:38:53.840
spinners to describe electrons. Whereas using twister theory, it's just completely tautological.
link |
01:38:58.760
They're just what you want to describe the electron is fundamentally the way that you're
link |
01:39:06.320
describing the point in space time already. It's just there. So.
link |
01:39:09.640
Do you have a hope you mentioned that you've been you found an appealing recently is it just
link |
01:39:15.520
because of certain aspects of its mathematical beauty or do you actually have a hope that this
link |
01:39:19.880
might lead to a theory of everything? Yeah, I mean, I certainly do have such a hope because
link |
01:39:25.200
what I've found, I think the thing which I've done, which I don't think as far as I can tell,
link |
01:39:29.680
no one had really looked at from this point of view before is has to do with it this question of
link |
01:39:37.240
how do you treat time in your quantum theory? And so there's another long story about how we
link |
01:39:44.920
do quantum theories and about how we treat time and quantum theories, which is a long story.
link |
01:39:51.640
But to make this the short version of it is that what people have found when you try and
link |
01:39:56.080
write down a quantum theory that it's often it's often a good idea to take your time coordinate,
link |
01:40:05.080
whatever you're using your time coordinate and multiply it by the screw to minus one and to
link |
01:40:10.120
make it purely imaginary. And so you all these formulas which you have in your standard theory,
link |
01:40:17.920
if you do that to those, I mean, those formulas have some very strange, strange behavior and
link |
01:40:23.760
they're kind of singular. If you ask even some simple questions, you have to very take very
link |
01:40:29.640
delicate singular limits in order to get the correct answer. And you have to take them from
link |
01:40:34.080
the right direction. Otherwise, it doesn't work. Whereas if you just take time, and if you just
link |
01:40:40.520
put a factor of screw to minus one, wherever you see the time coordinate, you end up with much
link |
01:40:46.280
simpler formulas, which are much better behaved mathematically. And what I what I hadn't really
link |
01:40:51.360
appreciated until fairly recently is also how dramatically that changes the whole structure
link |
01:40:56.120
of the theory, you end up with a consistent way of talking about these quantum theories. But it
link |
01:41:01.800
has very some very different flavor and very different aspects that I hadn't really appreciated.
link |
01:41:07.040
And in particular, the way the way symmetries act on it is not at all what I originally had
link |
01:41:13.680
expected. And so that's the new thing that I have where I think I think gives you something is to
link |
01:41:19.880
do this move, which people often think of as just kind of a kind of a mathematical trick that you're
link |
01:41:26.960
doing to make some formulas work out nicely. But to take that mathematical trick as really
link |
01:41:31.920
fundamental, and turns out in twister theory, allows you to simultaneously talk about your
link |
01:41:38.520
usual time and the time times the square root of minus one, they both fit they both fit very
link |
01:41:43.840
nicely into twister theory. And you end up with some structures which look a lot like the standard
link |
01:41:49.720
models. Well, let me ask you about some Nobel Prizes. Okay. Do you think there will be? There
link |
01:41:58.600
was a bet between me, Joe Kaku and somebody else about John, John Horgan, John Horgan about,
link |
01:42:06.080
by the way, maybe discover a cool website long bets.com or that order. Yeah. Yeah. It's cool.
link |
01:42:12.440
It's cool that you can make a bet with people and then check in 20 years later. That's I really
link |
01:42:19.160
love it. There's a lot of interesting bets on there. Yeah, I would love to participate. But
link |
01:42:22.520
it's interesting to see, you know, time flies. Yeah. And you make a bet about what's going to
link |
01:42:27.880
happen 20 years, you don't realize 20 years just goes like this. Yeah. And then and then you get
link |
01:42:32.800
to face and you get to wonder, like, what was that person? What was I thinking that person 20
link |
01:42:42.200
years ago is almost like a different person. What was I thinking back then to think that is
link |
01:42:46.400
interesting. But so let me ask you this on record, you know, 20 years from now or some number of
link |
01:42:53.320
years from now, do you think there will be a Nobel Prize given for something directly connected
link |
01:42:58.280
to a first broadly theory of everything? And second, of course, one of the possibilities,
link |
01:43:05.480
one of them, strength theory. Strength theory is definitely not that things have gone. Yeah.
link |
01:43:15.520
So if you were giving financial advice, you would say not to bet on it.
link |
01:43:19.120
No, I do not. And even I actually suspect if you ask strength theory is that question,
link |
01:43:24.160
these days you're going to get few of them saying, I mean, if you'd asked them that question 20
link |
01:43:29.240
years ago, again, when Kaku was making this bet, whatever, I think some of them would have taken
link |
01:43:33.840
you up on it. But and certainly back in 1984, a bunch of them would have said, oh, sure. Yeah.
link |
01:43:38.480
But now I get the impression that they've even they realize that things are not looking good,
link |
01:43:45.480
for that particular idea. Again, it depends what you mean by strength theory, whether maybe the
link |
01:43:49.800
term will evolve to mean something else, which, which will work out. But yeah, I don't think
link |
01:43:55.280
that's not going to like it to work out whether something else, I mean, I still think it's
link |
01:44:00.080
relatively unlikely that you'll have any really successful theory of everything. And the main
link |
01:44:06.000
problem is just the, it's become so difficult to do experiments that hire energy that we've
link |
01:44:12.120
really lost this ability to kind of get unexpected input from, from experiment. And, and you can,
link |
01:44:20.120
you know, while it's maybe hard to figure out what people's thinking is going to be 20 years
link |
01:44:23.960
from now, looking at, you know, energy particle, energy colliders and their technology, it's
link |
01:44:31.040
actually pretty easy to make a pretty accurate guess what it's going to let what, what you're
link |
01:44:36.000
going to be doing 20 years from now. And I think actually, I would actually claim that it's pretty
link |
01:44:42.760
clear what, where you're going to be 20 years from now. And what it's going to be is you're
link |
01:44:45.720
going to have the, you're going to have the LHC, you're going to have a lot more data and order
link |
01:44:51.960
of magnitude or more, or more data from the LHC, but at the same energy, you're not going to,
link |
01:44:58.120
you're not going to see a higher energy accelerator operating successfully in the, in the next 20
link |
01:45:04.720
years. And like maybe machine learning or great sort of data science methodologies that process
link |
01:45:10.880
that data will not reveal any major like shifts in our understanding of the underlying physics,
link |
01:45:18.360
do you think? I don't think so. I mean, I think that, that, that feel that my understanding is
link |
01:45:23.160
that they, they're starting to make a great use of those techniques, but, but it seems to look
link |
01:45:27.880
like it will help them solve certain technical problems and be able to do things somewhat
link |
01:45:32.160
better, but not completely change the way they're looking at things. What do you think about the
link |
01:45:38.160
potential quantum computer is simulating quantum mechanical systems and through that sneak up
link |
01:45:42.640
to sort of sim, through simulation, sneak up to a deep understanding of the fundamental physics.
link |
01:45:50.760
The problem there is that, that's promising more for this, for, you know, for Phil Anderson's
link |
01:45:58.960
problem that, you know, if you want to, there, there's lots and lots of, if you take, you start
link |
01:46:06.360
pointing together lots and lots of things and we think we know they're pair by pair interactions,
link |
01:46:10.960
but what this thing is going to do, we don't have any good calculational techniques, you know,
link |
01:46:16.480
quantum computers, it may, may very well give you those. And so they may, what we think of as
link |
01:46:21.680
kind of strong coupling behavior, we have no good way to calculate, you know, even though we can
link |
01:46:27.280
write down the theory, we don't know how to calculate anything with any accuracy in it,
link |
01:46:31.720
the quantum computer that may solve that problem. But the problem is that they, I don't, I don't
link |
01:46:36.320
think that they're going to solve the problem, that they help you with a problem of not having
link |
01:46:39.800
their, of knowing what the right underlying theory is. As somebody who likes experimental
link |
01:46:47.280
validation, let me ask you the perhaps ridiculous sounding, but I don't think it's actually a
link |
01:46:52.320
ridiculous question of, do you think we live in a simulation? Do you find that thought experiment
link |
01:46:58.120
at all useful or interesting? Not, not, not really. I don't, it just doesn't, yeah, anyway,
link |
01:47:06.800
to me, it doesn't actually lead to any kind of interesting, lead anywhere interesting.
link |
01:47:11.360
Yeah, to me, so maybe I'll throw a wrench into your thing. To me, it's super interesting from
link |
01:47:18.000
an engineering perspective. So if you look at virtual reality systems, the, the actual
link |
01:47:24.600
question is how much computation and how difficult is it to construct a world that, like, there
link |
01:47:34.360
are several levels here. One is you won't know the different, our human perception systems
link |
01:47:41.320
and maybe even the tools of physics won't know the difference between the simulated
link |
01:47:44.560
world and the real world. That's sort of more of a physics question. The, the most interesting
link |
01:47:52.160
question to me has more to do with why food tastes delicious, which is create how difficult
link |
01:47:58.640
and how much computation is required to construct a simulation where you kind of know it's a
link |
01:48:04.160
simulation at first, but you want to stay there anyway. And over time, you don't even
link |
01:48:12.200
remember. Yeah. Well, anyway, I agree. These are kind of fascinating questions. And they
link |
01:48:18.560
may be very, very relevant to our future as a species, but yeah, they're just very far
link |
01:48:23.960
from anything.
link |
01:48:24.960
But so from a physics perspective, it's not useful to you to think, taking a computational
link |
01:48:30.840
perspective to our universe, thinking of as an information processing system, and then
link |
01:48:35.440
they give it as doing computation. And then you think about the resources required to
link |
01:48:39.400
do that kind of computation and all that kind of stuff. You could just look at the basic
link |
01:48:43.200
physics and who cares what the, the computer that's running on us.
link |
01:48:46.680
Yeah. It just, I mean, the kinds of, I mean, I'm willing to agree that you can get into
link |
01:48:50.680
interesting kinds of questions going down that road, but they're just so different from
link |
01:48:54.120
anything from what I found interesting. And I just, again, I just have to kind of go back
link |
01:48:59.680
to life is too short. And I'm very glad other people are thinking about this, but I just
link |
01:49:05.400
don't see anything I can do with it.
link |
01:49:08.840
What about space itself? So I have to ask you about aliens. Again, something, since
link |
01:49:16.080
you emphasize evidence, do you think there is how many, do you think there are and how
link |
01:49:21.920
many intelligent alien civilizations are out there?
link |
01:49:25.760
Yeah, I have no idea, but I've certainly, as far as I know, unless the government's
link |
01:49:30.040
covering it up or something, we haven't heard from, we don't have any evidence for such
link |
01:49:35.120
things yet, but there's no, there seems to be no, there's no particular obstruction,
link |
01:49:41.080
why there shouldn't be. So I mean, do you, you work on some fundamental
link |
01:49:46.760
questions about the physics of reality? When you look up to the stars, do you think about
link |
01:49:52.440
whether somebody's looking back at us?
link |
01:49:54.760
Yeah. Well, actually, I originally got interested in physics. I actually started out as a kid
link |
01:49:59.160
interested in astronomy, exactly that and a telescope and whatever that. And certainly
link |
01:50:03.000
read a lot of science fiction and thought about that. I find over the years, I find
link |
01:50:09.960
myself kind of less, anyway, less and less interested in that. Well, just because I don't,
link |
01:50:15.760
I kind of don't really know what to do with them. I'm also kind of at some point kind
link |
01:50:20.440
of stopped reading science fiction that much, kind of feeling that there was just two, that
link |
01:50:25.200
the actual science I was kind of learning about was perfectly kind of weird and fascinating
link |
01:50:29.760
and unusual enough and better than any of the stuff that, you know, Isaac Asimov, so
link |
01:50:35.080
why should I?
link |
01:50:36.560
Yeah. And you can mess with the science much more than the, the distant science fiction,
link |
01:50:43.280
the one that's exist in our imagination or the one that exists out there among the stars.
link |
01:50:48.720
Yeah.
link |
01:50:49.720
Well, you mentioned science fiction. You've written quite a few book reviews. I gotta
link |
01:50:54.320
ask you about some books perhaps, if you don't mind, is there one or two books that you would
link |
01:51:01.760
recommend to others and maybe if you can, what ideas you drew from them? Either negative
link |
01:51:10.000
recommendations or positive recommendations.
link |
01:51:12.000
Well,
link |
01:51:13.000
Do not read this book for sure.
link |
01:51:14.880
Well, I must say, I mean, unfortunately, yeah, you can go to my website and there's
link |
01:51:20.160
a, you can click on book reviews and you can see I've written a lot of, a lot of, I mean,
link |
01:51:25.440
as you can tell from my views about string theory, I'm not a fan of a lot of the kind
link |
01:51:29.800
of popular books about, oh, isn't string theory great? And about, yes, I'm not a fan of a lot
link |
01:51:36.720
of things of that kind.
link |
01:51:37.720
Can I ask you a good question on this, a small tangent? Are you a fan? Can you explore the
link |
01:51:45.040
pros and cons of, forget string theory, sort of science communication, sort of cosmos style,
link |
01:51:55.680
communication of concepts to people that are outside of physics, outside of mathematics,
link |
01:52:00.400
outside of even the sciences, and helping people to sort of dream and fill them with
link |
01:52:05.440
awe about the full range of mysteries in our universe?
link |
01:52:09.280
That's a complicated issue. I think, you know, I certainly go back and go back to like what
link |
01:52:14.840
inspired me and maybe to connect a little bit to this question about books. I mean,
link |
01:52:19.840
certainly when the books, some books that I remember reading when I was a kid were about
link |
01:52:24.760
the early history of quantum mechanics like Heisenberg's books that he wrote about, you
link |
01:52:28.720
know, kind of looking back at telling the history of what happened when he developed
link |
01:52:32.200
quantum mechanics. It's just kind of a totally fascinating, romantic, great story. And those
link |
01:52:38.080
were very inspirational to me. And I would think maybe that other people might also find
link |
01:52:43.400
them that.
link |
01:52:44.400
And that's almost like the human story of the development of the ideas.
link |
01:52:48.720
Yeah, the human story. But yeah, just also how, you know, these very, very weird ideas
link |
01:52:53.640
that didn't seem to make sense, how they were struggling with them and how, you know, they
link |
01:52:57.360
actually, anyway, it's, I think it's the period of physics kind of beginning in 1905,
link |
01:53:05.040
like in Einstein and ending up with the war when these things are, get used to, you know,
link |
01:53:11.360
make passively destructive weapons. It's just that totally amazing.
link |
01:53:15.800
So many, so many new ideas. Let me on another tangent on top of a tangent on top of a tangent
link |
01:53:20.680
ask, if we didn't have Einstein, so how does science progress? Is it the lone geniuses?
link |
01:53:29.080
Or is it some kind of weird network of ideas swimming in the air and just kind of the geniuses
link |
01:53:36.560
pop up to catch them and others would anyway? Without Einstein, would we have special relativity,
link |
01:53:42.760
general relativity?
link |
01:53:43.760
I mean, it's an interesting case to case base. I mean, I mean, special special relativity,
link |
01:53:49.680
I think we would have had, I mean, there are other people. Anyway, you could even argue
link |
01:53:55.640
that it was already there in some form and some is, but I think special relativity would
link |
01:53:59.560
have had without Einstein fairly, fairly quickly. General relativity, that was much, much harder
link |
01:54:06.880
thing to do and required a much more effort, much more sophisticated. That, I think he
link |
01:54:13.040
would have had sooner or later, but it would have taken, taken quite a bit longer.
link |
01:54:16.400
That took a bunch of years to validate scientifically the general relativity.
link |
01:54:21.800
But even for Einstein, from the point where he had kind of a general idea of what he was
link |
01:54:26.120
trying to do to the point where he actually had a well defined theory that you could actually
link |
01:54:30.880
compare to the real world, that was, I forget the number of the order of magnitude, ten
link |
01:54:35.440
years of very serious work. And if he hadn't been around to do that, it would have taken
link |
01:54:40.280
a while before anyone else got around to it.
link |
01:54:43.120
On the other hand, there are things like, with quantum mechanics, you have Heisenberg
link |
01:54:48.720
and Schrodinger came up with two, which ultimately equivalent, but two different approaches to
link |
01:54:57.320
it within months of each other. And so if Heisenberg hadn't been there, he already would
link |
01:55:02.880
have had Schrodinger or whatever. And if neither of them had been there, it would have been
link |
01:55:06.080
somebody else a few months later. So there are times when the, just the, a lot often
link |
01:55:13.160
is the combination of the right ideas are in place and the right experimental data is
link |
01:55:19.080
in place to point in the right direction. And it's just waiting for somebody's going
link |
01:55:23.400
to find it. Maybe, maybe to go back to your, to your aliens, I guess the one thing that
link |
01:55:29.160
I often wonder about aliens is, would they have the same fundamental physics ideas as
link |
01:55:34.000
we, if we have in mathematics, would their math, you know, would they, you know, how,
link |
01:55:39.960
how much is this really intrinsic to our minds? If, if you start out with a different
link |
01:55:43.240
kind of mind, wouldn't you end up with a different ideas of what fundamental physics
link |
01:55:47.080
is or what, or what the structure of mathematics is?
link |
01:55:49.960
So this is why, like if I was, you know, I like video games, the way I would do it as
link |
01:55:56.560
a curious being, so first experiment I'd like to do is run earth over many thousands of
link |
01:56:02.080
times and see if our particular, no, you know what, I wouldn't do the full evolution. I
link |
01:56:08.200
would start at homo sapiens first and then see the evolution of homo sapiens millions
link |
01:56:12.960
of times and see how the, the ideas of science would evolve. Like, would you get like, how
link |
01:56:18.800
would physics evolve? How would math evolves? I would particularly just be curious about
link |
01:56:22.920
the notation they come up with. Every once in a while, I would like throw miracles at
link |
01:56:28.480
them to like, to mess with them and stuff. And then I would also like to run earth from
link |
01:56:33.360
the very beginning to see if evolution will produce different kinds of brains that would
link |
01:56:37.480
then produce different kinds of mathematics and physics. And then finally, I would probably
link |
01:56:42.240
millions of times run the universe over to see what kind of, what kind of environments
link |
01:56:50.640
and what kind of life would be created to then lead to intelligent life to then lead
link |
01:56:55.920
to theories of mathematics and physics and to see the full range. And like sort of like
link |
01:57:02.440
Darwin kind of mark. Okay. It took them, what is it, several hundred million years to come
link |
01:57:10.480
up with calculus. I would just like keep noting how long it took and get an average and see,
link |
01:57:17.840
see which ideas are difficult, which are not. And then, and then conclusively sort of figure
link |
01:57:22.800
out if it's, if it's more collective intelligence or singular intelligence, that's responsible
link |
01:57:29.480
for shifts and for big phase shifts and breakthroughs in science. If I was playing a video game
link |
01:57:35.480
and I got a chance to run this whole thing. Yeah. But um, we're talking about books before
link |
01:57:41.840
I distract. Yeah, go back books. And yeah. So, and then, yeah. So that's one thing I'd
link |
01:57:46.760
recommend is the, is the books, books about the, from the original people, especially
link |
01:57:50.960
Heisenberg about the, how that happened. And there's also a very, very good kind of history
link |
01:57:55.600
of, of the kind of what happened during this 20th century in physics. And, you know, up
link |
01:58:02.600
to the time of the standard model in 1973, it's called the, the second creation by Pop
link |
01:58:08.280
Creuson and man, that's one of the best ones. I know that's, but the one thing that I can
link |
01:58:14.000
say is that, so that book, I think, forget when it was late 80s, 90s. The problem is
link |
01:58:20.680
that there just hasn't been much that's actually worked out since then. So most of the books
link |
01:58:25.440
that are kind of trying to tell you about all the glorious things that have happened
link |
01:58:28.320
since 1973 are, they're mostly telling you about how glorious things are, which actually
link |
01:58:34.400
don't really work. And it's really the argument people sometimes make in terms, in favor of
link |
01:58:39.480
these books as well. Oh, you know, they're really great because you want to do something
link |
01:58:42.360
that will get kids excited. And then, you know, so they're getting excited about things,
link |
01:58:45.880
something that's not really quite working. It's doesn't really matter. The main thing
link |
01:58:48.960
is get them excited. The other argument is, you know, wait a minute, when you, if you're
link |
01:58:53.720
getting people excited about ideas that are wrong, you're really kind of, you're actually
link |
01:58:58.000
kind of discrediting the whole scientific enterprise in a, in a not really good way.
link |
01:59:02.320
So there's just problems. So my general feeling about expository stuff is, yeah, it's to the
link |
01:59:08.840
extent you can do it kind of honestly and, and, and well, that's great. There are a lot
link |
01:59:13.520
of people doing that now. But to the extent that you're just trying to get people excited,
link |
01:59:20.920
enthusiastic by kind of telling them stuff, which isn't really true. This is, you really
link |
01:59:24.760
shouldn't be doing that.
link |
01:59:26.840
You obviously have a much better intuition about physics. I tend to, in the space of
link |
01:59:31.640
AI, for example, you could, you could use certain kinds of language, like calling things
link |
01:59:38.520
intelligent, that could rub people the wrong way. But I never had a problem with that kind
link |
01:59:44.880
of thing, you know, saying that a program can learn its way without any human supervision
link |
01:59:49.880
as AlphaZero does to play chess. To me, that may not be intelligence, but I sure that as
link |
01:59:59.000
HEC seems like a few steps down the path towards intelligence. And so like, I think that's
link |
02:00:06.240
a very peculiar property of systems that can be engineered. So even if the idea is fuzzy,
link |
02:00:12.360
even if you're not really sure what intelligence is, or like, if you don't have a deep fundamental
link |
02:00:18.820
understanding, or even a model what intelligence is, if you build a system that sure as heck
link |
02:00:23.320
is impressive, and showing some of the signs of what previously thought impossible for
link |
02:00:29.920
a non intelligent system, then that's impressive. And that's inspiring. And that's okay to celebrate.
link |
02:00:36.720
In physics, because you're not engineering anything, you're just now swimming in the
link |
02:00:41.000
space directly when you do theoretical physics, that it could be more dangerous. You could
link |
02:00:45.680
be out too far away from shore. I think physics is actually hard for people even to believe
link |
02:00:55.080
or really understand how that this particular kind of physics has gotten itself into a really
link |
02:01:02.320
unusual and strange and historically unusual state, which is not really, I mean, I spent
link |
02:01:07.960
half my life among mathematicians, math and physics. And, you know, mathematics is kind
link |
02:01:12.160
of doing fine. People are making progress. And it has all the usual problems, but also,
link |
02:01:17.720
so you could have a, but, but you just, I just, I don't know, I've never seen anything
link |
02:01:22.080
at all happening in mathematics, like what's happened in the specific area in physics. It's
link |
02:01:26.440
just the kind of sociology of this, the way this field works, banging up against this
link |
02:01:34.320
harder problem without anything from experiment to help it. It's really, it's led to some
link |
02:01:41.360
really kind of problematic things. And those, so it's one thing to kind of, you know, oversimplify
link |
02:01:47.720
or to slightly misrepresent to try to explain things in a way that's not quite right. But
link |
02:01:52.560
it's another thing to start promoting to people as a success as ideas, which, which really
link |
02:01:58.920
completely failed. And so, I mean, I'm, I've kind of a very, very specific. If you used
link |
02:02:04.120
to have people, I won't name any names, for instance, coming on certain podcasts like
link |
02:02:09.120
yours telling the world, you know, this is a huge success. And this is really wonderful.
link |
02:02:14.000
And it's just not true. And, and this is, this, this is really problematic. And it carries
link |
02:02:20.280
a serious danger of, you know, once when people realize that this is what's going on, you
link |
02:02:27.080
know, they, you know, the loss of credibility of, of science is a real real problem for
link |
02:02:33.880
our society. And, and you don't want, you don't want people to have an all too good
link |
02:02:39.480
reason to think that what they're being, what they're being told by kind of some of the
link |
02:02:44.920
best institutions or a country or authorities is not true, you know, is, is not true. It's
link |
02:02:51.280
a problem.
link |
02:02:52.280
That's, it's obviously characteristic of not just physics. It's a, it's sociology.
link |
02:02:59.160
And it's, I mean, obviously in the space of politics, it's, that's the history of politics
link |
02:03:04.720
is you, you sell ideas to people even when you don't have any proof that those ideas
link |
02:03:14.680
actually work.
link |
02:03:15.680
Yeah.
link |
02:03:16.680
Because if they've, have worked in that, that seems to be the case throughout history.
link |
02:03:24.040
And just like you said, it's human beings running up against a really hard problem.
link |
02:03:30.280
I'm not sure if this is like a particular like trajectory through the progress of physics
link |
02:03:36.880
that we're dealing with now, or is it just a natural progress of science? You run up against
link |
02:03:40.920
a really difficult stage of a field and different people that behave differently in the face
link |
02:03:51.960
of that. Some sell books and sort of tell narratives that are beautiful and so on. They're not
link |
02:03:58.360
necessarily grounded in solutions that have proven themselves. Others kind of put their
link |
02:04:04.200
head down quietly, keep doing the work. Others sort of pivot to different fields. And that's
link |
02:04:08.760
kind of like, yeah, ants scattering. And then you have fields like machine learning, which
link |
02:04:14.600
is there's a few folks mostly scattered away from machine learning in the, in the nineties
link |
02:04:19.480
in the winter of AI, AI winter, as they call it. But a few people kept their head down
link |
02:04:24.760
and now they're called the fathers of deep learning. And they didn't think of it that
link |
02:04:29.760
way. And in fact, if there's another AI winter, they'll just probably keep working on it anyway,
link |
02:04:35.720
sort of like a loyal ants, to a particular, so it's, it's interesting. But you're sort
link |
02:04:42.480
of saying that we should be careful over hyping things that have not proven themselves, because
link |
02:04:48.800
people will lose trust in the scientific process. But unfortunately, there's been other ways
link |
02:04:57.680
in which people have lost trust in the scientific process that ultimately has to do actually
link |
02:05:02.120
with all the same kind of behavior as you're highlighting, which is not being honest and
link |
02:05:07.600
transparent about the flaws of mistakes of the past.
link |
02:05:11.240
Yeah, I mean, that's always a problem. But this particular field is kind of, I'm always
link |
02:05:16.600
a, it's always a strange one. I mean, I think in the sense that there's a lot of public
link |
02:05:22.360
fascination with it, that it seems to speak to kind of our deepest questions about, you
link |
02:05:26.240
know, what is this physical reality? Where do we come from? And what, and these kind
link |
02:05:30.400
of deep issues. So there's, there's this unusual fascination with it. Mathematics is versus
link |
02:05:34.920
very different. Nobody, nobody's that interested in mathematics. Nobody really kind of expects
link |
02:05:39.080
to learn really great deep things about the world from mathematics that much. They don't
link |
02:05:43.840
ask mathematicians that. So, so, so it's a very unusual, it draws this kind of unusual
link |
02:05:49.480
amount of attention. And it really is historically in a really unusual state. It's kind of, it's
link |
02:05:56.000
gotten itself way kind of down a, down a blind alley in a way which it's hard to find other
link |
02:06:04.840
historical parallels.
link |
02:06:06.680
But sort of to push back a little bit, there's power to inspiring people. And if I just empirically
link |
02:06:12.440
look, physicists are really good at combining science and philosophy and communicating it.
link |
02:06:24.520
Like there's something about physics often that forces you to build a strong intuition
link |
02:06:28.880
about the way reality works, right? And that allows you to think through sort of and communicate
link |
02:06:35.640
about all kinds of questions. Like if you see physicists, it's always fascinating to
link |
02:06:40.040
take on problems that have nothing to do with their particular discipline. They think interest
link |
02:06:44.840
in interesting ways and they're able to communicate their thinking in interesting ways. And so
link |
02:06:48.920
in some sense, they have a responsibility not just to do science, but to inspire and
link |
02:06:55.680
not responsibility, but the opportunity. And thereby, I would say a little bit of a responsibility.
link |
02:07:02.200
Yeah. Yeah. And sometimes, but I don't know. Anyway, it's hard to say because, because different
link |
02:07:07.400
there, there's many, many people doing this kind of thing with different degrees of success
link |
02:07:13.800
and whatever. I guess one thing, but I mean, my, what's kind of front and center for me
link |
02:07:20.960
is kind of a more parochial interest is just kind of what, what damage do you do to the
link |
02:07:27.280
subject itself? Ignoring, misrepresenting, you know, what a high school students think
link |
02:07:33.400
about string theory and not that doesn't matter much, but what the smartest undergraduates
link |
02:07:40.160
or the smartest graduate students in the world think about it and what paths you're leading
link |
02:07:44.640
them down and what story you're telling them and what textbooks you're making them read
link |
02:07:49.560
and what they're hearing. And so a lot of what's motivated me is more to try to speak
link |
02:07:54.160
to this kind of a specific population of people to make sure that look, you know, people,
link |
02:08:01.760
it doesn't matter so much what the average person on the street thinks about string theory,
link |
02:08:07.160
but you know, what the best students at Columbia or Harvard or Princeton or whatever who really
link |
02:08:13.920
want to change, work in this field and want to work that way, what they know about it,
link |
02:08:18.640
what they think about it and that they not be going to the field being misled and believing
link |
02:08:22.600
that a certain story, this is where this is all going. This is what I got to do. It's
link |
02:08:28.240
important to me.
link |
02:08:29.240
In general, for graduate students, for people who seek to be experts in the field, diversity
link |
02:08:34.760
of ideas is really powerful and is getting into this local pocket of ideas that people
link |
02:08:41.040
hold on to for several decades is not good. No matter what the idea, I would say no matter
link |
02:08:45.800
if the idea is right or wrong, because there's no such thing as right in the long term, like
link |
02:08:51.680
it's right for now until somebody builds on something much bigger on top of it. It might
link |
02:08:58.560
end up being right, but being a tiny subset of a much bigger thing. You always should
link |
02:09:04.640
question the ways of the past.
link |
02:09:07.240
Yeah. Yeah. So how to achieve that diversity of thought within the sociology of how we
link |
02:09:15.440
organize scientific research. I know this is one thing that I think it's very interesting
link |
02:09:19.440
that Sabina Hossenfelder is very interesting things to say about it. I think also at least
link |
02:09:24.600
Moen and his book, which is also about very much in agreement with them that there's a
link |
02:09:33.360
really important questions about how research in this field is organized and what can you
link |
02:09:44.200
do to get more diversity of thought and get people thinking about a wider range of ideas.
link |
02:09:53.240
At the bottom, I think humility always helps.
link |
02:09:56.320
Well, but the problem is that it's also a combination of humility to know when you're
link |
02:10:02.320
wrong and also, but also you have to have a certain very serious lack of humility to
link |
02:10:08.200
believe that you're going to make progress on some of these problems.
link |
02:10:11.080
I think you have to have both modes, which are between them when needed. Let me ask you
link |
02:10:19.000
a question you're probably not going to want to answer because you're focused on the mathematics
link |
02:10:24.680
of things and mathematics can't answer the why questions, but let me ask you anyway.
link |
02:10:30.720
Do you think there's meaning to this whole thing? What do you think is the meaning of
link |
02:10:34.480
life? Why are we here?
link |
02:10:36.200
I don't know. Yeah, I was thinking about this. So the, and it did occur to me, what interesting
link |
02:10:44.760
thing about that question is that you don't, yeah, so I have this life in mathematics and
link |
02:10:51.080
this life in physics and I see some of my physicists colleagues, you know, kind of seem
link |
02:10:58.240
to be people are often asking them, what's the meaning of life and they're writing books
link |
02:11:01.320
about the meaning of life and teaching courses about the meaning of life. But then I realized
link |
02:11:05.400
that no one ever asked my mathematician colleagues. Nobody ever asked mathematicians.
link |
02:11:10.880
That's funny. Yeah. Everybody just kind of assumes, okay, well, you people are studying
link |
02:11:16.080
about that. I see whatever you're doing, it's maybe very interesting, but it's clearly not
link |
02:11:20.000
going to tell me anything useful about the meaning of my life. And I'm afraid a lot
link |
02:11:24.120
of my point of view is that if people realize how little difference there was between what
link |
02:11:28.600
the mathematicians are doing and what a lot of these theoretical physicists are doing,
link |
02:11:32.280
they might understand that it's a bit misguided to look for deep insight into the meaning
link |
02:11:38.520
of life from, from many theoretical physicists. It's not a, they, you know, they're, they're
link |
02:11:44.640
people and they have, they may have interesting things to say about this. You're right. They
link |
02:11:47.920
have, they know a lot about physical reality and about, about in some sense about metaphysics
link |
02:11:53.840
about what is real of this kind. But you're also, to my mind, I think you're also making
link |
02:12:03.000
a bit of a mistake that you're, you're looking to, I mean, I'm very, very aware that, you
link |
02:12:08.520
know, I've led a very pleasant and fairly privileged existence of a fairly, without
link |
02:12:13.640
many challenges of different kinds and of a certain kind. And I'm really not in no way
link |
02:12:20.560
the kind of person that a lot of people who are looking for to try to understand in some
link |
02:12:26.600
of the meaning of life and the sense of the challenges that they're facing in life, I
link |
02:12:30.440
can't really, I'm really the wrong person for you to be asking about this.
link |
02:12:34.120
Well, if struggle is somehow a thing that's core to meaning, perhaps mathematicians are
link |
02:12:41.160
just quietly the ones who are most equipped to answer that question. If in fact, the creation
link |
02:12:47.120
or at least experiencing beauty is, is, is at the core of the meaning of life, because
link |
02:12:56.040
it seems like mathematics is the methodology by which you can most purely explore beautiful
link |
02:13:02.520
things, right? So in some sense, maybe we should talk to mathematicians more.
link |
02:13:08.560
Yeah, yeah, maybe, but, but the, unfortunately, I think, you know, people do have a somewhat
link |
02:13:13.800
correct perception that what these people are doing every day is pretty far removed
link |
02:13:18.760
from anything. Yeah, from what's kind of close to what I'm, what I do every day and what
link |
02:13:26.360
my typical concerns are. So you may learn something very interesting by talking to mathematicians,
link |
02:13:31.120
but it's, it's probably not going to be, you're probably not going to get what you were hoping.
link |
02:13:37.160
So when you put the pen and paper down, you're not thinking about physics, and you're not
link |
02:13:41.840
thinking about mathematics, and you just get to breathe in the air and look around you
link |
02:13:46.800
and realize that you're going to die one day. Yeah, do you think about that? Your ideas
link |
02:13:53.800
will live on, but you the human. Not, not, not especially much. It's certainly
link |
02:13:58.680
I've been getting, getting older. I'm now 64 years old. You start to realize, well,
link |
02:14:02.800
there's probably less ahead than there was behind. And so you start to, that starts
link |
02:14:08.160
to become, you know, what do I think about that? Maybe I should actually get serious
link |
02:14:13.280
about getting some things done, which I, which I may not have, which I may otherwise not
link |
02:14:17.920
have time to do, which I didn't see. And this didn't seem to be a problem when I was younger,
link |
02:14:22.280
but that's the main, I think the main way in which that thought occurred.
link |
02:14:26.920
But it doesn't, you know, the Stoics are big on this, meditating on mortality helps you
link |
02:14:33.400
more intensely appreciate the beauty when you do experience it.
link |
02:14:37.960
I suppose that's true, but it's not, yeah, it's not, not something I spend a lot of,
link |
02:14:44.960
a lot of time trying, but, but yeah.
link |
02:14:47.040
Day to day, you just enjoy the positive, the mathematics.
link |
02:14:49.960
Just enjoy our life in general. Life is, have a perfectly pleasant life and enjoy it. And
link |
02:14:58.560
often think, wow, this is, things are, I'm really enjoying this. Things are going well.
link |
02:15:03.800
And yeah, life is pretty amazing. I think you and I are pretty lucky. We get to live
link |
02:15:09.120
on this nice little earth with a nice little comfortable climate and we get to have this
link |
02:15:14.840
nice little podcast conversation. Thank you so much for spending your valuable time with
link |
02:15:19.160
me today and having this conversation. Thank you.
link |
02:15:21.960
Good. Thank you.
link |
02:15:22.960
Thank you.
link |
02:15:25.400
Thanks for listening to this conversation with Peter White. To support this podcast, please
link |
02:15:29.360
check out our sponsors in the description. And now let me leave you some words from Richard
link |
02:15:34.600
Feynman. The first principle is that you must not fool yourself and you are the easiest
link |
02:15:42.000
person to fool. Thank you for listening and hope to see you next time.