Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
How are we humans supposed to deal with infinity?
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
Well, you can think of infinity as just an abstraction of
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
a finite number for which you do not have a bound for.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
So nothing in real life is truly infinite.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
But you can ask yourself questions like, what if I had as much money as I wanted?
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
Or what if I could go as fast as I wanted?
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
And a way in which mathematicians formalize that is, mathematics has found a formalism to idealize, instead of something being extremely large or extremely small, to actually be exactly infinite or zero.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
And often the mathematics becomes a lot cleaner when you do that.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
I mean, in physics, we joke about assuming spherical cows.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
You know, like real-world problems have got all kinds of real-world effects, but you can idealize, send some things to infinity, send some things to zero.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
And the mathematics becomes a lot simpler to work with there.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
Yeah, so there's a lot of pitfalls.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
We spend a lot of time in undergraduate math classes teaching analysis, and analysis is often about how to take limits.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
So for example, A plus B is always B plus A. So when you have a finite number of terms and you add them, you can swap them and there's no problem.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
But when you have an infinite number of terms, they're these sort of show games you can play, where you can have a series which converges to one value, but you rearrange it, and it suddenly converges to another value.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
And so you can make mistakes.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
You have to know what you're doing when you allow infinity.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
You have to introduce these epsilons and deltas, and there's a certain type of way of reasoning that helps you avoid mistakes.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
In more recent years, people have started taking results that are true in infinite limits and what's called finitizing them.
Lex Fridman Podcast
#472 โ Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
So you know that something's true eventually, but you don't know when.