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
I always like to make my lectures interactive.
So please, if you have any questions, just interrupt me anytime and I'll just pretend there's a big audience out there and uh just make it.
Okay, great.
So uh Rafi, of course, you know uh how does one so the first question is how does one actually do mathematics?
Right.
And so one can think about of course these
In in in these reviews I try to divide it into sort of three directions.
Of course these three directions are interlaced and it's very hard to to
pull them apart.
But roughly you can think about, you know, bottom-up mathematics, which is, you know, mathematics is a formal logical system, you know, definition and uh, you know, lemma proof and you know, theorem proof.
And that's certainly how mathematics is presented in in you know papers.
And there's another one which I like to call top-down mathematics.
It's where you know, where the practitioner looks from you know above.
That's why I say top down, from like a bird's eye view.
You see different ideas and and and and uh subfields of mathematics, and you try to do this as a as a sort of an intuitive creative art.
You know, you've got some experience, and then you're trying to see, oh well, maybe I can take a little bit of piece from here and a piece from there, and I'm trying to
create a new idea or or maybe a method of proof or attack or derivation.
Yes.
Yes.
So these are these two so that's that's you know s complementary directions of research.
Showing 121–140 of 1,500 · page 7 of 75
← Previous
Next →