陶哲轩认为数学不仅仅是形式化证明，还包括计算、可视化和探索。他呼吁更好地认可这些推动发现的多样化数学活动。
背景
陶哲轩是 UCLA 的菲尔兹奖得主数学家。这篇博客文章反思了传统证明写作之外数学工作的本质。
- 来源
- Hacker News (RSS)
- 发布时间
- 2026年9月19日 14:28
- 评分
- 7.0 / 10
陶哲轩认为数学不仅仅是形式化证明，还包括计算、可视化和探索。他呼吁更好地认可这些推动发现的多样化数学活动。
陶哲轩是 UCLA 的菲尔兹奖得主数学家。这篇博客文章反思了传统证明写作之外数学工作的本质。