人物
吴

吴文俊

1919 — 2017

他让古老的几何问题与计算机方法相遇。

科学创造知识

核心问题

传统知识怎样获得新的生命？

历史事实

人物故事

他在数学研究中引入计算机和机械化证明思想，探索数学与技术之间的新连接。

人生经历

  • 1940s开始从事拓扑学研究。
  • 1970s探索数学机械化与计算机证明。
  • 2000s继续推动数学与人工智能交叉研究。

主要贡献

推动中国拓扑学、数学机械化和人工智能相关研究。

时代背景

计算工具改变了数学研究的方法与边界。

他做出的选择

他选择让传统数学主动拥抱新的工具。
编辑思考

留给今天年轻人的思考

创新常常发生在不同知识之间建立联系的时刻。

为什么有人敬佩他？

我也敬佩 TA →

相关人物

你怎么看？

你希望自己留下什么？

发布回答需要登录