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
We do all kinds of you look at my board, right?
It's just filled with all kinds of stuff.
And most of it's probably just wrong.
And then once we got a a perfectly good story, we write it backwards.
And I think writing back uh math papers in backwards.
And math generally defined math and theoretical physics papers backwards.
Well, theoretical physics is a bit better.
At least you sometimes you write the process.
But in pure math papers, everything is written in the style of Boubaki.
This very dry definition proof and which is completely not how it's actually done at all.
This is why, you know, Arnold, the you know, the great Vladimir Arnold says, you know, uh Boubaki is criminal.
He actually used this word, the the the bubaki the criminal bubakiization of mathematics, because it it leaves out all human intuition experience.
It just becomes this dry machine like presentation, interesting.
Which is exactly how things should not have should not be done.
But Boubaki is extremely important because that's exactly the language that's most amenable to computers.
So it you know it's one way or another.
But we, you know, human practitioners certainly don't do this kind of stuff, right?
We we we we muck about, you know, if we if we have to and sometimes even rigorous sacrific sacrifice, right?
If we if we have to wait for proper analysis in the 19th century to come about before new.
invented calculus, we won't even know how to compute the area of you know area of a of a of a of a an ellipse because you have to wait and formalize all of that.
Showing 521–540 of 1,500 · page 27 of 75
← Previous
Next →