Lex Fridman

You're building this incredible hierarchy of axiomatic systems that are more powerful than the ZFC.

And still, to this day, the continuum hypothesis is not... It's not settled by any of the large cardinal axes.

Wow.

So what does the multiverse view of mathematics enable you to do

What does it empower you to do, and what are the limitations?

What are the things it breaks about mathematics as a field, as a space of knowledge, and what does it enable?

Who was also your advisor.

which is a personal story as well.

Like reverse engineering the forcing?

Can you prove something in the world that you arrived at through forcing and then take some of that back to the ground model?

So speaking of the land of nonsense, I have to ask you about Surreal Numbers, but first I need another bathroom break.

All right, we're back, and there's this aforementioned wonderful blog post on the Surreal Numbers, and...

that there's quite a simple surreal number generation process that can basically construct all numbers.

So maybe this is a good spot to ask what are surreal numbers and what is the way we can generate all numbers.

Rest in peace, one of the great mathematicians ever.

But the surreal numbers are fundamentally discontinuous, as you write about.

What are the consequences of this?

And I just wanted to, before I forget, mention...

the Conway turning everything into a game.

It is a fascinating point that I didn't quite think about, which I think the Game of Life is just an example of exploration of cellular automata.