数学家孜孜以求的数学证明本质是一种社会契约，为什么这么说？

AIGC动态欢迎阅读

原标题：数学家孜孜以求的数学证明本质是一种社会契约，为什么这么说？

关键字：数学家,数学,公理,事情,方式

文章来源：机器之心

内容字数：11624字

内容摘要：选自量子杂志机器之心编译编辑：rome rome数学的本质是什么？数学家渴求的客观性真理是否能实现？人工智能等的发展和在数学中的应用会对数学产生什么样的影响？本文中数论学家 Andrew Granville 探讨了数学的真正本质以及为什么客观性永远无法完全实现。Andrew Granville 在蒙特利尔大学校园内。2012 年，数学家望月新一声称已解决了 abc 猜想，这是数论中一个关于加法和乘…

原文链接：点此阅读原文：数学家孜孜以求的数学证明本质是一种社会契约，为什么这么说？

联系作者

文章来源：机器之心

作者微信：almosthuman2014

作者简介：专业的人工智能媒体和产业服务平台