hxksleo

4 ms·

1. 1.▲
   Why do Stanford math professors still use chalk?(stanforddaily.com)

   2 points by hxksleo 5y ago|1 comments
2. 2.▲
   Infinity Category Theory Offers a Bird’s-Eye View of Mathematics(scientificamerican.com)

   1 points by hxksleo 5y ago|0 comments
3. 3.▲
   Infinity Category Theory Offers a Bird’s Eye View of Mathematics(scientificamerican.com)

   4 points by hxksleo 5y ago|0 comments
4. 4.▲
   by hxksleo 5y ago

   I'd be interested in whether proofs like these will be formalized in proof assistants that can be checked with computer code, so that it removes doubt of error. It's something in math I'd like to see become more prevalent.