4 ms·
Oh, many thanks for this explanation. Even more interesting. Yes, Voedovsky’s abd Scholze’s candidness is encouraging and liberating. And a great call to respo
by pfortuny 6y ago
Oh, many thanks for this explanation. Even more interesting.
Yes, Voedovsky’s abd Scholze’s candidness is encouraging and liberating. And a great call to responsibility for us reviewers.
And thanks for your work on formalization. Truly important in my view.
- Ericson2314 6y agoI feel like with 2 fields medalists on boards, the culture can finally shift. I'm really excited. [It's not just about math, see https://hapgood.us/2015/10/17/the-garden-and-the-stream-a-technopastoral/ https://hapgood.us/2015/10/17/the-garden-and-the-stream-a-te... for a great explanation of the type of labor that is mathlib is sorely lacking in just about every sector. I'm really hoping that mathematics can lead the way here.]