Audio Player
✓ Using synced audio (timestamps accurate)
Starting at:
Dror Bar Natan on Knot Theory, Learning from Ed Witten, Eric Weinstein, and Quantum Field Theory
September 8, 2021
•
2:55:01
•
undefined
Audio:
Download MP3
✓ Synced audio available: Click any timestamp to play from that point. Timestamps are accurate because we're using the original ad-free audio.
Transcript
Enhanced with Timestamps
366 sentences
18,476 words
Method: api-polled
Transcription time: 171m 35s
The Economist covers math, physics, philosophy, and AI in a manner that shows how different countries perceive developments and how they impact markets. They recently published a piece on China's new neutrino detector. They cover extending life via mitochondrial transplants, creating an entirely new field of medicine. But it's also not just science they analyze.
Culture, they analyze finance, economics, business, international affairs across every region. I'm particularly liking their new insider feature. It was just launched this month. It gives you, it gives me, a front row access to The Economist's internal editorial debates.
Where senior editors argue through the news with world leaders and policy makers in twice weekly long format shows. Basically an extremely high quality podcast. Whether it's scientific innovation or shifting global politics, The Economist provides comprehensive coverage beyond headlines. As a toe listener, you get a special discount. Head over to economist.com slash TOE to subscribe. That's economist.com slash TOE for your discount.
This is Martian Beast Mode Lynch. Prize pick is making sports season even more fun. On prize picks, whether you're a football fan, a basketball fan, you'll always feel good to be ranked. Right now, new users get $50 instantly in lineups when you play your first $5. The app is simple to use. Pick two or more players. Pick more or less on their stat projections. Anything from touchdown to threes. And if you're right, you can win big. Mix and match players from
any sport on PrizePix, America's number one daily fantasy sports app. PrizePix is available in 40 plus states including California, Texas,
Florida and Georgia. Most importantly, all the transactions on the app are fast, safe and secure. Download the PricePix app today and use code Spotify to get $50 in lineups after you play your first $5 lineup. That's code Spotify to get $50 in lineups after you play your first $5 lineup. PricePix. It's good to be right. Must be present in certain states. Visit PricePix.com for restrictions and details.
Jor Barnatin is a professor of pure mathematics at the University of Toronto, previously specializing in knot theory and more recently specializing in finite type invariants and Kovanov homology. We touch on quantum field theory's connection to knot theory, how to learn mathematics in general, we also touch on Ed Whitten as Jor Barnatin's advisor for his PhD was Ed Whitten, and Jor gives some anecdotes about Eric Weinstein
Professor Barnatton taught a course in linear algebra that I took while I was at the University of Toronto, although I was a terrible student and I regret that I skipped the majority of his classes because he had an exceedingly intuitive approach. For example, there are vector space axioms
For those new to this channel, my name is Kurt Jaimungal.
I'm a filmmaker with a background in math and physics dedicated to explicating what are called theories of everything from a mathematical physics perspective but also the possible connections consciousness has to the fundamental laws of nature provided these laws exist at all and are knowable to us. This particular podcast isn't one to be listened to or at least you can but you're going to be frustrated as what's being referred to are one-dimensional objects embedded in a three-dimensional space
There are a couple sponsors of today's podcast. The first is Algo, which is an end-to-end supply chain optimization software company, with software that helps business users optimize sales and operations, planning to avoid stockouts, reduce returns, and inventory write-downs,
while reducing inventory investment. It's a supply chain AI that drives smart ROI headed by a bright individual named Amjad Hussein, who's been a huge supporter of the podcast from his early days. The second sponsor is Brilliant. Brilliant illuminates the soul of mathematics, science and engineering
Through bite-sized interactive learning experiences, brilliance courses explore the laws that shape our world, elevating math and science from something to be feared to a delightful experience of guided discovery. You can even learn group theory, which is what's being referred to when you hear that the standard model is based on U1 cross SU2 cross SU3.
Visit brilliant.org slash TOE to get 20% off the annual subscription. I recommend that you at least try the free trial and don't stop before four lessons and you'll be greatly surprised at the ease at which you can comprehend concepts that you previously had a difficult time understanding. If you'd like to hear more conversations like this,
I actually had you as a professor, I believe in linear algebra.
I hope you didn't suffer too much. That my favorite aspect of the course was that you would use the word seven. You give an example of a number, so you'd say a certain field number times a vector. Well, let's call it seven. So seven times a vector would be so-and-so. You know, it can get to extremes, right? You may end up doing things like the limit of e to the minus seven, seven goes to infinity.
What's your field of research? Not theory and from a very algebraic perspective and related algebra things. It used to be much more not theory and quantum field theory.
And it slowly moved to being much more algebraic and the relationship with quantum field theory became more and more remote. Okay, what's the relationship, let's forget about the remoteness, what's the close relationship between not theory and quantum field theory? It's a bit hard to explain and somewhat surprising and that's why it took a long time to discover.
Let me give you two answers that are somewhat unrelated. And one answer is that quantum field theory is about particles. And Nock theory is surprisingly also about the motion of particles. So
You know, let's draw a simple minded knot. So by the way, is this visible my screen? Yeah. Okay, so here is a simple minded knot. It's actually the so called trefoil knot. But well, whatever it is. Now, what you can do is you can
So it's living in R3 and I could set up my coordinates so that this coordinate will be called t. Maybe you want to call it z. But, you know, I like to call it t right now. And the two coordinates here are x and y. And then I can slice this knot at
equal time slices. So basically I draw a plane which lives at some fixed height. So at an equal time plane and slice the knot and then the slice is four points. And as I move these points in time,
So as I move the slice in time, the points move and they actually do a little lovely dance and the dance is as follows. So if we call these points A, B, C and D, then they start at a certain position, A, B, C and D, right? And then as I move,
Well, you can see that C and B trade places. So they play a dance. They somehow dance around each other. B goes this way and C goes that. Sorry, B goes one way and C goes the other way. And after a little while, they trade places. So you have A, C, sorry, A, C, B, D.
and as you move the plane even farther, they trade places again. So again, you will have a, b, c, d, and if you move a little farther, again, they trade places. So you'll have a, c, b, d, and then something funny happens. Points, well,
points well by this time this is point B is over here and point C is over here and points A is here and D is here and what happens is that point C moves towards point D and points A moves towards point B and they coincide and when they coincide they annihilate each other because if you look at the plane which is above the
the level of the knot, you no longer see any point. So what happens next is that these points move towards each other, these points move to each other, they meet and bang, they annihilate. And after that, there is an empty set. And in fact, I started at height, at a certain height had I started below, I start with the empty set,
And instead of annihilation of pairs, you get a creation of pairs. So a pair of points get created here and a pair of points get created here. And then they perform this nice dance. So this was this particular note, but the same story is true for every note. Every note can be written as a certain dance of points in which sometimes pairs
get created, sometimes pair meet and annihilate each other. And in between these times, they all dance. Anyway, physics in general is about the motion of particles and it's not too surprising that there is a relationship. Physics also sees things like creation and annihilation of pairs of particles. And I mean, so again, it's not so surprising.
But this is very, very, very loose. And gee, the other explanation I can give you is even more loose. But in some sense, more closer to the truth. Well, okay, maybe you've heard that quantum mechanics is related to path integrals.
So, you know, in classical mechanics, you know, if a path goes from point A to point B, sorry, if a particle goes from point A to point B, it goes along a specific path. In quantum mechanics, it has a probability of going from A to B and you compute this probability by doing a certain integral
over the space of all paths. So the particle or, I mean, even my interpretation of quantum mechanics here is a bit loose because interpreting quantum mechanics is a very hard thing. But with this loose interpretation, you sum over all probabilities of going this way or that way or that way.
or that way and by adding up all these probabilities or more precisely integrating over the space of all of those probabilities or more precisely phase factors or amplitudes, you can compute the probability of going from A to B. That's quantum mechanics. Now,
Likewise, quantum field theory, but in quantum field theory, it's essentially the same except the integrals are more complicated. But the point is that already these integrals are not like integrals over Rn, right? Rn is the collection of n tuples of points, a1 up to an. So a point in Rn is determined by
in real numbers. Whereas a function, the space we are integrating over now, is the space of all functions. And a function is determined by infinitely many real values. You need to know the value of the function here, the value of the function here, the value of the function here, the value of the function here. So to determine a function, you need to know infinitely many real numbers.
So the integral that you end up doing is not 157 style. Sorry, now I'm using Toronto style language. It's not one variable calculus in integral, which is again, one variable integral. It's not this. It's not second year calculus when you do n variable integrals. It's
Infinite dimensional, so infinitely many variables integration. This is what we need. Okay. So quantum field theory ended up developing a bag of techniques for computing infinite dimensional integrals. And what these techniques are is a whole different story.
But quantum field theory ended up doing this. And then it turns out that infinite dimensional integrals are useful to topology. So the way that quantum field theory becomes useful in topology is indirect. It's not that the quantum field theory itself is useful.
Even this is a lie because sometimes the quantum field theory itself is useful. But the main path by which quantum field theory becomes useful to topology is not...
Direct, but a bit indirect. Quantum field theory developed a bag of techniques and this bag of techniques applies elsewhere.
Anyway, why are infinite dimensional integrals useful to topology? The answer is, again, a bit complicated. But let me try to summarize it. So let me bring the note. Here's the note. Okay. Great. Well, actually, that's not a note.
What I'm showing you is a curve in R3. A knot is an equivalence class of such curves. So this is a curve. If I deform it a bit, it's still a curve, but it's considered the same knot. If I deform it some more, it's still a curve, but it's the same knot.
So a knot is not a single curve but an equivalent class of curves. Now, suppose you want quantities that are associated to knots. You want to be able to tell knots apart, so you need quantities that would be computable from the knots and that you would use them to tell the knots apart, okay? Now, it's very easy to compute
quantities that are associated with curves. So if you have a curve, uh, you can measure it's how much it bends. So the radius of, of, of the bending, okay. Again, these things have technical names, the curvature, maybe the torsion. There are various names for, for various quantities you can associate with core curves.
So, you know, I can look at the maximal curvature of this knot, of this curve, and the maximal curvature will be the place where it turns the most, and that's probably around here for this particular curve, around here, okay? Now, but that quantity is a quantity which is associated with curves. It's a useless as a quantity for knots.
It's useless as a quantity for knots, because if we're talking about knot, you know, I could deform it and the maximal curvature could go somewhere else, could change, could grow, could shrink, could differ. Right. So the way to get quantities that are associated with knots rather than with curves is to integrate
over the space of all geometries. So instead of picking the quantity for a specific geometric manifestation of the knot, you integrate over the space of all geometries and then the result will be a quantity associated with the knot. Unfortunately, the examples are very, very hard.
So, you know, the famous example, the example that got Witten, well, one of the examples that got Witten very, very famous in topology or among mathematicians is the so-called Chern-Simons theory or Chern-Simons quantity, which is some, in itself, some integral. So you integrate over R3,
So the quantity itself is a finite dimensional integral, right? So you integrate over R3 something called the Chern-Simons form which is something called, which is A wedge DA plus two-thirds A wedge A wedge A.
whatever that is, but this is, you know, related to stuff appearing in second year multivariable calculus in the most advanced versions. Okay, so wedge products and differential forms and exterior derivatives and stuff like that. Then you take this quantity and you multiply it by i, multiply by k, exponentiate it, multiply by another quantity, the so-called
holonomy along the knot of A, whatever that is. So I'm throwing names because I really have no choice because giving the precise definition is a matter for a graduate class. Yeah. Okay. And this is the quantity that you associate with a geometric knot. And then to get an invariant of knots or to get a quantity associated with the knot itself, you integrate it
over the space of all such A's, and I didn't really tell you what these A's are, but it's an infinite dimensional space. So, I guess I haven't really answered your question by giving an example, but I just told you the examples are hard, okay? Anyway, well, they're hard, but they're exactly of the nature that physics knows how to study, or the quantum field theory
Are there any relationships between knot theory and gravity, so general relativity, let's say?
So I'm not an expert. The answer is yes. But but don't ask me to detail it. As I told you, I've actually moved away from that subject. What got you interested in not theory originally? This subject. So you mainly you were interested in physics? Well, okay, I was a math undergrad.
But then during my time as an undergrad and then a master's student in Tel Aviv University, I never finished the master's. I moved on to doing my PhD in Princeton. But during my time as a master's student in Tel Aviv, I got more and more interested in physics.
And there is just wonderful mathematics inside physics. So I got interested in physics and the fundamental question of physics, right? What are the basic laws of the universe? I mean, you can't ask a better question. So I got more and more interested in physics and decided to do my PhD in mathematical physics.
And I ended up working with Ed Witten, who is a very famous physicist or mathematical physicist or mathematician, depending on whom you ask. And originally my interest was in physics, or, you know, my aim was to do things that were relevant to physics.
Somehow that's not what happened. At the end, you don't choose your career. The career leads you. I wrote a thesis which was somewhere in between math and physics. What was it called? What was it called? Perturbative aspects of the Chern-Simons quantum field theory. That's an approximate title because I don't exactly remember.
But then it turned out that that was relevant to something called finite type invariance. And I thought I had new things to say about finite type invariance. And that's completely a non-theoretic subject. So I told myself, I'll give myself a break from physics and write a paper or two on finite type invariance and then come back to what I really care about. And that paper or two became 10 years.
with several papers, many papers and many results. And then a chance meeting led me to yet another subject. What was the other subject it led you to? Well, no, the next subject after finite type invariance was Chuvanov Homology. Anyway, you don't choose what you do. You at most try to steer it.
But it steers you much more than you steer it, like the subject. Do you have an intuitive explanation for people who, let's say they're at the second year level, what is a homology? What's homology? It's a tough, a very tough question because
It's many things or it's related to many things and I could answer it in many levels. You know, let me give you a summary answer. Sure. Okay. So often in mathematics, there are two ways to describe objects.
You can describe them implicitly by telling what equations they satisfy or explicitly by constructing all of them. Let me give you the simplest example. So consider the unit circle. Sorry, I kind of care about the points of the unit circle.
So here is the unit circle in the XY plane and here is a point XY. The implicit description of the circle. So the implicit is by writing an equation which the points have to satisfy and everybody knows what the equation is. The equation is X squared minus, sorry, plus Y squared minus one is equal to zero. Okay.
But there is also an explicit description. And again, I'm not sure which one is why the naming is such, but it doesn't really matter. Namely, I can construct all the points of the circle. And the construction is you set X is equal to cosine of theta and Y is equal to sine of theta. Okay?
This is the general feature in mathematics that many things can be either be constructed, that's the explicit, or be defined by an equation. Now, if you restrict your attention to linear algebra, if you do the same thing but in linear algebra, then
the situation is that you have some space in the middle, maybe it's a vector space, and inside that space, you want to describe things. Actually, I'm not sure why I'm drawing it curved because the curve, because if it's linear algebra, I should be drawing it straight. But anyway, you want to describe things and there are two ways to describe them. One way is by saying,
These things, well, you construct a map into another space and you say these things are the things in the kernel of this map. So I don't know what let's call this map phi and these things are the kernel of phi. And then, um, uh,
So this is the implicit description. This is you describe the things by an equation. And then there is also the explicit description. So you have yet another vector space and you have a map. Let's call it psi. And you're saying the things here that are, well, the good things like the point of the circle are the image
of psi. So you say these are the things that are the image of psi. Okay. And this corresponds to the explicit view. You construct the things, you present them as an image via some operation coming from some, you know, maybe some smaller dimensional space. Okay.
So, okay, here's a funny thing. So if your construction is reasonable, then everything you construct solves the equations. In other words, everything in the image of psi is contained in the kernel of phi. So once you have a situation like this,
You know that you're going to have that the image of psi is contained in the kernel of phi. And in fact, if you're constructing the exact same things, then the image of phi will be equal to the kernel of phi, not just contained. Okay. And then you will be saying that the situation is exact. Things got
Exactly the things that you've constructed are the things that you described by the equations. But that's not always the case. Sometimes you have equations defining something and you want to know, did I construct all the solutions? So sometimes this inclusion is strict. And then you want to measure by how much or how much did you fail?
So how much did you not construct everything? And that's exactly the difference between the kernel of phi and the image of psi. And in linear algebra, the difference is quotient. So you take the quotient space and this is the so-called homology. So somehow homology measures, so this measures how good
are your constructions? Did you construct everything or did you leave some stuff out? Is the kernel, the implicit, the description, does it contain more things than you've constructed? So somehow homology measures how good are your constructions. And this is true in general.
And then there are lots and lots and lots and lots of specific examples and to some extent it's a bit of magic. I'm not sure I can give you a really good explanation why there are so many examples and why so much of mathematics end up having close relationships with
Are you able to talk about what cohomology is and then homology's relationship to cohomology? Or is that a whole other kind of worms? It's another kind of worms, but in some sense, it's not interesting. In some philosophical sense, it's not interesting. So when I described cohomology,
It's essentially the same. So the difference between a homology and cohomology, more than anything else, is a difference of conventions, whether your map goes from left to right or from right to left. It's from this perspective, from this very far away and very imprecise perspective, there's really no difference.
Professor, what do your average days look like? For example, do you wake up at the same time? Do you drink the same type of do you drink coffee and it has to be this particular type of coffee? Do you eat a certain breakfast? What does it look like? Paint the drawer picture. Well, I'm a lazy bum. And I'm a believer in the
You know, there was at some point a revolution, right? Before that, people used to work seven days a week, 12 hours a day, or maybe with a short break on Sunday morning, depending which culture you came from, I suppose. And then at some point there was this workers' right revolution, and somehow the working week shrunk to
40 hours a week or so, like five days of eight hours a day. And I'm essentially a believer in that. And furthermore, I'm a lazy bum, so during my eight hours of work a day, five days a week, I take coffee breaks, I browse the web, I cheat. But anyway, I wake up at 6.30.
exercise, take a shower, have breakfast, check my email, do all sorts of unimportant things. Then around nine usually I start working. I work until five or so. I'm sorry, I'm very dull. And then I try to have fun for the rest of the day, whatever that might be. During the pandemic it is a bit harder.
And then on the weekends I try to go biking, hiking, paddling, mostly things that don't have to do with work. I'm lying a little bit because occasionally there is a reason to work on the weekend and occasionally I do have a meeting with somebody, like I have an Australian collaborator, so often our meetings are in the evenings. So, I mean, I've given you an
When you're working from nine to five, how much of that time is spent thinking versus reading someone else's paper versus answering departmental emails and requests? Like, what is work? Because work, obviously, for a professor, you have to teach, you also have to do research, there's perhaps 10. Work is all of that. And it depends on the season. So basically, when I teach two courses,
So, you know, there's basically fall, spring and summer, you know, fall semester, spring semester and summer. Okay. In the fall and the spring, I teach either two or one course per semester. In the summer, I don't teach. So when I teach two courses per semester, that's almost all my attention. Almost everything I have goes into that.
and the rest goes into the regular meetings that I have to keep. So I have several graduate students that I work with, several collaborators and I'm trying to keep weekly meetings with them. So there is a certain amount of like weekly meetings that I have to keep. When I teach one course, I have some breathing room and when I teach nothing, namely during the summer, then a higher proportion goes into research.
Even in the summer, the proportion is not very high. Firstly, is your ideal situation to simply be a research professor? I know some professors don't, they treat teaching as an aside. They don't particularly like to do it. I'm curious about your case. Well, ideologically, I mean, I see myself as a teacher.
Even the research in some sense is to support teaching. Even the research is so that I will remain in shape and even more so and that the community will remain in shape. So, you know, if I do research, I am able to teach graduate students how to do research
And then they are become stronger mathematicians and can teach mathematics better. So I even see researchers mostly supporting teaching. So I definitely wouldn't say that I see everything as research, right? I mean, research, again, teaching is very significant. Well, that's the theory.
In practice, you know, waking up every morning and preparing your class and this marathon of teaching where you have to prepare your class, you teach, you feel terrible about the things you missed during class. You don't even have time to digest it and you have to get ready for the next class already. So, you know,
It's very hard. I mean, people who haven't done that don't appreciate how hard it is. But it's emotionally very, very difficult. And after a semester of teaching, you have no idea how much I'm looking forward to the break. So it's not like teaching is, you know, when I teach, I want out.
Do you find that to be true, even if it's an undergraduate course? The reason I ask this is that I imagine as a professor, the undergraduate material you could teach with your pinky, you don't have to think much about it because you first of all, you've mastered it second, you've taught it for years and years. I do not teach the same class for years. Like, I think the maximum I've ever repeated the class was like three years. So it's not
But even then, you always have to prepare. You always blunder. I always blunder. Maybe perfect people don't. But you know, I always blunder here and there and then I have to figure out ways out. I always find new things to do, new ways to do things. I always
even when I repeat, but essentially, but most of the time I don't repeat. And the material is sometimes hard, you know, so, and even when it's not hard, so, you know, on day one of a class, you teach, of a linear algebra class, you teach the axioms of a vector space. I obviously know these axioms.
Right. I obviously, when I see a vector space, I know it. When you give me a vector space, I know what to do with it. But that's not the same thing as getting up in front of a class and listing the axioms and making sure that you haven't forgotten one small axiom somewhere
or that you phrase them perfectly so that even people who have never seen these things before will understand. So, I mean, even day one of a very basic class requires preparation.
That's the sweet sound of success with Shopify. Shopify is the all-encompassing commerce platform that's with you from the first flicker of an idea to the moment you realize you're running a global enterprise. Whether it's handcrafted jewelry or high-tech gadgets, Shopify supports you at every point of sale, both online and in person. They streamline the process with the internet's best converting checkout, making it 36% more effective than other leading platforms.
There's also something called Shopify Magic, your AI powered assistant that's like an all-star team member working tirelessly behind the scenes. What I find fascinating about Shopify is how it scales with your ambition. No matter how big you want to grow, Shopify gives you everything you need to take control and take your business to the next level.
Join the ranks of businesses in 175 countries that have made Shopify the backbone of their commerce. Shopify, by the way, powers 10% of all e-commerce in the United States, including huge names like Allbirds, Rothy's, and Brooklynin. If you ever need help, their award-winning support is like having a mentor that's just a click away. Now, are you ready to start your own success story? Sign up for a $1 per month trial period at Shopify.com
Go to Shopify.com.
Razor blades are like diving boards. The longer the board, the more the wobble, the more the wobble, the more nicks, cuts, scrapes. A bad shave isn't a blade problem, it's an extension problem. Henson is a family-owned aerospace parts manufacturer that's made parts for the International Space Station and the Mars Rover.
Now they're bringing that precision engineering to your shaving experience. By using aerospace-grade CNC machines, Henson makes razors that extend less than the thickness of a human hair. The razor also has built-in channels that evacuates hair and cream, which make clogging virtually impossible. Henson Shaving wants to produce the best razors, not the best razor business, so that means no plastics, no subscriptions, no proprietary blades, and no planned obsolescence.
It's also extremely affordable. The Henson razor works with the standard dual edge blades that give you that old school shave with the benefits of this new school tech. It's time to say no to subscriptions and yes to a razor that'll last you a lifetime. Visit hensonshaving.com slash everything.
If you use that code, you'll get two years worth of blades for free. Just make sure to add them to the cart. Plus 100 free blades when you head to H E N S O N S H A V I N G dot com slash everything and use the code everything. We're going to talk about mathematical techniques. In fact, I believe when we emailed, you said you don't like the emphasis on theorems and proofs you like. Well, we can talk about that later.
As for teaching techniques, I'm curious, what have you gleaned? What have you found to be productive and perhaps even some behaviors you find to be unproductive that you see other people, other teachers making the mistake of doing? I mean, there is so much, you know, starting from, you know, completely silly things like make sure that you're heard.
If the classroom is large and you speak without a microphone, people in the back are not going to hear you and then they're not going to follow. Make sure that you can be seen. So if you write with a tiny, you know, if you write tiny letters with a faded chalk, people can't read what you write. The class is a failure no matter what you say.
And then there are higher level things and basically everything should be motivated. So, you know, I mentioned the first class of a linear, the first class in a linear algebra course. Okay. So you can give by, you can give by this class by saying, you can start this class by saying, let F be a field.
a set V is called a vector space if and then you can write property, you know, operations and properties and, you know, you write item number one to item number 15, where 15 is, I don't know, some axioms like alpha times beta times a vector, you know, whatever. So one of the axioms of a vector field,
Okay, of a vector, sorry, a vector space. And then the question arises, why and who cares? Right, right. Okay, so if you start your class this way, people aren't going to like it. So before this, there has to be a little section, I don't know, here, where you explain
Well, for such and such reasons, we care about ventral spaces. So there has to be motivation first. Okay. And that's true not only in the first class of the first of a linear algebra course, it's true
In every class, whenever you say something, there has to be a reason. And the people who are listening to you should know that you've thought about it, should know that you're telling them the things for a reason. Okay? And that's often omitted. It's often too easy to just follow the definitions and the
Theorems and never say what they're good for. And, um, and not only you should say the things that you should say them upfront, upfront. Likewise, when you write a proof, uh, it's often easy to, well, to, to, so, I mean, often there is a picture behind that proof. The proof is telling some story and you,
And you want the picture of that story in the minds of the students. But it's often too easy to reduce it to a list of formulas or a list of statements. So a higher level thing is to make sure that everything is motivated. What else? What's another higher level aspect of teaching that you find is a common mistake among the teachers that you see?
I think maybe this is the biggest, not showing the motivation clearly enough. And by the way, that's part of the reason why research is a necessary part of teaching, because you have to know the motivation. You know, you can say,
Vector spaces are a great thing unless you've actually worked with them, unless you've actually seen them used. So maybe vector spaces are easy enough so that you can, you know, by third year you understand why you learned about them in first year.
But if you want to be able to say something intelligent about homology, you have to have used it. The only way to use it is in research. So that's what I meant by you have to be in shape. Being in shape also means remember what can be done with these things. Do you find that you're more creative as you get older?
or that your creativity peaked at a certain age? I wish I could answer. The truth is that I don't really remember. I mean, it's very hard to remember myself at any other age. So, I mean, certainly
I have matured, so the little I can remember from 20 or 30 years ago is that I have matured. I'm more systematic perhaps than I was.
Am I smarter? Am I more creative? Am I stupider? Am I less creative? I'm not sure. What do you mean when you say you're more systematic now? Can you give an example of how you would look at a certain problem now or solve it versus 20 years prior?
And also a sub question. Do you see being systematic as a good thing or do you see there being innovation in being disorganized or creativity embedded there? No, systematic is generally better. So I used to be much more into the low hanging fruits.
So, uh, and I was lucky that I found some, uh, but, um, but basically I'd, I'd, uh, like wait for opportunities and then use them. Okay. Uh, and, uh,
Now it's much more I have a long term goal. You know, I want a theory of something. You know, your, your, your podcast is a theory of everything, right? I just want the theory of something. So I want a theory of something because I feel for various reasons that it ought to be there. And then I
work very hard on, well, very hard to my standards. I already admitted being a bum. So, you know, I worked at least for a long time trying to find that theory. You know, even at a much lower level. So I think when I was first year student,
You know, so, you know, math theorems and proofs were pressed into my brain. It was essentially an external process, right? So I went to classes and people pushed theorems into my brain. And some of them seemed like complete formalities, like a sequence of deductions
that I could memorize and I could verify, but were essentially created by aliens. You know, I had no idea how they came to be. Right. And some theorems immediately became a picture. I immediately understood
That the proof describes a certain geometric reality. Describe... I could see the intuition behind the proof. It's not always geometric, though. It's just you see the... Not necessarily geometric. But I could see somehow the motivation. I could imagine how the proof was discovered. I see. I would get the feeling that I understood the proof.
And that was essentially a dichotomy. Some proofs or some concept were of that type, made by aliens and pushed into my brain by professors and other concepts, theorems, proofs, whatever, were clearly intuitive and made sense and I understood them.
And that was it. That was the world. There was this and there were those. And then sometime later in second year, I actually did my BA very, very, very quickly. So basically I did it in essentially two years. So when I say second year, you should compare it maybe with year three and four of most students. So somewhere later in late in my studies, I realized that if I think
harder about the theorems that or the concepts that appeared to be alien, then sooner or later, I see the picture behind them. Sooner or later, I realize that I am able to move them to the other class, the class of things that are motivated and understand it and understood.
And then I became systematic about it. So every time I learned something new, I may learn it from a book that describes it as a formula. Okay. And then I'll struggle to see the intuition behind the formula. And so even at that level, it's something that took learning. It wasn't, um,
Again, when I got to the university, when I was in first year, I took classes and I got good grades in all of them. Nevertheless, there was a point where things became better, where I realized I can actually understand everything and not just repeat everything.
And that came later. What does that process of finding the intuition behind, let's say a formula that before you previously simply have to memorize as handed down from the gods or the aliens? What does that process look like? The process of finding the intuition? Does it look like, I'm sure it's a variety of these, but does it majorly look like you copy it down with the pen and paper precisely, and then you draw arrows and you say, okay, so what's an example of this? What's a counter example of this?
Or is it you go on a bike ride and you keep thinking about it? What does that process look like? Perhaps it would be edifying if you took a specific example, but if you can't then just give the broad strokes. You know, what does it look like from the outside? From the outside it looks like I'm sitting on my chair and staring into infinity, right? Or sitting on my balcony and looking at the view.
What does it look like inside? It's very hard to answer without
Without going through specific examples and the specific examples are far too complex. I don't know if they are far too complex, but they fit in a math class. And the other thing is you will never see these examples in my classes because when I teach something I try to motivate it. Okay, so you will not see the alternative.
Okay, you will see the motivated way of explaining the implicit function theorem or the change of variables formula for multidimensional integrals, right? You'll see the motivated form. You will not see it. I will not be showing you the unmotivated formulas.
for you much of the time when it's difficult for you to understand a proof or a theorem or a concept, is it most of the time because it was unmotivated? Well, the intuition is not explained often. So in textbooks,
Often the intuition is not explained. Now, some intuition is just getting used to the concepts. So sometimes intuition is not just playing around until you're used to it. You know,
You've just landed in a foreign city. You've just landed in Athens. Your hotel is two kilometers from the Acropolis. You got there at night, you wake up in the morning, you want to go to the Acropolis. You punch Acropolis into Google Maps and Google Maps tells you
You know, go left, go right, go straight, go left, go right, and here's the Acropolis, okay? You follow the instructions. You didn't learn Athens. You've learned the way to the Acropolis. To learn Athens, in the afternoon after the Acropolis, you have to wander around
And then you have to continue wandering around for the next two weeks. And then maybe you're starting to have a grasp of what Athens is. So there is something similar in mathematics, or in science, or in fact in every field of learning. But in mathematics, you don't
Learn. I mean, if you learn a proof of something, if you've if you learn the proof of the most interesting result result in a 13 field, you haven't learned the field. OK, you've just learned and especially if you if you follow the directions by by somebody else. OK. The learning happens if you wander around later.
And in a way, you have to do it on your own, right? This wandering around. So wandering around in mathematics means you experiment, you change the conditions, you ask yourself, what if you remove, what if you add conditions, what happens if you look at analogous situations? But these things, well, sorry.
Like part of tourism you do with a tour guide and a part you have to do on your own. So some part of being systematic, if you wish, is doing this on my own thing in a systematic way.
Okay, this realization that I can't just jump into a topic by following somebody's guidance. I must sit down and think and ask myself many, many, many, many more questions and go on side tracks until eventually I'm comfortable. Now in this example,
Let me see if I'm understanding it correctly. Let's say Athens is the city, and then you have the Acropolis, which is a landmark. So that's almost like a landmark theorem, and then the directions are the proof and the steps to get there.
I mean, there has to be a bit of both.
Basically, you know, if you land in Athens and start wandering randomly, you end up you may end up wandering randomly in a completely uninteresting direction. Plus, there is a fear factor. And, you know, you may fear the bad neighborhoods. Interesting. But but but but there actually is an analogy, an analogy in mathematics, or it
No, it's not. I mean, you fear doing certain things and the guidance can help you overcome the fear. But maybe fear is not the right way. I mean, think that you have to explore Athens when it's dark. Okay, so you simply don't know which way to go. You just land. You know, I tell you, think about vector spaces. You have no idea what good questions to ask are. What are the good questions to ask? And
So you need guidance or else you will be stuck in one neighborhood and never realize that there is more than that. But you know, after the guidance took you from here to there, you have to go back and explore and explore more and explore more and until it's a solid and not just a single path.
So you have to do your own Feynman path and to grow over the space of mathematical ideas? There is a bit of that, yes. What's your greatest strength as a mathematician or some of your strengths? Who says I have strengths? What's your greatest weakness? I'm a lazy bum.
Are you being modest when you say that? Because I imagine someone who has an accelerated degree, two-year degree that should ordinarily take four years, it's not as if you spend the majority of your time playing video games and being unindustrious. Oh, you'll be surprised. I mean, of course, I didn't play video games. I was back in the 80s. You know, video games came later.
But I definitely killed a lot of time. So who are you comparing yourself to when you say that you're slothful? Gee, I compare myself to who I want to be. Anyway, what are my strengths?
I think I'm decently good at explaining things to others. Often that involves thinking about them. I mean, explaining is not just reproducing what you've heard somewhere else. I mean, it's first of all being creative about these things.
But, you know, ask the students, ask the people who listen to me in lectures when I give research lectures. It's very hard to, you know,
There's a famous story about Einstein that somebody complained to Einstein about his problems with math and the reference was to high school math. I never got high school math and Einstein said, let me assure you that my math problems are way bigger. Meaning what? What did he mean by that?
Einstein spent all his life struggling with mathematics, not just high school time. In a similar way, it might sound like I made some analogy which I'm not making. I understand, trust me. But still, I like to implement
I like to compute things, implement them on the computer, which means that I spend a lot of time programming the concepts I work on, turning them into running programs. You could say it's my strength, but when I look at it, all I see is that I'm struggling and struggling and struggling and failing and here and there there is a minor success.
which gets superseded a little bit later by somebody else. So, yeah, maybe one of my strength is the ability to implement things, to turn, to actually, you know, turn mathematical concepts into running programs. But it's also one of the things that keeps me depressed so much of my time.
Some people who are watching this, they may be discouraged because they weren't particularly great at high school mathematics, or some people may have struggled during their undergrad. What advice do you have for those people? If they want to continue to learn mathematics or physics at a graduate, perhaps even larger than graduate, PhD level, do they just continue plugging away and not feel discouraged because they feel like an imbecile on a daily basis?
What advice do you have for them? There is chug along and there is realize when it's not working. And I hate to tell you that I don't know. I mean, I can't give you a clear recipe to decide which one it is. Different people are different. Some people struggled and struggle and struggle until
They succeed. Sometimes some people don't or they struggle and struggle and struggle and don't succeed. You get feedback. I mean, some people depend on daily feedback. Some people can live with a feedback with a bit of feedback once a year.
I'm not sure I have a clear answer. What did you learn from Ed Witten with respect to mathematical techniques or meta-mathematical, so how you should think about math or physics? Well, I learned specific mathematics from him.
Right. So, you know, I learned like many other people, I learned this formula from him. Right. And how to read it and how to use it, interpret it, work with it. Right. Do things with it. But I learned many other specific things with him, from him. I learned from him. He's actually, I mean, like,
People think of him as a great researcher, but he's also a great expositor. So when you come to his lectures, he is able to make even very complicated things appear simple.
The problem is that often you will not see that because he's turning the hyper complicated into merely complicated. So you don't automatically realize what a great exposition work he had done. And I think I learned, well, I don't know if I learned that from him,
But I strive to learn that from him. And then in other ways, there are senses in which I didn't learn anything from him. Namely, he is so much more talented. There's just no other way of saying it. The guy is smart. The guy is extremely productive.
If you try to imitate his brilliance, you'll fail. At least I failed. If you try to imitate his productivity, you'll just be disappointed. So in some ways, I haven't learned. There are certain things I haven't learned from him and I just simply couldn't.
Do you mind describing your relationship with Eric Weinstein? When I was speaking to Eric, he said that you acted as a de facto supervisor to him, because Raoul Bott wasn't particularly, although it was officially his supervisor, he didn't act as the supervisor for whatever reason. It was a strange relationship. I don't understand it.
I'm curious, what do you think he means when he says that you acted as the supervisor? You gave him advice? I don't think it's correct. It's more like a coach. Eric was very unbalanced.
And he still is unbalanced, and I don't mean emotionally unbalanced. I mean, he has great talents in certain directions and fear of others. And there are certain things that one has to do, certain type of computations, certain type of writing,
Basically, he has fear of turning his theories to concrete. And that's part of the reason why he had difficulty with Raoul Bott and basically with the normal system in Harvard.
My role was to help him pick something concrete out of his big theories and push it enough so that it became a thesis.
Yeah, I also helped him with some computations, you know, I, you know, at the end of the day, there was some like, so, so he's, you know, big theories lead to something very concrete and specific, which was a tiny part of the big theories, but we extracted that tiny part and made it more concrete. And at the end, it became a question, you know, some big matrix 500 by 500 or whatever it was,
Is it positive definite or not? And I helped him decide that. And that was decided by a computer? Like you ended up programming it? That one was decided by computer. But that's the kind of thing he would have never done on his own because
He has this fear of, in a way, it's a fear of testing your theories because they might fail. But in another way, it's just inability. He never learned how to do it. He never got good at turning the very abstract into concrete. Yes, so that was my role.
Have you read his recent Geometric Unity papers or heard about Geometric Unity at all? I've heard a tiny bit about it. I have not read it. I'm not in the position to comment. You talked about it's difficult to make a concrete or take something concrete from a theory, at least in his case. Do you mind giving an example of his strengths or an example of a brilliance of his that you saw?
He intimately knows the small groups and their representations and how they interact with each other.
The small groups like the classical groups or what do you mean when you say the small group? Okay, what I mean by the small is so, you know, there are several families of so-called symmetry groups. Okay, so there are S U N and S O N and S P N
And then there are a few sporadic ones. There is G2 and F4 and E6 and E7 and E8, and it doesn't go beyond eight. And all of these, so these are abstract things. These are groups. They have so-called representation theory. So,
Each one of them can be represent can be written as a group of matrices can be realized within the world of matrices, but in many ways. So Eric intimately knows hear that sound.
That's the sweet sound of success with Shopify. Shopify is the all-encompassing commerce platform that's with you from the first flicker of an idea to the moment you realize you're running a global enterprise. Whether it's handcrafted jewelry or high-tech gadgets, Shopify supports you at every point of sale, both online and in person. They streamline the process with the internet's best converting checkout, making it 36% more effective than other leading platforms.
There's also something called Shopify Magic, your AI powered assistant that's like an all-star team member working tirelessly behind the scenes. What I find fascinating about Shopify is how it scales with your ambition. No matter how big you want to grow, Shopify gives you everything you need to take control and take your business to the next level.
Join the ranks of businesses in 175 countries that have made Shopify the backbone of their commerce. Shopify, by the way, powers 10% of all e-commerce in the United States, including huge names like Allbirds, Rothy's, and Brooklynin. If you ever need help, their award-winning support is like having a mentor that's just a click away. Now, are you ready to start your own success story? Sign up for a $1 per month trial period at Shopify.com
These groups and the representations and how they sit inside each other for small values of n and well for all of those sporadic ones which are all small.
And there are symmetries and there are so-called outer symmetries. I mean, he knows all about these things. Now, this is relevant to physics because, you know, electroweak theory is somehow about SU2 and the grand unified theory. So strong and electroweak is somehow about SU3.
Or so. No, no, no, no, no, no. I have it wrong. Sorry. Electromagnetism is well, electromagnetism is you one. And then, you know, I actually have not thought about these things for many, many years. So I could be saying things wrong. But yeah, but his strength is that he knows these things really, really, really well.
or one of his strengths is that he knows these things really, really, really well. Earlier when we were talking about particle physics, well, knot theory, you mentioned that for every knot there's a corresponding physics story of particles dancing and so on. Is the opposite true? So does the arrow go in the other direction as well? For every particle interaction, is there a corresponding knot? For every particle interaction of a specific type,
If this can be easily explained, why is it not simple to just extend the three dimensions to four dimensions and
So the answer is, first of all, certain things do extend. So, you know, if not theory is to some extent about dance,
the dancing of points in two-dimensional space. So, you know, here is a very rough kind of correspondence, okay? So, node theory or ordinary nodes is roughly about one
dimensional things or curves or whatever in three dimensional space. And as I mentioned before, it can be interpreted as points dancing in two dimensional place space. So points are zero dimensional. So
So you can interpret knot theory as zero dimensional things, right? The single point is a zero dimensional thing. So it's zero dimensional things dancing in a two dimensional space. Now you can lift this one dimension up.
So you can say, let's, instead of zero dimensional things dancing in R2, you can think of one dimensional things dancing in R4.
and one dimensional things dancing in R4 somehow correspond by the same correspondence looking at the sections as they somehow corresponds to two dimensional notes or two dimensional things are noted in R4.
Now, you can ask, now, what exactly are one-dimensional things dancing? Sorry, not R4. I wanted to add one. This is in R2. Adding one, you get R3. Sorry. So, one-dimensional thing dancing in R3. Now, you can ask yourself, what are one-dimensional things dancing in R3? And fortunately, I'm ready for that. So, here are, here is a one-dimensional thing. And here is another one.
And right, this is a loop. It's a one dimensional thing. That's another one. It's a loop. It's a one dimensional thing. And they can dance around. They can fly in R3 and they can fly in interesting ways that don't exist one dimension less, namely they can fly through each other. Okay. So yes, there is a theory of one dimensional things dancing in R3.
and it corresponds to a theory of two dimensional spaces noted inside four dimensional space. So to some extent, the answer to your question is yes, there is higher, there are higher dimensional analogs of knot theory. It turns out that some features are different. It turns out that in some ways,
and they're actually qualitatively sort of the theory of notes in one day. So, you know, unlike vector spaces, so vector spaces, you kind of, once you learn R3, R4, you've learned R to the 50. Okay. But here there are qualitative differences. So,
Uh, so some things from the study here translate to things here and vice versa, but not everything. So myself, I've spent most of my time actually on these two. Okay. Uh, but then there is higher, there is even higher stuff. Um, by the way, so, you know,
Linear algebra, when you take a first class in linear algebra and maybe also a second class in linear algebra, you get this impression that everything is the same in all dimensions. But that's not true. Even in linear algebra? Even in linear algebra.
Well, not quite linear algebra, but in algebra. Okay. So, you know, there is something called the real numbers and then you can add i, add i, and you get the complex numbers. And then you can say, let's add j and k as well. And you get,
the so-called quaternions, but the quaternions are different than the complex numbers in that this is a commutative ring and this is a non-commutative ring. And then you can add, gee, I forgot what's the standard name for what you add. So, I don't know, add n.
n stands for nameless because I forgot the name and you get octaneons and the octaneons are no longer even associative so it's still sort of a ring namely it has a multiplication but it's not even associative and then the process ends there is just nothing beyond that you can't continue so even in linear algebra
So that's not quite, well, I don't know, even in basic algebra. Not all dimensions are the same. One is not the same as two, is not the same as four, is not the same as eight, and not the same as 16 where things no longer exist. So it's just not true that things are independent of the dimension.
It's only, they're only independent of the dimension in the first two years of undergrad. Now, in this example, we're going to different spaces by adding one or by adding whatever extra variables there are there. In the previous example, we're extending r4 to r5 or rn to n plus m. So we're in the same space.
In a sense, except adding an extra dimension. So what's an example that holds for R3? Or actually, sorry, let's make this even simpler. What's an example that holds for R2, but doesn't hold for R3? Or you can say R3 to R4. What's an example of a quantity that drastically changes as soon as you go to R4 and becomes extremely complicated, but in R3 it's trivial? The motion of points
is fundamentally different in two dimensions versus in three dimensions. So let me explain. So, right, suppose you have two points A and B in two dimensions and you want them to trade places by moving. Okay, there are two basic ways they can do it. They can trade place by
B going above A or they can trade places in sort of the opposite way by A going above B. So A will go to here and B will go, sorry, A will go, A will go take the upper route and B take the lower route. These two ways are somehow fundamentally distinct
And, you know, to use technical language, you cannot homotope this way to that way. They're not homotopic. You cannot continuously deform this way of moving to that way of moving. But in R3, that's not true anymore. So in R3, points can trade places in only one way.
So let me find two points for you. So I suppose they're not points, but they're close to points. So here is red and blue. So in R3, they can trade places going this way or they can trade places going that way. But
There are many other ways they can trade places. They can trade places by going that way or that way. And in a sense, all of these trading places ways are equivalent to each other because if you trade places, if the two points trade places,
They span a circle, right? So basically, let me use this, right? So, you know, they span a circle by, I wish I had a third hand, maybe I would. Sure, sure, sure, sure. Okay, they go like that. Okay, that spans a circle. And the other way of spanning a circle is by going the other way around the same, around the same, sorry, circle.
But now I can flip that circle over and that homotops that deforms one way of trading places to the other way of trading places. So in R3, so in R2, there are two distinct, sorry, this, yeah, can't spell, there are two distinct
ways of trading places. And in fact, two are easy. There are actually a little bit more, but anyway in R3, so if you're talking about three dimensional space and you have two points in the three dimensional space, there is only one way
or one or all the way or let, no, let me say different. Let me say differently. All ways of trading places, all ways of trading places are equivalent. And again, the basic, the basic point is that a way of trading places is a circle, right? We're right. One point goes along one arc and the other point goes about again,
over the other arc and you can switch from one place of trading place, one way of trading places to the other by flipping the circle. You can't do it if you're only in the plane. Since trading places is actually fundamental, it makes, by the way, it's also fundamental in physics.
So, you know, you might have heard of bosons and fermions and how they behave with respect to trading places and then there are anions that behave yet differently with respect to trading places. So basically trading places or how things behave under trading places is a fundamental thing and it's different. It's different in two dimensions than in three.
Likewise, there are things that are different between three dimensions and four. And so it's actually this kind of myth, or not myth, but this thing that you learn in first and second year that Rn is the same Rn no matter what n is, is not actually true. Have you heard of the hard problem of consciousness? I have not heard it in this language. No, no, no, it has nothing to do with
What's written on the board? Or maybe it does, but not as far as I see. This is sort of a clear philosophical problem, right? But with the added prefix, and it's clearly hard, but as a phrase, the hard problem of consciousness, I don't know what you're talking about. There's only one consciousness that I need to explain, and it's my own. Right? From my perspective, you're not conscious.
Right? You just react to things that I do. You know, if I tell you, you're stupid, you get angry at me. If I give you a compliment, you get happy. But these are all, I don't see consciousness here. Okay? So there's only one consciousness that I have to explain and only one person that I have to explain it to and it's myself.
What keeps you up at night?
Different things on different days. Whether she loves me or not. Whether I can complete the computer program I'm writing or not, or why is it not written? My classes for tomorrow, the theorem I don't know how to, I have no clue how to prove. The state of the world, COVID, I don't know, different things at different times.
Is there a through line? So let's say one that you've been thinking about for 15 years or more. Hi, I'm here to pick up my son Milo. There's no Milo here. Who picked up my son from school? Streaming only on Peacock. I'm gonna need the name of everyone that could have a connection. You don't understand. It was just the five of us.
So this was all planned? What are you gonna do? I will do whatever it takes to get my son back. I honestly didn't see this coming. These nice people killing each other. All Her Fault, a new series streaming now only on Peacock.
You know, I'm politically aware and always been, have always been. So, you know, how to make the world a better place. But of course, that's a subjective thing. What is better to me may or may not be the same as what is better to you. So in a way, when I'm saying
How to make the world a better place. It's more like how to make the world more like how I would like it to be. Yeah, so I think about it a lot and mostly my conclusion is that there's nothing I can do or there is much I can do. My powers are limited.
What direction would you like math research to head? I think I mentioned that I like computation. And I actually. So, I mean, it's not the only thing of value in mathematics.
There are things in mathematics with great philosophical value, regardless of whether they are computable or not. But those parts of mathematics that can be computed are often not. And often people
just don't care about computations. They pretend that, well, they think of computation as something as a technical thing to live for the graduate students. And I see it as a much more integral part of the work. So if I were to change, I would
I would make computation a bigger part. Computation in the sense of implementation of the computer, not in the sense of writing by hand. I would make it a much bigger part and I would, and that happens at many levels. So when you teach a class in linear algebra, you teach about how to compute the determinant
Well, along with it, there should be a computer program to compute the determinant and there should be a realization that there are maybe two formulas for the determinant and one of them is way better than the other if you try to implement it. So I would
emphasize computation much more. Yeah, maybe that would be the main change. Do you have a philosophy of math? So for example, there's Platonism and formalism. If anything, I would be an ultra-finatist. But it's much more graded than that. So, you know, there is a hierarchy
of complexities of things or sizes of things in mathematics. So, you know, people in set theory and logic and, you know, talk about large cardinal axioms and then there are parts of mathematics that have to do with
uncountable or bigger than uncountable. And then there are infinite parts. And then there are just infinite without being uncountable, right? Just countable, say. And then there are parts of mathematics that are finite but huge. So, you know, Ramsey theory, you have, you know,
You prove that if a graph is large enough, then it has properties, certain properties, but large enough means really, really, really, really, really, really, really, really huge, bigger than the number of atoms in the universe. And then there are, you know, parts of mathematics that happens where
The numbers are between 10 to the six and 10 to the 12. I don't know what a computer can do in a fraction of a second to what a computer can do in an hour. Okay. And, you know, maybe you can go a little bit beyond to 10 to the 16. I don't know. 10 to the 15. I don't know. Okay. So there is this whole grading and to me,
The bigger things are, the less important they are. And because they're farther away from our everyday experience. So they may have philosophical value and some of them do. So I don't want to completely say anything about large cardinals is not interesting.
or anything about infinity is not interesting. But the bar is higher. For something that genuinely uses infinity to be interesting, the bar is higher than if the thing is in the range of sizes that we can actually hold in our hands. So that's what I mean by an ultrafinitist. I mean,
sort of the, or so this is a form, so an ultra-finitist would say, the only numbers that exist are the numbers I could count to. And maybe by extension that my computer could count to. So maybe my computer can count up to this number, but 10 to the 100 does not exist in some sense because my computer will never be able to count there. Okay. We'll never be able to get there.
So I'm not extreme. I would say sometimes there is value to this one, too. And sometimes there is even value to infinity. And sometimes there is even value to the bigger form of infinity. But the bar has to be higher. The philosophical value bar has to be higher, the bigger the size is.
These things are always interesting. These things are interesting only on special circumstances. Now, I'm not sure, do you classify yourself as a pure mathematician? Definitely. Okay, so for a pure mathematician who seemingly doesn't care about reality, it's supposed to be... Again, the more valuable math is the math that I can turn into a computer program.
It's still pure math in the sense that I'm not looking for an immediate or a specific application. But both from the application perspective and from the pedagogical perspective, I still prefer the math that can be implemented because the math that can be implemented, even if I'm not looking for an immediate application,
is the math that has a higher chance of being applied, because in the application you'll end up computing. And also from the teaching perspective, from the pedagogical perspective, there is more value to the education you give
If it comes with implementation because you want your students to be able to implement the things that they learn. Yes, sorry, what were you asking? Oh, I was saying you ultimately care about the practical aspect of math, even though you're operating in pure mathematics. Ultimately, yes, though possibly very indirectly. So maybe the way the math I'm doing
Or maybe the way I care is in that the pure math I'm doing enables me to teach graduate students who will then become college instructors and their students will be able to actually implement the mathematics they're learning. So, I mean, it doesn't have to be immediate and direct.
But yes, I do care about how at the end it gets applied, or how at the end it becomes applicable. Great, now we just have some audience questions I asked people beforehand. What are some questions you have for Professor Jor Barnettin? So the scientific mystical philosopher, that's the username, he wants to know, he or she wants to know, why the unreasonable effectiveness of mathematics?
Sorry. Why is mathematics unreasonably effective? I don't know. Ask God. She may or may not be able to give you an answer. Yeah, it's weird. We live in a predictable universe.
Roman Gekwad wants to know have you ever had your IQ scored and if not what do you believe it is?
and also IQ scores are very limited in many ways. There is a fun story, I've never verified it, but I heard it, that
When the people who introduced IQ tests first introduced them, they ran them on test subjects and the women, the females got higher scores than the men. That was back in the 50s or I don't know exactly when, but that was a long time ago. They figured, hey, that's impossible.
and then they tweaked the tests a bit, they changed the nature of the questions, they asked them differently until they finally were able to make men equal or maybe better, I don't know, than women. And again, this is true to a certain system of education in a certain time, right?
Men and women did not receive the same education. It would have been easy to distinguish because they came as their backgrounds were different. So you could arrange such things. Okay.
That's about the value of IQ scores. To some extent, they measured something. To some extent, they were cooked to measure whatever people wanted them to measure. Not much to learn from these measurements. Tori Koh has
A question. What do you think of biology slash psychology slash philosophy? I think they're fun. I think they're foundational to understanding myself and therefore my experience of the universe. Do you think you would gain much of an understanding of an exploration from those fields to mathematics? Again, biology, biology, psychology and philosophy.
They're all interesting fields. I'm not sure what more to say, you know? Do you think there are insights there that if you were to read a biology book, a psychology book, perhaps a philosophy book, do you think there are insights to be gleaned from there that you can then apply to mathematics? There are connections here and there.
Much of mathematics is independent of that. So, obviously, biology motivates parts of mathematics. So parts of mathematics, you know, are about modeling biological systems.
When we compute the Fibonacci numbers, we give examples of the reproduction rules of rabbits. Okay. And then there is much more like that. And then likewise for psychology. But and likewise, and of course, philosophy. So, you know, there are
Beats of mathematics of great philosophical value. So, you know, Gedell's theorem says that there will always be things we do not, we will not know. Okay. Or differently, I know there is no algorithm to decide to find the proofs of theorems. These things have philosophical value. Okay.
For most mathematicians, it's not a day-to-day working relationship. My own mathematics benefits very little, if any, from contact with biology, philosophy and psychology.
Okay, Phil Thomas wants to know what led him, what led you, professor, to the field of mathematics, and is your field something you think virtually anyone can learn? What led me there? You know, it's a question about my life story, right? So what led me there is essentially, is...
A sequence of coincidences and misunderstandings, I don't know, a number of things. So to some extent I was good at that and that pushed me to do more of it. And that's a very common answer for very many things, right? People tend to do what they're good at.
Misunderstandings, you said misunderstandings as well. Yes, to some extent, I misunderstood math. So, you know, there was a time that I really liked computers and electronics. And I, at some point, realized that there was a lot of kind of hard work in it. So,
Writing a computer program is very hard. You have to write hundreds of lines of code and then debug them and whatever. And similarly for electronics, right? You have to place those transistors on the board and solder them together and you always get it wrong. And, you know, there is a lot of hard work where mathematics is so much easier. All you have to do is to prove theorems.
That was a complete misunderstanding. I mean, I thought it was like much purer. At the time, I didn't realize how much hard work is involved. So in some sense, I got to mathematics by misunderstanding, by being lazy and not realizing that I'm getting trapped into a place where laziness is not always enough.
And also at the end, I ended up liking those parts that I first thought I was going away from, namely computation. So I ended up, I mean, computation to me was like a childhood thing and a later acquired taste. There was a period in between when I thought I was pure, I would never compute anything.
Right, what else? Did I answer or did I miss? There was a second part to the question. Do you believe that your field, either the field of mathematics or your subfield, the one that you're working in currently, do you feel that your field is something that virtually anyone can learn? No. So some
some amount of mathematics everybody can learn and everybody should learn and maybe it's more than what is taught in in our current educational system, education system, okay? But
You know, I will never catch up with Ed Witten. Okay. The amount of stuff that he knows, the depth of stuff, the depth by which he knows things, I'll never get there. It's not, I'm not talented enough to get there.
It might be that in my 30 years in the subject, I've learned things that most people also wouldn't be able to catch up with. So, you know, there is the Moshizuki proof of the ABC conjecture disputed.
Okay, Moshizuki claims it's a proof, other people think it isn't. I will never be in the position to understand that. I mean, possibly if I started early enough, I'm not even sure. I happen to know Moshizuki. I remember him when he was young. We were friends when we went to graduate school together. So I
So I remember him when he was young. He was smarter and faster than me. It's conceivable that after 20 years he's gone so far that I will never be able to catch up. It's equally possible that there are people who would never be able to catch up with me. This said... Hear that sound?
That's the sweet sound of success with Shopify. Shopify is the all-encompassing commerce platform that's with you from the first flicker of an idea to the moment you realize you're running a global enterprise. Whether it's handcrafted jewelry or high-tech gadgets, Shopify supports you at every point of sale, both online and in person. They streamline the process with the internet's best converting checkout, making it 36% more effective than other leading platforms.
There's also something called Shopify Magic, your AI powered assistant that's like an all-star team member working tirelessly behind the scenes. What I find fascinating about Shopify is how it scales with your ambition. No matter how big you want to grow, Shopify gives you everything you need to take control and take your business to the next level.
Join the ranks of businesses in 175 countries that have made Shopify the backbone of their commerce. Shopify, by the way, powers 10% of all e-commerce in the United States, including huge names like Allbirds, Rothy's, and Brooklynin. If you ever need help, their award-winning support is like having a mentor that's just a click away. Now, are you ready to start your own success story? Sign up for a $1 per month trial period at Shopify.com
Some amount of mathematics is useful to everybody. We're now in the midst of a pandemic.
Understanding what's the exponential function is something that is basic knowledge, is something that every human should have because it actually dictates, it tells us something about how to behave at this time. Likewise, making various probabilistic estimates
You know, if the chance of such and such type of side effects is one in a million, what does it mean? What does one in a million means in practical terms for me? Should I fear it or is it so remote that I can ignore it? So basic numeracy is
An absolute necessary ingredient and for everyone and can be reached by everyone. When you mentioned that you'll never be able to catch up to Witten and perhaps some people won't be able to catch up to you and so on. What is that a function of biology? You mentioned the word talent. So is it is that just innate? Is is what's innate called intelligence? Is that associated with IQ? Like what are you referring to when you say you won't be able to catch up?
It's a number of things. You can call it talent. You can call it IQ if you wish, but of course there is no numerical measurement and it's a much, much more complicated thing. So, you know, so much of how far you can get in mathematics
Okay.
So talent is also circumstance and luck and in some sense being narrow minded.
Somehow being narrow-minded helps in certain ways. Speaking of Eric Weinstein, you mentioned him. Okay, so he was very unbalanced. He had great talent for certain kind of things and great fear of others. And maybe he would have been a much more famous mathematician, physicist now,
If it wasn't for these coincidences. So I don't know. I mean, you could call it innate. You could call it learned. You can call it many things, but it's a very complicated combination of things.
Tyler Goldstein has a question. Do you think we need to make new research institutions that aren't linked to academia? And I imagine what he's referring to is something that Weinstein has brought up and Wolfram as well. They're not huge fans of the peer review process, or at least they're not huge fans of only thinking that work is worth it if it's gone through the peer review process. And while that's associated with academia,
I'm curious if you have any thoughts as to that. Well, there are things outside of academia. It's not arguably most research is done outside of academia. I mean, you know, there are a lot of a lot of research is done inside companies inside
Well, a lot of research is done outside of the peer review process. But overall, I think the system is reasonable. Sorry, overall you think the system is... Well, I think the system is reasonable. So, you know, you can say bad things as much as you want about peer review,
But it's better than the alternatives. It's better than having no review. You can say maybe mathematical should be more hierarchical. Okay, there should be big bosses who determine which theorems we should be proving and then they should
have their smaller bosses who would be responsible to specific theorems. And they would be the big bosses of other people who would be proving dilemmas. You could say something like that. It sounds like it sounds ridiculous. It would work just as ridiculously as it sounds. Current system is, you know, given
given the limitations of humans is reasonably good. I believe there are some arguments to say that what you just outlined is somewhat like it happens given grant agencies they have some field that they
So,
Yes, of course there is bias generated by the granting agencies, by the powerful people, be them the granting agencies or the editorial boards of journals. So, you know, if you have a result
that somebody on the editorial board of an excellent journal likes, you know, that's close to the field of somebody in the editorial board of an excellent journal, then your result is much more likely to get published in this excellent journal and then you're much more likely to get tenure and then
more work will be produced in that field and you'll advise students who will produce even more work on that field. Yes, it all exists. But it's not clear that you can think of a better alternative. And also there is still some amount of academic freedom.
So the granting agency decides once every five years what my funding will be. In those five years, some of my time I do what is necessary to get my next grant. But some of the time I also do things that I think are useful, that I think are useful. Likewise,
Some of my career is determined by which journal I publish in, but some is determined by other factors, by the results that aren't published, by the lectures that I give in conferences in China. It's much more multidimensional than just having a boss, and the boss is the granting agency.
Even the fact that the editorial boards are different than the review boards of the granting agencies allows, makes some variety. And again, what is the alternative? So, you know, one stupid alternative would be to say, to allow anyone to say, I am a mathematician. Here is my proof that pi is rational.
Here is my proof of the Goldbach conjecture. Who's arguing with me? I'm saying it's a proof. My word is as strong as yours. It's much better not to lose control completely.
You just used the word mathematician and I'm curious, what do you see as a mathematician? Is it someone who's a professor of math? Is it someone who gets their master's or PhD? Do you have to frequently publish research in order for you to call yourself a mathematician? Like what gives, obviously it's a nebulous term, but it's not extremely amorphous. It's defined. So what do you define it as? It's hard to say.
You know, many definitions don't have sharp boundaries. In fact, only in mathematics, there are sharp boundaries between things like either the series is convergent or it is not convergent, but only and there is a very, very specific criteria to decide
Only in mathematics, there are sharp boundaries. And now you're asking a metamathematical question. You're asking a question about mathematics, not a question in mathematics. So there aren't sharp boundaries. So basically all of the above, you know, if you teach mathematics, if you think a lot about mathematics, if your way of thought is abstraction, proof,
You can always find the borderline things that will be hard to decide. Here's a reason why I'm asking because not everyone can call themselves a doctor. I know that some people they get their MD and then they're no longer practicing researchers. They no longer are connected with the field, but then they'll give health advice resting on the laurel that they have an MD and they'll say, well, this comes from a doctor.
And I'm sure the same occurs in mathematics, though, to a much lesser degree. Same with physics. Someone may say, well, I'm a physicist because I have a degree from a university in physics, but that doesn't necessarily make you a physicist. Doesn't mean that your physics work should be taken more seriously because you have that degree. If you're looking for a set of thumb rules,
to decide which experts are to be trusted and which should not be then experts in mathematics or experts in medicine. Well, the answer is these questions are complicated. So, you know, in medicine,
you probably have to look for the bigger name doctors, the more, you know, the more established the doctors, because the system actually does on average promote the better people, even if not always. Okay. And you should look for, was it said by most doctors or by
One doctor who hasn't practiced for a long time and the same is everywhere. Yes, there are people with a PhD in mathematics who shouldn't have gotten their PhD.
Yes, there are people, brilliant people who did brilliant PhDs in mathematics and 10 years later lost their mind and are speaking nonsense. I mean, there is no look at this certificate and if somebody has the certificate then they're trustworthy.
Ashley Ship wants to know, is there a connection between knot theory and protein folding? And is it possible to use, well, if so, is it possible to use the artificial intelligence research that has been done on protein folding to inform knot theory? There is a connection between protein folding and between DNA and stuff like that. In knot theory,
People, it's not very strong. Like in general, people like to say things about it, but the actual research, at least my own research, is very different from what you would end up doing with
in biology of DNAs or proteins. By the way, in some sense, DNA molecules are really really really really long strings, chromosomes,
are really, really, really, really, really long strings. Namely, they are of length billions or the ratio of their length to their width is billions. Okay, because they have billions amino acids along them, right? And so, you know, if you were to make it out of rope,
It would be very, very, very thin rope, which is very, very long. But yet this rope is compressed into a tiny, tiny, tiny, tiny regions. So they get knotted. And even your experience from a much smaller knot, so here's an electric cable,
If you have a little bit of an experience with letting loose of cables, not tying them nicely as I tied this, if you let it loose, it gets knotted and it's nearly impossible to untie. Chromosomes are much worse. They're much, much, much longer in relative terms.
And they get cramped into tiny, tiny, tiny spaces. So how come they don't get knotted? And if they do get knotted, how come during various parts of the life of a cell, so when cells split, they split, they somehow manage to untie themselves and disconnect.
So how is it happening? So there must be some huge brain inside every cell that can untangle notes which are much, much, much, much, much more complicated than the notes that you can untie or, you know, the notes that you take hours to untie sometimes. Okay. So there must be something there.
And there is something there. And there are enzymes that actually, you know, so when DNA molecules need to not to untangle, there are enzymes that allow one molecule to pass through the other. So basically you want to pass one string through another.
so that they will come to position. There are enzymes that cut this one temporarily. It gets cut, it passes to the other side and it gets reconnected. So in a sense, biology invented anti-node theory enzymes and they are necessary because of node theory.
Because if there were nots, you wouldn't be able to divide cells. So, biology invented some anti-knot theory enzymes that allow things to pass through each other, that nullify knot theory. So, in some sense, the most interesting knot theory that happens in biology is somehow anti-knot theory. That's a lovely story, but in practice, there isn't much.
Jack Disart wants to know is math a human construct that we have devised to better understand the universe or is math a set of universal unchanging principles? I'm a human. How would I know about, you know, how non-humans would see math or how, you know, I don't know. But this said, I mean, I don't want to answer the philosophical question, but I want to answer the
There is some practical things that comes out of it. Every bit of math. So, you know, pick up a math book here. Every bit of math in this book, and not just this, I mean, every bit of math in every book was created by a human. That's a good thing to remember. It means that there are no miracles.
It means that, you know, when you see a proof and you have no idea where could it come from, well, you have no idea, but somebody had this idea and you may be able to find it. So it's often extremely instructive
to try to reverse engineer somehow, not just understand the proof, but understand how humans with all their failures could have found them. So, so it's actually useful to know that math was entirely created by humans at the end.
Do you think we don't spend enough time in books talking about the missteps? So for example, here's how the person arrived at this proof, they originally thought of it like so, this didn't work. Or would that just bloat the book unnecessarily? It would probably bloat the book. But, but motivation should be there. And when I say motivate, okay, so
So some story should be told. Like when you present a proof, there should always be some plausible discovery story. How could this proof have been found? It doesn't have to be a historically accurate story, but there has to be some story explaining that this proof could have been found by humans.
It wasn't created by some supernatural entity. This question, cx770 asks, does he believe in the concept of God? No. Okay, this one's a tangential question. Bill McGonigal asks Ramanujan said that he learned from his goddess. Others suggest, well,
Ramanujan said that he learned from his goddess by meditating and praying, or came to him in dreams, some of his formulas, esoteric formulas. What does Professor Jor Barnett make of this? I can speak for Ramanujan. I tend to be a rationalist, atheist, no miracles.
If I think hard about something, I either solve it or don't, but there are no miracles in the business. Another question, this is my question, are there some relatively elementary concepts that you've recently had a new insight on? So for example, I don't know if you know my brother Sebastian, he's a professor at U of T as well, in math finance. He was telling me,
Kurt, you know, only recently, maybe last year, I thought I realized, oh, the triangle inequality is actually about a triangle, he would only just use the formula. Also recently, okay, the Jacobian determinant, the Jacobian is actually like, it's like a linear map of what is that point doing close, instead of just, okay, think of it as an abstraction of slopes and stuff. Yeah, so do you have an example?
Sorry, of what? Of things that I've only recently understood? No, no, no. Of something you have understood, you've used before, but then maybe you've come to a different understanding of it and you say, oh, that's an interesting way of thinking about it. I didn't see that before. It happens all the time. Well, I wish it would have happened all the time. When it happens, it's a great day. Not all days are a great day, but there is the occasional great day. You know, every time you learn something has
higher meaning. It's more meaning than you thought. It's great news. It happens all the time in the life, in the professional life of a scientist, though not every day. Okay. Well,
I'll give you an example which somehow, which I think also partially involves you. So a few years ago I was asked to give a 10 minutes talk or something to a, I don't even remember what was the event, but you were there. Oh, you remember that? Mentorship event or something like that. I don't remember. That's right.
And I thought, what would I talk about? And I, well, okay, the truth is that I have some list of ready-made topics that I can talk about. You know, if you ask me to talk in front of high school students, I sort of have a number of topics that are ready. Okay. But nothing really fit. And also sometimes I get bored of myself. So I have to occasionally add something.
So I said, okay, why don't I talk about the prisoner's dilemma? And so I mentioned the prisoner's dilemma in five minutes or so, and it's a very light math, right? It's hardly math. It's so light that it's hardly math. But then I realized that it has a profound, I guess the economists have always understood that.
They always thought it was important, but I realized it only relatively recently. So that was, what is it? Three, four years ago. Uh, I only then understood how profoundly important it is. So, you know, the prisoner's dilemma is some numerical example where, uh,
You have two sides, two people, A and B, and they can choose whether to cooperate or betray. Each one chooses independently whether to cooperate with the other or betray the other. And if you look at the numbers, each one, no matter what the other does, would prefer to betray.
and as a result, both of them would betray and the overall outcome is worse to both of them. Again, I'm not describing the whole thing. I'm not telling the numbers. I'm just saying there is this situation where if each one acts selfishly, it's worth for it's worse for both. And,
Well, it has huge philosophical implications. You know, there is a whole a whole political class that believes that people should be acting selfishly because if each one act selfishly, it's actually for the best of the for better for everyone. That's somehow the foundation of the belief in free markets.
So yes, I am actually still a great believer in free markets. I actually still greatly believe that free markets are a good thing, but there is a little asterisk. Sorry, that's not duality. That's an asterisk. So there is a little asterisk and the asterisk says,
Provided somebody arranges so that free markets, when each one acts selfishly, you will not be led into prisoner's dilemmas. You will stay out and your selfish acts will actually benefit the overall good. So, I mean, this asterisk here is the prisoner's dilemma.
Yes, yes, yes, I get it. Anyway, and you think it's a small asterisk, but the more you think about it, you realize it's actually a huge asterisk. It completely changes the picture. And it's much, much, much more common. You think of it as an esoteric example, but then you realize that it's everywhere. So it's actually a very, very big asterisk. And
I think I realized it relatively recently. I'm honored that you remember that. I didn't think that. I'm honored to even be a footnote in your memory. Oh, don't be silly. Okay. What have you applied? So this question comes from a Harin Navis, Harin Navis, Harinivis, sorry, Harinivis P asks, has drawer applied the principles of mathematics to some other domain of his life?
Let's give an example, a non-trivial example. Well, okay, I mean, I can give two answers, okay? One answer is, well, I don't know if it's the principles of mathematics, but you know, people once, there was a claim going on and it's been going around, and in fact, it's still going around.
that the Bible contains predictions in code. So if you read the Bible with letter skips, if you read every 10th letter, you will occasionally find a word. That's not surprising. But the claim was that these words were, that it actually happens
more than statistics would predict and that these words have messages in them. And there was a group of people in Jerusalem that published a paper and in fact it passed peer review. So they published a paper in which they supposedly proved this fact.
They did careful statistical analysis, again, careful in quotes, and showed that the effect was real. And therefore, the Bible must have been written by God because no human could have put this information into the Bible. It's information that did not even exist at the time that the Bible was written.
And therefore, God wrote the Bible. Furthermore, it's the Hebrew Bible. So there is a God and that God loves Hebrew more than she loves Japanese. I understand, yeah. You know, this would be the greatest discovery. If it was true, it would have been the greatest discovery in the history of science. And I'm not kidding, right? I mean, there's no longer an argument between atheism and theism.
Pays and wins. My role was to debunk this. Is this real life or not? I don't know. Me and a group of people read critically these assertions that were good enough that they passed peer review in a respectable journal. And we found gaps. And the gaps were good enough that the same peer reviewed journal accepted our paper too.
Okay, so, you know, in some sense, my role was negative, right? What could have been the greatest discovery in the history of science, a proof that there is God and it's the Hebrew God was debunked. Maybe it's a negative discovery, but well, I mean, maybe my effect, well, my part was negative. I've killed a great discovery, but that's also a valuable thing to do. I mean, to kill a
The other thing is, otherwise, mathematics plays an extremely limited role in my life, other than my professional life. If you cut out the eight hours a day that I work on mathematics, mathematics has no role in my life or hardly any role. So, I mean, you do. And in fact, also almost no role in your life.
Basically, you know, if you give change in restaurants, or in shops, sorry, you add 15% tip, that's about the math you need in real life. Multiplication you don't need, but if you're a carpenter, you probably need it.
Right, you need to tile, you know, if you're a trade person, you need to tile a certain room. The room is five by six. How many tiles do you need? So multiplication trade people need, but people like me don't need. Trigonometry, well, maybe architects need trigonometry. Some parts of engineering, and we get more and more esoteric,
need higher and higher mathematics. Without the very high mathematics, without general relativity, GPS satellites wouldn't work. So in some sense, we use mathematics every day. But we're not the engineers who design GPS satellites. GPS satellites were designed by a group of, a very small group of people somewhere in some, you know, design bureau.
And they use high level mathematics. So, but my real life high level mathematics is almost nothing except once, sorry, the Bible codes and another time. And I've given talks with this title. So, the title was The Hardest Mathematics
I've ever really. And if you Google this title, probably you'll be able to find a video of that talk and you'll find a one time where it was actually in my professional life, but in a meta way. So not my research, but something about how to present my research.
I ended up using very high level mathematics, hyperbolic geometry in fact. So one time it happened. Anyway, what was your next question? Why does it take 360 pages of abstruse symbols to prove that one plus one equals two? Occam's razor says we can cut this. We can just say one plus one equals two because every single last one of us believes it does.
So, what do you make of that? Why is it so complex to prove something simple like 1 plus 1 equals 2? Do we even need that? And this question comes from Roy Dobson. So, let me answer a different question.
You know, so one plus one equals two. So the reference is probably to work of Russell. Basically. If your axiom system is very, very, very basic. And and very, very
primitive in a way, very, very simple minded and you want your axiom system to be very, very, very basic, then it might be that even proving one plus one equal two would be difficult, but it will be a part of the buildup. And later you will be proving harder things and, but the truth is it's silly.
Okay. But let me give you another example. Okay. So, you know, there is the intermediate value theorem. The intermediate value theorem says that if you have a function, continuous function, so if F is continuous and it's negative here and positive here, then at some point it crosses zero. We teach it in week seven, maybe. I don't know.
of undergraduate calculus. Maybe it's just week five or maybe it's week nine. I don't remember. Okay. You can ask, this is so idiotic. Right. Why, why does it take five or seven weeks to prove the obvious that if you go continuously from here to here, you'll be crossing zero. And the answer is that
When you prove the intermediate value theorem, you are not actually proving the intermediate value theorem. You are actually testing your definition of continuity. You're testing your abstract setup. You're testing your abstract setup, your language. You're testing
You know, the machinery of for every epsilon there exists a delta such that blah, blah, blah. If you could not prove the intermediate value theorem, you'd be rejecting the abstract system, not the intermediate value theorem. You'd be rejecting this, not that. So the seven weeks were not about the intermediate value theorem. They were about
this for every epsilon there exists delta. And then you can ask what's for every epsilon there exists delta for? Why do we need this? Well, we don't need it to prove the intermediate value theorem. The intermediate value theorem was testing this. What do we need it for? And the answer is, well, there are later things like e to the x is equal to sum of x to the n divided by n factorial.
Which is this, by the way, looks innocent and people think they understand it, but it's actually a miracle. And this miracle depends on, well, it doesn't depend, but I mean, there may be other ways to reach there. But you will believe this miracle after you've understood this system. So the answer is in a way we didn't go from here to here.
To hear, but more like this was known, it validated this and then we could use it to do other things.
The podcast is now finished. If you'd like to support conversations like this, then do consider going to patreon.com slash c-u-r-t-j-a-i-m-u-n-g-a-l. That is Kurt Jaimungal. Its support from the patrons and from the sponsors that allow me to do this full time. Every dollar helps tremendously. Thank you.
▶ View Full JSON Data (Word-Level Timestamps)
{
"source": "transcribe.metaboat.io",
"workspace_id": "AXs1igz",
"job_seq": 11127,
"audio_duration_seconds": 10294.5,
"completed_at": "2025-12-01T02:17:36Z",
"segments": [
{
"end_time": 20.896,
"index": 0,
"start_time": 0.009,
"text": " The Economist covers math, physics, philosophy, and AI in a manner that shows how different countries perceive developments and how they impact markets. They recently published a piece on China's new neutrino detector. They cover extending life via mitochondrial transplants, creating an entirely new field of medicine. But it's also not just science they analyze."
},
{
"end_time": 36.067,
"index": 1,
"start_time": 20.896,
"text": " Culture, they analyze finance, economics, business, international affairs across every region. I'm particularly liking their new insider feature. It was just launched this month. It gives you, it gives me, a front row access to The Economist's internal editorial debates."
},
{
"end_time": 64.514,
"index": 2,
"start_time": 36.34,
"text": " Where senior editors argue through the news with world leaders and policy makers in twice weekly long format shows. Basically an extremely high quality podcast. Whether it's scientific innovation or shifting global politics, The Economist provides comprehensive coverage beyond headlines. As a toe listener, you get a special discount. Head over to economist.com slash TOE to subscribe. That's economist.com slash TOE for your discount."
},
{
"end_time": 94.718,
"index": 3,
"start_time": 66.152,
"text": " This is Martian Beast Mode Lynch. Prize pick is making sports season even more fun. On prize picks, whether you're a football fan, a basketball fan, you'll always feel good to be ranked. Right now, new users get $50 instantly in lineups when you play your first $5. The app is simple to use. Pick two or more players. Pick more or less on their stat projections. Anything from touchdown to threes. And if you're right, you can win big. Mix and match players from"
},
{
"end_time": 104.599,
"index": 4,
"start_time": 94.718,
"text": " any sport on PrizePix, America's number one daily fantasy sports app. PrizePix is available in 40 plus states including California, Texas,"
},
{
"end_time": 126.169,
"index": 5,
"start_time": 104.821,
"text": " Florida and Georgia. Most importantly, all the transactions on the app are fast, safe and secure. Download the PricePix app today and use code Spotify to get $50 in lineups after you play your first $5 lineup. That's code Spotify to get $50 in lineups after you play your first $5 lineup. PricePix. It's good to be right. Must be present in certain states. Visit PricePix.com for restrictions and details."
},
{
"end_time": 151.254,
"index": 6,
"start_time": 126.408,
"text": " Jor Barnatin is a professor of pure mathematics at the University of Toronto, previously specializing in knot theory and more recently specializing in finite type invariants and Kovanov homology. We touch on quantum field theory's connection to knot theory, how to learn mathematics in general, we also touch on Ed Whitten as Jor Barnatin's advisor for his PhD was Ed Whitten, and Jor gives some anecdotes about Eric Weinstein"
},
{
"end_time": 172.312,
"index": 7,
"start_time": 151.254,
"text": " Professor Barnatton taught a course in linear algebra that I took while I was at the University of Toronto, although I was a terrible student and I regret that I skipped the majority of his classes because he had an exceedingly intuitive approach. For example, there are vector space axioms"
},
{
"end_time": 190.776,
"index": 8,
"start_time": 172.312,
"text": " For those new to this channel, my name is Kurt Jaimungal."
},
{
"end_time": 216.391,
"index": 9,
"start_time": 190.776,
"text": " I'm a filmmaker with a background in math and physics dedicated to explicating what are called theories of everything from a mathematical physics perspective but also the possible connections consciousness has to the fundamental laws of nature provided these laws exist at all and are knowable to us. This particular podcast isn't one to be listened to or at least you can but you're going to be frustrated as what's being referred to are one-dimensional objects embedded in a three-dimensional space"
},
{
"end_time": 246.203,
"index": 10,
"start_time": 216.391,
"text": " There are a couple sponsors of today's podcast. The first is Algo, which is an end-to-end supply chain optimization software company, with software that helps business users optimize sales and operations, planning to avoid stockouts, reduce returns, and inventory write-downs,"
},
{
"end_time": 263.234,
"index": 11,
"start_time": 246.203,
"text": " while reducing inventory investment. It's a supply chain AI that drives smart ROI headed by a bright individual named Amjad Hussein, who's been a huge supporter of the podcast from his early days. The second sponsor is Brilliant. Brilliant illuminates the soul of mathematics, science and engineering"
},
{
"end_time": 281.63,
"index": 12,
"start_time": 263.234,
"text": " Through bite-sized interactive learning experiences, brilliance courses explore the laws that shape our world, elevating math and science from something to be feared to a delightful experience of guided discovery. You can even learn group theory, which is what's being referred to when you hear that the standard model is based on U1 cross SU2 cross SU3."
},
{
"end_time": 300.009,
"index": 13,
"start_time": 281.63,
"text": " Visit brilliant.org slash TOE to get 20% off the annual subscription. I recommend that you at least try the free trial and don't stop before four lessons and you'll be greatly surprised at the ease at which you can comprehend concepts that you previously had a difficult time understanding. If you'd like to hear more conversations like this,"
},
{
"end_time": 329.292,
"index": 14,
"start_time": 300.009,
"text": " I actually had you as a professor, I believe in linear algebra."
},
{
"end_time": 358.712,
"index": 15,
"start_time": 332.227,
"text": " I hope you didn't suffer too much. That my favorite aspect of the course was that you would use the word seven. You give an example of a number, so you'd say a certain field number times a vector. Well, let's call it seven. So seven times a vector would be so-and-so. You know, it can get to extremes, right? You may end up doing things like the limit of e to the minus seven, seven goes to infinity."
},
{
"end_time": 385.486,
"index": 16,
"start_time": 359.377,
"text": " What's your field of research? Not theory and from a very algebraic perspective and related algebra things. It used to be much more not theory and quantum field theory."
},
{
"end_time": 414.599,
"index": 17,
"start_time": 385.879,
"text": " And it slowly moved to being much more algebraic and the relationship with quantum field theory became more and more remote. Okay, what's the relationship, let's forget about the remoteness, what's the close relationship between not theory and quantum field theory? It's a bit hard to explain and somewhat surprising and that's why it took a long time to discover."
},
{
"end_time": 441.817,
"index": 18,
"start_time": 415.691,
"text": " Let me give you two answers that are somewhat unrelated. And one answer is that quantum field theory is about particles. And Nock theory is surprisingly also about the motion of particles. So"
},
{
"end_time": 471.254,
"index": 19,
"start_time": 442.142,
"text": " You know, let's draw a simple minded knot. So by the way, is this visible my screen? Yeah. Okay, so here is a simple minded knot. It's actually the so called trefoil knot. But well, whatever it is. Now, what you can do is you can"
},
{
"end_time": 501.544,
"index": 20,
"start_time": 471.613,
"text": " So it's living in R3 and I could set up my coordinates so that this coordinate will be called t. Maybe you want to call it z. But, you know, I like to call it t right now. And the two coordinates here are x and y. And then I can slice this knot at"
},
{
"end_time": 530.981,
"index": 21,
"start_time": 501.834,
"text": " equal time slices. So basically I draw a plane which lives at some fixed height. So at an equal time plane and slice the knot and then the slice is four points. And as I move these points in time,"
},
{
"end_time": 560.981,
"index": 22,
"start_time": 531.937,
"text": " So as I move the slice in time, the points move and they actually do a little lovely dance and the dance is as follows. So if we call these points A, B, C and D, then they start at a certain position, A, B, C and D, right? And then as I move,"
},
{
"end_time": 591.578,
"index": 23,
"start_time": 562.295,
"text": " Well, you can see that C and B trade places. So they play a dance. They somehow dance around each other. B goes this way and C goes that. Sorry, B goes one way and C goes the other way. And after a little while, they trade places. So you have A, C, sorry, A, C, B, D."
},
{
"end_time": 619.206,
"index": 24,
"start_time": 591.971,
"text": " and as you move the plane even farther, they trade places again. So again, you will have a, b, c, d, and if you move a little farther, again, they trade places. So you'll have a, c, b, d, and then something funny happens. Points, well,"
},
{
"end_time": 649.428,
"index": 25,
"start_time": 619.531,
"text": " points well by this time this is point B is over here and point C is over here and points A is here and D is here and what happens is that point C moves towards point D and points A moves towards point B and they coincide and when they coincide they annihilate each other because if you look at the plane which is above the"
},
{
"end_time": 678.234,
"index": 26,
"start_time": 649.633,
"text": " the level of the knot, you no longer see any point. So what happens next is that these points move towards each other, these points move to each other, they meet and bang, they annihilate. And after that, there is an empty set. And in fact, I started at height, at a certain height had I started below, I start with the empty set,"
},
{
"end_time": 705.111,
"index": 27,
"start_time": 678.763,
"text": " And instead of annihilation of pairs, you get a creation of pairs. So a pair of points get created here and a pair of points get created here. And then they perform this nice dance. So this was this particular note, but the same story is true for every note. Every note can be written as a certain dance of points in which sometimes pairs"
},
{
"end_time": 735.572,
"index": 28,
"start_time": 706.067,
"text": " get created, sometimes pair meet and annihilate each other. And in between these times, they all dance. Anyway, physics in general is about the motion of particles and it's not too surprising that there is a relationship. Physics also sees things like creation and annihilation of pairs of particles. And I mean, so again, it's not so surprising."
},
{
"end_time": 765.384,
"index": 29,
"start_time": 736.34,
"text": " But this is very, very, very loose. And gee, the other explanation I can give you is even more loose. But in some sense, more closer to the truth. Well, okay, maybe you've heard that quantum mechanics is related to path integrals."
},
{
"end_time": 795.503,
"index": 30,
"start_time": 766.254,
"text": " So, you know, in classical mechanics, you know, if a path goes from point A to point B, sorry, if a particle goes from point A to point B, it goes along a specific path. In quantum mechanics, it has a probability of going from A to B and you compute this probability by doing a certain integral"
},
{
"end_time": 821.254,
"index": 31,
"start_time": 796.152,
"text": " over the space of all paths. So the particle or, I mean, even my interpretation of quantum mechanics here is a bit loose because interpreting quantum mechanics is a very hard thing. But with this loose interpretation, you sum over all probabilities of going this way or that way or that way."
},
{
"end_time": 847.329,
"index": 32,
"start_time": 821.561,
"text": " or that way and by adding up all these probabilities or more precisely integrating over the space of all of those probabilities or more precisely phase factors or amplitudes, you can compute the probability of going from A to B. That's quantum mechanics. Now,"
},
{
"end_time": 877.705,
"index": 33,
"start_time": 848.217,
"text": " Likewise, quantum field theory, but in quantum field theory, it's essentially the same except the integrals are more complicated. But the point is that already these integrals are not like integrals over Rn, right? Rn is the collection of n tuples of points, a1 up to an. So a point in Rn is determined by"
},
{
"end_time": 906.852,
"index": 34,
"start_time": 877.892,
"text": " in real numbers. Whereas a function, the space we are integrating over now, is the space of all functions. And a function is determined by infinitely many real values. You need to know the value of the function here, the value of the function here, the value of the function here, the value of the function here. So to determine a function, you need to know infinitely many real numbers."
},
{
"end_time": 937.21,
"index": 35,
"start_time": 907.858,
"text": " So the integral that you end up doing is not 157 style. Sorry, now I'm using Toronto style language. It's not one variable calculus in integral, which is again, one variable integral. It's not this. It's not second year calculus when you do n variable integrals. It's"
},
{
"end_time": 966.237,
"index": 36,
"start_time": 937.432,
"text": " Infinite dimensional, so infinitely many variables integration. This is what we need. Okay. So quantum field theory ended up developing a bag of techniques for computing infinite dimensional integrals. And what these techniques are is a whole different story."
},
{
"end_time": 994.087,
"index": 37,
"start_time": 966.869,
"text": " But quantum field theory ended up doing this. And then it turns out that infinite dimensional integrals are useful to topology. So the way that quantum field theory becomes useful in topology is indirect. It's not that the quantum field theory itself is useful."
},
{
"end_time": 1012.363,
"index": 38,
"start_time": 995.401,
"text": " Even this is a lie because sometimes the quantum field theory itself is useful. But the main path by which quantum field theory becomes useful to topology is not..."
},
{
"end_time": 1046.135,
"index": 39,
"start_time": 1016.647,
"text": " Direct, but a bit indirect. Quantum field theory developed a bag of techniques and this bag of techniques applies elsewhere."
},
{
"end_time": 1075.367,
"index": 40,
"start_time": 1048.029,
"text": " Anyway, why are infinite dimensional integrals useful to topology? The answer is, again, a bit complicated. But let me try to summarize it. So let me bring the note. Here's the note. Okay. Great. Well, actually, that's not a note."
},
{
"end_time": 1103.797,
"index": 41,
"start_time": 1075.794,
"text": " What I'm showing you is a curve in R3. A knot is an equivalence class of such curves. So this is a curve. If I deform it a bit, it's still a curve, but it's considered the same knot. If I deform it some more, it's still a curve, but it's the same knot."
},
{
"end_time": 1133.592,
"index": 42,
"start_time": 1104.394,
"text": " So a knot is not a single curve but an equivalent class of curves. Now, suppose you want quantities that are associated to knots. You want to be able to tell knots apart, so you need quantities that would be computable from the knots and that you would use them to tell the knots apart, okay? Now, it's very easy to compute"
},
{
"end_time": 1160.776,
"index": 43,
"start_time": 1133.933,
"text": " quantities that are associated with curves. So if you have a curve, uh, you can measure it's how much it bends. So the radius of, of, of the bending, okay. Again, these things have technical names, the curvature, maybe the torsion. There are various names for, for various quantities you can associate with core curves."
},
{
"end_time": 1188.985,
"index": 44,
"start_time": 1161.425,
"text": " So, you know, I can look at the maximal curvature of this knot, of this curve, and the maximal curvature will be the place where it turns the most, and that's probably around here for this particular curve, around here, okay? Now, but that quantity is a quantity which is associated with curves. It's a useless as a quantity for knots."
},
{
"end_time": 1215.811,
"index": 45,
"start_time": 1189.292,
"text": " It's useless as a quantity for knots, because if we're talking about knot, you know, I could deform it and the maximal curvature could go somewhere else, could change, could grow, could shrink, could differ. Right. So the way to get quantities that are associated with knots rather than with curves is to integrate"
},
{
"end_time": 1240.538,
"index": 46,
"start_time": 1216.152,
"text": " over the space of all geometries. So instead of picking the quantity for a specific geometric manifestation of the knot, you integrate over the space of all geometries and then the result will be a quantity associated with the knot. Unfortunately, the examples are very, very hard."
},
{
"end_time": 1270.947,
"index": 47,
"start_time": 1241.323,
"text": " So, you know, the famous example, the example that got Witten, well, one of the examples that got Witten very, very famous in topology or among mathematicians is the so-called Chern-Simons theory or Chern-Simons quantity, which is some, in itself, some integral. So you integrate over R3,"
},
{
"end_time": 1294.718,
"index": 48,
"start_time": 1272.108,
"text": " So the quantity itself is a finite dimensional integral, right? So you integrate over R3 something called the Chern-Simons form which is something called, which is A wedge DA plus two-thirds A wedge A wedge A."
},
{
"end_time": 1322.824,
"index": 49,
"start_time": 1294.94,
"text": " whatever that is, but this is, you know, related to stuff appearing in second year multivariable calculus in the most advanced versions. Okay, so wedge products and differential forms and exterior derivatives and stuff like that. Then you take this quantity and you multiply it by i, multiply by k, exponentiate it, multiply by another quantity, the so-called"
},
{
"end_time": 1351.954,
"index": 50,
"start_time": 1323.046,
"text": " holonomy along the knot of A, whatever that is. So I'm throwing names because I really have no choice because giving the precise definition is a matter for a graduate class. Yeah. Okay. And this is the quantity that you associate with a geometric knot. And then to get an invariant of knots or to get a quantity associated with the knot itself, you integrate it"
},
{
"end_time": 1382.329,
"index": 51,
"start_time": 1352.568,
"text": " over the space of all such A's, and I didn't really tell you what these A's are, but it's an infinite dimensional space. So, I guess I haven't really answered your question by giving an example, but I just told you the examples are hard, okay? Anyway, well, they're hard, but they're exactly of the nature that physics knows how to study, or the quantum field theory"
},
{
"end_time": 1412.637,
"index": 52,
"start_time": 1382.654,
"text": " Are there any relationships between knot theory and gravity, so general relativity, let's say?"
},
{
"end_time": 1439.889,
"index": 53,
"start_time": 1413.251,
"text": " So I'm not an expert. The answer is yes. But but don't ask me to detail it. As I told you, I've actually moved away from that subject. What got you interested in not theory originally? This subject. So you mainly you were interested in physics? Well, okay, I was a math undergrad."
},
{
"end_time": 1464.872,
"index": 54,
"start_time": 1441.271,
"text": " But then during my time as an undergrad and then a master's student in Tel Aviv University, I never finished the master's. I moved on to doing my PhD in Princeton. But during my time as a master's student in Tel Aviv, I got more and more interested in physics."
},
{
"end_time": 1485.794,
"index": 55,
"start_time": 1465.606,
"text": " And there is just wonderful mathematics inside physics. So I got interested in physics and the fundamental question of physics, right? What are the basic laws of the universe? I mean, you can't ask a better question. So I got more and more interested in physics and decided to do my PhD in mathematical physics."
},
{
"end_time": 1513.968,
"index": 56,
"start_time": 1486.8,
"text": " And I ended up working with Ed Witten, who is a very famous physicist or mathematical physicist or mathematician, depending on whom you ask. And originally my interest was in physics, or, you know, my aim was to do things that were relevant to physics."
},
{
"end_time": 1542.671,
"index": 57,
"start_time": 1514.514,
"text": " Somehow that's not what happened. At the end, you don't choose your career. The career leads you. I wrote a thesis which was somewhere in between math and physics. What was it called? What was it called? Perturbative aspects of the Chern-Simons quantum field theory. That's an approximate title because I don't exactly remember."
},
{
"end_time": 1572.039,
"index": 58,
"start_time": 1542.927,
"text": " But then it turned out that that was relevant to something called finite type invariance. And I thought I had new things to say about finite type invariance. And that's completely a non-theoretic subject. So I told myself, I'll give myself a break from physics and write a paper or two on finite type invariance and then come back to what I really care about. And that paper or two became 10 years."
},
{
"end_time": 1599.48,
"index": 59,
"start_time": 1572.5,
"text": " with several papers, many papers and many results. And then a chance meeting led me to yet another subject. What was the other subject it led you to? Well, no, the next subject after finite type invariance was Chuvanov Homology. Anyway, you don't choose what you do. You at most try to steer it."
},
{
"end_time": 1627.278,
"index": 60,
"start_time": 1600.23,
"text": " But it steers you much more than you steer it, like the subject. Do you have an intuitive explanation for people who, let's say they're at the second year level, what is a homology? What's homology? It's a tough, a very tough question because"
},
{
"end_time": 1655.794,
"index": 61,
"start_time": 1628.626,
"text": " It's many things or it's related to many things and I could answer it in many levels. You know, let me give you a summary answer. Sure. Okay. So often in mathematics, there are two ways to describe objects."
},
{
"end_time": 1683.575,
"index": 62,
"start_time": 1657.227,
"text": " You can describe them implicitly by telling what equations they satisfy or explicitly by constructing all of them. Let me give you the simplest example. So consider the unit circle. Sorry, I kind of care about the points of the unit circle."
},
{
"end_time": 1713.439,
"index": 63,
"start_time": 1684.002,
"text": " So here is the unit circle in the XY plane and here is a point XY. The implicit description of the circle. So the implicit is by writing an equation which the points have to satisfy and everybody knows what the equation is. The equation is X squared minus, sorry, plus Y squared minus one is equal to zero. Okay."
},
{
"end_time": 1744.087,
"index": 64,
"start_time": 1714.394,
"text": " But there is also an explicit description. And again, I'm not sure which one is why the naming is such, but it doesn't really matter. Namely, I can construct all the points of the circle. And the construction is you set X is equal to cosine of theta and Y is equal to sine of theta. Okay?"
},
{
"end_time": 1773.166,
"index": 65,
"start_time": 1744.36,
"text": " This is the general feature in mathematics that many things can be either be constructed, that's the explicit, or be defined by an equation. Now, if you restrict your attention to linear algebra, if you do the same thing but in linear algebra, then"
},
{
"end_time": 1802.773,
"index": 66,
"start_time": 1773.473,
"text": " the situation is that you have some space in the middle, maybe it's a vector space, and inside that space, you want to describe things. Actually, I'm not sure why I'm drawing it curved because the curve, because if it's linear algebra, I should be drawing it straight. But anyway, you want to describe things and there are two ways to describe them. One way is by saying,"
},
{
"end_time": 1831.886,
"index": 67,
"start_time": 1803.097,
"text": " These things, well, you construct a map into another space and you say these things are the things in the kernel of this map. So I don't know what let's call this map phi and these things are the kernel of phi. And then, um, uh,"
},
{
"end_time": 1862.039,
"index": 68,
"start_time": 1832.5,
"text": " So this is the implicit description. This is you describe the things by an equation. And then there is also the explicit description. So you have yet another vector space and you have a map. Let's call it psi. And you're saying the things here that are, well, the good things like the point of the circle are the image"
},
{
"end_time": 1889.565,
"index": 69,
"start_time": 1862.329,
"text": " of psi. So you say these are the things that are the image of psi. Okay. And this corresponds to the explicit view. You construct the things, you present them as an image via some operation coming from some, you know, maybe some smaller dimensional space. Okay."
},
{
"end_time": 1919.599,
"index": 70,
"start_time": 1891.834,
"text": " So, okay, here's a funny thing. So if your construction is reasonable, then everything you construct solves the equations. In other words, everything in the image of psi is contained in the kernel of phi. So once you have a situation like this,"
},
{
"end_time": 1949.821,
"index": 71,
"start_time": 1919.923,
"text": " You know that you're going to have that the image of psi is contained in the kernel of phi. And in fact, if you're constructing the exact same things, then the image of phi will be equal to the kernel of phi, not just contained. Okay. And then you will be saying that the situation is exact. Things got"
},
{
"end_time": 1980.06,
"index": 72,
"start_time": 1950.725,
"text": " Exactly the things that you've constructed are the things that you described by the equations. But that's not always the case. Sometimes you have equations defining something and you want to know, did I construct all the solutions? So sometimes this inclusion is strict. And then you want to measure by how much or how much did you fail?"
},
{
"end_time": 2009.906,
"index": 73,
"start_time": 1981.391,
"text": " So how much did you not construct everything? And that's exactly the difference between the kernel of phi and the image of psi. And in linear algebra, the difference is quotient. So you take the quotient space and this is the so-called homology. So somehow homology measures, so this measures how good"
},
{
"end_time": 2039.36,
"index": 74,
"start_time": 2010.998,
"text": " are your constructions? Did you construct everything or did you leave some stuff out? Is the kernel, the implicit, the description, does it contain more things than you've constructed? So somehow homology measures how good are your constructions. And this is true in general."
},
{
"end_time": 2070.282,
"index": 75,
"start_time": 2040.64,
"text": " And then there are lots and lots and lots and lots of specific examples and to some extent it's a bit of magic. I'm not sure I can give you a really good explanation why there are so many examples and why so much of mathematics end up having close relationships with"
},
{
"end_time": 2100.538,
"index": 76,
"start_time": 2070.742,
"text": " Are you able to talk about what cohomology is and then homology's relationship to cohomology? Or is that a whole other kind of worms? It's another kind of worms, but in some sense, it's not interesting. In some philosophical sense, it's not interesting. So when I described cohomology,"
},
{
"end_time": 2132.09,
"index": 77,
"start_time": 2104.548,
"text": " It's essentially the same. So the difference between a homology and cohomology, more than anything else, is a difference of conventions, whether your map goes from left to right or from right to left. It's from this perspective, from this very far away and very imprecise perspective, there's really no difference."
},
{
"end_time": 2159.838,
"index": 78,
"start_time": 2133.353,
"text": " Professor, what do your average days look like? For example, do you wake up at the same time? Do you drink the same type of do you drink coffee and it has to be this particular type of coffee? Do you eat a certain breakfast? What does it look like? Paint the drawer picture. Well, I'm a lazy bum. And I'm a believer in the"
},
{
"end_time": 2188.456,
"index": 79,
"start_time": 2160.759,
"text": " You know, there was at some point a revolution, right? Before that, people used to work seven days a week, 12 hours a day, or maybe with a short break on Sunday morning, depending which culture you came from, I suppose. And then at some point there was this workers' right revolution, and somehow the working week shrunk to"
},
{
"end_time": 2218.575,
"index": 80,
"start_time": 2188.763,
"text": " 40 hours a week or so, like five days of eight hours a day. And I'm essentially a believer in that. And furthermore, I'm a lazy bum, so during my eight hours of work a day, five days a week, I take coffee breaks, I browse the web, I cheat. But anyway, I wake up at 6.30."
},
{
"end_time": 2248.729,
"index": 81,
"start_time": 2219.394,
"text": " exercise, take a shower, have breakfast, check my email, do all sorts of unimportant things. Then around nine usually I start working. I work until five or so. I'm sorry, I'm very dull. And then I try to have fun for the rest of the day, whatever that might be. During the pandemic it is a bit harder."
},
{
"end_time": 2276.203,
"index": 82,
"start_time": 2249.633,
"text": " And then on the weekends I try to go biking, hiking, paddling, mostly things that don't have to do with work. I'm lying a little bit because occasionally there is a reason to work on the weekend and occasionally I do have a meeting with somebody, like I have an Australian collaborator, so often our meetings are in the evenings. So, I mean, I've given you an"
},
{
"end_time": 2306.544,
"index": 83,
"start_time": 2276.578,
"text": " When you're working from nine to five, how much of that time is spent thinking versus reading someone else's paper versus answering departmental emails and requests? Like, what is work? Because work, obviously, for a professor, you have to teach, you also have to do research, there's perhaps 10. Work is all of that. And it depends on the season. So basically, when I teach two courses,"
},
{
"end_time": 2337.295,
"index": 84,
"start_time": 2307.995,
"text": " So, you know, there's basically fall, spring and summer, you know, fall semester, spring semester and summer. Okay. In the fall and the spring, I teach either two or one course per semester. In the summer, I don't teach. So when I teach two courses per semester, that's almost all my attention. Almost everything I have goes into that."
},
{
"end_time": 2367.756,
"index": 85,
"start_time": 2337.995,
"text": " and the rest goes into the regular meetings that I have to keep. So I have several graduate students that I work with, several collaborators and I'm trying to keep weekly meetings with them. So there is a certain amount of like weekly meetings that I have to keep. When I teach one course, I have some breathing room and when I teach nothing, namely during the summer, then a higher proportion goes into research."
},
{
"end_time": 2398.626,
"index": 86,
"start_time": 2368.933,
"text": " Even in the summer, the proportion is not very high. Firstly, is your ideal situation to simply be a research professor? I know some professors don't, they treat teaching as an aside. They don't particularly like to do it. I'm curious about your case. Well, ideologically, I mean, I see myself as a teacher."
},
{
"end_time": 2431.425,
"index": 87,
"start_time": 2401.783,
"text": " Even the research in some sense is to support teaching. Even the research is so that I will remain in shape and even more so and that the community will remain in shape. So, you know, if I do research, I am able to teach graduate students how to do research"
},
{
"end_time": 2460.913,
"index": 88,
"start_time": 2432.073,
"text": " And then they are become stronger mathematicians and can teach mathematics better. So I even see researchers mostly supporting teaching. So I definitely wouldn't say that I see everything as research, right? I mean, research, again, teaching is very significant. Well, that's the theory."
},
{
"end_time": 2491.288,
"index": 89,
"start_time": 2462.432,
"text": " In practice, you know, waking up every morning and preparing your class and this marathon of teaching where you have to prepare your class, you teach, you feel terrible about the things you missed during class. You don't even have time to digest it and you have to get ready for the next class already. So, you know,"
},
{
"end_time": 2521.408,
"index": 90,
"start_time": 2491.732,
"text": " It's very hard. I mean, people who haven't done that don't appreciate how hard it is. But it's emotionally very, very difficult. And after a semester of teaching, you have no idea how much I'm looking forward to the break. So it's not like teaching is, you know, when I teach, I want out."
},
{
"end_time": 2551.749,
"index": 91,
"start_time": 2522.517,
"text": " Do you find that to be true, even if it's an undergraduate course? The reason I ask this is that I imagine as a professor, the undergraduate material you could teach with your pinky, you don't have to think much about it because you first of all, you've mastered it second, you've taught it for years and years. I do not teach the same class for years. Like, I think the maximum I've ever repeated the class was like three years. So it's not"
},
{
"end_time": 2581.271,
"index": 92,
"start_time": 2552.995,
"text": " But even then, you always have to prepare. You always blunder. I always blunder. Maybe perfect people don't. But you know, I always blunder here and there and then I have to figure out ways out. I always find new things to do, new ways to do things. I always"
},
{
"end_time": 2611.442,
"index": 93,
"start_time": 2581.698,
"text": " even when I repeat, but essentially, but most of the time I don't repeat. And the material is sometimes hard, you know, so, and even when it's not hard, so, you know, on day one of a class, you teach, of a linear algebra class, you teach the axioms of a vector space. I obviously know these axioms."
},
{
"end_time": 2640.333,
"index": 94,
"start_time": 2611.971,
"text": " Right. I obviously, when I see a vector space, I know it. When you give me a vector space, I know what to do with it. But that's not the same thing as getting up in front of a class and listing the axioms and making sure that you haven't forgotten one small axiom somewhere"
},
{
"end_time": 2657.278,
"index": 95,
"start_time": 2640.776,
"text": " or that you phrase them perfectly so that even people who have never seen these things before will understand. So, I mean, even day one of a very basic class requires preparation."
},
{
"end_time": 2684.377,
"index": 96,
"start_time": 2658.234,
"text": " That's the sweet sound of success with Shopify. Shopify is the all-encompassing commerce platform that's with you from the first flicker of an idea to the moment you realize you're running a global enterprise. Whether it's handcrafted jewelry or high-tech gadgets, Shopify supports you at every point of sale, both online and in person. They streamline the process with the internet's best converting checkout, making it 36% more effective than other leading platforms."
},
{
"end_time": 2704.189,
"index": 97,
"start_time": 2684.377,
"text": " There's also something called Shopify Magic, your AI powered assistant that's like an all-star team member working tirelessly behind the scenes. What I find fascinating about Shopify is how it scales with your ambition. No matter how big you want to grow, Shopify gives you everything you need to take control and take your business to the next level."
},
{
"end_time": 2733.814,
"index": 98,
"start_time": 2704.189,
"text": " Join the ranks of businesses in 175 countries that have made Shopify the backbone of their commerce. Shopify, by the way, powers 10% of all e-commerce in the United States, including huge names like Allbirds, Rothy's, and Brooklynin. If you ever need help, their award-winning support is like having a mentor that's just a click away. Now, are you ready to start your own success story? Sign up for a $1 per month trial period at Shopify.com"
},
{
"end_time": 2744.087,
"index": 99,
"start_time": 2733.814,
"text": " Go to Shopify.com."
},
{
"end_time": 2765.094,
"index": 100,
"start_time": 2747.295,
"text": " Razor blades are like diving boards. The longer the board, the more the wobble, the more the wobble, the more nicks, cuts, scrapes. A bad shave isn't a blade problem, it's an extension problem. Henson is a family-owned aerospace parts manufacturer that's made parts for the International Space Station and the Mars Rover."
},
{
"end_time": 2793.558,
"index": 101,
"start_time": 2765.094,
"text": " Now they're bringing that precision engineering to your shaving experience. By using aerospace-grade CNC machines, Henson makes razors that extend less than the thickness of a human hair. The razor also has built-in channels that evacuates hair and cream, which make clogging virtually impossible. Henson Shaving wants to produce the best razors, not the best razor business, so that means no plastics, no subscriptions, no proprietary blades, and no planned obsolescence."
},
{
"end_time": 2809.94,
"index": 102,
"start_time": 2793.558,
"text": " It's also extremely affordable. The Henson razor works with the standard dual edge blades that give you that old school shave with the benefits of this new school tech. It's time to say no to subscriptions and yes to a razor that'll last you a lifetime. Visit hensonshaving.com slash everything."
},
{
"end_time": 2839.224,
"index": 103,
"start_time": 2809.94,
"text": " If you use that code, you'll get two years worth of blades for free. Just make sure to add them to the cart. Plus 100 free blades when you head to H E N S O N S H A V I N G dot com slash everything and use the code everything. We're going to talk about mathematical techniques. In fact, I believe when we emailed, you said you don't like the emphasis on theorems and proofs you like. Well, we can talk about that later."
},
{
"end_time": 2867.312,
"index": 104,
"start_time": 2839.77,
"text": " As for teaching techniques, I'm curious, what have you gleaned? What have you found to be productive and perhaps even some behaviors you find to be unproductive that you see other people, other teachers making the mistake of doing? I mean, there is so much, you know, starting from, you know, completely silly things like make sure that you're heard."
},
{
"end_time": 2896.391,
"index": 105,
"start_time": 2868.541,
"text": " If the classroom is large and you speak without a microphone, people in the back are not going to hear you and then they're not going to follow. Make sure that you can be seen. So if you write with a tiny, you know, if you write tiny letters with a faded chalk, people can't read what you write. The class is a failure no matter what you say."
},
{
"end_time": 2927.073,
"index": 106,
"start_time": 2897.278,
"text": " And then there are higher level things and basically everything should be motivated. So, you know, I mentioned the first class of a linear, the first class in a linear algebra course. Okay. So you can give by, you can give by this class by saying, you can start this class by saying, let F be a field."
},
{
"end_time": 2957.722,
"index": 107,
"start_time": 2927.739,
"text": " a set V is called a vector space if and then you can write property, you know, operations and properties and, you know, you write item number one to item number 15, where 15 is, I don't know, some axioms like alpha times beta times a vector, you know, whatever. So one of the axioms of a vector field,"
},
{
"end_time": 2987.619,
"index": 108,
"start_time": 2958.473,
"text": " Okay, of a vector, sorry, a vector space. And then the question arises, why and who cares? Right, right. Okay, so if you start your class this way, people aren't going to like it. So before this, there has to be a little section, I don't know, here, where you explain"
},
{
"end_time": 3015.486,
"index": 109,
"start_time": 2990.026,
"text": " Well, for such and such reasons, we care about ventral spaces. So there has to be motivation first. Okay. And that's true not only in the first class of the first of a linear algebra course, it's true"
},
{
"end_time": 3045.998,
"index": 110,
"start_time": 3016.203,
"text": " In every class, whenever you say something, there has to be a reason. And the people who are listening to you should know that you've thought about it, should know that you're telling them the things for a reason. Okay? And that's often omitted. It's often too easy to just follow the definitions and the"
},
{
"end_time": 3075.708,
"index": 111,
"start_time": 3046.34,
"text": " Theorems and never say what they're good for. And, um, and not only you should say the things that you should say them upfront, upfront. Likewise, when you write a proof, uh, it's often easy to, well, to, to, so, I mean, often there is a picture behind that proof. The proof is telling some story and you,"
},
{
"end_time": 3105.401,
"index": 112,
"start_time": 3076.186,
"text": " And you want the picture of that story in the minds of the students. But it's often too easy to reduce it to a list of formulas or a list of statements. So a higher level thing is to make sure that everything is motivated. What else? What's another higher level aspect of teaching that you find is a common mistake among the teachers that you see?"
},
{
"end_time": 3136.118,
"index": 113,
"start_time": 3107.125,
"text": " I think maybe this is the biggest, not showing the motivation clearly enough. And by the way, that's part of the reason why research is a necessary part of teaching, because you have to know the motivation. You know, you can say,"
},
{
"end_time": 3159.633,
"index": 114,
"start_time": 3136.596,
"text": " Vector spaces are a great thing unless you've actually worked with them, unless you've actually seen them used. So maybe vector spaces are easy enough so that you can, you know, by third year you understand why you learned about them in first year."
},
{
"end_time": 3190.896,
"index": 115,
"start_time": 3161.357,
"text": " But if you want to be able to say something intelligent about homology, you have to have used it. The only way to use it is in research. So that's what I meant by you have to be in shape. Being in shape also means remember what can be done with these things. Do you find that you're more creative as you get older?"
},
{
"end_time": 3221.135,
"index": 116,
"start_time": 3191.323,
"text": " or that your creativity peaked at a certain age? I wish I could answer. The truth is that I don't really remember. I mean, it's very hard to remember myself at any other age. So, I mean, certainly"
},
{
"end_time": 3246.544,
"index": 117,
"start_time": 3222.346,
"text": " I have matured, so the little I can remember from 20 or 30 years ago is that I have matured. I'm more systematic perhaps than I was."
},
{
"end_time": 3262.517,
"index": 118,
"start_time": 3247.039,
"text": " Am I smarter? Am I more creative? Am I stupider? Am I less creative? I'm not sure. What do you mean when you say you're more systematic now? Can you give an example of how you would look at a certain problem now or solve it versus 20 years prior?"
},
{
"end_time": 3298.012,
"index": 119,
"start_time": 3270.111,
"text": " And also a sub question. Do you see being systematic as a good thing or do you see there being innovation in being disorganized or creativity embedded there? No, systematic is generally better. So I used to be much more into the low hanging fruits."
},
{
"end_time": 3328.592,
"index": 120,
"start_time": 3299.821,
"text": " So, uh, and I was lucky that I found some, uh, but, um, but basically I'd, I'd, uh, like wait for opportunities and then use them. Okay. Uh, and, uh,"
},
{
"end_time": 3360.265,
"index": 121,
"start_time": 3331.254,
"text": " Now it's much more I have a long term goal. You know, I want a theory of something. You know, your, your, your podcast is a theory of everything, right? I just want the theory of something. So I want a theory of something because I feel for various reasons that it ought to be there. And then I"
},
{
"end_time": 3389.94,
"index": 122,
"start_time": 3361.067,
"text": " work very hard on, well, very hard to my standards. I already admitted being a bum. So, you know, I worked at least for a long time trying to find that theory. You know, even at a much lower level. So I think when I was first year student,"
},
{
"end_time": 3419.991,
"index": 123,
"start_time": 3390.282,
"text": " You know, so, you know, math theorems and proofs were pressed into my brain. It was essentially an external process, right? So I went to classes and people pushed theorems into my brain. And some of them seemed like complete formalities, like a sequence of deductions"
},
{
"end_time": 3450.486,
"index": 124,
"start_time": 3420.964,
"text": " that I could memorize and I could verify, but were essentially created by aliens. You know, I had no idea how they came to be. Right. And some theorems immediately became a picture. I immediately understood"
},
{
"end_time": 3477.244,
"index": 125,
"start_time": 3450.947,
"text": " That the proof describes a certain geometric reality. Describe... I could see the intuition behind the proof. It's not always geometric, though. It's just you see the... Not necessarily geometric. But I could see somehow the motivation. I could imagine how the proof was discovered. I see. I would get the feeling that I understood the proof."
},
{
"end_time": 3503.916,
"index": 126,
"start_time": 3477.722,
"text": " And that was essentially a dichotomy. Some proofs or some concept were of that type, made by aliens and pushed into my brain by professors and other concepts, theorems, proofs, whatever, were clearly intuitive and made sense and I understood them."
},
{
"end_time": 3534.718,
"index": 127,
"start_time": 3505.299,
"text": " And that was it. That was the world. There was this and there were those. And then sometime later in second year, I actually did my BA very, very, very quickly. So basically I did it in essentially two years. So when I say second year, you should compare it maybe with year three and four of most students. So somewhere later in late in my studies, I realized that if I think"
},
{
"end_time": 3564.411,
"index": 128,
"start_time": 3534.94,
"text": " harder about the theorems that or the concepts that appeared to be alien, then sooner or later, I see the picture behind them. Sooner or later, I realize that I am able to move them to the other class, the class of things that are motivated and understand it and understood."
},
{
"end_time": 3594.735,
"index": 129,
"start_time": 3565.862,
"text": " And then I became systematic about it. So every time I learned something new, I may learn it from a book that describes it as a formula. Okay. And then I'll struggle to see the intuition behind the formula. And so even at that level, it's something that took learning. It wasn't, um,"
},
{
"end_time": 3626.937,
"index": 130,
"start_time": 3596.971,
"text": " Again, when I got to the university, when I was in first year, I took classes and I got good grades in all of them. Nevertheless, there was a point where things became better, where I realized I can actually understand everything and not just repeat everything."
},
{
"end_time": 3656.869,
"index": 131,
"start_time": 3627.568,
"text": " And that came later. What does that process of finding the intuition behind, let's say a formula that before you previously simply have to memorize as handed down from the gods or the aliens? What does that process look like? The process of finding the intuition? Does it look like, I'm sure it's a variety of these, but does it majorly look like you copy it down with the pen and paper precisely, and then you draw arrows and you say, okay, so what's an example of this? What's a counter example of this?"
},
{
"end_time": 3685.503,
"index": 132,
"start_time": 3657.176,
"text": " Or is it you go on a bike ride and you keep thinking about it? What does that process look like? Perhaps it would be edifying if you took a specific example, but if you can't then just give the broad strokes. You know, what does it look like from the outside? From the outside it looks like I'm sitting on my chair and staring into infinity, right? Or sitting on my balcony and looking at the view."
},
{
"end_time": 3708.626,
"index": 133,
"start_time": 3686.749,
"text": " What does it look like inside? It's very hard to answer without"
},
{
"end_time": 3747.449,
"index": 134,
"start_time": 3721.391,
"text": " Without going through specific examples and the specific examples are far too complex. I don't know if they are far too complex, but they fit in a math class. And the other thing is you will never see these examples in my classes because when I teach something I try to motivate it. Okay, so you will not see the alternative."
},
{
"end_time": 3773.882,
"index": 135,
"start_time": 3748.268,
"text": " Okay, you will see the motivated way of explaining the implicit function theorem or the change of variables formula for multidimensional integrals, right? You'll see the motivated form. You will not see it. I will not be showing you the unmotivated formulas."
},
{
"end_time": 3800.043,
"index": 136,
"start_time": 3774.838,
"text": " for you much of the time when it's difficult for you to understand a proof or a theorem or a concept, is it most of the time because it was unmotivated? Well, the intuition is not explained often. So in textbooks,"
},
{
"end_time": 3833.473,
"index": 137,
"start_time": 3803.49,
"text": " Often the intuition is not explained. Now, some intuition is just getting used to the concepts. So sometimes intuition is not just playing around until you're used to it. You know,"
},
{
"end_time": 3858.626,
"index": 138,
"start_time": 3833.797,
"text": " You've just landed in a foreign city. You've just landed in Athens. Your hotel is two kilometers from the Acropolis. You got there at night, you wake up in the morning, you want to go to the Acropolis. You punch Acropolis into Google Maps and Google Maps tells you"
},
{
"end_time": 3883.507,
"index": 139,
"start_time": 3858.865,
"text": " You know, go left, go right, go straight, go left, go right, and here's the Acropolis, okay? You follow the instructions. You didn't learn Athens. You've learned the way to the Acropolis. To learn Athens, in the afternoon after the Acropolis, you have to wander around"
},
{
"end_time": 3914.531,
"index": 140,
"start_time": 3884.889,
"text": " And then you have to continue wandering around for the next two weeks. And then maybe you're starting to have a grasp of what Athens is. So there is something similar in mathematics, or in science, or in fact in every field of learning. But in mathematics, you don't"
},
{
"end_time": 3942.841,
"index": 141,
"start_time": 3915.384,
"text": " Learn. I mean, if you learn a proof of something, if you've if you learn the proof of the most interesting result result in a 13 field, you haven't learned the field. OK, you've just learned and especially if you if you follow the directions by by somebody else. OK. The learning happens if you wander around later."
},
{
"end_time": 3970.691,
"index": 142,
"start_time": 3943.404,
"text": " And in a way, you have to do it on your own, right? This wandering around. So wandering around in mathematics means you experiment, you change the conditions, you ask yourself, what if you remove, what if you add conditions, what happens if you look at analogous situations? But these things, well, sorry."
},
{
"end_time": 3996.954,
"index": 143,
"start_time": 3971.971,
"text": " Like part of tourism you do with a tour guide and a part you have to do on your own. So some part of being systematic, if you wish, is doing this on my own thing in a systematic way."
},
{
"end_time": 4024.514,
"index": 144,
"start_time": 3998.012,
"text": " Okay, this realization that I can't just jump into a topic by following somebody's guidance. I must sit down and think and ask myself many, many, many, many more questions and go on side tracks until eventually I'm comfortable. Now in this example,"
},
{
"end_time": 4036.971,
"index": 145,
"start_time": 4025.299,
"text": " Let me see if I'm understanding it correctly. Let's say Athens is the city, and then you have the Acropolis, which is a landmark. So that's almost like a landmark theorem, and then the directions are the proof and the steps to get there."
},
{
"end_time": 4062.449,
"index": 146,
"start_time": 4037.381,
"text": " I mean, there has to be a bit of both."
},
{
"end_time": 4088.865,
"index": 147,
"start_time": 4064.104,
"text": " Basically, you know, if you land in Athens and start wandering randomly, you end up you may end up wandering randomly in a completely uninteresting direction. Plus, there is a fear factor. And, you know, you may fear the bad neighborhoods. Interesting. But but but but there actually is an analogy, an analogy in mathematics, or it"
},
{
"end_time": 4119.616,
"index": 148,
"start_time": 4089.94,
"text": " No, it's not. I mean, you fear doing certain things and the guidance can help you overcome the fear. But maybe fear is not the right way. I mean, think that you have to explore Athens when it's dark. Okay, so you simply don't know which way to go. You just land. You know, I tell you, think about vector spaces. You have no idea what good questions to ask are. What are the good questions to ask? And"
},
{
"end_time": 4148.251,
"index": 149,
"start_time": 4120.896,
"text": " So you need guidance or else you will be stuck in one neighborhood and never realize that there is more than that. But you know, after the guidance took you from here to there, you have to go back and explore and explore more and explore more and until it's a solid and not just a single path."
},
{
"end_time": 4170.179,
"index": 150,
"start_time": 4149.701,
"text": " So you have to do your own Feynman path and to grow over the space of mathematical ideas? There is a bit of that, yes. What's your greatest strength as a mathematician or some of your strengths? Who says I have strengths? What's your greatest weakness? I'm a lazy bum."
},
{
"end_time": 4200.64,
"index": 151,
"start_time": 4171.271,
"text": " Are you being modest when you say that? Because I imagine someone who has an accelerated degree, two-year degree that should ordinarily take four years, it's not as if you spend the majority of your time playing video games and being unindustrious. Oh, you'll be surprised. I mean, of course, I didn't play video games. I was back in the 80s. You know, video games came later."
},
{
"end_time": 4226.527,
"index": 152,
"start_time": 4202.056,
"text": " But I definitely killed a lot of time. So who are you comparing yourself to when you say that you're slothful? Gee, I compare myself to who I want to be. Anyway, what are my strengths?"
},
{
"end_time": 4261.288,
"index": 153,
"start_time": 4233.012,
"text": " I think I'm decently good at explaining things to others. Often that involves thinking about them. I mean, explaining is not just reproducing what you've heard somewhere else. I mean, it's first of all being creative about these things."
},
{
"end_time": 4288.268,
"index": 154,
"start_time": 4262.858,
"text": " But, you know, ask the students, ask the people who listen to me in lectures when I give research lectures. It's very hard to, you know,"
},
{
"end_time": 4319.002,
"index": 155,
"start_time": 4289.616,
"text": " There's a famous story about Einstein that somebody complained to Einstein about his problems with math and the reference was to high school math. I never got high school math and Einstein said, let me assure you that my math problems are way bigger. Meaning what? What did he mean by that?"
},
{
"end_time": 4348.677,
"index": 156,
"start_time": 4319.667,
"text": " Einstein spent all his life struggling with mathematics, not just high school time. In a similar way, it might sound like I made some analogy which I'm not making. I understand, trust me. But still, I like to implement"
},
{
"end_time": 4377.022,
"index": 157,
"start_time": 4350.094,
"text": " I like to compute things, implement them on the computer, which means that I spend a lot of time programming the concepts I work on, turning them into running programs. You could say it's my strength, but when I look at it, all I see is that I'm struggling and struggling and struggling and failing and here and there there is a minor success."
},
{
"end_time": 4405.964,
"index": 158,
"start_time": 4377.449,
"text": " which gets superseded a little bit later by somebody else. So, yeah, maybe one of my strength is the ability to implement things, to turn, to actually, you know, turn mathematical concepts into running programs. But it's also one of the things that keeps me depressed so much of my time."
},
{
"end_time": 4435.503,
"index": 159,
"start_time": 4407.5,
"text": " Some people who are watching this, they may be discouraged because they weren't particularly great at high school mathematics, or some people may have struggled during their undergrad. What advice do you have for those people? If they want to continue to learn mathematics or physics at a graduate, perhaps even larger than graduate, PhD level, do they just continue plugging away and not feel discouraged because they feel like an imbecile on a daily basis?"
},
{
"end_time": 4466.971,
"index": 160,
"start_time": 4437.585,
"text": " What advice do you have for them? There is chug along and there is realize when it's not working. And I hate to tell you that I don't know. I mean, I can't give you a clear recipe to decide which one it is. Different people are different. Some people struggled and struggle and struggle until"
},
{
"end_time": 4494.974,
"index": 161,
"start_time": 4467.432,
"text": " They succeed. Sometimes some people don't or they struggle and struggle and struggle and don't succeed. You get feedback. I mean, some people depend on daily feedback. Some people can live with a feedback with a bit of feedback once a year."
},
{
"end_time": 4525.367,
"index": 162,
"start_time": 4495.794,
"text": " I'm not sure I have a clear answer. What did you learn from Ed Witten with respect to mathematical techniques or meta-mathematical, so how you should think about math or physics? Well, I learned specific mathematics from him."
},
{
"end_time": 4555.026,
"index": 163,
"start_time": 4525.981,
"text": " Right. So, you know, I learned like many other people, I learned this formula from him. Right. And how to read it and how to use it, interpret it, work with it. Right. Do things with it. But I learned many other specific things with him, from him. I learned from him. He's actually, I mean, like,"
},
{
"end_time": 4584.326,
"index": 164,
"start_time": 4555.572,
"text": " People think of him as a great researcher, but he's also a great expositor. So when you come to his lectures, he is able to make even very complicated things appear simple."
},
{
"end_time": 4613.729,
"index": 165,
"start_time": 4585.538,
"text": " The problem is that often you will not see that because he's turning the hyper complicated into merely complicated. So you don't automatically realize what a great exposition work he had done. And I think I learned, well, I don't know if I learned that from him,"
},
{
"end_time": 4642.602,
"index": 166,
"start_time": 4614.548,
"text": " But I strive to learn that from him. And then in other ways, there are senses in which I didn't learn anything from him. Namely, he is so much more talented. There's just no other way of saying it. The guy is smart. The guy is extremely productive."
},
{
"end_time": 4667.346,
"index": 167,
"start_time": 4643.063,
"text": " If you try to imitate his brilliance, you'll fail. At least I failed. If you try to imitate his productivity, you'll just be disappointed. So in some ways, I haven't learned. There are certain things I haven't learned from him and I just simply couldn't."
},
{
"end_time": 4689.599,
"index": 168,
"start_time": 4668.387,
"text": " Do you mind describing your relationship with Eric Weinstein? When I was speaking to Eric, he said that you acted as a de facto supervisor to him, because Raoul Bott wasn't particularly, although it was officially his supervisor, he didn't act as the supervisor for whatever reason. It was a strange relationship. I don't understand it."
},
{
"end_time": 4714.36,
"index": 169,
"start_time": 4689.821,
"text": " I'm curious, what do you think he means when he says that you acted as the supervisor? You gave him advice? I don't think it's correct. It's more like a coach. Eric was very unbalanced."
},
{
"end_time": 4741.886,
"index": 170,
"start_time": 4715.418,
"text": " And he still is unbalanced, and I don't mean emotionally unbalanced. I mean, he has great talents in certain directions and fear of others. And there are certain things that one has to do, certain type of computations, certain type of writing,"
},
{
"end_time": 4772.244,
"index": 171,
"start_time": 4742.824,
"text": " Basically, he has fear of turning his theories to concrete. And that's part of the reason why he had difficulty with Raoul Bott and basically with the normal system in Harvard."
},
{
"end_time": 4794.957,
"index": 172,
"start_time": 4772.449,
"text": " My role was to help him pick something concrete out of his big theories and push it enough so that it became a thesis."
},
{
"end_time": 4828.524,
"index": 173,
"start_time": 4800.094,
"text": " Yeah, I also helped him with some computations, you know, I, you know, at the end of the day, there was some like, so, so he's, you know, big theories lead to something very concrete and specific, which was a tiny part of the big theories, but we extracted that tiny part and made it more concrete. And at the end, it became a question, you know, some big matrix 500 by 500 or whatever it was,"
},
{
"end_time": 4857.261,
"index": 174,
"start_time": 4829.07,
"text": " Is it positive definite or not? And I helped him decide that. And that was decided by a computer? Like you ended up programming it? That one was decided by computer. But that's the kind of thing he would have never done on his own because"
},
{
"end_time": 4885.657,
"index": 175,
"start_time": 4858.097,
"text": " He has this fear of, in a way, it's a fear of testing your theories because they might fail. But in another way, it's just inability. He never learned how to do it. He never got good at turning the very abstract into concrete. Yes, so that was my role."
},
{
"end_time": 4910.589,
"index": 176,
"start_time": 4887.807,
"text": " Have you read his recent Geometric Unity papers or heard about Geometric Unity at all? I've heard a tiny bit about it. I have not read it. I'm not in the position to comment. You talked about it's difficult to make a concrete or take something concrete from a theory, at least in his case. Do you mind giving an example of his strengths or an example of a brilliance of his that you saw?"
},
{
"end_time": 4944.155,
"index": 177,
"start_time": 4919.599,
"text": " He intimately knows the small groups and their representations and how they interact with each other."
},
{
"end_time": 4972.329,
"index": 178,
"start_time": 4944.65,
"text": " The small groups like the classical groups or what do you mean when you say the small group? Okay, what I mean by the small is so, you know, there are several families of so-called symmetry groups. Okay, so there are S U N and S O N and S P N"
},
{
"end_time": 5000.845,
"index": 179,
"start_time": 4972.739,
"text": " And then there are a few sporadic ones. There is G2 and F4 and E6 and E7 and E8, and it doesn't go beyond eight. And all of these, so these are abstract things. These are groups. They have so-called representation theory. So,"
},
{
"end_time": 5022.671,
"index": 180,
"start_time": 5001.237,
"text": " Each one of them can be represent can be written as a group of matrices can be realized within the world of matrices, but in many ways. So Eric intimately knows hear that sound."
},
{
"end_time": 5049.753,
"index": 181,
"start_time": 5023.626,
"text": " That's the sweet sound of success with Shopify. Shopify is the all-encompassing commerce platform that's with you from the first flicker of an idea to the moment you realize you're running a global enterprise. Whether it's handcrafted jewelry or high-tech gadgets, Shopify supports you at every point of sale, both online and in person. They streamline the process with the internet's best converting checkout, making it 36% more effective than other leading platforms."
},
{
"end_time": 5069.582,
"index": 182,
"start_time": 5049.753,
"text": " There's also something called Shopify Magic, your AI powered assistant that's like an all-star team member working tirelessly behind the scenes. What I find fascinating about Shopify is how it scales with your ambition. No matter how big you want to grow, Shopify gives you everything you need to take control and take your business to the next level."
},
{
"end_time": 5099.189,
"index": 183,
"start_time": 5069.582,
"text": " Join the ranks of businesses in 175 countries that have made Shopify the backbone of their commerce. Shopify, by the way, powers 10% of all e-commerce in the United States, including huge names like Allbirds, Rothy's, and Brooklynin. If you ever need help, their award-winning support is like having a mentor that's just a click away. Now, are you ready to start your own success story? Sign up for a $1 per month trial period at Shopify.com"
},
{
"end_time": 5126.561,
"index": 184,
"start_time": 5099.189,
"text": " These groups and the representations and how they sit inside each other for small values of n and well for all of those sporadic ones which are all small."
},
{
"end_time": 5157.432,
"index": 185,
"start_time": 5127.483,
"text": " And there are symmetries and there are so-called outer symmetries. I mean, he knows all about these things. Now, this is relevant to physics because, you know, electroweak theory is somehow about SU2 and the grand unified theory. So strong and electroweak is somehow about SU3."
},
{
"end_time": 5187.637,
"index": 186,
"start_time": 5157.995,
"text": " Or so. No, no, no, no, no, no. I have it wrong. Sorry. Electromagnetism is well, electromagnetism is you one. And then, you know, I actually have not thought about these things for many, many years. So I could be saying things wrong. But yeah, but his strength is that he knows these things really, really, really well."
},
{
"end_time": 5217.09,
"index": 187,
"start_time": 5189.377,
"text": " or one of his strengths is that he knows these things really, really, really well. Earlier when we were talking about particle physics, well, knot theory, you mentioned that for every knot there's a corresponding physics story of particles dancing and so on. Is the opposite true? So does the arrow go in the other direction as well? For every particle interaction, is there a corresponding knot? For every particle interaction of a specific type,"
},
{
"end_time": 5241.305,
"index": 188,
"start_time": 5217.551,
"text": " If this can be easily explained, why is it not simple to just extend the three dimensions to four dimensions and"
},
{
"end_time": 5268.933,
"index": 189,
"start_time": 5241.749,
"text": " So the answer is, first of all, certain things do extend. So, you know, if not theory is to some extent about dance,"
},
{
"end_time": 5297.961,
"index": 190,
"start_time": 5269.241,
"text": " the dancing of points in two-dimensional space. So, you know, here is a very rough kind of correspondence, okay? So, node theory or ordinary nodes is roughly about one"
},
{
"end_time": 5326.732,
"index": 191,
"start_time": 5298.302,
"text": " dimensional things or curves or whatever in three dimensional space. And as I mentioned before, it can be interpreted as points dancing in two dimensional place space. So points are zero dimensional. So"
},
{
"end_time": 5354.974,
"index": 192,
"start_time": 5326.988,
"text": " So you can interpret knot theory as zero dimensional things, right? The single point is a zero dimensional thing. So it's zero dimensional things dancing in a two dimensional space. Now you can lift this one dimension up."
},
{
"end_time": 5382.944,
"index": 193,
"start_time": 5356.118,
"text": " So you can say, let's, instead of zero dimensional things dancing in R2, you can think of one dimensional things dancing in R4."
},
{
"end_time": 5412.108,
"index": 194,
"start_time": 5384.872,
"text": " and one dimensional things dancing in R4 somehow correspond by the same correspondence looking at the sections as they somehow corresponds to two dimensional notes or two dimensional things are noted in R4."
},
{
"end_time": 5442.619,
"index": 195,
"start_time": 5413.234,
"text": " Now, you can ask, now, what exactly are one-dimensional things dancing? Sorry, not R4. I wanted to add one. This is in R2. Adding one, you get R3. Sorry. So, one-dimensional thing dancing in R3. Now, you can ask yourself, what are one-dimensional things dancing in R3? And fortunately, I'm ready for that. So, here are, here is a one-dimensional thing. And here is another one."
},
{
"end_time": 5470.35,
"index": 196,
"start_time": 5444.667,
"text": " And right, this is a loop. It's a one dimensional thing. That's another one. It's a loop. It's a one dimensional thing. And they can dance around. They can fly in R3 and they can fly in interesting ways that don't exist one dimension less, namely they can fly through each other. Okay. So yes, there is a theory of one dimensional things dancing in R3."
},
{
"end_time": 5501.135,
"index": 197,
"start_time": 5471.715,
"text": " and it corresponds to a theory of two dimensional spaces noted inside four dimensional space. So to some extent, the answer to your question is yes, there is higher, there are higher dimensional analogs of knot theory. It turns out that some features are different. It turns out that in some ways,"
},
{
"end_time": 5530.845,
"index": 198,
"start_time": 5501.954,
"text": " and they're actually qualitatively sort of the theory of notes in one day. So, you know, unlike vector spaces, so vector spaces, you kind of, once you learn R3, R4, you've learned R to the 50. Okay. But here there are qualitative differences. So,"
},
{
"end_time": 5560.555,
"index": 199,
"start_time": 5531.271,
"text": " Uh, so some things from the study here translate to things here and vice versa, but not everything. So myself, I've spent most of my time actually on these two. Okay. Uh, but then there is higher, there is even higher stuff. Um, by the way, so, you know,"
},
{
"end_time": 5590.435,
"index": 200,
"start_time": 5561.049,
"text": " Linear algebra, when you take a first class in linear algebra and maybe also a second class in linear algebra, you get this impression that everything is the same in all dimensions. But that's not true. Even in linear algebra? Even in linear algebra."
},
{
"end_time": 5618.677,
"index": 201,
"start_time": 5590.606,
"text": " Well, not quite linear algebra, but in algebra. Okay. So, you know, there is something called the real numbers and then you can add i, add i, and you get the complex numbers. And then you can say, let's add j and k as well. And you get,"
},
{
"end_time": 5640.23,
"index": 202,
"start_time": 5618.916,
"text": " the so-called quaternions, but the quaternions are different than the complex numbers in that this is a commutative ring and this is a non-commutative ring. And then you can add, gee, I forgot what's the standard name for what you add. So, I don't know, add n."
},
{
"end_time": 5670.538,
"index": 203,
"start_time": 5640.538,
"text": " n stands for nameless because I forgot the name and you get octaneons and the octaneons are no longer even associative so it's still sort of a ring namely it has a multiplication but it's not even associative and then the process ends there is just nothing beyond that you can't continue so even in linear algebra"
},
{
"end_time": 5696.459,
"index": 204,
"start_time": 5670.725,
"text": " So that's not quite, well, I don't know, even in basic algebra. Not all dimensions are the same. One is not the same as two, is not the same as four, is not the same as eight, and not the same as 16 where things no longer exist. So it's just not true that things are independent of the dimension."
},
{
"end_time": 5724.087,
"index": 205,
"start_time": 5697.346,
"text": " It's only, they're only independent of the dimension in the first two years of undergrad. Now, in this example, we're going to different spaces by adding one or by adding whatever extra variables there are there. In the previous example, we're extending r4 to r5 or rn to n plus m. So we're in the same space."
},
{
"end_time": 5751.544,
"index": 206,
"start_time": 5724.326,
"text": " In a sense, except adding an extra dimension. So what's an example that holds for R3? Or actually, sorry, let's make this even simpler. What's an example that holds for R2, but doesn't hold for R3? Or you can say R3 to R4. What's an example of a quantity that drastically changes as soon as you go to R4 and becomes extremely complicated, but in R3 it's trivial? The motion of points"
},
{
"end_time": 5782.432,
"index": 207,
"start_time": 5752.705,
"text": " is fundamentally different in two dimensions versus in three dimensions. So let me explain. So, right, suppose you have two points A and B in two dimensions and you want them to trade places by moving. Okay, there are two basic ways they can do it. They can trade place by"
},
{
"end_time": 5812.602,
"index": 208,
"start_time": 5782.978,
"text": " B going above A or they can trade places in sort of the opposite way by A going above B. So A will go to here and B will go, sorry, A will go, A will go take the upper route and B take the lower route. These two ways are somehow fundamentally distinct"
},
{
"end_time": 5841.305,
"index": 209,
"start_time": 5813.643,
"text": " And, you know, to use technical language, you cannot homotope this way to that way. They're not homotopic. You cannot continuously deform this way of moving to that way of moving. But in R3, that's not true anymore. So in R3, points can trade places in only one way."
},
{
"end_time": 5870.247,
"index": 210,
"start_time": 5842.329,
"text": " So let me find two points for you. So I suppose they're not points, but they're close to points. So here is red and blue. So in R3, they can trade places going this way or they can trade places going that way. But"
},
{
"end_time": 5897.91,
"index": 211,
"start_time": 5870.503,
"text": " There are many other ways they can trade places. They can trade places by going that way or that way. And in a sense, all of these trading places ways are equivalent to each other because if you trade places, if the two points trade places,"
},
{
"end_time": 5928.251,
"index": 212,
"start_time": 5898.968,
"text": " They span a circle, right? So basically, let me use this, right? So, you know, they span a circle by, I wish I had a third hand, maybe I would. Sure, sure, sure, sure. Okay, they go like that. Okay, that spans a circle. And the other way of spanning a circle is by going the other way around the same, around the same, sorry, circle."
},
{
"end_time": 5957.619,
"index": 213,
"start_time": 5928.933,
"text": " But now I can flip that circle over and that homotops that deforms one way of trading places to the other way of trading places. So in R3, so in R2, there are two distinct, sorry, this, yeah, can't spell, there are two distinct"
},
{
"end_time": 5985.674,
"index": 214,
"start_time": 5958.507,
"text": " ways of trading places. And in fact, two are easy. There are actually a little bit more, but anyway in R3, so if you're talking about three dimensional space and you have two points in the three dimensional space, there is only one way"
},
{
"end_time": 6015.35,
"index": 215,
"start_time": 5986.118,
"text": " or one or all the way or let, no, let me say different. Let me say differently. All ways of trading places, all ways of trading places are equivalent. And again, the basic, the basic point is that a way of trading places is a circle, right? We're right. One point goes along one arc and the other point goes about again,"
},
{
"end_time": 6041.613,
"index": 216,
"start_time": 6015.776,
"text": " over the other arc and you can switch from one place of trading place, one way of trading places to the other by flipping the circle. You can't do it if you're only in the plane. Since trading places is actually fundamental, it makes, by the way, it's also fundamental in physics."
},
{
"end_time": 6070.23,
"index": 217,
"start_time": 6042.125,
"text": " So, you know, you might have heard of bosons and fermions and how they behave with respect to trading places and then there are anions that behave yet differently with respect to trading places. So basically trading places or how things behave under trading places is a fundamental thing and it's different. It's different in two dimensions than in three."
},
{
"end_time": 6097.483,
"index": 218,
"start_time": 6070.452,
"text": " Likewise, there are things that are different between three dimensions and four. And so it's actually this kind of myth, or not myth, but this thing that you learn in first and second year that Rn is the same Rn no matter what n is, is not actually true. Have you heard of the hard problem of consciousness? I have not heard it in this language. No, no, no, it has nothing to do with"
},
{
"end_time": 6126.681,
"index": 219,
"start_time": 6097.944,
"text": " What's written on the board? Or maybe it does, but not as far as I see. This is sort of a clear philosophical problem, right? But with the added prefix, and it's clearly hard, but as a phrase, the hard problem of consciousness, I don't know what you're talking about. There's only one consciousness that I need to explain, and it's my own. Right? From my perspective, you're not conscious."
},
{
"end_time": 6152.807,
"index": 220,
"start_time": 6127.892,
"text": " Right? You just react to things that I do. You know, if I tell you, you're stupid, you get angry at me. If I give you a compliment, you get happy. But these are all, I don't see consciousness here. Okay? So there's only one consciousness that I have to explain and only one person that I have to explain it to and it's myself."
},
{
"end_time": 6183.166,
"index": 221,
"start_time": 6154.974,
"text": " What keeps you up at night?"
},
{
"end_time": 6218.097,
"index": 222,
"start_time": 6190.538,
"text": " Different things on different days. Whether she loves me or not. Whether I can complete the computer program I'm writing or not, or why is it not written? My classes for tomorrow, the theorem I don't know how to, I have no clue how to prove. The state of the world, COVID, I don't know, different things at different times."
},
{
"end_time": 6240.964,
"index": 223,
"start_time": 6219.428,
"text": " Is there a through line? So let's say one that you've been thinking about for 15 years or more. Hi, I'm here to pick up my son Milo. There's no Milo here. Who picked up my son from school? Streaming only on Peacock. I'm gonna need the name of everyone that could have a connection. You don't understand. It was just the five of us."
},
{
"end_time": 6255.06,
"index": 224,
"start_time": 6241.544,
"text": " So this was all planned? What are you gonna do? I will do whatever it takes to get my son back. I honestly didn't see this coming. These nice people killing each other. All Her Fault, a new series streaming now only on Peacock."
},
{
"end_time": 6297.21,
"index": 225,
"start_time": 6271.049,
"text": " You know, I'm politically aware and always been, have always been. So, you know, how to make the world a better place. But of course, that's a subjective thing. What is better to me may or may not be the same as what is better to you. So in a way, when I'm saying"
},
{
"end_time": 6324.36,
"index": 226,
"start_time": 6297.671,
"text": " How to make the world a better place. It's more like how to make the world more like how I would like it to be. Yeah, so I think about it a lot and mostly my conclusion is that there's nothing I can do or there is much I can do. My powers are limited."
},
{
"end_time": 6355.811,
"index": 227,
"start_time": 6327.21,
"text": " What direction would you like math research to head? I think I mentioned that I like computation. And I actually. So, I mean, it's not the only thing of value in mathematics."
},
{
"end_time": 6385.538,
"index": 228,
"start_time": 6356.783,
"text": " There are things in mathematics with great philosophical value, regardless of whether they are computable or not. But those parts of mathematics that can be computed are often not. And often people"
},
{
"end_time": 6414.855,
"index": 229,
"start_time": 6386.715,
"text": " just don't care about computations. They pretend that, well, they think of computation as something as a technical thing to live for the graduate students. And I see it as a much more integral part of the work. So if I were to change, I would"
},
{
"end_time": 6446.834,
"index": 230,
"start_time": 6418.251,
"text": " I would make computation a bigger part. Computation in the sense of implementation of the computer, not in the sense of writing by hand. I would make it a much bigger part and I would, and that happens at many levels. So when you teach a class in linear algebra, you teach about how to compute the determinant"
},
{
"end_time": 6475.913,
"index": 231,
"start_time": 6449.377,
"text": " Well, along with it, there should be a computer program to compute the determinant and there should be a realization that there are maybe two formulas for the determinant and one of them is way better than the other if you try to implement it. So I would"
},
{
"end_time": 6506.118,
"index": 232,
"start_time": 6476.357,
"text": " emphasize computation much more. Yeah, maybe that would be the main change. Do you have a philosophy of math? So for example, there's Platonism and formalism. If anything, I would be an ultra-finatist. But it's much more graded than that. So, you know, there is a hierarchy"
},
{
"end_time": 6536.8,
"index": 233,
"start_time": 6506.886,
"text": " of complexities of things or sizes of things in mathematics. So, you know, people in set theory and logic and, you know, talk about large cardinal axioms and then there are parts of mathematics that have to do with"
},
{
"end_time": 6564.292,
"index": 234,
"start_time": 6536.971,
"text": " uncountable or bigger than uncountable. And then there are infinite parts. And then there are just infinite without being uncountable, right? Just countable, say. And then there are parts of mathematics that are finite but huge. So, you know, Ramsey theory, you have, you know,"
},
{
"end_time": 6594.275,
"index": 235,
"start_time": 6564.65,
"text": " You prove that if a graph is large enough, then it has properties, certain properties, but large enough means really, really, really, really, really, really, really, really huge, bigger than the number of atoms in the universe. And then there are, you know, parts of mathematics that happens where"
},
{
"end_time": 6623.131,
"index": 236,
"start_time": 6594.548,
"text": " The numbers are between 10 to the six and 10 to the 12. I don't know what a computer can do in a fraction of a second to what a computer can do in an hour. Okay. And, you know, maybe you can go a little bit beyond to 10 to the 16. I don't know. 10 to the 15. I don't know. Okay. So there is this whole grading and to me,"
},
{
"end_time": 6652.022,
"index": 237,
"start_time": 6623.643,
"text": " The bigger things are, the less important they are. And because they're farther away from our everyday experience. So they may have philosophical value and some of them do. So I don't want to completely say anything about large cardinals is not interesting."
},
{
"end_time": 6681.817,
"index": 238,
"start_time": 6652.773,
"text": " or anything about infinity is not interesting. But the bar is higher. For something that genuinely uses infinity to be interesting, the bar is higher than if the thing is in the range of sizes that we can actually hold in our hands. So that's what I mean by an ultrafinitist. I mean,"
},
{
"end_time": 6711.305,
"index": 239,
"start_time": 6682.739,
"text": " sort of the, or so this is a form, so an ultra-finitist would say, the only numbers that exist are the numbers I could count to. And maybe by extension that my computer could count to. So maybe my computer can count up to this number, but 10 to the 100 does not exist in some sense because my computer will never be able to count there. Okay. We'll never be able to get there."
},
{
"end_time": 6736.834,
"index": 240,
"start_time": 6712.858,
"text": " So I'm not extreme. I would say sometimes there is value to this one, too. And sometimes there is even value to infinity. And sometimes there is even value to the bigger form of infinity. But the bar has to be higher. The philosophical value bar has to be higher, the bigger the size is."
},
{
"end_time": 6765.828,
"index": 241,
"start_time": 6738.08,
"text": " These things are always interesting. These things are interesting only on special circumstances. Now, I'm not sure, do you classify yourself as a pure mathematician? Definitely. Okay, so for a pure mathematician who seemingly doesn't care about reality, it's supposed to be... Again, the more valuable math is the math that I can turn into a computer program."
},
{
"end_time": 6798.336,
"index": 242,
"start_time": 6770.998,
"text": " It's still pure math in the sense that I'm not looking for an immediate or a specific application. But both from the application perspective and from the pedagogical perspective, I still prefer the math that can be implemented because the math that can be implemented, even if I'm not looking for an immediate application,"
},
{
"end_time": 6823.473,
"index": 243,
"start_time": 6799.224,
"text": " is the math that has a higher chance of being applied, because in the application you'll end up computing. And also from the teaching perspective, from the pedagogical perspective, there is more value to the education you give"
},
{
"end_time": 6852.346,
"index": 244,
"start_time": 6823.865,
"text": " If it comes with implementation because you want your students to be able to implement the things that they learn. Yes, sorry, what were you asking? Oh, I was saying you ultimately care about the practical aspect of math, even though you're operating in pure mathematics. Ultimately, yes, though possibly very indirectly. So maybe the way the math I'm doing"
},
{
"end_time": 6881.271,
"index": 245,
"start_time": 6853.183,
"text": " Or maybe the way I care is in that the pure math I'm doing enables me to teach graduate students who will then become college instructors and their students will be able to actually implement the mathematics they're learning. So, I mean, it doesn't have to be immediate and direct."
},
{
"end_time": 6908.029,
"index": 246,
"start_time": 6881.937,
"text": " But yes, I do care about how at the end it gets applied, or how at the end it becomes applicable. Great, now we just have some audience questions I asked people beforehand. What are some questions you have for Professor Jor Barnettin? So the scientific mystical philosopher, that's the username, he wants to know, he or she wants to know, why the unreasonable effectiveness of mathematics?"
},
{
"end_time": 6942.449,
"index": 247,
"start_time": 6912.841,
"text": " Sorry. Why is mathematics unreasonably effective? I don't know. Ask God. She may or may not be able to give you an answer. Yeah, it's weird. We live in a predictable universe."
},
{
"end_time": 6971.459,
"index": 248,
"start_time": 6945.162,
"text": " Roman Gekwad wants to know have you ever had your IQ scored and if not what do you believe it is?"
},
{
"end_time": 7006.408,
"index": 249,
"start_time": 6977.227,
"text": " and also IQ scores are very limited in many ways. There is a fun story, I've never verified it, but I heard it, that"
},
{
"end_time": 7036.049,
"index": 250,
"start_time": 7009.582,
"text": " When the people who introduced IQ tests first introduced them, they ran them on test subjects and the women, the females got higher scores than the men. That was back in the 50s or I don't know exactly when, but that was a long time ago. They figured, hey, that's impossible."
},
{
"end_time": 7065.845,
"index": 251,
"start_time": 7037.108,
"text": " and then they tweaked the tests a bit, they changed the nature of the questions, they asked them differently until they finally were able to make men equal or maybe better, I don't know, than women. And again, this is true to a certain system of education in a certain time, right?"
},
{
"end_time": 7093.353,
"index": 252,
"start_time": 7066.937,
"text": " Men and women did not receive the same education. It would have been easy to distinguish because they came as their backgrounds were different. So you could arrange such things. Okay."
},
{
"end_time": 7125.35,
"index": 253,
"start_time": 7100.691,
"text": " That's about the value of IQ scores. To some extent, they measured something. To some extent, they were cooked to measure whatever people wanted them to measure. Not much to learn from these measurements. Tori Koh has"
},
{
"end_time": 7151.766,
"index": 254,
"start_time": 7125.776,
"text": " A question. What do you think of biology slash psychology slash philosophy? I think they're fun. I think they're foundational to understanding myself and therefore my experience of the universe. Do you think you would gain much of an understanding of an exploration from those fields to mathematics? Again, biology, biology, psychology and philosophy."
},
{
"end_time": 7182.381,
"index": 255,
"start_time": 7155.265,
"text": " They're all interesting fields. I'm not sure what more to say, you know? Do you think there are insights there that if you were to read a biology book, a psychology book, perhaps a philosophy book, do you think there are insights to be gleaned from there that you can then apply to mathematics? There are connections here and there."
},
{
"end_time": 7213.899,
"index": 256,
"start_time": 7184.753,
"text": " Much of mathematics is independent of that. So, obviously, biology motivates parts of mathematics. So parts of mathematics, you know, are about modeling biological systems."
},
{
"end_time": 7241.186,
"index": 257,
"start_time": 7214.991,
"text": " When we compute the Fibonacci numbers, we give examples of the reproduction rules of rabbits. Okay. And then there is much more like that. And then likewise for psychology. But and likewise, and of course, philosophy. So, you know, there are"
},
{
"end_time": 7271.715,
"index": 258,
"start_time": 7242.892,
"text": " Beats of mathematics of great philosophical value. So, you know, Gedell's theorem says that there will always be things we do not, we will not know. Okay. Or differently, I know there is no algorithm to decide to find the proofs of theorems. These things have philosophical value. Okay."
},
{
"end_time": 7298.456,
"index": 259,
"start_time": 7273.37,
"text": " For most mathematicians, it's not a day-to-day working relationship. My own mathematics benefits very little, if any, from contact with biology, philosophy and psychology."
},
{
"end_time": 7331.237,
"index": 260,
"start_time": 7301.783,
"text": " Okay, Phil Thomas wants to know what led him, what led you, professor, to the field of mathematics, and is your field something you think virtually anyone can learn? What led me there? You know, it's a question about my life story, right? So what led me there is essentially, is..."
},
{
"end_time": 7362.858,
"index": 261,
"start_time": 7336.34,
"text": " A sequence of coincidences and misunderstandings, I don't know, a number of things. So to some extent I was good at that and that pushed me to do more of it. And that's a very common answer for very many things, right? People tend to do what they're good at."
},
{
"end_time": 7392.09,
"index": 262,
"start_time": 7364.019,
"text": " Misunderstandings, you said misunderstandings as well. Yes, to some extent, I misunderstood math. So, you know, there was a time that I really liked computers and electronics. And I, at some point, realized that there was a lot of kind of hard work in it. So,"
},
{
"end_time": 7419.445,
"index": 263,
"start_time": 7392.875,
"text": " Writing a computer program is very hard. You have to write hundreds of lines of code and then debug them and whatever. And similarly for electronics, right? You have to place those transistors on the board and solder them together and you always get it wrong. And, you know, there is a lot of hard work where mathematics is so much easier. All you have to do is to prove theorems."
},
{
"end_time": 7448.183,
"index": 264,
"start_time": 7420.759,
"text": " That was a complete misunderstanding. I mean, I thought it was like much purer. At the time, I didn't realize how much hard work is involved. So in some sense, I got to mathematics by misunderstanding, by being lazy and not realizing that I'm getting trapped into a place where laziness is not always enough."
},
{
"end_time": 7473.166,
"index": 265,
"start_time": 7448.882,
"text": " And also at the end, I ended up liking those parts that I first thought I was going away from, namely computation. So I ended up, I mean, computation to me was like a childhood thing and a later acquired taste. There was a period in between when I thought I was pure, I would never compute anything."
},
{
"end_time": 7504.36,
"index": 266,
"start_time": 7475.35,
"text": " Right, what else? Did I answer or did I miss? There was a second part to the question. Do you believe that your field, either the field of mathematics or your subfield, the one that you're working in currently, do you feel that your field is something that virtually anyone can learn? No. So some"
},
{
"end_time": 7534.241,
"index": 267,
"start_time": 7505.657,
"text": " some amount of mathematics everybody can learn and everybody should learn and maybe it's more than what is taught in in our current educational system, education system, okay? But"
},
{
"end_time": 7566.186,
"index": 268,
"start_time": 7541.032,
"text": " You know, I will never catch up with Ed Witten. Okay. The amount of stuff that he knows, the depth of stuff, the depth by which he knows things, I'll never get there. It's not, I'm not talented enough to get there."
},
{
"end_time": 7592.585,
"index": 269,
"start_time": 7566.954,
"text": " It might be that in my 30 years in the subject, I've learned things that most people also wouldn't be able to catch up with. So, you know, there is the Moshizuki proof of the ABC conjecture disputed."
},
{
"end_time": 7622.295,
"index": 270,
"start_time": 7593.831,
"text": " Okay, Moshizuki claims it's a proof, other people think it isn't. I will never be in the position to understand that. I mean, possibly if I started early enough, I'm not even sure. I happen to know Moshizuki. I remember him when he was young. We were friends when we went to graduate school together. So I"
},
{
"end_time": 7647.927,
"index": 271,
"start_time": 7622.654,
"text": " So I remember him when he was young. He was smarter and faster than me. It's conceivable that after 20 years he's gone so far that I will never be able to catch up. It's equally possible that there are people who would never be able to catch up with me. This said... Hear that sound?"
},
{
"end_time": 7674.991,
"index": 272,
"start_time": 7648.916,
"text": " That's the sweet sound of success with Shopify. Shopify is the all-encompassing commerce platform that's with you from the first flicker of an idea to the moment you realize you're running a global enterprise. Whether it's handcrafted jewelry or high-tech gadgets, Shopify supports you at every point of sale, both online and in person. They streamline the process with the internet's best converting checkout, making it 36% more effective than other leading platforms."
},
{
"end_time": 7694.872,
"index": 273,
"start_time": 7674.991,
"text": " There's also something called Shopify Magic, your AI powered assistant that's like an all-star team member working tirelessly behind the scenes. What I find fascinating about Shopify is how it scales with your ambition. No matter how big you want to grow, Shopify gives you everything you need to take control and take your business to the next level."
},
{
"end_time": 7724.48,
"index": 274,
"start_time": 7694.872,
"text": " Join the ranks of businesses in 175 countries that have made Shopify the backbone of their commerce. Shopify, by the way, powers 10% of all e-commerce in the United States, including huge names like Allbirds, Rothy's, and Brooklynin. If you ever need help, their award-winning support is like having a mentor that's just a click away. Now, are you ready to start your own success story? Sign up for a $1 per month trial period at Shopify.com"
},
{
"end_time": 7752.244,
"index": 275,
"start_time": 7724.48,
"text": " Some amount of mathematics is useful to everybody. We're now in the midst of a pandemic."
},
{
"end_time": 7783.302,
"index": 276,
"start_time": 7753.319,
"text": " Understanding what's the exponential function is something that is basic knowledge, is something that every human should have because it actually dictates, it tells us something about how to behave at this time. Likewise, making various probabilistic estimates"
},
{
"end_time": 7811.459,
"index": 277,
"start_time": 7784.138,
"text": " You know, if the chance of such and such type of side effects is one in a million, what does it mean? What does one in a million means in practical terms for me? Should I fear it or is it so remote that I can ignore it? So basic numeracy is"
},
{
"end_time": 7839.889,
"index": 278,
"start_time": 7811.869,
"text": " An absolute necessary ingredient and for everyone and can be reached by everyone. When you mentioned that you'll never be able to catch up to Witten and perhaps some people won't be able to catch up to you and so on. What is that a function of biology? You mentioned the word talent. So is it is that just innate? Is is what's innate called intelligence? Is that associated with IQ? Like what are you referring to when you say you won't be able to catch up?"
},
{
"end_time": 7867.602,
"index": 279,
"start_time": 7841.101,
"text": " It's a number of things. You can call it talent. You can call it IQ if you wish, but of course there is no numerical measurement and it's a much, much more complicated thing. So, you know, so much of how far you can get in mathematics"
},
{
"end_time": 7899.565,
"index": 280,
"start_time": 7869.923,
"text": " Okay."
},
{
"end_time": 7926.391,
"index": 281,
"start_time": 7900.282,
"text": " So talent is also circumstance and luck and in some sense being narrow minded."
},
{
"end_time": 7956.51,
"index": 282,
"start_time": 7927.978,
"text": " Somehow being narrow-minded helps in certain ways. Speaking of Eric Weinstein, you mentioned him. Okay, so he was very unbalanced. He had great talent for certain kind of things and great fear of others. And maybe he would have been a much more famous mathematician, physicist now,"
},
{
"end_time": 7978.848,
"index": 283,
"start_time": 7956.766,
"text": " If it wasn't for these coincidences. So I don't know. I mean, you could call it innate. You could call it learned. You can call it many things, but it's a very complicated combination of things."
},
{
"end_time": 8010.316,
"index": 284,
"start_time": 7980.623,
"text": " Tyler Goldstein has a question. Do you think we need to make new research institutions that aren't linked to academia? And I imagine what he's referring to is something that Weinstein has brought up and Wolfram as well. They're not huge fans of the peer review process, or at least they're not huge fans of only thinking that work is worth it if it's gone through the peer review process. And while that's associated with academia,"
},
{
"end_time": 8036.971,
"index": 285,
"start_time": 8010.657,
"text": " I'm curious if you have any thoughts as to that. Well, there are things outside of academia. It's not arguably most research is done outside of academia. I mean, you know, there are a lot of a lot of research is done inside companies inside"
},
{
"end_time": 8067.944,
"index": 286,
"start_time": 8038.012,
"text": " Well, a lot of research is done outside of the peer review process. But overall, I think the system is reasonable. Sorry, overall you think the system is... Well, I think the system is reasonable. So, you know, you can say bad things as much as you want about peer review,"
},
{
"end_time": 8098.66,
"index": 287,
"start_time": 8068.746,
"text": " But it's better than the alternatives. It's better than having no review. You can say maybe mathematical should be more hierarchical. Okay, there should be big bosses who determine which theorems we should be proving and then they should"
},
{
"end_time": 8125.128,
"index": 288,
"start_time": 8098.985,
"text": " have their smaller bosses who would be responsible to specific theorems. And they would be the big bosses of other people who would be proving dilemmas. You could say something like that. It sounds like it sounds ridiculous. It would work just as ridiculously as it sounds. Current system is, you know, given"
},
{
"end_time": 8140.316,
"index": 289,
"start_time": 8126.067,
"text": " given the limitations of humans is reasonably good. I believe there are some arguments to say that what you just outlined is somewhat like it happens given grant agencies they have some field that they"
},
{
"end_time": 8168.524,
"index": 290,
"start_time": 8140.538,
"text": " So,"
},
{
"end_time": 8198.49,
"index": 291,
"start_time": 8170.077,
"text": " Yes, of course there is bias generated by the granting agencies, by the powerful people, be them the granting agencies or the editorial boards of journals. So, you know, if you have a result"
},
{
"end_time": 8221.869,
"index": 292,
"start_time": 8198.677,
"text": " that somebody on the editorial board of an excellent journal likes, you know, that's close to the field of somebody in the editorial board of an excellent journal, then your result is much more likely to get published in this excellent journal and then you're much more likely to get tenure and then"
},
{
"end_time": 8251.63,
"index": 293,
"start_time": 8221.954,
"text": " more work will be produced in that field and you'll advise students who will produce even more work on that field. Yes, it all exists. But it's not clear that you can think of a better alternative. And also there is still some amount of academic freedom."
},
{
"end_time": 8278.951,
"index": 294,
"start_time": 8252.073,
"text": " So the granting agency decides once every five years what my funding will be. In those five years, some of my time I do what is necessary to get my next grant. But some of the time I also do things that I think are useful, that I think are useful. Likewise,"
},
{
"end_time": 8309.428,
"index": 295,
"start_time": 8279.428,
"text": " Some of my career is determined by which journal I publish in, but some is determined by other factors, by the results that aren't published, by the lectures that I give in conferences in China. It's much more multidimensional than just having a boss, and the boss is the granting agency."
},
{
"end_time": 8340.316,
"index": 296,
"start_time": 8311.425,
"text": " Even the fact that the editorial boards are different than the review boards of the granting agencies allows, makes some variety. And again, what is the alternative? So, you know, one stupid alternative would be to say, to allow anyone to say, I am a mathematician. Here is my proof that pi is rational."
},
{
"end_time": 8364.753,
"index": 297,
"start_time": 8341.647,
"text": " Here is my proof of the Goldbach conjecture. Who's arguing with me? I'm saying it's a proof. My word is as strong as yours. It's much better not to lose control completely."
},
{
"end_time": 8394.497,
"index": 298,
"start_time": 8366.817,
"text": " You just used the word mathematician and I'm curious, what do you see as a mathematician? Is it someone who's a professor of math? Is it someone who gets their master's or PhD? Do you have to frequently publish research in order for you to call yourself a mathematician? Like what gives, obviously it's a nebulous term, but it's not extremely amorphous. It's defined. So what do you define it as? It's hard to say."
},
{
"end_time": 8424.531,
"index": 299,
"start_time": 8394.923,
"text": " You know, many definitions don't have sharp boundaries. In fact, only in mathematics, there are sharp boundaries between things like either the series is convergent or it is not convergent, but only and there is a very, very specific criteria to decide"
},
{
"end_time": 8453.507,
"index": 300,
"start_time": 8424.735,
"text": " Only in mathematics, there are sharp boundaries. And now you're asking a metamathematical question. You're asking a question about mathematics, not a question in mathematics. So there aren't sharp boundaries. So basically all of the above, you know, if you teach mathematics, if you think a lot about mathematics, if your way of thought is abstraction, proof,"
},
{
"end_time": 8483.49,
"index": 301,
"start_time": 8455.998,
"text": " You can always find the borderline things that will be hard to decide. Here's a reason why I'm asking because not everyone can call themselves a doctor. I know that some people they get their MD and then they're no longer practicing researchers. They no longer are connected with the field, but then they'll give health advice resting on the laurel that they have an MD and they'll say, well, this comes from a doctor."
},
{
"end_time": 8512.705,
"index": 302,
"start_time": 8483.933,
"text": " And I'm sure the same occurs in mathematics, though, to a much lesser degree. Same with physics. Someone may say, well, I'm a physicist because I have a degree from a university in physics, but that doesn't necessarily make you a physicist. Doesn't mean that your physics work should be taken more seriously because you have that degree. If you're looking for a set of thumb rules,"
},
{
"end_time": 8537.927,
"index": 303,
"start_time": 8513.507,
"text": " to decide which experts are to be trusted and which should not be then experts in mathematics or experts in medicine. Well, the answer is these questions are complicated. So, you know, in medicine,"
},
{
"end_time": 8569.906,
"index": 304,
"start_time": 8544.411,
"text": " you probably have to look for the bigger name doctors, the more, you know, the more established the doctors, because the system actually does on average promote the better people, even if not always. Okay. And you should look for, was it said by most doctors or by"
},
{
"end_time": 8593.916,
"index": 305,
"start_time": 8571.254,
"text": " One doctor who hasn't practiced for a long time and the same is everywhere. Yes, there are people with a PhD in mathematics who shouldn't have gotten their PhD."
},
{
"end_time": 8619.462,
"index": 306,
"start_time": 8594.906,
"text": " Yes, there are people, brilliant people who did brilliant PhDs in mathematics and 10 years later lost their mind and are speaking nonsense. I mean, there is no look at this certificate and if somebody has the certificate then they're trustworthy."
},
{
"end_time": 8649.804,
"index": 307,
"start_time": 8620.947,
"text": " Ashley Ship wants to know, is there a connection between knot theory and protein folding? And is it possible to use, well, if so, is it possible to use the artificial intelligence research that has been done on protein folding to inform knot theory? There is a connection between protein folding and between DNA and stuff like that. In knot theory,"
},
{
"end_time": 8679.241,
"index": 308,
"start_time": 8650.64,
"text": " People, it's not very strong. Like in general, people like to say things about it, but the actual research, at least my own research, is very different from what you would end up doing with"
},
{
"end_time": 8707.568,
"index": 309,
"start_time": 8679.787,
"text": " in biology of DNAs or proteins. By the way, in some sense, DNA molecules are really really really really long strings, chromosomes,"
},
{
"end_time": 8737.773,
"index": 310,
"start_time": 8708.063,
"text": " are really, really, really, really, really long strings. Namely, they are of length billions or the ratio of their length to their width is billions. Okay, because they have billions amino acids along them, right? And so, you know, if you were to make it out of rope,"
},
{
"end_time": 8764.77,
"index": 311,
"start_time": 8738.268,
"text": " It would be very, very, very thin rope, which is very, very long. But yet this rope is compressed into a tiny, tiny, tiny, tiny regions. So they get knotted. And even your experience from a much smaller knot, so here's an electric cable,"
},
{
"end_time": 8794.394,
"index": 312,
"start_time": 8765.128,
"text": " If you have a little bit of an experience with letting loose of cables, not tying them nicely as I tied this, if you let it loose, it gets knotted and it's nearly impossible to untie. Chromosomes are much worse. They're much, much, much longer in relative terms."
},
{
"end_time": 8822.449,
"index": 313,
"start_time": 8794.753,
"text": " And they get cramped into tiny, tiny, tiny spaces. So how come they don't get knotted? And if they do get knotted, how come during various parts of the life of a cell, so when cells split, they split, they somehow manage to untie themselves and disconnect."
},
{
"end_time": 8851.22,
"index": 314,
"start_time": 8823.422,
"text": " So how is it happening? So there must be some huge brain inside every cell that can untangle notes which are much, much, much, much, much more complicated than the notes that you can untie or, you know, the notes that you take hours to untie sometimes. Okay. So there must be something there."
},
{
"end_time": 8881.22,
"index": 315,
"start_time": 8852.807,
"text": " And there is something there. And there are enzymes that actually, you know, so when DNA molecules need to not to untangle, there are enzymes that allow one molecule to pass through the other. So basically you want to pass one string through another."
},
{
"end_time": 8908.097,
"index": 316,
"start_time": 8881.51,
"text": " so that they will come to position. There are enzymes that cut this one temporarily. It gets cut, it passes to the other side and it gets reconnected. So in a sense, biology invented anti-node theory enzymes and they are necessary because of node theory."
},
{
"end_time": 8938.609,
"index": 317,
"start_time": 8908.66,
"text": " Because if there were nots, you wouldn't be able to divide cells. So, biology invented some anti-knot theory enzymes that allow things to pass through each other, that nullify knot theory. So, in some sense, the most interesting knot theory that happens in biology is somehow anti-knot theory. That's a lovely story, but in practice, there isn't much."
},
{
"end_time": 8969.309,
"index": 318,
"start_time": 8939.343,
"text": " Jack Disart wants to know is math a human construct that we have devised to better understand the universe or is math a set of universal unchanging principles? I'm a human. How would I know about, you know, how non-humans would see math or how, you know, I don't know. But this said, I mean, I don't want to answer the philosophical question, but I want to answer the"
},
{
"end_time": 8999.104,
"index": 319,
"start_time": 8969.462,
"text": " There is some practical things that comes out of it. Every bit of math. So, you know, pick up a math book here. Every bit of math in this book, and not just this, I mean, every bit of math in every book was created by a human. That's a good thing to remember. It means that there are no miracles."
},
{
"end_time": 9029.923,
"index": 320,
"start_time": 9000.452,
"text": " It means that, you know, when you see a proof and you have no idea where could it come from, well, you have no idea, but somebody had this idea and you may be able to find it. So it's often extremely instructive"
},
{
"end_time": 9052.619,
"index": 321,
"start_time": 9030.845,
"text": " to try to reverse engineer somehow, not just understand the proof, but understand how humans with all their failures could have found them. So, so it's actually useful to know that math was entirely created by humans at the end."
},
{
"end_time": 9082.125,
"index": 322,
"start_time": 9054.258,
"text": " Do you think we don't spend enough time in books talking about the missteps? So for example, here's how the person arrived at this proof, they originally thought of it like so, this didn't work. Or would that just bloat the book unnecessarily? It would probably bloat the book. But, but motivation should be there. And when I say motivate, okay, so"
},
{
"end_time": 9113.848,
"index": 323,
"start_time": 9084.718,
"text": " So some story should be told. Like when you present a proof, there should always be some plausible discovery story. How could this proof have been found? It doesn't have to be a historically accurate story, but there has to be some story explaining that this proof could have been found by humans."
},
{
"end_time": 9139.292,
"index": 324,
"start_time": 9114.224,
"text": " It wasn't created by some supernatural entity. This question, cx770 asks, does he believe in the concept of God? No. Okay, this one's a tangential question. Bill McGonigal asks Ramanujan said that he learned from his goddess. Others suggest, well,"
},
{
"end_time": 9165.725,
"index": 325,
"start_time": 9139.718,
"text": " Ramanujan said that he learned from his goddess by meditating and praying, or came to him in dreams, some of his formulas, esoteric formulas. What does Professor Jor Barnett make of this? I can speak for Ramanujan. I tend to be a rationalist, atheist, no miracles."
},
{
"end_time": 9193.899,
"index": 326,
"start_time": 9167.944,
"text": " If I think hard about something, I either solve it or don't, but there are no miracles in the business. Another question, this is my question, are there some relatively elementary concepts that you've recently had a new insight on? So for example, I don't know if you know my brother Sebastian, he's a professor at U of T as well, in math finance. He was telling me,"
},
{
"end_time": 9220.947,
"index": 327,
"start_time": 9194.787,
"text": " Kurt, you know, only recently, maybe last year, I thought I realized, oh, the triangle inequality is actually about a triangle, he would only just use the formula. Also recently, okay, the Jacobian determinant, the Jacobian is actually like, it's like a linear map of what is that point doing close, instead of just, okay, think of it as an abstraction of slopes and stuff. Yeah, so do you have an example?"
},
{
"end_time": 9250.469,
"index": 328,
"start_time": 9221.425,
"text": " Sorry, of what? Of things that I've only recently understood? No, no, no. Of something you have understood, you've used before, but then maybe you've come to a different understanding of it and you say, oh, that's an interesting way of thinking about it. I didn't see that before. It happens all the time. Well, I wish it would have happened all the time. When it happens, it's a great day. Not all days are a great day, but there is the occasional great day. You know, every time you learn something has"
},
{
"end_time": 9278.609,
"index": 329,
"start_time": 9255.725,
"text": " higher meaning. It's more meaning than you thought. It's great news. It happens all the time in the life, in the professional life of a scientist, though not every day. Okay. Well,"
},
{
"end_time": 9306.766,
"index": 330,
"start_time": 9280.418,
"text": " I'll give you an example which somehow, which I think also partially involves you. So a few years ago I was asked to give a 10 minutes talk or something to a, I don't even remember what was the event, but you were there. Oh, you remember that? Mentorship event or something like that. I don't remember. That's right."
},
{
"end_time": 9336.254,
"index": 331,
"start_time": 9307.142,
"text": " And I thought, what would I talk about? And I, well, okay, the truth is that I have some list of ready-made topics that I can talk about. You know, if you ask me to talk in front of high school students, I sort of have a number of topics that are ready. Okay. But nothing really fit. And also sometimes I get bored of myself. So I have to occasionally add something."
},
{
"end_time": 9365.452,
"index": 332,
"start_time": 9336.715,
"text": " So I said, okay, why don't I talk about the prisoner's dilemma? And so I mentioned the prisoner's dilemma in five minutes or so, and it's a very light math, right? It's hardly math. It's so light that it's hardly math. But then I realized that it has a profound, I guess the economists have always understood that."
},
{
"end_time": 9394.582,
"index": 333,
"start_time": 9366.049,
"text": " They always thought it was important, but I realized it only relatively recently. So that was, what is it? Three, four years ago. Uh, I only then understood how profoundly important it is. So, you know, the prisoner's dilemma is some numerical example where, uh,"
},
{
"end_time": 9424.275,
"index": 334,
"start_time": 9395.828,
"text": " You have two sides, two people, A and B, and they can choose whether to cooperate or betray. Each one chooses independently whether to cooperate with the other or betray the other. And if you look at the numbers, each one, no matter what the other does, would prefer to betray."
},
{
"end_time": 9454.206,
"index": 335,
"start_time": 9426.186,
"text": " and as a result, both of them would betray and the overall outcome is worse to both of them. Again, I'm not describing the whole thing. I'm not telling the numbers. I'm just saying there is this situation where if each one acts selfishly, it's worth for it's worse for both. And,"
},
{
"end_time": 9484.48,
"index": 336,
"start_time": 9456.152,
"text": " Well, it has huge philosophical implications. You know, there is a whole a whole political class that believes that people should be acting selfishly because if each one act selfishly, it's actually for the best of the for better for everyone. That's somehow the foundation of the belief in free markets."
},
{
"end_time": 9512.022,
"index": 337,
"start_time": 9486.22,
"text": " So yes, I am actually still a great believer in free markets. I actually still greatly believe that free markets are a good thing, but there is a little asterisk. Sorry, that's not duality. That's an asterisk. So there is a little asterisk and the asterisk says,"
},
{
"end_time": 9540.913,
"index": 338,
"start_time": 9512.585,
"text": " Provided somebody arranges so that free markets, when each one acts selfishly, you will not be led into prisoner's dilemmas. You will stay out and your selfish acts will actually benefit the overall good. So, I mean, this asterisk here is the prisoner's dilemma."
},
{
"end_time": 9573.285,
"index": 339,
"start_time": 9543.814,
"text": " Yes, yes, yes, I get it. Anyway, and you think it's a small asterisk, but the more you think about it, you realize it's actually a huge asterisk. It completely changes the picture. And it's much, much, much more common. You think of it as an esoteric example, but then you realize that it's everywhere. So it's actually a very, very big asterisk. And"
},
{
"end_time": 9600.93,
"index": 340,
"start_time": 9573.592,
"text": " I think I realized it relatively recently. I'm honored that you remember that. I didn't think that. I'm honored to even be a footnote in your memory. Oh, don't be silly. Okay. What have you applied? So this question comes from a Harin Navis, Harin Navis, Harinivis, sorry, Harinivis P asks, has drawer applied the principles of mathematics to some other domain of his life?"
},
{
"end_time": 9631.203,
"index": 341,
"start_time": 9603.217,
"text": " Let's give an example, a non-trivial example. Well, okay, I mean, I can give two answers, okay? One answer is, well, I don't know if it's the principles of mathematics, but you know, people once, there was a claim going on and it's been going around, and in fact, it's still going around."
},
{
"end_time": 9660.486,
"index": 342,
"start_time": 9632.21,
"text": " that the Bible contains predictions in code. So if you read the Bible with letter skips, if you read every 10th letter, you will occasionally find a word. That's not surprising. But the claim was that these words were, that it actually happens"
},
{
"end_time": 9690.009,
"index": 343,
"start_time": 9660.725,
"text": " more than statistics would predict and that these words have messages in them. And there was a group of people in Jerusalem that published a paper and in fact it passed peer review. So they published a paper in which they supposedly proved this fact."
},
{
"end_time": 9717.756,
"index": 344,
"start_time": 9690.742,
"text": " They did careful statistical analysis, again, careful in quotes, and showed that the effect was real. And therefore, the Bible must have been written by God because no human could have put this information into the Bible. It's information that did not even exist at the time that the Bible was written."
},
{
"end_time": 9748.951,
"index": 345,
"start_time": 9718.951,
"text": " And therefore, God wrote the Bible. Furthermore, it's the Hebrew Bible. So there is a God and that God loves Hebrew more than she loves Japanese. I understand, yeah. You know, this would be the greatest discovery. If it was true, it would have been the greatest discovery in the history of science. And I'm not kidding, right? I mean, there's no longer an argument between atheism and theism."
},
{
"end_time": 9777.517,
"index": 346,
"start_time": 9749.462,
"text": " Pays and wins. My role was to debunk this. Is this real life or not? I don't know. Me and a group of people read critically these assertions that were good enough that they passed peer review in a respectable journal. And we found gaps. And the gaps were good enough that the same peer reviewed journal accepted our paper too."
},
{
"end_time": 9806.357,
"index": 347,
"start_time": 9778.78,
"text": " Okay, so, you know, in some sense, my role was negative, right? What could have been the greatest discovery in the history of science, a proof that there is God and it's the Hebrew God was debunked. Maybe it's a negative discovery, but well, I mean, maybe my effect, well, my part was negative. I've killed a great discovery, but that's also a valuable thing to do. I mean, to kill a"
},
{
"end_time": 9836.305,
"index": 348,
"start_time": 9807.892,
"text": " The other thing is, otherwise, mathematics plays an extremely limited role in my life, other than my professional life. If you cut out the eight hours a day that I work on mathematics, mathematics has no role in my life or hardly any role. So, I mean, you do. And in fact, also almost no role in your life."
},
{
"end_time": 9863.473,
"index": 349,
"start_time": 9836.647,
"text": " Basically, you know, if you give change in restaurants, or in shops, sorry, you add 15% tip, that's about the math you need in real life. Multiplication you don't need, but if you're a carpenter, you probably need it."
},
{
"end_time": 9893.08,
"index": 350,
"start_time": 9863.882,
"text": " Right, you need to tile, you know, if you're a trade person, you need to tile a certain room. The room is five by six. How many tiles do you need? So multiplication trade people need, but people like me don't need. Trigonometry, well, maybe architects need trigonometry. Some parts of engineering, and we get more and more esoteric,"
},
{
"end_time": 9919.872,
"index": 351,
"start_time": 9893.626,
"text": " need higher and higher mathematics. Without the very high mathematics, without general relativity, GPS satellites wouldn't work. So in some sense, we use mathematics every day. But we're not the engineers who design GPS satellites. GPS satellites were designed by a group of, a very small group of people somewhere in some, you know, design bureau."
},
{
"end_time": 9950.35,
"index": 352,
"start_time": 9920.828,
"text": " And they use high level mathematics. So, but my real life high level mathematics is almost nothing except once, sorry, the Bible codes and another time. And I've given talks with this title. So, the title was The Hardest Mathematics"
},
{
"end_time": 9978.439,
"index": 353,
"start_time": 9950.964,
"text": " I've ever really. And if you Google this title, probably you'll be able to find a video of that talk and you'll find a one time where it was actually in my professional life, but in a meta way. So not my research, but something about how to present my research."
},
{
"end_time": 10004.48,
"index": 354,
"start_time": 9978.78,
"text": " I ended up using very high level mathematics, hyperbolic geometry in fact. So one time it happened. Anyway, what was your next question? Why does it take 360 pages of abstruse symbols to prove that one plus one equals two? Occam's razor says we can cut this. We can just say one plus one equals two because every single last one of us believes it does."
},
{
"end_time": 10034.377,
"index": 355,
"start_time": 10005.162,
"text": " So, what do you make of that? Why is it so complex to prove something simple like 1 plus 1 equals 2? Do we even need that? And this question comes from Roy Dobson. So, let me answer a different question."
},
{
"end_time": 10063.882,
"index": 356,
"start_time": 10034.872,
"text": " You know, so one plus one equals two. So the reference is probably to work of Russell. Basically. If your axiom system is very, very, very basic. And and very, very"
},
{
"end_time": 10090.333,
"index": 357,
"start_time": 10066.391,
"text": " primitive in a way, very, very simple minded and you want your axiom system to be very, very, very basic, then it might be that even proving one plus one equal two would be difficult, but it will be a part of the buildup. And later you will be proving harder things and, but the truth is it's silly."
},
{
"end_time": 10120.913,
"index": 358,
"start_time": 10091.34,
"text": " Okay. But let me give you another example. Okay. So, you know, there is the intermediate value theorem. The intermediate value theorem says that if you have a function, continuous function, so if F is continuous and it's negative here and positive here, then at some point it crosses zero. We teach it in week seven, maybe. I don't know."
},
{
"end_time": 10148.712,
"index": 359,
"start_time": 10121.237,
"text": " of undergraduate calculus. Maybe it's just week five or maybe it's week nine. I don't remember. Okay. You can ask, this is so idiotic. Right. Why, why does it take five or seven weeks to prove the obvious that if you go continuously from here to here, you'll be crossing zero. And the answer is that"
},
{
"end_time": 10174.889,
"index": 360,
"start_time": 10149.002,
"text": " When you prove the intermediate value theorem, you are not actually proving the intermediate value theorem. You are actually testing your definition of continuity. You're testing your abstract setup. You're testing your abstract setup, your language. You're testing"
},
{
"end_time": 10203.439,
"index": 361,
"start_time": 10176.135,
"text": " You know, the machinery of for every epsilon there exists a delta such that blah, blah, blah. If you could not prove the intermediate value theorem, you'd be rejecting the abstract system, not the intermediate value theorem. You'd be rejecting this, not that. So the seven weeks were not about the intermediate value theorem. They were about"
},
{
"end_time": 10232.619,
"index": 362,
"start_time": 10204.053,
"text": " this for every epsilon there exists delta. And then you can ask what's for every epsilon there exists delta for? Why do we need this? Well, we don't need it to prove the intermediate value theorem. The intermediate value theorem was testing this. What do we need it for? And the answer is, well, there are later things like e to the x is equal to sum of x to the n divided by n factorial."
},
{
"end_time": 10263.114,
"index": 363,
"start_time": 10234.514,
"text": " Which is this, by the way, looks innocent and people think they understand it, but it's actually a miracle. And this miracle depends on, well, it doesn't depend, but I mean, there may be other ways to reach there. But you will believe this miracle after you've understood this system. So the answer is in a way we didn't go from here to here."
},
{
"end_time": 10273.131,
"index": 364,
"start_time": 10264.224,
"text": " To hear, but more like this was known, it validated this and then we could use it to do other things."
},
{
"end_time": 10294.462,
"index": 365,
"start_time": 10275.265,
"text": " The podcast is now finished. If you'd like to support conversations like this, then do consider going to patreon.com slash c-u-r-t-j-a-i-m-u-n-g-a-l. That is Kurt Jaimungal. Its support from the patrons and from the sponsors that allow me to do this full time. Every dollar helps tremendously. Thank you."
}
]
}No transcript available.