Yang-Hui He
speaker
1,500 appearances
1 recordings
1 series
first heard Jan 2025
last heard Jan 2025
Yang-Hui He’s voice in public audio — every appearance, attributed to the second.
Trend
recordings per month · last 12 monthsNo recordings in the last 12 months.Older appearances are listed below; set an alert to hear about the next one.
Appearances
And and I to my knowledge, I don't think she actually used the computer.
There's some some optimization method.
Oh, thanks for telling and I gotta check that.
That's interesting.
Interesting.
Uh this was actually really interesting.
One is the classification.
I mean, that's something that's closer to me, which is the classification of finite simple groups.
So simple groups are building blocks of all finite groups.
And the proof is, you know, it took 200 years, and the f the final definitive volume was by Dutch Grenstein in 2008.
And what what's really interesting, the law in the finite group theory.
community is that nobody's actually read the entire proof.
It's just not possible.
It takes longer
for uh people to actually read the entire proof than than than a lifetime of you know than a lifetime.
So
This is kind of interesting that you know we have reached the cusp in mathematical research where mathematics, um, you know, the computers are not just becoming, you know, computational tools, but it's it's increasingly becoming an integral part of who we are.
So this is just just set the scene.
So we're we're very much in this, you know, we're now in the early stages of the 21st century.
And this is increasingly the case where we have this.
Showing 181–200 of 1,500 · page 10 of 75
← Previous
Next →