← Lex Fridman

Peter Woit: Theories of Everything and Why String Theory is Not Even Wrong

Episode 2462021-12-03English

Guests: Peter Woit

Listen to this episode00:00 / 2:23:05
Reading settings
Reading preferences
Text size
Download in-depth read
Read offline

In-depth read pending

Downloads are not available yet.

§01Transcript · 00:00–08:41

00:00The following is a conversation with Peter White,

00:02a theoretical physicist at Columbia,

00:04outspoken critic of string theory,

00:06and the author of the popular physics

00:09and mathematics blog called "Not Even Wrong."

00:12This is the Lex Friedman Podcast.

00:15To support it, please check out our sponsors

00:17in the description.

00:18And now, here's my conversation with Peter White.

00:22You're both a physicist and a mathematician.

00:27So let me ask, what is the difference

00:29between physics and mathematics?

00:31- Well, there's kind of a conventional understanding

00:33of the subject that they're two quite different things.

00:37So that mathematics is about making rigorous statements

00:41about these abstract things, things of mathematics,

00:46and proving them rigorously.

00:48And physics is about doing experiments

00:51and testing various models and that.

00:53But I think the more interesting thing

00:55is that there's a wide variety

01:00of what people do as mathematics,

01:01what they do as physics,

01:02and there's a significant overlap.

01:04And that I think is actually a very interesting area.

01:09And if you go back kind of far enough in history

01:12and look at figures like Newton or something,

01:15at that point, you can't really tell

01:17was Newton a physicist or a mathematician.

01:19The mathematicians will tell you he was a mathematician,

01:21the physicists will tell you he was a physicist.

01:23But he would say he's a philosopher.

01:26(laughing)

01:27Yeah, that's interesting.

01:28But yeah, anyway, there was kind of no such distinction

01:32then that's more of a modern thing.

01:35But anyway, I think these days,

01:36there's a very interesting space in between the two.

01:38- So in the story of the 20th century

01:40and the early 21st century,

01:42what is the overlap between mathematics and physics,

01:44would you say?

01:46- Well, I think it's actually become very, very complicated.

01:49I think it's really interesting to see a lot

01:51of what my colleagues in the math department are doing.

01:54They, most of what they're doing,

01:56they're doing all sorts of different things,

01:58but most of them have some kind of overlap

02:00with physics or other.

02:02So, I mean, I'm personally interested

02:03in one particular aspect of this overlap,

02:06which I think has a lot to do

02:08with the most fundamental ideas about physics

02:10and about mathematics.

02:12But there's just, you kind of see this,

02:15this really, really everywhere at this point.

02:18- Which particular overlap are you looking at, group theory?

02:22- Yeah, so the, at least what the way it seems to me

02:26that if you look at physics and look at the,

02:28our most successful laws of fundamental physics,

02:31they're really, you know,

02:33they have a certain kind of mathematical structure.

02:35It's based upon certain kinds of mathematical objects

02:38and geometry connections and curvature,

02:40the spinners, the Dirac equation.

02:43And that, these, this very deep mathematics

02:47provides kind of a unifying set of ways of thinking

02:51that allow you to make a unified theory of physics.

02:54But the interesting thing is that if you go to mathematics

02:57and look at what's been going on in mathematics

03:00the last 1,500 years, and even especially recently,

03:04there's a similarly, some kind of unifying ideas

03:08which bring together different areas of mathematics

03:10and which have been especially powerful

03:12in number theory recently.

03:13And there's a book, for instance,

03:15by Edward Frankel about love and math.

03:19- Yeah, that book's great.

03:20I recommend it highly.

03:21It's partially accessible.

03:24But it is a nice audio book that I listened to

03:27while running an exceptionally long distance,

03:31like across the San Francisco Bridge.

03:35And there's something magic about the way he writes about it

03:38but some of the group theory in there

03:40is a little bit difficult.

03:42- Yeah, that's the problem with any of these things,

03:44to kind of really say what's going on

03:45and make it accessible is very hard.

03:48He, in this book and elsewhere, I think,

03:50takes the attitude that kinds of mathematics

03:53he's interested in and that he's talking about

03:56are provide kind of a grand unified theory of mathematics.

03:59They bring together geometry and number theory

04:03and representation theory, a lot of different ideas

04:06in a really unexpected way.

04:09But I think to me, the most fascinating thing

04:11is if you look at the kind of grand unified theory

04:13of mathematics he's talking about

04:15and you look at the physicist's kind of ideas

04:17about unification, it's more or less

04:19the same mathematical objects are appearing in both.

04:22So it's this, I think there's a really,

04:24we're seeing a really strong indication

04:26that the deepest ideas that we're discovering about physics

04:30and some of the deepest ideas

04:31that mathematicians are learning about

04:33are really, are intimately connected.

04:36- Is there something, like if I was five years old

04:38and you were trying to explain this to me,

04:40is there ways to try to sneak up

04:43to what this unified world of mathematics looks like?

04:47You said number theory, you said geometry,

04:50words like topology.

04:52What does this universe begin to look like?

04:54Are these, what should we imagine in our mind?

04:57Is it a three-dimensional surface?

05:00And we're trying to say something about it.

05:03Is it triangles and squares and cubes?

05:07Like what are we supposed to imagine in our minds?

05:09Is this natural number?

05:10What's a good thing to try to,

05:13for people that don't know any of these tools

05:16except maybe some basic calculus and geometry

05:18from high school, that they should keep in their minds

05:22as to the unified world of mathematics

05:24that also allows us to explore

05:28the unified world of physics?

05:29- I mean, what I find kind of remarkable about this

05:33is the way in which these, we've discovered these ideas,

05:38but they're actually quite alien

05:40to our everyday understanding.

05:42You know, we grow up in this three-spatial dimensional world

05:45and we have intimate understanding

05:47of certain kinds of geometry and certain kinds of things,

05:50but these things that we've discovered

05:53in both math and physics are,

05:56that they're not at all close,

05:58have any obvious connection

05:59to kind of human everyday experience.

06:01They're really quite different.

06:03And I can say some of my initial fascination with this

06:06when I was young and starting to learn about it

06:08was actually exactly this kind of arcane nature

06:13of these things.

06:14It's a little bit like being told,

06:17well, there are these kind of semi-mystical experience

06:21that you can acquire by a long study and whatever,

06:24except that it was actually true

06:26and there's actually evidence that this actually works.

06:29So, I'm a little bit wary of trying to give people

06:33that kind of thing, 'cause I think it's mostly misleading.

06:35But one thing to say is that, you know,

06:36that geometry is a large part of it.

06:39And maybe one interesting thing to say

06:43that's about more recent, some of the most recent ideas

06:45is that when we think about the geometry

06:48of our space and time,

06:50it's kind of three spatial and one time dimension.

06:53It's a, physics is in some sense

06:56about something that's kind of four dimensional in a way.

07:00And a really interesting thing

07:02about some of the recent developments in number theory

07:06have been to realize that these ideas

07:09that we were looking at naturally fit into a context

07:12where your theory is kind of four dimensional.

07:15So, I mean, geometry is a big part of this

07:19and we know a lot and feel a lot about, you know,

07:22two, one, two, three dimensional geometry.

07:24- So, wait a minute.

07:25So, we can at least rely on the four dimensions

07:30of space and time and say that we can get pretty far

07:32by working that in those four dimensions?

07:35I thought you were gonna scare me

07:36that we're gonna have to go to many, many, many, many

07:39more dimensions than that.

07:41- My point of view, which goes against a lot of these ideas

07:44about unification is that, no, this is really,

07:46everything we know about really is about four dimensions

07:50that, and that you can actually understand

07:54a lot of these structures that we've been seeing

07:56in fundamental physics and in number theory,

07:59just in terms of four dimensions,

08:01that it's kind of, it's in some sense,

08:03I would claim has been a really,

08:07has been kind of a mistake that physicists have made

08:10in, for decades and decades, to try to,

08:13to try to go to higher dimensions,

08:16to try to formulate a theory in higher dimensions,

08:19and then you're stuck with the problem

08:21of how do you get rid of all these extra dimensions

08:23that you've created, 'cause we only ever see anything

08:26in four dimensions.

08:27- That kind of thing leads us astray, you think?

08:29So, creating all these extra dimensions just to get,

08:32give yourself extra degrees of freedom.

08:34- Yeah.

08:36- I mean, isn't that the process of mathematics,

08:38is to create all these trajectories for yourself,

08:41but eventually you have to end up at the,

§02Transcript · 08:43–17:52

08:43at like a final place, but it's okay to,

08:47it's okay to sort of create abstract objects

08:52on your path to proving something.

08:55- Yeah, yeah, certainly, but,

08:57and from a mathematician's point of view,

08:59I mean, the kinds of,

09:01mathematicians are also very different than physicists

09:03in that we like to develop very general theories.

09:06We like to, if we have an idea,

09:07we want to see what's the greatest generality

09:09in which you can talk about it.

09:11So, from the point of view of most of the ways

09:13geometry is formulated by mathematicians,

09:17it really doesn't matter, it works in any dimension.

09:19We can do one, two, three, four, any number.

09:22There's no particular, for most of geometry,

09:24there's no particular special thing about four,

09:28but anyway, but what physicists have been trying

09:33to do over the years is try to understand

09:35these fundamental theories in a geometrical way,

09:38and it's very tempting to kind of just start bringing in

09:41extra dimensions and using them to explain the structure,

09:46but typically this attempt kind of founders

09:51because you just don't know,

09:53you end up not being able to explain why we only see four.

09:57- It is nice in the space of physics that,

10:02like if you look at Fermat's last theorem,

10:04it's much easier to prove that there's no solution

10:06for n equals three than it is for the general case,

10:10and so I guess that's the nice benefit of being a physicist

10:16is you don't have to worry about the general case

10:18'cause we live in a universe with n equals four,

10:22in this case.

10:23- Yeah, physicists are very interested in saying something

10:27about specific examples, and I find that interesting.

10:31When I'm trying to do things in mathematics,

10:33when I'm trying even teaching courses

10:35and to mathematics students,

10:36I find that I'm teaching them in a different way

10:40than most mathematicians because I'm very often

10:43very focused on examples, on what's kind of

10:47the crucial example that shows how this powerful

10:51new mathematical technique, how it works,

10:53and why you would want to do it,

10:55and I'm less interested in kind of proving a precise theorem

11:00about exactly when it's gonna work

11:01and when it's not gonna work.

11:02- Do you usually think about really simple examples,

11:05like both for teaching and when you try to solve

11:09a difficult problem?

11:10Are you, do you construct the simplest possible examples

11:13that captures the fundamentals of the problem

11:14and try to solve it?

11:15- Yeah, yeah, exactly.

11:17That's often a really fruitful way to,

11:20if you've got some idea, to just kind of try to boil it down

11:23to what's the simplest situation in which this kind of thing

11:27is gonna happen and then try to really understand that

11:31and that is almost always a really good way

11:33to get insight into it.

11:34- Do you work with paper and pen or, like, for example,

11:37for me, coming from the programming side,

11:41if I look at a model, if I look at some kind

11:43of mathematical object, I like to mess around with it

11:48sort of numerically.

11:49I just visualize different parts of it,

11:51visualize however I can, so most of the work

11:54is like with neural networks, for example,

11:56is you try to play with the simplest possible example

11:59and just to build up intuition by, you know,

12:03any kind of object has a bunch of variables in it.

12:05You start to mess around with them in different ways

12:09and visualize in different ways to start to build intuition.

12:11Or do you go the Einstein route and just imagine, like,

12:16everything inside your mind and sort of build, like,

12:20thought experiments and then work purely on paper and pen?

12:24- Well, the problem with this kind of stuff

12:28I'm interested in is you rarely can kind of,

12:31it's rarely something that is really kind of,

12:34or even the simplest example, you know,

12:37you can kind of see what's going on

12:39by looking at something happening in three dimensions.

12:42There's generally the structures involved are,

12:44either they're more abstract or if you try to kind of

12:49embed them in some kind of space where you could

12:51manipulate them in some kind of geometrical way,

12:55it's gonna be a much higher dimensional space.

12:57- So even simple examples,

13:00the embedding them into three dimensional space,

13:02you're losing a lot.

13:03- Yeah, but to capture what you're trying to understand

13:06about them, you have to go to four or more dimensions.

13:09So it starts to get to be hard to,

13:12and you can train yourself to try it as much as to kind of

13:15think about things in your mind.

13:18And, you know, I often use pad and paper

13:21and I'm often, in my office I often use the blackboard.

13:24And you are kind of drawing things,

13:26but they're really kind of more abstract representations

13:29of how things are supposed to fit together.

13:32And they're not really, unfortunately,

13:35not just kind of really living in three dimensions

13:37where you can understand.

13:39- Are we supposed to be sad or excited

13:41by the fact that our human minds can't fully comprehend

13:44the kind of mathematics you're talking about?

13:46I mean, what do we make of that?

13:48I mean, to me, that makes me quite sad.

13:50It makes me, it makes it seem like

13:52there's a giant mystery out there

13:54that we'll never truly get to experience directly.

13:58- It is kind of sad, you know, how difficult this is.

14:01I mean, or I would put it a different way that,

14:04you know, most questions that people have about

14:07this kind of thing, you know, you can give them

14:10a really, a true answer and really understand it,

14:13but the problem is one more of time.

14:16It's like, yes, you know, I could explain to you

14:19how this works, but you'd have to be willing to

14:22sit down with me and, you know, work at this repeatedly

14:25for, you know, for hours and days and weeks.

14:28And you'd have, I mean, it's just gonna take that long

14:30for your mind to really wrap itself around what's going on.

14:34And that, so that does make things inaccessible,

14:38which is sad, but I mean, it's just kind of part of life

14:43that we all have a limited amount of time

14:45and we have to decide what we're gonna,

14:47what we're gonna spend our time doing.

14:49- Speaking of a limited amount of time,

14:52we only have a few hours, maybe a few days together

14:55here on this podcast.

14:56Let me ask you the question of amongst many of the ideas

15:02that you work on in mathematics and physics,

15:05what is the most beautiful idea,

15:07or one of the most beautiful ideas, maybe a surprising idea?

15:11And once again, unfortunately, the way life works,

15:13we only have a limited time together

15:15to try to convey such an idea.

15:18- Okay, well, actually, let me just tell you something,

15:21which I've attempted to kind of start trying to explain

15:25what I think is this most powerful idea

15:26that brings together math and physics,

15:28ideas about groups and representations

15:31and how it fits to quantum mechanics.

15:33But in some sense, I wrote a whole textbook about that,

15:35and I don't think we really have time

15:37to get very far into it, so.

15:39- Well, can I actually, on a small tangent,

15:41you did write a paper towards

15:42the Grant Unified Theory of Mathematics and Physics.

15:45Maybe you could step there first.

15:47What is the key idea in that paper?

15:49- Well, I think we've kind of gone over that.

15:51I think that the key idea

15:52is what we were talking about earlier,

15:54that just kind of a claim that if you look

15:58and see what's the have been successful ideas

16:00of unification in physics over the last 50 years or so,

16:05and what has been happening in mathematics

16:07and the kind of thing that Frankl's book is about,

16:10that these are very much the same kind of mathematics.

16:13And so it's kind of an argument that there really is,

16:16you shouldn't be looking to unify just math

16:19or just fundamental physics,

16:21but taking inspiration for looking for new ideas

16:24in fundamental physics,

16:25that they are gonna be in the same direction

16:27of getting deeper into mathematics

16:30and looking for more inspiration in mathematics

16:33from these successful ideas about fundamental physics.

16:37- Could you put words to sort of the disciplines

16:39we're trying to unify?

16:40So you said number theory.

16:41Are we literally talking about

16:43all the major fields of mathematics?

16:45So it's like the number theory, geometry,

16:48so like differential geometry, topology?

16:51- Yeah, so the, I mean, one name for this,

16:55that this is acquired in mathematics

16:57is the so-called Langlands program.

16:59And so this started out in mathematics.

17:02It's that, you know, Robert Langlands kind of realized

17:05that a lot of what people were doing in,

17:07that was starting to be really successful

17:10in number theory in the '60s.

17:13And so that this actually was,

17:17anyway, that this could be thought of

17:21in terms of these ideas about symmetry

17:24in groups and representations,

17:26and in a way that was also close

17:29to some ideas about geometry.

17:32And then more later on in the '80s and '90s,

17:35there was something called geometric Langlands

17:38that people realized that you could take

17:40what people have been doing in number theory in Langlands

17:43and get rid, just forget about the number theory

17:45and ask, what is this telling you about geometry?

17:47And you get a whole, some new insights

17:49into certain kinds of geometry that way.

17:52So it's, anyway, that's kind of the name for this area

§03Transcript · 17:55–26:22

17:55is Langlands and geometric Langlands.

17:58And just recently in the last few months,

17:59there's been, there's kind of a really major paper

18:02that appeared by Peter Schultze and Laurent Farg,

18:06where they, you know, made, you know,

18:09some serious advance and try to understand

18:12very much kind of a local problem

18:15of what happens in number theory

18:17near a certain prime number.

18:19And they turned this into a problem

18:22of exactly the kind that geometric Langlands people

18:26had been doing, this kind of pure geometry problem.

18:28And they found by generalizing the mathematics,

18:32they could actually reformulate it in that way,

18:34and it worked perfectly well.

18:36- One of the things that makes me sad is, you know,

18:40I'm a pretty knowledgeable person in the,

18:44what is it, at least I'm in the neighborhood

18:47of like theoretical computer science, right?

18:50And it's still way out of my reach.

18:52And so many people talk about, like Langlands, for example,

18:54is one of the most brilliant people in mathematics

18:57and just really admire his work.

18:59And I can't, it's like almost I can't hear the music

19:03that he composed, and it makes me sad.

19:05- Yeah, well, I mean, I think that, unfortunately,

19:09it's not just you, it's I think even most mathematicians

19:13have no, really don't actually understand

19:15what this is about.

19:15I mean, the group of people who really understand

19:19all these ideas, and so for instance,

19:21this paper of Schultz and Farag,

19:23that I was talking about, the number of people

19:24who really actually understand how that works is,

19:28anyway, very, very small.

19:30And so it's, so I think even you find,

19:34if you talk to mathematicians and physicists,

19:35even they will often feel that, you know,

19:37there's this really interesting sounding stuff going on,

19:40and which I should be able to understand.

19:42It's kind of in my own field I have a PhD in,

19:44but it still seems pretty clearly far beyond me right now.

19:48- Well, if we can step into the,

19:51back to the question of beauty,

19:54is there an idea that maybe is a little bit smaller

19:58that you find beautiful in the space

19:59of mathematics or physics?

20:01- There's an idea that, you know,

20:03I kind of went, got a physics PhD

20:05and spent a lot of time learning about mathematics.

20:07And I guess it was embarrassing

20:09that I hadn't really actually understood

20:11this very simple idea until,

20:14and kind of learned it

20:15when I actually started teaching math classes,

20:18which is maybe that there,

20:21maybe there's a simple way to explain

20:23kind of the fundamental way in which algebra

20:26and geometry are connected.

20:28So you normally think of geometry

20:29as about these spaces and these points,

20:32and you think of algebra as this very abstract thing

20:36about these abstract objects

20:38that satisfy certain kinds of relations.

20:40You can multiply them and add them and do stuff,

20:44but it's completely abstract.

20:45It has nothing geometric about it.

20:47But the kind of really fundamental idea

20:51is that unifies algebra and geometry

20:54is to realize, is to think,

20:57whenever anybody gives you what you call an algebra,

21:00some abstract thing of things that you can multiply and add,

21:04that you should ask yourself,

21:06is that algebra the space of functions on some geometry?

21:10So one of the most surprising examples of this,

21:12for instance, is a standard kind of thing

21:16that seems to have nothing to do with geometry

21:18is the integers.

21:22So you can multiply them and add them.

21:24It's an algebra,

21:27but it seems to have nothing to do with geometry.

21:31But what you can, it turns out,

21:32but if you ask yourself this question

21:33and ask, is our integers,

21:36can you think if somebody gives you an integer,

21:37can you think of it as a function on some space,

21:40on some geometry?

21:42And it turns out that yes, you can.

21:44And the space is the space of prime numbers.

21:47And so what you do is you just,

21:48if somebody gives you an integer,

21:50you can make a function on the prime numbers

21:53by just at each prime number,

21:55taking that integer modulo, that prime.

21:58So if, as you say, I don't know,

22:00if you're given 10, you know, 10,

22:03and you ask what is its value at two?

22:05Well, it's five times two.

22:07So mod two, it's zero.

22:09So it has zero one.

22:10What is its value at three?

22:13Well, it's nine plus one.

22:15So it's one mod three.

22:17So it's zero at two, it's one at three,

22:19and you can kind of keep going.

22:21And so this is really kind of a truly fundamental idea.

22:26It's at the basis of what's called algebraic geometry.

22:29And it just links these two parts of mathematics

22:31that look completely different.

22:32And it's just an incredibly powerful idea.

22:35And so much of mathematics emerges

22:37from this kind of simple relation.

22:39- So you're talking about mapping

22:41from one discrete space to another.

22:44For a second, I thought perhaps mapping

22:49like a continuous space to a discrete space,

22:51like functions over a continuous space.

22:53'Cause, yeah.

22:56- Well, you can take, if somebody gives you a space,

23:00you can ask, you can say, well, let's,

23:03and this is also, this is part of the same idea.

23:05The part of the same idea is that

23:06if you try and do geometry

23:08and somebody tells you here's a space,

23:10that what you should do is you should wait.

23:11So say, wait a minute,

23:12maybe I should be trying to solve this using algebra.

23:15And so if I do that, the way to start is

23:18you give me the space,

23:19I start to think about the functions of the space.

23:22Okay, so for each point in the space,

23:24I associate a number.

23:26I can take different kinds of functions

23:27and different kinds of values,

23:29but basically functions on a space.

23:31So what this insight is telling you is that

23:36if you're a geometer,

23:37often the way to work is to change your problem

23:41into algebra by changing your space.

23:43Stop thinking about your space and the points in it

23:45and think about the functions on it.

23:48And if you're an algebraist

23:49and you've got these abstract algebraic gadgets

23:52that you're multiplying and adding,

23:54say, wait a minute, are those gadgets,

23:57can I think of them in some way as a function on a space?

23:59What would that space be?

24:00And what kind of functions would they be?

24:02And that going back and forth really brings these two

24:06completely different looking areas of mathematics together.

24:09- Do you have particular examples

24:12where it allowed to prove some difficult things

24:15by jumping from one to the other?

24:16Is that something that's a part of modern mathematics

24:19where such jumps are made?

24:21- Oh, yes, this is kind of all the time.

24:23A lot, much of modern number theory

24:25is kind of based on this idea.

24:27But, and when you start doing this,

24:29you start to realize that you need,

24:31what simple things on one side of the algebra

24:37start to require you to think about

24:40the other side about geometry in a new way.

24:42You have to kind of get a more sophisticated idea

24:44about geometry.

24:45Or if you start thinking about the functions on a space,

24:49you may need a more sophisticated kind of algebra.

24:52But in some sense, I mean,

24:53much or most of modern number theory

24:55is based upon this move to geometry.

24:58And there's also a lot of geometry

25:01and topology is also based upon.

25:03Yeah, change, change.

25:05If you wanna understand the topology of something,

25:06you look at the functions, you do Durham cohomology,

25:09and you get the topology.

25:11Anyway.

25:13- Well, let me ask you then the ridiculous question.

25:16You said that this idea is beautiful.

25:18Can you formalize the definition of the word beautiful?

25:22And why is this beautiful?

25:24Like, first, why is this beautiful?

25:26And second, what is beautiful?

25:29- Yeah, well, I think there are many different things

25:32you can find beautiful for different reasons.

25:34I mean, I think in this context,

25:36the notion of beauty, I think really is just kind of,

25:40an idea is beautiful if it packages a huge amount

25:44of kind of power and information into something very simple.

25:48So in some sense, you can almost kind of try and measure it

25:53in the sense of what are the implications of this idea?

25:58What non-trivial things does it tell you

26:00versus how simply can you express the idea?

26:05- So the level of compression,

26:08what is it, correlates with beauty?

26:12- Yeah, that's one aspect of it.

26:15And so you can start to tell that an idea

26:16is becoming uglier and uglier as you start kind of having to,

26:21you know, it doesn't quite do what you want,

26:22so you throw in something else to the idea

§04Transcript · 26:24–35:51

26:24and you keep doing that until you get what you want.

26:27But that's how you know you're doing something uglier

26:29and uglier, when you have to kind of keep adding in more,

26:34more into what was originally a fairly simple idea

26:38and making it more and more complicated

26:40to get what you want.

26:41- Okay, so let's put some philosophical words on the table

26:45and try to make some sense of them.

26:47One word is beauty, another one is simplicity,

26:49as you mentioned, another one is truth.

26:52So do you have a sense, if I give you two theories,

26:57one is simpler, one is more complicated.

27:01Do you have a sense of which one is more likely to be true

27:05to capture deeply the fabric of reality?

27:10The simple one or the more complicated one?

27:15- Yeah, I think all of our evidence,

27:18what we see in the history of the subject

27:20is the simpler one, though often it's a surprise,

27:24it's simpler in a surprising way,

27:26but yeah, that we just don't, we just,

27:29anyway, the kind of best theories we've been coming up with

27:34are ultimately, when properly understood,

27:37relatively simple and much, much simpler

27:40than you would expect them to be.

27:41- Do you have a good explanation why that is?

27:43Is it just 'cause humans want it to be that way?

27:46Are we just like ultra-biased

27:47and we just kinda convince ourselves

27:51that simple is better 'cause we find simplicity beautiful?

27:53Or is there something about our actual universe

27:57that at the core is simple?

28:00- My own belief is that there is something about

28:02a universe that's simple, and as I was trying to say,

28:05that there is some kind of fundamental thing

28:07about math, physics, and physics, and all this picture,

28:10which is in some sense simple.

28:14It's true that, it's of course true that our minds

28:18have certain, are very limited and can certainly do

28:22certain things and not others, so it's in principle possible

28:26that there's some great insight,

28:29there are a lot of insights into the way the world works,

28:31which just aren't accessible to us

28:32because that's not the way our minds work, we don't,

28:35and that what we're seeing, this kind of simplicity,

28:37is just because that's all we ever have any hope of seeing.

28:41- So there's a brilliant physicist

28:46by the name of Sabine Hasenfelder,

28:49who both agrees and disagrees with you,

28:51or I suppose agrees that the final answer will be simple.

28:56- Yeah.

28:58- But simplicity and beauty leads us astray

29:01in the local pockets of scientific progress.

29:05Do you agree with her disagreement,

29:08do you disagree with her agreement?

29:11And agree with the agreement, and so on.

29:14- Yes, I found it was really fascinating reading her book,

29:17and anyway, I was finding disagreeing with a lot,

29:21but then at the end when she says yes,

29:23when we find, when we actually figure this out,

29:26it will be simple, and okay, so we agree in the end.

29:31- But does beauty lead us astray,

29:32which is the core thesis of her work in that book?

29:37- I actually, I guess I do disagree with her on that so much.

29:41I don't think, and especially,

29:42and I actually fairly strongly disagree with her

29:44about sometimes the way she'll refer to math,

29:47and so the problem is, you know,

29:50physicists and people in general just refer to it as math,

29:52and they're often, they're often meaning

29:56not what I would call math,

29:57which is the interesting ideas of math,

29:59but just some complicated calculation,

30:02and so I guess my feeling about it is more that it's very,

30:07the problem with talking about simplicity

30:11and using simplicity as a guide is that it's very,

30:14it's very easy to fool yourself,

30:17and it's very easy to decide to fall in love with an idea,

30:22you have an idea, you think, oh, this is great,

30:26and you fall in love with it,

30:26and it's like any kind of love affair,

30:29it's very easy to believe that you're,

30:31the object of your affections is much more beautiful

30:33than the others might think, and that they really are,

30:36and that's very, very easy to do,

30:39so if you say I'm just gonna pursue ideas about beauty

30:43and this, and mathematics and this,

30:46it's extremely easy to just fool yourself, I think,

30:49and I think that's a lot of what,

30:52the story she was thinking of

30:54about where people have gone astray,

30:56that I think it's, I would argue that it's more people,

30:59it's not that there was some simple, powerful,

31:01wonderful idea which they'd found,

31:03and it turned out not to be,

31:05not to be useful, but it was more

31:08that they kind of fooled themselves

31:10that this was actually a better idea than it really was,

31:13and that it was simpler and more beautiful

31:15than it really was, is a lot of the story.

31:17- I see, so it's not that the simplicity

31:20would be, leads us astray, is it just people,

31:22are people and they fall in love

31:25with whatever idea they have,

31:27and then they weave narratives around that idea,

31:30or they present it in such a way

31:31that emphasizes the simplicity and the beauty?

31:36- Yeah, that's part of it,

31:37but the thing about physics that you have

31:39is that you, what really can tell,

31:44if you can do an experiment and check

31:46and see if nature is really doing what your idea expects,

31:50then you do in principle have a way of really testing it,

31:54and it's certainly true that if you,

31:57you know, if you thought you had a simple idea

31:59and that doesn't work and you got into an experiment

32:01and what actually does work is some more,

32:04maybe some more complicated version of it,

32:05that can certainly happen, and that can be true.

32:10I think her emphasis is more,

32:13that I don't really disagree with,

32:14is that people should be concentrating on,

32:19when they're trying to develop better theories,

32:21on more on self-consistency, not so much on beauty,

32:25but, you know, not is this idea beautiful,

32:28but is there something about the theory

32:30which is not quite consistent,

32:32and use that as a guide,

32:35that there's something wrong there which needs fixing.

32:37And so I think that part of her argument,

32:40I think I was, we're on the same page about.

32:43- What is consistency and inconsistencies?

32:47What exactly, do you have examples in mind?

32:52- Well, it can be just simple inconsistency

32:55between theory and experiment,

32:57that if you, so we have this great fundamental theory,

33:00but there are some things that we see out there

33:02which don't seem to fit in it,

33:04like dark energy and dark matter, for instance.

33:07But if there's something

33:08which you can't test experimentally,

33:09I think she would argue, and I would agree,

33:12that for instance, if you're trying to think about gravity

33:15and how are you gonna have a quantum theory of gravity,

33:17you should kind of be, you know,

33:19test any of your ideas with kind of a thought experiment.

33:24Is, does this actually give a consistent picture

33:26of what's gonna happen,

33:27of what happens in this particular situation or not?

33:31- So this is a good example, you've written about this.

33:35You know, since quantum gravitational effects

33:38are really small, super small, arguably unobservably small,

33:43should we have hope to arrive

33:46at a theory of quantum gravity somehow?

33:49What are the different ways we can get there?

33:51You've mentioned that you're not as interested

33:53in that effort because basically, yes,

33:56you cannot have ways to scientifically validate

34:01given the tools of today.

34:04- Yeah, I've actually, you know,

34:05I've over the years certainly spent a lot of time

34:07learning about gravity and about attempts to quantize it,

34:10but it hasn't been that much in the past

34:13the focus of what I've been thinking about.

34:16But I mean, my feeling was always, you know,

34:18as I think Spina would agree,

34:21that the, you know, one way you can pursue this

34:24if you can't do experiments is just

34:27this kind of search for consistency.

34:29You know, it can be remarkably hard

34:31to come up with a completely consistent model of this

34:34and a way that brings together quantum mechanics

34:37and general relativity.

34:39And that's, I think, kind of been the traditional way

34:42that people who have pursued quantum gravity

34:44have often pursued, you know,

34:48we have the best route to finding a consistent

34:52theory of quantum gravity.

34:53And string theorists will tell you this,

34:55other people will tell you that it's,

34:58it's kind of what people argue about.

35:00But the problem with all of that is that you end up,

35:03the danger is that you end up with,

35:07that everybody could be successful.

35:10Everybody's program for how to find

35:14a theory of quantum gravity, you know,

35:15ends up with something that is consistent.

35:18And so, and in some sense, you could argue

35:20this is what happened to the string theorists.

35:22They solved their problem of finding

35:25a consistent theory of quantum gravity,

35:27and they ended up, but they found 10 of the 500 solutions.

35:30So you, you know, if you believe that everything

35:34that they would like to be true is true,

35:35well, okay, you've got a theory,

35:38but it ends up being kind of useless

35:41because it's just one of an infinite,

35:43essentially infinite number of things

35:46which you have no way to experimentally distinguish.

35:48And so this is just a depressing situation.

35:51But I do think that there is a,

§05Transcript · 35:55–44:42

35:55so again, I think pursuing ideas about what,

35:57more about beauty and how can you integrate

36:01and unify these issues about gravity

36:04with other things we know about physics.

36:06And can you find a theory which,

36:07where these fit together in a way that makes sense

36:10and hopefully predicts something

36:12that's much more promising.

36:13- Well, it makes sense and hopefully,

36:15I mean, we'll sneak up onto this question a bunch of times

36:19'cause you kind of said a few slightly

36:22contradictory things, which is like,

36:24it's nice to have a theory that's consistent,

36:27but then if the theory is consistent,

36:29it doesn't necessarily mean anything.

36:31(laughs)

36:32So like--

36:33- It's not enough, it's not enough.

36:35- It's not enough, and that's the problem.

36:36So it's like it keeps coming back to,

36:39okay, there should be some experimental validation.

36:42So, okay, let's talk a little bit about string theory.

36:46You've been a bit of an outspoken critic of string theory.

36:51Maybe one question first to ask is what is string theory?

36:56And beyond that, why is it wrong,

37:01or rather, as the title of your blog says,

37:04not even wrong?

37:06- Okay.

37:07Well, one interesting thing about the current state

37:09of string theory is that I think it,

37:11I'd argue it's actually very, very difficult to,

37:13at this point, to say what string theory means.

37:15If people say they're string theorists,

37:17what they mean and what they're doing is,

37:20it's kind of hard,

37:22it's hard to pin down the meaning of the term.

37:24But the initial meaning, I think, goes back to,

37:26there was kind of a series of developments

37:30starting in 1984 in which people felt that they

37:34had found a unified theory of our so-called standard model

37:39of all the standard, well-known kind of

37:42particle interactions and gravity,

37:44and it all fit together in a quantum theory,

37:46and that you could do this in a very specific way

37:49by, instead of thinking about having a quantum theory

37:54of particles moving around in space-time,

37:57think about a quantum theory of kind of one-dimensional

38:00loops moving around in space-time, so-called strings.

38:03And so, instead of one degree of freedom,

38:06these have an infinite number of degrees of freedom,

38:08it's a much more complicated theory.

38:09But you can imagine,

38:11okay, we're gonna quantize this theory of

38:14loops moving around in space-time,

38:16and what they found is that they,

38:19is that you could make, you could do this,

38:21and you could fairly, relatively straightforwardly

38:23make sense of such a quantum theory,

38:26but only if space and time together were 10-dimensional.

38:30And so then you had this problem,

38:32again, the problem I referred to at the beginning of,

38:34okay, now, once you make that move,

38:37you gotta get rid of six dimensions.

38:39And so the hope was that you could get rid of

38:42the six dimensions by making them very small,

38:44and that consistency of the theory would require

38:47that these six dimensions satisfy a very specific condition

38:52called being a Calabi-Yau manifold,

38:55and that we knew very, very few examples of this.

38:58So what got a lot of people very excited back in 84, 85,

39:02was the hope that you could just take this

39:0510-dimensional string theory and

39:07find one of a limited number of possible ways

39:10of getting rid of six dimensions by making them small,

39:14and then you would end up with

39:16an effective four-dimensional theory

39:17which looked like the real world.

39:18This was the hope.

39:20So then, there's a very long story about

39:22what happened to that hope over the years.

39:24I mean, I would argue, and part of the point of the book

39:28and its title was that this ultimately was a failure

39:33that you ended up, that this idea just didn't,

39:36there ended up being just too many ways of doing this,

39:41and you didn't know how to do this consistently,

39:44that it was kind of not even wrong in the sense that

39:46you never could pin it down well enough

39:49to actually get a real falsifiable prediction out of it

39:53that would tell you it was wrong,

39:55but it was kind of in the realm of ideas

39:59which initially looked good,

40:00but the more you look at them,

40:02they just don't work out the way you want,

40:05and they don't actually end up carrying the power

40:07or that you originally had this vision of.

40:10- And yes, the book title is not even wrong.

40:14Your blog, your excellent blog title is not even wrong.

40:17Okay, but there's nevertheless been a lot of excitement

40:20about string theory through the decades, as you mentioned.

40:24What are the different flavors of ideas that came,

40:27like that branched out?

40:31You mentioned 10 dimensions,

40:32you mentioned loops with infinite degrees of freedom.

40:36What are the interesting ideas to you

40:38that kind of emerged from this world?

40:41- Well, yeah, I mean, the problem in talking about

40:42the whole subject, and part of the reason I wrote the book

40:45is that it gets very, very complicated.

40:48I mean, there's a huge amount,

40:52a lot of people got very interested in this,

40:54a lot of people worked on it,

40:55and in some sense, I think what happened is

40:58exactly because the idea didn't really work,

41:01that this caused people to,

41:03instead of focusing on this one idea

41:06and digging in and working on that,

41:08they just kind of kept trying new things.

41:11And so people, I think, ended up wandering around

41:14in a very, very rich space of ideas

41:15about mathematics and physics

41:17and discovering all sorts of really interesting things.

41:20It's just, the problem is there tended to be

41:22an inverse relationship between how interesting

41:24and beautiful and fruitful this new idea

41:27that they were trying to pursue was

41:28and how much it looked like the real world.

41:31So there's a lot of beautiful mathematics came out of it.

41:34I think one of the most spectacular

41:36is what the physicists call

41:38two-dimensional conformal field theory.

41:40And so these are basically quantum field theories

41:44and kind of think of it as one space and one time dimension,

41:47which have just this huge amount of symmetry

41:51and a huge amount of structure,

41:53which just some totally fantastic mathematics behind it.

41:58And again, and some of that mathematics

42:00is exactly also what appears in the Langlands program.

42:03So a lot of the first interaction between math and physics

42:07around the Langlands program

42:08has been around these two-dimensional

42:10conformal field theories.

42:11- Is there something you could say

42:15about what are the major problems are

42:17with string theory?

42:18So like,

42:20besides that there's no experimental validation,

42:25you've written that a big hole in string theory

42:30has been its perturbative definition.

42:33- Yeah.

42:34- Perhaps that's one.

42:35Can you explain what that means?

42:36- Well, maybe to begin with,

42:38I think the simplest thing to say is,

42:40the initial idea really was that,

42:45okay, we have this,

42:47instead of what's great is we have this thing

42:49that only works,

42:50that's very structured and has to work in a certain way

42:54for it to make sense.

42:55But then you ended up in 10 space-time dimensions.

43:01And so to get back to physics,

43:03you had to get rid of five of the dimensions,

43:05six of the dimensions.

43:06And the bottom line, I would say,

43:08in some sense, is very simple.

43:09That what people just discovered is just,

43:12there's kind of no particularly nice way of doing this.

43:15There's an infinite number of ways of doing it

43:17and you can get whatever you want

43:18depending on how you do it.

43:20So you end up,

43:21the whole program of starting at 10 dimensions

43:24and getting to four,

43:25just kind of collapses out of a lack of any way

43:28to kind of get to where you want

43:29'cause you can get anything.

43:31The hope around that problem has always been that

43:34the standard formulation that we have of string theory,

43:38which is, you can go in by the name perturbative,

43:42but it's kind of,

43:43there's a standard way we know

43:46of given a classical theory of constructing

43:48a quantum theory and working with it,

43:52which is the so-called perturbation theory.

43:56That we know how to do.

43:59And that by itself just doesn't give you any hint

44:04as to what to do about the six dimensions.

44:06So actual perturbed string theory by itself

44:09really only works in 10 dimensions.

44:11So you have to start making some kinds of assumptions

44:14about how I'm gonna go beyond

44:17this formulation that we really understand

44:20of string theory and get rid of these six dimensions.

44:24So kind of the simplest one was the Clavier-Postulate.

44:29But when that didn't really work out,

44:31people have tried more and more different things.

44:33And the hope has always been that

44:35the solution to this problem would be

44:39that you would find a deeper and better understanding

44:42of what string theory is

§06Transcript · 44:44–53:22

44:44that would actually go beyond this perturbative expansion

44:47and which would generalize this.

44:51And that once you had that,

44:53it would solve this problem of,

44:57it would pick out what to do with the six dimensions.

44:59- How difficult is this problem?

45:01So if I could restate the problem,

45:05it seems like there's a very consistent physical world

45:09operating in four dimensions.

45:11And how do you map a consistent physical world

45:16in 10 dimensions to a consistent physical world

45:19in four dimensions?

45:21And how difficult is this problem?

45:23Is that something you can even answer?

45:25Just in terms of physics intuition,

45:30in terms of mathematics,

45:32mapping from 10 dimensions to four dimensions.

45:35- Well, basically, I mean, you have to get rid

45:36of the six of the dimensions.

45:38So there's kind of two ways of doing it.

45:41One is what we call compactification.

45:44You say that there really are 10 dimensions,

45:46but for whatever reason,

45:48six of them are really are so, so small, we can't see them.

45:51So you basically start out with 10 dimensions

45:54and what we call, make six of them not go out to infinity,

45:59but just kind of a finite extent

46:00and then make that size go down.

46:02So small, it's unobservable.

46:05- But that's like, that's a math trick.

46:08So can you also help me build an intuition

46:11about how rich and interesting the world

46:15in those six dimensions is?

46:17So compactification seems to imply

46:20that it's not very interesting.

46:22- Well, no, but the problem is that what you learn

46:24if you start doing mathematics

46:26and looking at geometry and topology

46:29and more and more dimensions is that,

46:31I mean, asking the question like,

46:34what are all possible six dimensional spaces?

46:36It's just, it's kind of an unanswerable question.

46:38It's just, I mean,

46:39it's even kind of technically undecidable in some way.

46:42There are too many things you can do with all these.

46:46If you start trying to make one dimensional spaces,

46:49it's like, well, you got a line, you can make a circle,

46:52you can make graphs, you can kind of see what you can do.

46:55But as you go to higher and higher dimensions,

46:58there are just so many ways you can put things together

47:02and get something of that dimensionality.

47:05And so unless you have some very, very strong principle,

47:09we're just gonna pick out some very specific ones

47:12of these six dimensional spaces.

47:15And there are just too many of them

47:17and you can get anything you want.

47:19- So if you have 10 dimensions,

47:21the kind of things that happen,

47:24say that's actually the way,

47:26that's actually the fabric of our reality is 10 dimensions.

47:29There's a limited set of behaviors of objects,

47:33I don't even know what the right terminology to use

47:36that can occur within those dimensions, like in reality.

47:40And so what I'm getting at is like,

47:44is there some consistent constraints?

47:47So if you have some constraints that map to reality,

47:51then you can start saying like,

47:53dimension number seven is kind of boring.

47:56All the excitement happens in the spatial dimensions,

47:58one, two, three.

48:00And time is also kind of boring.

48:02Some are more exciting than others,

48:05or we can use our metric of beauty.

48:08Some dimensions are more beautiful than others.

48:10Once you have an actual understanding

48:12of what actually happens in those dimensions

48:15in our physical world,

48:16as opposed to sort of all the possible things

48:18that could happen.

48:19- In some sense, I mean, just the basic fact

48:21is you need to get rid of them, we don't see them.

48:22So you need to somehow explain them.

48:25The main thing you're trying to do

48:26is to explain why we're not seeing them.

48:28And so you have to come up with some theory

48:32of these extra dimensions and how they're gonna behave.

48:35And string theory gives you some ideas about how to do that.

48:38But the bottom line is where you're trying to go

48:43with this whole theory you're creating

48:45is to just make all of its effects essentially unobservable.

48:49So it's not a really,

48:54it's an inherently kind of dubious and worrisome thing

48:57that you're trying to do there.

48:58Why are you just adding in all this stuff

49:00and then trying to explain why we don't see it?

49:02I mean, it just--

49:03- This may be a dumb question,

49:04but is this an obvious thing to state

49:07that those six dimensions are unobservable

49:11or anything beyond four dimensions is unobservable?

49:14Or do you leave a little door open to saying

49:20the current tools of physics,

49:23and obviously our brains are unable to observe them,

49:26but we may need to come up with methodologies

49:29for observing them.

49:30So as opposed to collapsing your mathematical theory

49:33into four dimensions,

49:34leaving the door open a little bit to

49:37maybe we need to come up with tools

49:38that actually allow us to directly measure those dimensions.

49:42- Yes, I mean, you can certainly ask,

49:45assume that we've got model,

49:48look at models with more dimensions

49:50and ask what would be observable effects?

49:52How would we know this?

49:54And you go out and do experiments.

49:55So for instance, you have a,

49:58like gravitationally you have an inverse square law forces.

50:02Okay, if you had more dimensions,

50:04that inverse square law would change to something else.

50:06So you can go and start measuring the inverse square law

50:09and say, okay, inverse square law is working,

50:12but maybe if I get,

50:14and it turns out to be actually kind of very, very hard

50:16to measure gravitational effects

50:18at even kind of somewhat macroscopic distances

50:21because they're so small.

50:23So you can start looking at the inverse square law

50:26and say, start trying to measure it

50:27at shorter and shorter distances

50:29and see if there were extra dimensions

50:33at those distance scales,

50:34you would start to see the inverse square law fail.

50:36And so people look for that.

50:38And again, you don't see it,

50:40but you can, I mean,

50:42there's all sorts of experiments of this kind.

50:43You can imagine which test for effects of extra dimensions

50:48at different distance scales,

50:50but none of them, I mean, they all just don't work.

50:55- Nothing yet.

50:58- Nothing yet, but you can say,

50:59ah, but it's just much, much smaller.

51:02You can say that.

51:03- Which by the way, makes LIGO

51:06and the detection of gravitational waves

51:09quite an incredible project.

51:11Ed Witten is often brought up

51:15as one of the most brilliant mathematicians

51:17and physicists ever.

51:19What do you make of him and his work on string theory?

51:24- Well, I think he's a truly remarkable figure.

51:26I've had the pleasure of meeting him first

51:30when he was a postdoc.

51:31And I mean, he's just completely amazing

51:34mathematician and physicist.

51:37And he's quite a bit smarter

51:41than just about any of the rest of us

51:43and also more hardworking.

51:44And it's a kind of frightening combination

51:46to see how much he's been able to do.

51:49But I would actually argue that his greatest work,

51:53the things that he's done that have been of

51:55just this mind blowing significance of giving us,

51:58I mean, he's completely revolutionized

52:00some areas of mathematics.

52:02He's totally revolutionized the way we understand

52:04the relations between mathematics and physics.

52:07And most of those, his greatest work

52:10is stuff that has little or nothing

52:13to do with string theory.

52:15I mean, for instance, he,

52:16so he was actually one of fields.

52:19The very strange thing about him in some sense

52:20is that he doesn't have a Nobel prize.

52:23So there's a very large number of people

52:25who are nowhere near as smart as he is

52:28and don't work anywhere near as hard

52:30who have Nobel prizes.

52:31I think he just had the misfortune of

52:33coming into the field at a time

52:35when things had gotten much, much, much tougher

52:37and nobody really had, no matter how smart you were,

52:41it was very hard to come up with a new idea

52:43that was gonna work physically and get you a Nobel prize.

52:47But he got a Fields Medal for

52:51a certain work he did in mathematics.

52:54And that's just completely unheard of

52:56for mathematicians to give a Fields Medal

52:58to someone outside their field.

52:59And physics is really,

53:01you wouldn't have before he came around.

53:05I don't think anybody would have thought

53:06that was even conceivable.

53:07- So you're saying he came into the field

53:10of theoretical physics at a time

53:13when, and still to today,

53:16is you can't get a Nobel prize for purely theoretical work.

53:20- The specific problem of trying to do better

53:22than the standard model is just

§07Transcript · 53:24–1:03:10

53:24this insanely successful thing.

53:26And it kind of came together in 1973, pretty much.

53:30And all of the people who kind of were involved

53:34in that coming together,

53:36many of them ended up with Nobel prizes for that.

53:39But if you look post 1973, pretty much,

53:43it's a little bit more,

53:44there's some edge cases, if you like.

53:47But if you look post 1973 at what people have done

53:51to try to do better than the standard model

53:54and to get a better, you know, idea,

53:56it really hasn't, it's been too hard a problem.

53:58It hasn't worked, the theory's too good.

53:59And so it's not that other people went out there

54:03and did it and not him,

54:06and that they got Nobel prizes for doing it.

54:07It's just that no one really,

54:08the kind of thing he's been trying to do

54:10with string theory is not,

54:12no one has been able to do since 1973.

54:14- Is there something you could say about the standard model?

54:17So the four laws of physics that seems to work very well,

54:20and yet people are striving to do more,

54:25talking about unification and so on, why?

54:27What's wrong, what's broken about the standard model?

54:30Why does it need to be improved?

54:33- I mean, the thing that gets most attention

54:34is gravity that we have trouble.

54:38So you wanna, in some sense,

54:40integrate what we know about the gravitational force

54:45with it and have a unified quantum field theory

54:48that has gravitational interactions also.

54:50So that's the big problem everybody talks about.

54:52I mean, but it's also true

54:55that if you look at the standard model,

54:57it has these very, very deep, beautiful ideas,

54:59but there's certain aspects of it that are very,

55:03let's just say that they're not beautiful.

55:08They're not, you have to, to make the thing work,

55:11you have to throw in lots and lots of extra parameters

55:14at various points.

55:15And a lot of this has to do with the so-called,

55:18the so-called Higgs mechanism and the Higgs field.

55:21That if you look at the theory, it's everything is,

55:25if you forget about the Higgs field and what it needs to do,

55:28the rest of the theory is very, very constrained

55:33and has very, very few free parameters,

55:35really a very small number.

55:36There's a very small number of parameters

55:38and a few integers which tell you what the theory is.

55:40To make this work as a theory of the real world,

55:42you need a Higgs field and you need to,

55:45it needs to do something.

55:48And once you introduce that Higgs field,

55:50all sorts of parameters make an appearance.

55:54So now when we've got 20 or 30 or whatever parameters

55:58that are gonna tell you what all the masses of things are

56:00and what's gonna happen.

56:02So you've gone from a very tightly constrained thing

56:05with a couple of parameters to this thing,

56:09which the minute you put it in,

56:11you had to add all this extra,

56:13all these extra parameters to make things work.

56:15And so that, it may be one argument as well,

56:19that's just the way the world is.

56:20And the fact that you don't find that aesthetically pleasing

56:24is just your problem.

56:25Or maybe we live in a multiverse

56:27and those numbers are just different in every universe.

56:30But another reasonable conjecture is just that,

56:33well, this is just telling us

56:35that there's something we don't understand

56:36about what's going on in a deeper way,

56:40which would explain those numbers.

56:41And there's some kind of deeper idea

56:44about where the Higgs field comes from and what's going on,

56:47which we haven't figured out yet.

56:49And that's what we should look for.

56:52- But to stick on string theory a little bit longer,

56:55could you play devil's advocate

56:57and try to argue for string theory,

57:01why it is something that deserved the effort that it got

57:06and still, like if you think of it as a flame,

57:10still should be a little flame that keeps burning?

57:14- Well, I think the, I mean,

57:16the most positive argument for it is all the,

57:18all sorts of new ideas about mathematics

57:22and about parts of physics really emerged from it.

57:24So it was very a fruitful source of ideas.

57:28And I think this is actually one argument you'll definitely,

57:30which I kind of agree with,

57:31I'll hear from Witten and from other string theorists

57:34say that this is just such a fruitful and inspiring idea.

57:39And it's led to so many other different things

57:41coming out of it that there must be something

57:43right about this.

57:45And that's, okay, that, anyway,

57:47I think that that's probably the strongest thing

57:50that they've got.

57:52But you don't think there's aspects to it

57:55that could be neighboring to a theory

58:00that does unify everything, to a theory of everything.

58:03Like it could, it may not be exactly,

58:05exactly the theory, but sticking on it longer

58:11might get us closer to the theory of everything.

58:14- Well, the problem with it now really

58:15is that you really don't know what it is now.

58:17You've never, nobody has ever kind of come up

58:19with this non-perturbative theory.

58:23So it's become more and more frustrating

58:27and an odd activity to try to argue

58:29with a string theorist about string theory,

58:32because it's become less and less well-defined what it is.

58:37And it's become actually more and more kind of a,

58:40whether you have this weird phenomenon

58:42of people calling themselves string theorists

58:44when they've never actually worked on any theory

58:47where there are any strings anywhere.

58:49So what has actually happened kind of sociologically

58:52is that you started out with this fairly

58:55well-defined proposal, and then I would argue

58:58because that didn't work, people then branched out

59:00in all sorts of directions doing all sorts of things

59:02that became farther and farther removed from that.

59:05And for sociological reasons, the ones who kind of

59:09started out or now, or were trained by the people

59:14who worked on that have now become the string theorists.

59:18And, but it's become almost more kind of a tribal denominator

59:23than a, so it's very hard to know what you're arguing about

59:29when you're arguing about string theory these days.

59:30- Well, to push back on that a little bit,

59:32I mean, string theory, it's just a term, right?

59:34It doesn't, like you could, like this is the way

59:37language evolves, is it could start to represent

59:41something more than just the theory that involves strings.

59:43It could represent the effort to unify the laws of physics.

59:49Right? - Yeah.

59:50- At high dimensions with these super tiny objects, right?

59:54Or something like that.

59:56I mean, we can sort of put string theory aside.

59:59So for example, neural networks in the space

60:01of machine learning, there was a time when they were

60:04extremely popular, they became much, much less popular

60:07to a point where if you mention neural networks

60:08to gain no funding, and you're not going to be respected

60:12at conferences, and then once again, neural networks

60:16became all the rage about 10, 15 years ago.

60:20And as it goes up and down, and a lot of people

60:23would argue that using terminology like machine learning

60:26and deep learning is often misused over general.

60:31Everything that works is deep learning,

60:35everything that doesn't isn't.

60:36- Yeah. - Something like that.

60:38That's just the way, again, we're back

60:40to sociological things. - Yeah.

60:42- But I guess what I'm trying to get at is

60:45if we leave the sociological mess aside,

60:48do we throw out the baby with the bathwater?

60:53Is there some, besides the side effects of nice ideas

60:57from the Edwittons of the world,

60:59is there some core truths there that we should stick by

61:04in the full, beautiful mess of a space

61:08that we call string theory, that people call string theory?

61:11- You're right, it is kind of a common problem

61:14that how what you call some field changes and evolves

61:19in interesting ways as the field changes.

61:22But I mean, I guess what I would argue

61:27is the initial understanding of string theory

61:30that was quite specific, we're talking about a specific idea,

61:3310-dimensional superstrings compactified in six dimensions.

61:36To my mind, the really bad thing that's happened

61:41to the subject is that it's hard to get people to admit,

61:45at least publicly, that that was a failure,

61:48that this really didn't work.

61:49And so de facto, what people do is people stop doing that

61:53and they start doing more interesting things,

61:55but they keep talking to the public about string theory

62:00and referring back to that idea and using that

62:04as kind of the starting point and as kind of the place

62:07where the whole tribe starts and everything comes from.

62:12So the problem with this is that having as your initial name

62:17and what everything points back to,

62:20something which really didn't work out,

62:25it kind of makes everybody, it makes everything,

62:28you've created this potentially very, very interesting field

62:31with interesting things happening,

62:32but people in graduate school take courses on string theory

62:37and everything kind of, and this is what you tell the public

62:40in which you're continually pointing back.

62:41So you're continually pointing back to this idea

62:43which never worked out as your guiding inspiration.

62:48And it really kind of deforms your whole way

62:51of your hopes of making progress.

62:54And that's, to me, I think the kind of worst thing

62:57that's happened in this field.

62:59- 'Cause sure, so there's a lack of transparency

63:01and sort of authenticity about communicating

63:03the things that failed in the past.

63:07And so you don't have a clear picture of firm ground

63:10that you're standing on.

§08Transcript · 1:03:12–1:12:54

63:12But again, those are sociological things.

63:14- Yeah.

63:14- There's a bunch of questions I wanna ask you.

63:18So one, what's your intuition about

63:22why the original idea failed?

63:26So what can you say about why you're pretty sure

63:30it has failed?

63:31- And the initial idea was, as I tried to explain it,

63:35it was quite seductive in that you could see why Witten

63:39and others got excited by it.

63:40At the time, it looked like there were only a few

63:45these possible clobby hours that would work.

63:47And it looked like, okay, we just have to understand

63:50this very specific model

63:52and these very specific six dimensional spaces

63:54and we're gonna get everything.

63:55And so it was a very seductive idea.

63:57But it just, as people learned, worked more and more

64:02about it, it just didn't, they just kind of realized

64:06that there are just more and more things you can do

64:08with these six dimensions and you can't,

64:10and this is just not going to work.

64:12- Meaning like it's, I mean, what was the failure

64:17mode here?

64:21Is you could just have an infinite number of possibilities

64:24that you could do so you can come up with any theory

64:26you want, you can fit quantum mechanics,

64:28you can explain gravity, you can explain anything

64:31you want with it.

64:32Is that the basic failure mode?

64:34- Yeah, so it's a failure mode of kind of that this idea

64:37ended up being essentially empty,

64:39that it just didn't, doesn't, ends up not telling you

64:42anything because it's consistent with just about anything.

64:47And so I mean, there's a complex, if you try and talk

64:50with strength areas about this now, I mean,

64:52there's an argument, there's a long argument over this

64:54about whether, you know, oh, no, no, no, maybe there still

64:58are constraints coming out of this idea or not.

65:01And, or maybe we live in a multiverse and, you know,

65:05everything is true anyway.

65:06So you can, there are various ways you can kind of,

65:10that strength areas have kind of react to this kind of

65:12argument that I'm making, try to hold on to it.

65:15- What about experimental validation?

65:18Is that a fair standard to hold before a theory

65:23of everything that's trying to unify quantum mechanics

65:28and gravity?

65:29- Yeah, I mean, ultimately to be really convinced

65:31that, you know, that on some new idea about unification

65:36really works, you need some kind of, you need to look

65:39at the real world and see that this is telling you something,

65:42something true about it.

65:44I mean, you know, either telling you that if you do

65:48some experiment and go out and do it, you'll get some

65:51unexpected result and that's the kind of gold standard,

65:54or it may be just that like all those numbers that are,

65:58we don't know how to explain, it will show you how

66:01to calculate them.

66:02I mean, it can be various kinds of experimental validation,

66:05but that's certainly ideally what you're looking for.

66:08- How tough is this, do you think, for a theory

66:10of everything, not just strength theory?

66:12For something that unifies gravity and quantum mechanics,

66:15so the very big and the very small, is this,

66:18let me ask it one way, is it a physics problem,

66:24a math problem, or an engineering problem?

66:27- My guess is it's a combination of a physics

66:30and a math problem that you really need.

66:32It's not really engineering, it's not like there's some

66:36kind of well-defined thing you can write down

66:39and we just don't have enough computer power

66:41to do the calculation.

66:43That's not the kind of problem it is at all.

66:45But the question is, you know, what mathematical tools

66:49you need to properly formulate the problem is unclear.

66:53So one reasonable conjecture is the way, the reason

66:56that we haven't had any success yet is just that

66:59we're missing, either we're missing certain physical ideas

67:04or we're missing certain mathematical tools,

67:06which are some combination of them, which would,

67:08which we need to kind of properly formulate the problem

67:12and see that it has a solution

67:15that looks like the real world.

67:17- But don't you need, I guess you don't,

67:19but there's a sense that you need both gravity,

67:24like all the laws of physics to be operating

67:27on the same level, so it feels like you need an object

67:30like a black hole or something like that

67:32in order to make predictions about,

67:38otherwise you're always making predictions

67:40about disjoint phenomena.

67:42Or can you do that as long as the theory is consistent

67:46and doesn't have special cases for each of the phenomena?

67:48- Well, your theory should, I mean,

67:50if your theory is gonna include gravity,

67:52our current understanding of gravity is that you should

67:54have, there should be black hole states in it,

67:57you should be able to describe black holes in this theory.

68:00And just one aspect that people concentrate a lot on

68:04is just this kind of questions about if your theory

68:08includes black holes like it's supposed to

68:09and it includes quantum mechanics,

68:11then there's certain kind of paradoxes which come up.

68:13And so that's been a huge focus of kind of

68:16quantum gravity work has been just those paradoxes.

68:19- So stepping outside of string theory,

68:23can you just say first at a high level,

68:26what is the theory of everything?

68:28What does the theory of everything seek to accomplish?

68:31- Well, I mean, this is very much a kind of reductionist

68:34point of view in the sense that, so it's not a theory,

68:38this is not gonna explain to you anything,

68:42it doesn't really, this kind of theory of everything

68:45we're talking about doesn't say anything interesting,

68:48particularly about like macroscopic objects,

68:50about what the weather's gonna be tomorrow

68:52or things are happening at this scale.

68:54But just what we've discovered is that as you look at

68:58the universe, it kind of, if you kind of start,

69:04you can start breaking it apart into,

69:06and you end up with some fairly simple pieces,

69:08quanta if you like, and which are doing,

69:11which are interacting in some fairly simple way.

69:14And it's, so what we mean by the theory of everything

69:18is a theory that describes all the correct objects

69:23you need to describe what's happening in the world

69:27and describes how they're interacting with each other

69:30at a most fundamental level.

69:31How you get from that theory to describing

69:35some macroscopic, incredibly complicated thing

69:38is there that becomes, again, more of an engineering problem

69:41and you may need machine learning

69:42or you may, a lot of very different things to do it.

69:45- Well, I don't even think it's just engineering,

69:48it's also science.

69:50One thing that I find kind of interesting

69:55talking to physicists is a little bit,

69:59there's a little bit of hubris.

70:07So some of the most brilliant people I know are physicists,

70:09both philosophy and just in terms of mathematics,

70:12in terms of understanding the world.

70:14But there's a kind of either a hubris

70:16or what would I call it,

70:18like a confidence that if we have a theory of everything,

70:22we will understand everything.

70:24Like this is the deepest thing to understand.

70:26And I would say, and like the rest is details, right?

70:29That's the old Rutherford thing.

70:31But to me, there's like, this is like a cake or something.

70:37There's layers to this thing

70:39and each one has a theory of everything.

70:42Like at every level from biology,

70:46like how life originates,

70:48that itself, like complex systems.

70:52- Yeah. - Like that in itself

70:54is like this gigantic thing

70:56that requires a theory of everything.

70:58And then there's the, in the space of humans,

71:01psychology, like intelligence, collective intelligence,

71:04the way it emerges among species,

71:07that feels like a complex system

71:09that requires its own theory of everything.

71:11On top of that is things like in the computing space,

71:15artificial intelligence systems,

71:16like that feels like it needs a theory of everything.

71:19And it's almost like once we solve,

71:24once we come up with a theory of everything

71:26that explains the basic laws of physics

71:28that gave us the universe,

71:30even stuff that's super complex,

71:32like how the universe might be able to originate,

71:37even explaining something that you're not a big fan of,

71:39like multiverses or stuff

71:40that we don't have any evidence of yet,

71:42still we won't be able to have a strong explanation

71:47of why food tastes delicious.

71:52- Oh yeah, yeah, no.

71:53No, anyway, yeah, I agree completely.

71:55I mean, there is something kind of completely wrong

71:58with this terminology of theory of everything.

72:00It's not, it's really in some sense a very bad term,

72:04very hubristic and bad terminology because it's not,

72:07this is explaining, this is a purely

72:11kind of reductionist point of view

72:13that you're trying to understand

72:14a certain very specific kind of things,

72:17which in principle other things emerge from,

72:22but to actually understand how anything emerges from this

72:27is it can't be understood in terms of

72:30this underlying Feynman theory is gonna be hopeless

72:35in terms of kind of telling you what about

72:37this various emergent behavior.

72:40And as you go to different levels of explanation,

72:43you're gonna need to develop new,

72:44you know, different, completely different ideas,

72:46completely different ways of thinking.

72:47And I guess there's a famous kind of Phil Anderson's

72:51slogan is that, you know, more is different.

72:54And so it's just, you know,

§09Transcript · 1:12:57–1:22:01

72:57even once you understand how, what a couple of things,

73:00well, if you have a collection of stuff

73:01and you understand perfectly well

73:03how each thing is interacting with it,

73:05with the others, what the whole thing is gonna do

73:08is just a completely different problem.

73:10It's just not, and you need completely different ways

73:12of thinking about it.

73:13- What do you think about this?

73:15I gotta ask you, at a few different attempts

73:17at a theory of everything, especially recently.

73:20So I've been for many years a big fan

73:23of cellular automata of complex systems.

73:25And obviously because of that,

73:28a fan of Stephen Wolfram's work in that space.

73:31But he's recently been talking about a theory

73:34of everything through his physics project, essentially.

73:37What do you think about this kind of discreet

73:40theory of everything, like from simple rules

73:45and simple objects on the hypergraphs

73:47emerges all of our reality,

73:49where time and space are emergent.

73:51Basically everything we see around us is emergent.

73:53- Yeah, I have to say, unfortunately,

73:55I have kind of pretty much zero sympathy for that.

73:58I mean, I don't, I spent a little time

74:01looking at it and I just don't see,

74:03it doesn't seem to me to get anywhere.

74:04And it really is, just really, really doesn't agree at all

74:08with what I'm seeing, this kind of unification

74:12of math and physics that I'm kind of talking about

74:14around certain kinds of very deep ideas

74:16about geometry and stuff.

74:17If you wanna believe that your things

74:22are really coming out of cellular automata

74:25at the most fundamental level,

74:26you have to believe that everything

74:28that I've seen my whole career

74:31and as beautiful, powerful ideas,

74:34that that's all just kind of a mirage,

74:35which just kind of randomly is emerging

74:38from these more basic, very, very simple-minded things.

74:41And you have to give me some serious evidence for that

74:44and I'm saying nothing.

74:46- So a mirage, you don't think there could be a consistency

74:50where things like quantum mechanics

74:53could emerge from much, much, much smaller, discreet,

74:58like computational-type systems?

75:00- Well, I think from the point of view of,

75:01certain mathematical point of view,

75:03quantum mechanics is already mathematically

75:06as simple as it gets.

75:07It really is a story about really the fundamental objects

75:12that you work with when you write down a quantum theory

75:16are in some point of view,

75:18precisely the fundamental objects

75:20at the deepest levels of mathematics

75:22that you're working with, they're exactly the same.

75:25So, and cellular automata are something completely different

75:28which don't fit into these structures.

75:29And so, I just don't see why, anyway,

75:32I don't see it as a promising thing to do.

75:37And then just looking at it and saying,

75:38does this go anywhere?

75:39Does this solve any problem that I've ever,

75:42that I didn't, does this solve any problem of any kind?

75:45I just don't see it.

75:46- Yeah, to me, cellular automata and these hypergraphs,

75:50I'm not sure solving a problem is even the standard

75:55to apply here at this moment.

75:57To me, the fascinating thing is that the question it asks

76:00have no good answers.

76:01So, there's not good math explaining,

76:04forget the physics of it,

76:06math explaining the behavior of complex systems.

76:09And that to me is both exciting and paralyzing.

76:12Like we're at the very early days of understanding

76:15how complicated and fascinating things emerge

76:19from simple rules.

76:21- Yeah, I agree.

76:22I think that is a truly great problem.

76:25And depending where it goes, it may be,

76:28it may start to develop some kind of connections

76:33to the things that I've kind of found more fruitful

76:36and hard to know.

76:38It just, I think a lot of that area,

76:41I kind of strongly feel I best not say too much about it

76:45'cause I just, I don't know too much about it.

76:48And I mean, again, we're back to this original problem

76:51that your time in life is limited.

76:54You have to figure out what you're gonna spend

76:55your time thinking about.

76:56And that's something I just never seen enough

76:59to convince me to spend more time thinking about.

77:01- Well, also timing.

77:02It's not just that our time is limited,

77:03but the timing of the kind of things you think about.

77:06There's some aspect to cellular automata,

77:09these kinds of objects that it feels like

77:12we're very many years away from having big breakthroughs on.

77:17And so, it's like you have to pick the problems

77:20that are solvable today.

77:21In fact, my intuition, again, perhaps biased,

77:26is it feels like the kind of systems that,

77:30complex systems that cellular automata are

77:32would not be solved by human brains.

77:35It feels like something post-human

77:40that will solve that problem.

77:41Or like significantly enhanced humans,

77:45meaning like using computational tools,

77:47very powerful computational tools to us,

77:50to crack these problems open.

77:53That's if our approach to science,

77:58our ability to understand science,

77:59our ability to understand physics

78:01will become more and more computational,

78:03or there'll be a whole field that's computational in nature,

78:06which currently is not the case.

78:07Currently, computation is the thing that sort of

78:10assists us in understanding science

78:14the way we've been doing it all along.

78:16But if there's a whole new,

78:17I mean, we're from new kind of science, right?

78:20It's a little bit dramatic.

78:22But, you know, if computers could do science

78:27on their own, computational systems,

78:30perhaps that's the way they would do the science.

78:35They would try to understand the cellular automata.

78:37And that feels like we're decades away.

78:39So, perhaps it'll crack open some interesting facets

78:43of this physics problem, but it's very far away.

78:46So, timing is everything.

78:48- That's perfectly possible, yeah.

78:50- Well, let me ask you then, in the space of geometry,

78:53I don't know how well you know Eric Weinstein.

78:57- Oh, quite well, yeah.

78:58- What are your thoughts about his geometric unity

79:03and the space of ideas that he's playing with

79:05in his proposal for a theory of everything?

79:09- Well, I think that he has,

79:12he fundamentally has, I think,

79:14the same problems that everybody has had trying to do this.

79:18And, you know, they're various,

79:19they're really versions of the same problem

79:21that you try to get unity

79:26by putting everything into some bigger structure.

79:28So, he has some other ones that are not so conventional

79:33that he's trying to work with.

79:35But he has the same problem that even if he can,

79:39if he can get a lot farther in terms of having

79:43a really well-defined, well-understood,

79:45clear picture of these things he's working with,

79:50they're really kind of large geometrical structures

79:53with many dimensions, many kinds.

79:55And I just don't see any way

79:57he's gonna have the same problem the string theorists have.

79:59How do you get back down to the structures

80:02of the standard model?

80:04And how do you, yeah, so I just,

80:08anyway, it's the same.

80:10And there's another interesting example

80:13of some similar kind of thing is Garrett Leasy's

80:16theory of everything.

80:17Again, it's a little bit more specific than Eric's.

80:20He's working with this E8, but again,

80:24I think all these things founder at the same point

80:26that you don't, you create this unity,

80:30but then you have no, you don't actually have a good idea

80:34how you're gonna get back to the actual,

80:37to the objects we've seen.

80:42How are you gonna, you create these big symmetries,

80:43how are you gonna break them?

80:45And 'cause we don't see those symmetries in the real world.

80:48And so ultimately there would need to be a simple process

80:53for collapsing it to four dimensions.

80:56- You'd have to explain it.

80:57Well, yeah, and I forget in his case,

80:59but it's not just four dimensions.

81:01It's also these structures you see in the standard model.

81:05There's certain very small dimensional groups of symmetries

81:09called U1, SU2 and SU3.

81:11And the problem with,

81:13and this has been a problem since the beginning,

81:15almost immediately after 1973, about a year later,

81:18two years later, people started talking

81:20about grand unified theories.

81:22So you take the U1, the SU2 and the SU3,

81:26and you put them in together into this bigger structure

81:28called SU5 or SO10.

81:31But then you're stuck with this problem that,

81:33wait a minute, now how, why does the world not look,

81:36why do I not see these SU5 symmetries in the world?

81:41I only see these.

81:42And so, and I think those,

81:47the kind of thing that Eric and also in Garrett

81:49and lots of people will try to do,

81:51they all kind of founder in that same way

81:55that they don't have a good answer to that.

81:57- Are there lessons, ideas to be learned

82:01from theories like that, from Garrett Leases, from Eric's?

§10Transcript · 1:22:04–1:31:09

82:04- I don't know, it depends.

82:06I have to confess, I haven't looked that closely at Eric's.

82:11I mean, he explained to this to me personally a few times

82:14and I've looked a bit at his paper, but it's,

82:16again, we're back to the problem

82:19of a limited amount of time in life.

82:21- Yeah, I mean, it's an interesting effect, right?

82:24Why don't more physicists look at it?

82:28I mean, I'm in this position that somehow

82:35I've, people write me emails for whatever reason

82:40and I worked in the space of AI

82:47and so there's a lot of people,

82:49perhaps AI is even way more accessible than physics

82:52in a certain sense.

82:53And so a lot of people write to me

82:54with different theories about what they have

82:56for how to create general intelligence.

82:59And it's, again, a little bit of an excuse I say to myself,

83:03like, well, I only have a limited amount of time,

83:05so that's why I'm not investigating it.

83:07But I wonder if there's ideas out there

83:11that are still powerful, they're still fascinating,

83:14and that I'm missing because I'm dismissing them

83:19because they're outside of the sort of the usual process

83:24of academic research.

83:26- Yeah, well, I mean, the same thing pretty much every day

83:29in my email, there's a, somebody's got a theory

83:32or everything about why all of what physicists are doing.

83:35Perhaps the most disturbing thing I should say

83:38about my critique, being a critic of string theory

83:41is that when you realize who your fans are,

83:44that they, every day I hear from somebody who says,

83:47oh, well, since you don't like string theory,

83:48you must of course agree with me

83:49that this is the right way to think about everything.

83:52Oh no, oh no.

83:53And most of these are, you quickly can see this is,

83:58person doesn't know very much

84:00and doesn't know what they're doing,

84:02but there's a whole continuum to people

84:05who are quite serious physicists and mathematicians

84:08who are making a fairly serious attempt

84:10to try to do something like Garrett and Eric.

84:14And then your problem is, you do try to spend more time

84:19looking at it and trying to figure out

84:22what they're really doing,

84:23but then at some point you just realize, wait a minute,

84:26for me to really, really understand exactly

84:28what's going on here would just take time.

84:32I just don't have.

84:33- Yeah, it takes a long time.

84:34Which is the nice thing about AI

84:36is unlike the kind of physics we're talking about,

84:41if your idea is good, that should quite naturally lead

84:46to you being able to build a system that's intelligent.

84:49So you don't need to get approval from somebody

84:52that's saying you have a good idea here.

84:54You can just utilize that idea in an engineer system.

84:56Like naturally leads to engineering.

84:58With physics here, if you have a perfect theory

85:01that explains everything,

85:03that still doesn't obviously lead,

85:06one, to scientific experiments that can validate that theory,

85:11and two, to trinkets you can build and sell at a store

85:17for $5. - You can't make money off of it.

85:19(laughing)

85:21- So that makes it much more challenging.

85:23Well, let me also ask you about something that you found,

85:28especially recently, appealing,

85:30which is Roger Penrose's twister theory.

85:32What is it?

85:35What kind of questions might it allow us to answer?

85:37What will the answers look like?

85:39- It's only in the last couple years

85:41that I really, really kind of come to really, I think,

85:43to appreciate it and to see how to really,

85:46I believe, to see how to really do something with it.

85:48And I've gotten very excited about that the last year or two.

85:51I mean, one way of saying, one idea of twister theory

85:54is that it's a different way of thinking

85:58about what space and time are

86:00and about what points in space and time are,

86:03but which is very interesting

86:05that it only really works in four dimensions.

86:07So four dimensions behaves very, very specially

86:09unlike other dimensions.

86:11And in four dimensions, there's certain,

86:13there is a way of thinking about space and time geometry

86:16where, as well as just thinking about points

86:19in space and time, you can also think

86:24about different objects, these so-called twisters.

86:26And then when you do that, you end up

86:28with a kind of a really interesting insight

86:30that you can formulate a theory,

86:35and you can formulate a very, take a standard theory

86:38that we formulate in terms of points of space and time,

86:41and you can reformulate in this twister language.

86:44And in this twister language, it's the,

86:46the fundamental objects are actually, are more kind of the,

86:51are actually spheres in some sense, kind of the light cone.

86:54So maybe one way to say it, which actually I think

86:58is really, is quite amazing, is if you ask yourself,

87:03what do we know about the world?

87:05We have this idea that the world out there is this,

87:08all these different points and these points of time.

87:11Well, that's kind of a derived quantity.

87:13What we really know about the world is when we open our eyes,

87:16what do you see?

87:17You see a sphere.

87:19And that what you're looking at is you're looking at,

87:23a sphere is worth of light rays coming into your eyes.

87:26And what Penrose says is that,

87:29well, what a point in space time is, is that sphere,

87:33that sphere of all the light rays coming in.

87:36And he says, and you should formulate your,

87:39instead of thinking about points,

87:40you should think about the space of those spheres,

87:43if you like, and formulate the degrees of freedom

87:46as physics as living on those spheres, living on,

87:50so you're kind of living on,

87:51your degrees of freedom are living on light rays,

87:53not on points.

87:55And it's a very different way of thinking about physics.

88:00And he and others working with him developed a,

88:03a beautiful mathematical,

88:07beautiful mathematical formalism

88:08and a way to go back from forth between our kind of,

88:10some aspects of our standard way we write these things down

88:14and work in the so-called twister space.

88:17And they, certain things worked out very well,

88:20but they ended up, I think kind of stuck

88:23by the 80s or 90s that they weren't,

88:25a little bit like string theory, that they,

88:29by using these ideas about twisters,

88:31they could develop them in different directions

88:33and find all sorts of other interesting things,

88:34but they were getting,

88:36they weren't finding any way of doing that

88:38that brought them back to kind of new insights into physics.

88:43And my own, I mean, what's kind of gotten me excited really

88:46is what I think I have an idea about

88:49that I think does actually,

88:51does actually work that goes more in that direction.

88:54And I can go on about that endlessly

88:56or talk a little bit about it, but that's the,

88:59I think that that's the one kind of easy to explain

89:03inside about twister theory.

89:05There are some more technical ones I should,

89:07I mean, I think it's also very convincing

89:09what it tells you about spinners, for instance,

89:11but that's a more technical.

89:12- Well, first let's like linger on the spheres

89:15and the light cones.

89:17You're saying twister theory allows you to make that

89:21the fundamental object with which you're operating.

89:23- Yeah.

89:24- I mean, first of all, like philosophically,

89:27that's weird and beautiful.

89:30Maybe because it maps,

89:34it feels like it moves us so much closer

89:37to the way human brains perceive reality.

89:40So it's almost like,

89:44our perception is,

89:46like the content of our perception

89:51is the fundamental object of reality.

89:54That's very appealing.

89:55- Yeah.

89:57- Is it mathematically powerful?

90:00Is there something you can say,

90:03can you say a little bit more

90:05about what the heck that even means for,

90:08'cause it's much easier to think about mathematically

90:11like a point in space-time.

90:13Like what does it mean to be operating on the light cone?

90:16- It uses a kind of mathematics that's relative,

90:19that was, kind of goes back to the 19th century

90:22among mathematicians.

90:23It's not, anyway, it's a bit of a long story,

90:26but the one problem is that you have to start,

90:28it's crucial that you think in terms of complex numbers

90:31and not just real numbers.

90:32And this, for most people, that makes it harder to,

90:36for mathematicians, that's fine.

90:37We love doing that.

90:38But for most people, that makes it harder to think about.

90:40But I think perhaps the most,

90:43the way that there is something you can say

90:45very specifically about it, in terms of spinners,

90:49which I don't know if you wanna,

90:50I think at some point you wanna talk.

90:51So maybe again-- - What are spinners?

90:53- Let's start with spinner,

90:54'cause I think that if we can introduce that,

90:56then I can say-- - By the way,

90:58twister is spelled with an O,

91:01and spinner is spelled with an O as well.

91:03- Yes, okay.

91:05So-- - In case you wanna Google it

91:06and look it up, there's very nice Wikipedia pages

91:09as a starting point.

§11Transcript · 1:31:10–1:39:22

91:10I don't know what is a good starting point

91:12for twister theory. (laughs)

91:14- Well, one thing I say about Penrose,

91:16I mean, Penrose is actually a very good writer

91:18and also a very good draftsman.

91:19He's a draftsman.

91:20To the extent this is visualizable,

91:22he actually has done some very nice drawings.

91:23So I mean, almost any kind of expository thing

91:26you can find him writing is a very good place to start.

91:29He's a remarkable person.

91:32But the, so spinners are something

91:36that independently came out of mathematics

91:38and out of physics.

91:40And to say where they came out of physics,

91:42I mean, what people realized when they started looking

91:44at elementary particles like electrons or whatever,

91:47that there seemed to be some kind of doubling

91:51of the degrees of freedom going on.

91:53If you counted what was there in some sense

91:57in the way you would expect it,

91:58and when you started doing quantum mechanics

92:00and started looking at elementary particles,

92:01there were seem to be two degrees of freedom.

92:03There are not one.

92:04And one way of seeing it was that if you put

92:08your electron in a strong magnetic field

92:11and asked what was the energy of it,

92:14instead of it having one energy,

92:15it would have two energies.

92:16There'd be two energy levels.

92:17And as you increase magnetic field,

92:20the splitting would increase.

92:22So physicists kind of realized that, wait a minute.

92:24So we thought when we were doing,

92:27first started doing quantum mechanics,

92:28that the way to describe particles

92:31was in terms of wave functions.

92:32And these wave functions were complex to complex values.

92:35Well, if we actually look at particles,

92:38that's not right.

92:38They're pairs of complex numbers.

92:42They're pairs of complex numbers.

92:44So one of the kind of fundamental,

92:46from the physics point of view,

92:47the fundamental question is,

92:49why are all our kind of fundamental particles

92:51described by pairs of complex numbers?

92:55Just weird.

92:56And then you can ask, well, what happens if you

93:01take an electron and rotate it?

93:03So how do things move in this pair of complex numbers?

93:08Well, now, if you go back to mathematics,

93:10what had been understood in mathematics

93:13some years earlier, not that many years earlier,

93:16was that if you ask very, very generally,

93:20think about geometry of three dimensions and ask,

93:24and if you think about things that are happening

93:25in three dimensions in the standard way,

93:28everything, the standard way of doing geometry,

93:30everything is about vectors, right?

93:32So if you take any mathematics classes,

93:35you probably see vectors at some point.

93:36They're just triplets of numbers tell you

93:39what a direction is or how far you're going

93:41in three-dimensional space.

93:42And most of everything we teach in most standard courses

93:46in mathematics is about vectors

93:49and things you build out of vectors.

93:51So you express everything about geometry

93:53in terms of vectors or how they're changing

93:55or how you put two of them together

93:57and get planes and whatever.

94:00But what had been realized early on

94:03is that if you ask very, very generally,

94:05what are the things that you can kind of consistently think

94:10about rotating?

94:13And so you ask a technical question,

94:16what are the representations of the rotation group?

94:18Well, you find that one answer is they're vectors

94:22and everything you build out of vectors.

94:24But then people found, but wait a minute,

94:26there's also these other things

94:28which you can't build out of vectors,

94:31but which you can consistently rotate.

94:34And they're described by pairs of complex numbers,

94:37by two complex numbers.

94:38And they're the spinners also.

94:40And you can think of spinners in some sense

94:45as more fundamental than vectors

94:46because you can build vectors out of spinners.

94:48You can take two spinners and make a vector,

94:51but if you only have vectors, you can't get spinners.

94:56So they're in some sense,

94:58there's some kind of lower level of geometry

95:00beyond what we thought it was,

95:02which was kind of spinner geometry.

95:04And this is something which even to this day

95:07when we teach graduate courses in geometry,

95:09we mostly don't talk about this

95:11because it's a bit hard to do correctly.

95:15If you start with your whole setup

95:17is in terms of vectors,

95:18describing things in terms of spinners

95:22is a whole different ball game.

95:24But anyway, it was just this amazing fact

95:28that this kind of more fundamental piece of geometry

95:33of spinners and what we were actually seeing,

95:35if you look at electron are one in the same.

95:37So I think it's kind of a mind blowing thing,

95:41but it's very counterintuitive.

95:44- What are some weird properties of spinners

95:47that are counterintuitive?

95:50- That there are some things that they do.

95:51For instance, if you rotate a spinner around 360 degrees,

95:56it doesn't come back towards,

95:58it becomes minus what it was.

96:01So it's, anyway, so the way rotations work,

96:04there's a kind of a funny sign

96:05you have to keep track of in some sense.

96:08So they're kind of too valued in another weird way.

96:11But the fundamental problem is that it's just not,

96:14if you're used to visualizing vectors,

96:17there's nothing you can do visualizing in terms of vectors

96:20that will ever give you a spinner.

96:21It just is not gonna ever work.

96:23- As you were saying that I was visualizing a vector

96:26walking along a Mobius strip

96:28and it ends up being upside down.

96:31But you're saying that doesn't really capture.

96:34- So what really captures it,

96:36the problem is that it's really,

96:39the simplest way to describe it

96:41is in terms of two complex numbers.

96:43And your problem with two complex numbers

96:45is that's four real numbers.

96:46So your spinner kind of lies in a four dimensional space.

96:50So that makes it hard to visualize.

96:53And it's crucial that it's not just any four dimensions,

96:57it's just, it's actually complex numbers.

96:59You're really gonna use the fact that

97:01these are two complex numbers.

97:03So it's very hard to visualize.

97:06But to get back to what I think is mind blowing

97:09about twisters is that the,

97:12another way of saying this idea about talking about spheres,

97:15another way of saying the fundamental idea

97:17of twister theory is,

97:19in some sense the fundamental idea of twister theory

97:21is that a point is a two complex dimensional space.

97:28So that every, and that it lives inside,

97:32the space that it lies inside is twister space.

97:34So in the simplest case, it's four,

97:36twister space is four dimensional.

97:38And a point in space time is a two complex dimensional

97:43subspace of all the four complex dimensions.

97:47And as you move around in space time,

97:49you're just moving, your planes are just moving around.

97:51Okay.

97:52And that, but then the--

97:54- So it's a plane in a four dimensional space.

97:57- It's a, yeah, a plane--

97:58- Complex.

97:59- Complex plane.

98:00So it's two complex dimensions in four complex.

98:03- Got it.

98:03- But then to me, the mind blowing thing about this

98:05is this then kind of tautologically answers the question

98:09is what is a spinner?

98:10Well, a spinner is a point.

98:14I mean, the space of spinners at a point is the point.

98:17In twister theory, the points are the complex two planes.

98:21And you want me to, and you're asking what a spinner is.

98:24Well, a spinner, the space of spinners is that two plane.

98:28So it's just your whole definition

98:31of what a point in space time was

98:33just told you what a spinner was.

98:35It's the same thing.

98:37- Yeah, well, we're trying to project that

98:38into a three dimensional space and trying to intuit,

98:41but you can't.

98:42- Yeah, so the intuition becomes very difficult,

98:44but from, if you don't, not using twister theory,

98:49you have to kind of go through a certain

98:51fairly complicated rigmarole to even describe spinners,

98:54to describe electrons.

98:55Whereas using twister theory,

98:57it's just completely tautological.

98:58They're just what you want to describe.

99:03The electron is fundamentally the way

99:05you're describing the point in space time already.

99:08It's just there.

99:09- Do you have a hope?

99:11You mentioned that you've been,

99:13you found it appealing recently.

99:14Is it just because of certain aspects

99:17of its mathematical beauty,

99:18or do you actually have a hope that this might lead

99:20to a theory of everything?

99:22- Yeah, I mean, I certainly do have such a hope

§12Transcript · 1:39:25–1:48:21

99:25'cause what I've found,

99:26I think the thing which I've done,

99:27which I don't think, as far as I can tell,

99:29no one had really looked at from this point of view before,

99:33is, has to do with this question of how do you treat time

99:38in your quantum theory?

99:40And so there's another long story

99:44about how we do quantum theories

99:46and about how we treat time in quantum theories,

99:48which is a long story.

99:51But to me, the short version of it is that

99:54what people have found when you try and write down

99:56a quantum theory,

99:58that it's often a good idea to take your time coordinate,

100:03whatever you're using to your time coordinate,

100:07and multiply it by the square root of minus one

100:09and to make it purely imaginary.

100:12And so all these formulas which you have

100:14in your standard theory,

100:18if you do that to those,

100:19I mean, those formulas have some very strange behavior

100:23and they're kind of singular.

100:25If you ask even some simple questions,

100:27you have to take very delicate singular limits

100:31in order to get the correct answer.

100:33And you have to take them from the right direction,

100:35otherwise it doesn't work.

100:36Whereas if you just take time,

100:39and if you just put a factor of square root of minus one,

100:42wherever you see the time coordinate,

100:44you end up with much simpler formulas,

100:47which are much better behaved mathematically.

100:49And what I hadn't really appreciated until fairly recently

100:52is also how dramatically that changes

100:55the whole structure of the theory.

100:57You end up with a consistent way of talking

100:59about these quantum theories,

101:01but it has some very different flavor

101:04and very different aspects that I hadn't really appreciated.

101:07And in particular, the way symmetries act on it

101:10is not at all what I originally had expected.

101:15And so that's the new thing that I've,

101:17or I think gives you something is to do this move,

101:21which people often think of as just kind of a,

101:24kind of a mathematical trick that you're doing

101:27to make some formulas work out nicely,

101:29but to take that mathematical trick as really fundamental.

101:33And it turns out in twister theory,

101:35allows you to simultaneously talk about your usual time

101:39and the time times the square root of minus one.

101:41They both fit very nicely into twister theory.

101:45And you end up with some structures,

101:48which look a lot like the standard models.

101:51- Well, let me ask you about some Nobel prizes.

101:54- Okay.

101:55- Do you think there will be,

101:56there was a bet between Michio Kaku and somebody else.

102:03- John Horgan.

102:05- John Horgan about, by the way,

102:07maybe discover a cool website, longbets.com or .org.

102:11- Yeah, yeah.

102:12- It's cool.

102:12It's cool that you can make a bet with people

102:15and then check in 20 years later.

102:18That's, I really love it.

102:19There's a lot of interesting bets on there.

102:21- Yeah.

102:21- I would love to participate, but it's interesting to see,

102:23you know, time flies.

102:25- Yeah.

102:26- And you make a bet about what's going to happen 20 years.

102:28You don't realize 20 years just goes like this.

102:31- Yeah, yeah.

102:31- And then you get to face, and you get to wonder,

102:35like, what was that person, what was I thinking?

102:40That person 20 years ago is almost like a different person.

102:43What was I thinking back then to think that?

102:46It's interesting.

102:47But, so let me ask you this, on record,

102:49you know, 20 years from now or some number of years from now,

102:54do you think there'll be a Nobel Prize given

102:55for something directly connected

102:58to a first broadly theory of everything?

103:01And second, of course, one of the possibilities,

103:05one of them, string theory?

103:08- String theory, definitely not.

103:13The things have gone, yeah.

103:16- So if you were giving financial advice,

103:18you would say not to bet on it?

103:19- No, do not bet on it.

103:20And even, I actually suspect if you ask string theorists

103:23that question, these days,

103:24you're gonna get few of them saying,

103:27I mean, if you'd asked them that question 20 years ago,

103:29again, when Kaku was making this bet or whatever,

103:32I think some of them would have taken you up on it.

103:34But, and certainly back in 1984,

103:36a bunch of them would have said, oh, sure, yeah.

103:38But now, I get the impression that they've,

103:43even they realize that things are not looking good

103:45for that particular idea.

103:46Again, it depends what you mean by string theory,

103:48whether maybe the term will evolve to mean something else,

103:51which will work out.

103:53But yeah, I don't think that's not gonna like it to work out

103:57whether something else, I mean,

103:59I still think it's relatively unlikely

104:01that you'll have any really successful theory of everything.

104:04And the main problem is just the,

104:07it's become so difficult to do experiments

104:11at higher energy that we've really lost this ability

104:13to kind of get unexpected input from experiment.

104:18And you can, while it may be hard to figure out

104:22what people's thinking is gonna be 20 years from now,

104:24looking at high energy particle,

104:28high energy colliders and their technology,

104:30it's actually pretty easy to make a pretty accurate guess

104:33what it's gonna look,

104:34what you're gonna be doing 20 years from now.

104:37And I think actually, I would actually claim that

104:42it's pretty clear where you're gonna be 20 years from now.

104:44And what it's gonna be is you're gonna have the,

104:46you're gonna have the LHC,

104:50you're gonna have a lot more data,

104:51an order of magnitude or more data from the LHC,

104:56but at the same energy.

104:57You're not gonna see a higher energy accelerator

105:01operating successfully in the next 20 years.

105:05- And like maybe machine learning

105:08or great sort of data science methodologies

105:10that process that data will not reveal any major

105:14like shift in our understanding

105:17of the underlying physics, you think?

105:19- I don't think so.

105:20I mean, I think that field,

105:22my understanding is that they're starting

105:25to make a great use of those techniques,

105:26but it seems to look like it will help them

105:29solve certain technical problems

105:31and be able to do things somewhat better,

105:32but not completely change

105:35the way they're looking at things.

105:36- What do you think about the potential quantum computers

105:39simulating quantum mechanical systems

105:41and through that sneak up to sort of,

105:44through simulation sneak up to a deep understanding

105:48of the fundamental physics?

105:51- The problem there is that's promising more for this,

105:55for Phil Anderson's problem that if you wanna,

106:01there's lots and lots of,

106:03you start putting together lots and lots of things

106:08and we think we know that are pair by pair interactions,

106:11but what this thing is gonna do,

106:13we don't have any good calculational techniques.

106:16You know, quantum computers may very well give you those.

106:19And so they may, what we think of

106:21as kind of a strong coupling behavior,

106:23we have no good way to calculate.

106:25You know, even though we can write down the theory,

106:28we don't know how to calculate anything

106:30with any accuracy in it.

106:32The quantum computers may solve that problem.

106:34But the problem is that they,

106:35I don't think that they're gonna solve the problem

106:38that they help you with the problem of not having the,

106:41of knowing what the right underlying theory is.

106:44- As somebody who likes experimental validation,

106:48let me ask you the perhaps ridiculous sounding,

106:51but I don't think it's actually a ridiculous question of,

106:54do you think we live in a simulation?

106:56Do you find that thought experiment

106:58at all useful or interesting?

107:00- Not really, I don't, it just doesn't,

107:05yeah, anyway, to me, it doesn't actually lead

107:08to any kind of interesting, lead anywhere interesting.

107:11- Yeah, to me, so maybe I'll throw a wrench into your thing.

107:15To me, it's super interesting

107:17from an engineering perspective.

107:19So if you look at virtual reality systems,

107:21the actual question is, how much computation

107:28and how difficult is it to construct a world

107:32that, like there are several levels here.

107:35One is you won't know the difference,

107:39our human perception systems,

107:41and maybe even the tools of physics won't know

107:43the difference between the simulated world

107:44and the real world.

107:45That's sort of more of a physics question.

107:51The most interesting question to me has more to do

107:53with why food tastes delicious,

107:55which is create how difficult and how much computation

107:59is required to construct a simulation

108:02where you kind of know it's a simulation at first,

108:06but you wanna stay there anyway.

108:07And over time, you don't even remember.

108:12- Yeah, well, anyway, I agree,

108:15these are kind of fascinating questions

108:18and they may be very, very relevant

108:20to our future as a species,

108:21but yeah, they're just very far from anything.

§13Transcript · 1:48:24–1:57:30

108:24- But so from a physics perspective,

108:27it's not useful to you to think,

108:29taking a computational perspective to our universe,

108:32thinking of it as an information processing system,

108:35and then think of it as doing computation,

108:37and then you think about the resources required

108:39to do that kind of computation and all that kind of stuff.

108:42You could just look at the basic physics

108:43and who cares what the computer it's running on is.

108:46- Yeah, it just, I mean, the kinds of,

108:47I mean, I'm willing to agree that you can get

108:50into interesting kinds of questions going down that road,

108:52but they're just so different from anything,

108:55from what I've found interesting.

108:56And I just, again, I just have to kind of go back to,

109:00life is too short and I'm very glad

109:02other people are thinking about this,

109:03but I just don't see anything I can do with it.

109:07- What about space itself?

109:11So I have to ask you about aliens.

109:13Again, something, since you emphasize evidence,

109:17do you think there is, how many,

109:20do you think there are and how many

109:22intelligent alien civilizations are out there?

109:25- Yeah, I have no idea, but I've certainly,

109:28as far as I know, unless the government's covering it up

109:30or something, we haven't heard from,

109:32we don't have any evidence for such things yet,

109:35but there seems to be no,

109:37there's no particular obstruction why there shouldn't be.

109:42- I mean, do you, you work on some fundamental questions

109:47about the physics of reality.

109:49When you look up to the stars,

109:51do you think about whether somebody's looking back at us?

109:55- Yes, yeah, well, actually,

109:56I originally got interested in physics.

109:58I actually started out as a kid interested in astronomy,

110:00exactly that, and telescope and whatever that,

110:02and certainly read a lot of science fiction

110:05and thought about that.

110:08I find over the years, I find myself kind of less,

110:12anyway, less and less interested in that,

110:15just because I don't really know what to do with them.

110:18I also kind of at some point kind of stopped

110:21reading science fiction that much,

110:23kind of feeling that there was just too,

110:25that the actual science I was kind of learning about

110:27was perfectly kind of weird and fascinating

110:29and unusual enough and better than any of the stuff

110:33that Isaac Asimov, so why shouldn't I?

110:36- Yeah, and you can mess with the science

110:39much more than the distant science fiction,

110:42the one that exists in our imagination

110:45or the one that exists out there among the stars.

110:48Well, you mentioned science fiction.

110:51You've written quite a few book reviews.

110:54I gotta ask you about some books, perhaps,

110:56if you don't mind.

110:57Is there one or two books that you would recommend

111:02to others, and maybe if you can,

111:05what ideas you drew from them?

111:07Either negative recommendations or positive recommendations.

111:12Do not read this book for sure.

111:15- Well, I must say, I mean, unfortunately,

111:17yeah, well, you can go to my website

111:19and you can click on book reviews

111:21and you can see I've written, read a lot of,

111:24I mean, as you can tell from my views about string theory,

111:27I'm not a fan of a lot of the kind of popular books

111:31about, oh, isn't string theory great?

111:32And yes, I'm not a fan of a lot of things of that kind.

111:37- Can I ask you a quick question on this, a small tangent?

111:40Are you a fan, can you explore the pros and cons

111:46of, forget string theory, sort of science communication,

111:51sort of cosmos style communication of concepts

111:56to people that are outside of physics,

111:59outside of mathematics, outside of even the sciences,

112:02and helping people to sort of dream

112:04and fill them with awe about the full range of mysteries

112:08in our universe?

112:09- That's a complicated issue.

112:11You know, I think, you know, I certainly go back

112:13and go back to like what inspired me

112:15and maybe to connect it a little bit

112:18to this question about books.

112:19I mean, certainly when the books that,

112:21some books that I remember reading when I was a kid

112:24were about the early history of quantum mechanics,

112:26like Heisenberg's books that he wrote about, you know,

112:29kind of looking back at telling the history

112:31of what happened when he developed quantum mechanics.

112:32It's just kind of a totally fascinating, romantic,

112:36great story, and those were very inspirational to me.

112:40And I would think maybe that other people

112:41might also find them.

112:44But the--

112:45- And that's almost like the human story

112:47of the development of the ideas.

112:49- Yeah, the human story.

112:50But yeah, just also how, you know,

112:51they have these very, very weird ideas

112:53that didn't seem to make sense,

112:54how they were struggling with them,

112:56and how, you know, they actually, anyway.

112:58It's, I think it's the period of physics kind of beginning,

113:03you know, in 1905, with Planck and Einstein,

113:06and ending up with the war when these things are,

113:09get used to, you know, make massively destructive weapons.

113:14It's just that totally amazing.

113:15- So many, so many new ideas.

113:17Let me, on another, a tangent on top of a tangent

113:19on top of a tangent, ask, if we didn't have Einstein,

113:24so how does science progress?

113:26Is it the lone geniuses, or is it some kind of weird

113:31network of ideas swimming in the air,

113:33and just kind of the geniuses pop up to catch them,

113:37and others would anyway?

113:39Without Einstein, would we have special relativity,

113:42general relativity?

113:43- I mean, it's an interesting, on a case-to-case basis,

113:47I mean, special relativity, I think we would have had,

113:51I mean, there are other people, anyway,

113:54you could even argue that it was already there

113:56in some form, in some ways, but I think special relativity

113:59you would have had without Einstein fairly quickly.

114:03General relativity, that was a much, much harder thing

114:07to do, and required much more effort,

114:10and much more sophisticated.

114:11That, I think you would have had sooner or later,

114:13but it would have taken quite a bit longer.

114:16- Other thing-- - That took a bunch

114:17of years to validate scientifically, the general relativity.

114:21- But even for Einstein, from the point where he had

114:24kind of a general idea of what he was trying to do,

114:26to the point where he actually had a well-defined theory

114:29that you could actually compare to the real world,

114:31that was, I forget the number, but the order of magnitude,

114:3510 years of very serious work, and if he hadn't been around

114:39to do that, it would have taken a while

114:40before anyone else got around to it.

114:43On the other hand, there are things like,

114:45with quantum mechanics, you have Heisenberg

114:48and Schrodinger came up with two,

114:52which ultimately equivalent, but two different approaches

114:57to it within months of each other.

114:59And so if Heisenberg hadn't been there,

115:02you already would have had Schrodinger or whatever,

115:03and if neither of them had been there,

115:05it would have been somebody else a few months later.

115:07So there are times when the, just the,

115:12a lot often is the combination of the right ideas

115:16are in place and the right experimental data is in place

115:19to point in the right direction,

115:20and it's just waiting for somebody who's gonna find it.

115:24Maybe to go back to your aliens,

115:28I guess the one thing I often wonder about aliens is,

115:30would they have the same fundamental physics ideas

115:33as we have in mathematics?

115:35Would their math, would they,

115:37how much is this really intrinsic to our minds?

115:42If you start out with a different kind of mind,

115:43wouldn't you end up with a different ideas

115:46of what fundamental physics is

115:47or what the structure of mathematics is?

115:49- So this is why, if I was,

115:52I like video games.

115:55The way I would do it as a curious being,

115:57so first experiment I'd like to do is run Earth

116:00over many thousands of times and see if our particular,

116:04no, you know what?

116:06I wouldn't do the full evolution.

116:08I would start at Homo sapiens first

116:10and then see the evolution of Homo sapiens millions of times

116:13and see how the ideas of science would evolve.

116:16Like, would you get, like how would physics evolve?

116:19How would math evolve?

116:21I would particularly just be curious

116:22about the notation they come up with.

116:24Every once in a while, I would like throw miracles at them

116:28to mess with them and stuff.

116:31And then I would also like to run Earth

116:33from the very beginning to see if evolution

116:35will produce different kinds of brains

116:37that would then produce different kinds

116:38of mathematics and physics.

116:40And then finally, I would probably millions of times

116:43run the universe over to see what kind of,

116:47what kind of environments and what kind of life

116:52would be created to then lead to intelligent life,

116:55to then lead to theories of mathematics and physics

116:59and to see the full range.

117:00And like sort of like Darwin kind of mark,

117:04okay, it took them, what is it?

117:08Several hundred million years to come up with calculus.

117:13I would just like keep noting how long it took

117:16and get an average and see which ideas are difficult,

117:19which are not, and then conclusively sort of figure out

117:23if it's more collective intelligence

117:27or singular intelligence that's responsible for shifts

117:30and for big phase shifts and breakthroughs in science.

§14Transcript · 1:57:33–2:06:58

117:33If I was playing a video game and ran the thing,

117:36I got a chance to run this whole thing.

117:38- Yeah, but--

117:40- We're talking about books before I distract us.

117:42- Books, okay, so books, yeah, go back, books.

117:44Yeah, so, and then, yeah, so that's one thing I'd recommend

117:47is the books about the, from the original people,

117:50especially Heisenberg about the, how that happened.

117:53And there's also a very, very good kind of history

117:55of the kind of what happened during this 20th century

118:00in physics and up to the time of the Standard Model in 1973,

118:05it's called "The Second Creation" by Bob Crease and Mann.

118:10That's one of the best ones, I know that's,

118:12but the one thing that I can say is that,

118:14so that book, I think, forget when it was,

118:17late '80s, '90s, the problem is that there just hasn't been

118:21much that's actually worked out since then.

118:24So most of the books that are kind of trying to tell you

118:26about all the glorious things that have happened since 1973

118:30are, they're mostly telling you about how glorious things

118:33are, which actually don't really work.

118:35And it's really, the argument people sometimes make

118:38in favor of these books as well, oh, you know,

118:40they're really great because you want to do something

118:42that will get kids excited.

118:43And then, you know, so they're getting excited

118:45about things, something that's not really quite working.

118:47It's, doesn't really matter.

118:48The main thing is get them excited.

118:50The other argument is, you know, wait a minute,

118:53if you're getting people excited about ideas that are wrong,

118:56you're really kind of, you're actually kind of discrediting

118:59the whole scientific enterprise in a not really good way.

119:02So there's, there's problems.

119:04So my general feeling about expository stuff is, yeah,

119:07it's to the extent you can do it kind of honestly

119:10and well, that's great.

119:12There are a lot of people doing that now,

119:14but to the extent that you're just trying to get people

119:19excited and enthusiastic by kind of telling them stuff,

119:22which isn't really true, this is,

119:24you really shouldn't be doing that.

119:26- You obviously have a much better intuition about physics.

119:28I tend to, in the space of AI, for example,

119:32you could use certain kinds of language,

119:37like calling things intelligent,

119:41that could rub people the wrong way.

119:43But I never had a problem with that kind of thing.

119:45You know, saying that a program can learn its way

119:48without any human supervision as AlphaZero does

119:52to play chess.

119:53To me, that may not be intelligence,

119:57but it sure as heck seems like a few steps down the path

120:02towards intelligence.

120:04And so like, I think that's a very peculiar property

120:09of systems that can be engineered.

120:10So even if the idea is fuzzy,

120:12even if you're not really sure what intelligence is,

120:15or like if you don't have a deep fundamental understanding

120:19or even a model of what intelligence is,

120:21if you build a system that sure as heck is impressive

120:24and showing some of the signs

120:26of what previously thought impossible

120:29for a non-intelligent system,

120:32then that's impressive and that's inspiring

120:34and that's okay to celebrate.

120:36In physics, because you're not engineering anything,

120:39you're just now swimming in the space,

120:41directly when you do theoretical physics,

120:43that it could be more dangerous.

120:45You could be out too far away from shore.

120:48- Yeah, well the problem, I think physics is,

120:52I think it's actually hard for people,

120:54even to believe or really understand

120:57how that this particular kind of physics

121:00has gotten itself into a really unusual and strange

121:03and historically unusual state, which is not really,

121:06I mean, I spent half my life among mathematicians

121:09and half among physicists,

121:10and you know, mathematics is kind of doing fine.

121:12People are making progress

121:14and it has all the usual problems,

121:16but also so you could have a,

121:19but I just, I don't know,

121:21I've never seen anything at all happening in mathematics

121:23like what's happened in this specific area in physics.

121:26It's just the kind of sociology of this,

121:29the way this field works,

121:32banging up against this hard a problem

121:35without anything from experiment to help it.

121:38It's really, it's led to some really

121:41kind of problematic things.

121:43And those, so it's one thing to kind of, you know,

121:47oversimplify or to slightly misrepresent,

121:49to try to explain things in a way that's not quite right.

121:52But it's another thing to start promoting to people

121:55as a success as ideas, which really completely failed.

122:00And so, I mean, I've kind of a very, very specific,

122:03if you start to have people,

122:05won't name any names, for instance,

122:07coming on certain podcasts like yours,

122:09telling the world, you know, this is a huge success

122:12and this is really wonderful, and it's just not true.

122:16And this is really problematic

122:19and it carries a serious danger of, you know,

122:22once when people realize that this is what's going on,

122:27you know, the loss of credibility of science

122:32is a real, real problem for our society.

122:34And you don't want people to have an all too good reason

122:39to think that what they're being told

122:44by kind of some of the best institutions

122:46in our country and our authorities is not true.

122:49It's a problem.

122:52- That's obviously a characteristic of not just physics,

122:55it's sociology.

122:58And it's, I mean, obviously in the space of politics,

123:02it's the history of politics is you sell ideas to people

123:07even when you don't have any proof

123:14that those ideas actually work.

123:15You speak as if they've worked

123:17and that that seems to be the case throughout history.

123:20And just like you said, it's human beings

123:26running up against a really hard problem.

123:28I'm not sure if this is like a particular, like,

123:34trajectory through the progress of physics

123:37that we're dealing with now

123:38or is this just a natural progress of science?

123:40You run up against a really difficult stage of a field

123:44and different people behave differently

123:49in the face of that.

123:53Some sell books and sort of tell narratives

123:56that are beautiful and so on.

123:57They're not necessarily grounded in solutions

124:01that have proven themselves.

124:02Others kind of put their head down quietly,

124:05keep doing the work.

124:06Others sort of pivot to different fields.

124:08And that's kind of like, yeah, ants scattering.

124:11And then you have fields like machine learning,

124:14which there's a few folks mostly scattered away

124:17from machine learning in the '90s

124:19in the winter of AI, AI winter, as they call it.

124:23But a few people kept their head down

124:24and now they're called the fathers of deep learning.

124:27- Yeah, yeah.

124:28- And they didn't think of it that way.

124:30And in fact, if there's another AI winter,

124:33they'll just probably keep working on it anyway,

124:35sort of like loyal ants to a particular--

124:39- Sure, yeah, yeah.

124:40- So it's interesting, but you're sort of saying

124:43that we should be careful over hyping things

124:46that have not proven themselves

124:48because people will lose trust in the scientific process.

124:53But unfortunately, there's been other ways

124:57in which people have lost trust in the scientific process.

125:00That ultimately has to do actually

125:02with all the same kind of behaviors you're highlighting,

125:05which is not being honest and transparent

125:08about the flaws of mistakes of the past.

125:11- Yeah, I mean, that's always a problem.

125:13But this particular field is kind of fun.

125:15It's always a strange one.

125:18I mean, I think in the sense that

125:20there's a lot of public fascination with it

125:23that it seems to speak to kind of our deepest questions

125:25about what is this physical reality,

125:28where do we come from, and these kind of deep issues.

125:31So there's this unusual fascination with it.

125:33Mathematics, for instance, is very different.

125:35Nobody's that interested in mathematics.

125:37Nobody really kind of expects to learn really great,

125:41deep things about the world from mathematics that much.

125:43They don't ask mathematicians that.

125:45So it's a very unusual,

125:47it draws this kind of unusual amount of attention.

125:51And it really is historically in a really unusual state.

125:54It's kind of, it's gotten itself way kind of down

125:58a blind alley in a way which,

126:03it's hard to find other historical parallels to.

126:06- But sort of to push back a little bit,

126:08there's power to inspiring people.

126:10And if I just empirically look,

126:13physicists are really good

126:18at combining science and philosophy and communicating it.

126:23Like there's something about physics often

126:26that forces you to build a strong intuition

126:28about the way reality works, right?

126:31And that allows you to think through

126:33sort of and communicate about all kinds of questions.

126:37Like if you see physicists, it's always fascinating

126:40to take on problems that have nothing to do

126:42with their particular discipline.

126:43They think in interesting ways

126:45and are able to communicate their thinking

126:47in interesting ways.

126:48And so in some sense, they have a responsibility

126:52not just to do science, but to inspire.

126:54And not responsibility, but the opportunity.

126:58And thereby I would say a little bit of a responsibility.

§15Transcript · 2:07:02–2:15:29

127:02- Yeah, yeah, and sometimes, but I don't know.

127:05Anyway, it's hard to say 'cause different,

127:07there's many, many people doing this kind of thing

127:10with different degrees of success and whatever.

127:15I guess one thing,

127:16but I mean, what's kind of front and center for me

127:21is kind of a more parochial interest,

127:22is just kind of what damage do you do to the subject itself?

127:27Ignoring, misrepresenting,

127:32what high school students think about string theory

127:34and not that it doesn't matter much,

127:36but what the smartest undergraduates

127:40or the smartest graduate students in the world

127:42think about it and what paths you're leading them down

127:45and what story you're telling them

127:47and what textbooks you're making them read

127:49and what they're hearing.

127:50And so a lot of what's motivated me

127:53is more to try to speak to kind of a specific population

127:57of people to make sure that, look, people,

128:01it doesn't matter so much what the rest,

128:04what the average person on the street

128:06thinks about string theory,

128:07but what the best students at Columbia or Harvard

128:12or Princeton or whatever who really wanna change,

128:14work in this field and wanna work that way,

128:16what they know about it, what they think about it,

128:19and that they not be going to the field being misled

128:22and believing that a certain story,

128:23this is where this is all going, this is what I gotta do,

128:27is what's important to me.

128:29- Well, in general, for graduate students,

128:31for people who seek to be experts in the field,

128:34diversity of ideas is really powerful.

128:36And is getting into this local pocket of ideas

128:40that people hold onto for several decades is not good,

128:43no matter what the idea.

128:44I would say no matter if the idea is right or wrong,

128:47because there's no such thing as right in the long-term.

128:51Like it's right for now until somebody builds on

128:56something much bigger on top of it.

128:58It might end up being right,

129:00but being a tiny subset of a much bigger thing.

129:03So you always should question sort of the ways of the past.

129:07- Yeah, yeah.

129:08So how to kind of achieve that kind of diversity of thought

129:12and within kind of the sociology

129:15of how we organize scientific research is,

129:17I know this is one thing that I think it's very interesting

129:19that Sabina Hassenfelder has very interesting things

129:22to say about it.

129:23And I think also at least Smolin in his book,

129:25which is also about that,

129:27very much in agreement with them that there's,

129:30anyway, there's a really kind of important questions

129:36about how research in this field is organized

129:41and how people, what can you do to kind of get

129:45and get more diversity of thought and get more,

129:47and get people thinking about a wider range of ideas.

129:53At the bottom, I think humility always helps.

129:56(Lex laughing)

129:57- Well, the problem is that it's also,

129:59it's a combination of humility to know when you're wrong

130:02and also, but also you have to have a,

130:05you have to have a certain, very serious lack of humility

130:08to believe that you're gonna make progress

130:09on some of these problems.

130:11- I think you have to have like both modes

130:13and switch between them when needed.

130:15Let me ask you a question

130:19you're probably not gonna wanna answer

130:21because you're focused on the mathematics of things

130:25and mathematics can't answer the why questions,

130:27but let me ask you anyway,

130:30do you think there's meaning to this whole thing?

130:33What do you think is the meaning of life?

130:35Why are we here?

130:36- I don't know.

130:37Yeah, I was thinking about this.

130:39So the, it did occur to me,

130:42one interesting thing about that question

130:45is that you don't,

130:47yes, I have this life in mathematics

130:51and this life in physics

130:52and I see some of my physicist colleagues,

130:55kind of seem to be,

130:58people are often asking them,

130:59what's the meaning of life?

131:00And they're writing books about the meaning of life

131:02and teaching courses about the meaning of life.

131:04But then I realized that no one ever asked

131:06my mathematician colleagues.

131:07(both laughing)

131:08Nobody ever asked mathematicians.

131:10- Yeah, that's funny.

131:11- So I, yeah.

131:13Everybody just kind of assumes,

131:15okay, well, you people are studying mathematics.

131:16Whatever you're doing, it's maybe very interesting,

131:19but it's clearly not gonna tell you anything useful

131:21about the meaning of my life.

131:22And I'm afraid a lot of my point of view

131:24is that if people realized how little difference there was

131:28between what the mathematicians are doing

131:29and what a lot of these theoretical physicists are doing,

131:31they would, they might understand that

131:34it's a bit misguided to look for deep insight

131:38into the meaning of life from many theoretical physicists.

131:42It's not a, they, you know,

131:44there are people and they may have interesting things

131:46to say about this.

131:47You're right.

131:48They know a lot about physical reality

131:50and about, in some sense, about metaphysics,

131:53about what is real of this kind.

131:56But you're also, to my mind,

132:01I think you're also making a bit of a mistake

132:03that you're looking to, I mean, I'm very, very aware

132:07that I've led a very pleasant

132:10and fairly privileged existence

132:12and were fairly without many challenges of different kinds

132:15and of a certain kind.

132:16And I'm really not, in no way, the kind of person

132:21that a lot of people who are looking for,

132:24to try to understand, in some sense, the meaning of life

132:27in the sense of the challenges that they're facing in life.

132:30I can't really, I'm really the wrong person

132:32for you to be asking about this.

132:33- Well, if struggle is somehow a thing

132:37that's core to meaning,

132:39perhaps mathematicians are just quietly the ones

132:42who are most equipped to answer that question

132:45if, in fact, the creation, or at least experiencing beauty,

132:50is at the core of the meaning of life.

132:55Because it seems like mathematics is the methodology

132:59by which you can most purely explore beautiful things, right?

133:04- Yeah, mm-hmm.

133:05- So in some sense,

133:06maybe we should talk to mathematicians more.

133:08- Yeah, yeah, maybe.

133:10But unfortunately, I think people do have

133:13a somewhat correct perception

133:14that what these people are doing every day,

133:17or whatever, is pretty far removed from anything.

133:19Yeah, from what's kind of close to what I do every day

133:26and what my typical concerns are.

133:28So you may learn something very interesting

133:29by talking to mathematicians,

133:31but it's probably not gonna be,

133:33you're probably not gonna get what you were hoping.

133:37- So when you put the pen and paper down,

133:39and you're not thinking about physics,

133:41and you're not thinking about mathematics,

133:43and you just get to breathe in the air,

133:45and look around you,

133:46and realize that you're going to die one day.

133:49- Yeah, mm-hmm. - Do you think about that?

133:51Your ideas will live on, but you, the human.

133:56- Not especially much,

133:58but certainly I've been getting older.

134:00I'm now 64 years old.

134:01You start to realize, well,

134:02there's probably less ahead than there was behind.

134:05And so you start to, that starts to become,

134:09"Wait a minute, what do I think about that?

134:10Maybe I should actually get serious

134:13about getting some things done,

134:14which I may not have,

134:17which I may otherwise not have time to do,

134:18which I didn't see,

134:20and this didn't seem to be a problem when I was younger."

134:22But that's the main,

134:24I think the main way in which that thought occurred.

134:26- But it doesn't, you know,

134:28the Stoics are big on this, meditating on mortality.

134:32Helps you more intensely appreciate the beauty

134:36when you do experience it.

134:39- I suppose that's true, but it's not, yeah,

134:41it's not something I spend a lot of time trying,

134:45but yeah.

134:47- Day to day, you just enjoy the puzzles, the mathematics.

134:49- Just enjoy, yeah, or life in general.

134:52Life is, I have a perfectly pleasant life

134:55and enjoy it and often think,

134:59"Wow, this is, I think things are,

135:01I'm really enjoying this, things are going well."

135:04- Yeah, life is pretty amazing.

135:06I think you and I are pretty lucky.

135:08We get to live on this nice little earth

135:10with a nice little comfortable climate

135:13and we get to have this nice little podcast conversation.

135:17Thank you so much for spending your valuable time

135:19with me today and having this conversation.

135:21Thank you.

135:22- Thank you.

135:22- Thank you.

135:23- Thanks for listening to this conversation

135:26with Peter White.

135:27To support this podcast,

135:29please check out our sponsors in the description.

§16Transcript · 2:15:32–2:15:49

135:32And now let me leave you with some words

135:34from Richard Feynman.

135:36The first principle is that you must not fool yourself

135:40and you are the easiest person to fool.

135:43Thank you for listening and hope to see you next time.

135:47(upbeat music)

135:49(upbeat music)

— A LITTLE MORE TO THINK ABOUT. —