提出量子计算机的数学家去世了，享年85岁，门下2位菲尔兹奖得主( 三 ) _物理学家

他有一本很有名的随笔集《数学如隐喻（Mathematics as Metaphor）》，在这本书里他除了探讨数学，还写了很多有趣的主题，比如集体无意识、人类语言的起源、孤独症心理学、魔术师在诸多神话文化里的作用等。

文章插图

普林斯顿高等研究院教授、著名数学物理学家弗里曼·戴森（Freeman Dyson）在一篇著名的演讲稿《鸟和青蛙》中，将数学家分为鸟和青蛙两类：
鸟翱翔在高高的天空，俯瞰延伸至遥远地平线的广袤的数学远景。他们喜欢那些统一我们思想、并将不同领域的诸多问题整合起来的概念；
青蛙生活在天空下的泥地里，只看到周围生长的花儿。他们乐于探索特定问题的细节，一次只解决一个问题。
在戴森心中，“曼宁是一只鸟，他的视野超越了数学疆界进入了更广阔的人类文化地貌” 。
One More Thing
虽然提出了量子计算机，但曼宁本人并不认可“计算机会取代数学证明” 。
在1998年接受采访时，他反驳了计算机算法会给数学证明带来便捷的观点：

在我看来，未来会有一批擅长编写计算机程序的“潜在”数学家。然而放在上个世纪，这些人或许也能靠自己证明定理。
毕竟放在今天，欧拉大概也会花更多时间写软件，光是计算月球的位置就需要很多时间；而高斯大概也会长期待在屏幕前。

文章插图

你怎么看待这一观点？

文章插图

参考链接：
[1]https://www.simonsfoundation.org/2012/01/27/yuri-manin/
[2]https://zh.wikipedia.org/zh-cn/%E5%B0%A4%E9%87%8C%C2%B7%E9%A9%AC%E5%AE%81
[3]https://mathshistory.st-andrews.ac.uk/Diagrams/Manin_interview.pdf
[4]https://twitter.com/edfrenkel/status/1612524698910478336
【提出量子计算机的数学家去世了，享年85岁，门下2位菲尔兹奖得主】