So math is kind of weird.

It's a, some time ago I realized it's like the area of human knowledge,

we're really, really sure it's true, but I have no idea what it means.

Like, we know that these theorems, you know, they're true, right?

I mean, we've got proofs of them.

I mean, we've got as good evidence of them as of pretty much anything, but what they

actually mean and what makes them true, what they're about seems really mysterious, right?

So we're really sure that there are infinitely many prime numbers, but we have no idea what

numbers are. But there are infinitely many of them. Right. So you think about other areas, right?

So in other areas, in areas of science, right, geology, chemistry, biology, non-fundamental physics, we pretty much have a feel like

we know what we're talking about. But we are not quite as sure that it's true as we are in

mathematics. We would be, you know, so there are some things that we are barely confident of, but even those things,

you know, like that there are tectonic plates, that we are more confident of the Pythagorean

theorem than of those. Since ancient times, there's lots of stuff we've known in mathematics,

and that stuff has needed very little revision.

Occasionally some, you know, we realize they forgot some axiom in their proofs, but we

fill that in and it's there.

But even though we've known all this stuff for a long time, we still have not made much progress

on figuring out what the math

is about, what say numbers are. So we've got like this, the truth of it is uncontroversial.

On the other hand, the meaning of it is deeply mysterious. And at the same time, it's really useful. And it's not easy. That is not easy actually

has some significance, right? Because if it suggests that there's something objective there,

...