【遇见数学体恤预售】
一批共三款，我编写代码绘出了其中的两款:黄金比例和弦图，另外请了位好友帮忙设计了萌萌哒的欧拉大神。自己非专业设计，恐要玷污了弦图的精妙，各位朋友轻拍，感谢支持!
<< 向左滑动查看 >>
长按最右二维码跳转众筹页面查看
随着计算机越来越多地被用来交互式数学证明，是时候进一步研究计算机科学对数学的贡献，比如在计算机实现了用类型论求解数学问题的系统。请看托尔斯滕·阿尔滕基奇博士讨论了类型论与集合论。
翻译小组成员介绍: 小鱼
ヾ(❀^ω^)ﾉﾞ
进一步细节请看 [遇见数学翻译小组] 核心成员 @ 小鱼 翻译的下面的视频.
