数学证明是一种社会契约

2012 年日本京都大学数学家望月新一宣称证明了 ABC 猜想。该猜想涉及到数论中的质数、加法和乘法之间的关系。问题是望月新一的论文超过 500 页,依赖于大量新的定义、符号和理论,绝大多数数学家都难以理解。菲尔茨奖得主、波恩大学数学家 Peter Scholze 和法兰克福大学的 Jakob Stix 数年后将其论文翻译到数学家更熟悉的术语,指出他的逻辑存在“无法修复的漏洞”。望月对此的回应是他们没能理解他的证明。这件事提出了一个根本性问题:什么是数学证明?人们倾向于将其视为某种永恒真理的启示,但也许🔊好将其理解为一种社会契约。蒙特利尔大学的 Andrew Granville 🔊近一直在思考该问题。他从小喜欢算术,但从未考虑从事数学研究。他父母都很早辍学,对大学一无所知。从剑桥数学系毕业后,他尝试了剧本改编,在寻求资金期间他去读了研究生,获得数学硕士学位,然后是博士学位。他在数学研究之路上再也没有回头。他在此后数十年里写 175 篇论文,大部分与数论相关。他还写了些数学科普。他指出,大众媒体未能更好的描述数学家的研究。人们倾向于将数学视为一种纯粹的探索,数学家仅通过纯粹的思考就获得伟大的真理。但数学事实上是猜测——经常是错误的猜测。数学是一个实验过程。数学家在不同阶段获得不同的结论。

微信关注

服务器吧 原创文章,发布者:服务器租用,如若转载请注明出处:https://www.fuwuqizuyong.cc/zhujiba/11305.html

(0)
打赏 微信扫一扫 微信扫一扫 支付宝扫一扫 支付宝扫一扫
上一篇 2023年9月1日 下午8:52
下一篇 2023年9月1日 下午10:55

相关推荐

发表回复

您的电子邮箱地址不会被公开。 必填项已用*标注

联系我们

0311-8343-7686

在线咨询:点击这里给我发消息

邮件:564999054@qq.com

工作时间:周一至周五,9:30-18:30,节假日休息

微信客服
微信客服
分享本页
返回顶部
CTRL+D 快速收藏本站   便宜云服务器:传送门

Warning: error_log(/www/wwwroot/www.fuwuqizuyong.cc/wp-content/plugins/spider-analyser/#log/log-0422.txt): failed to open stream: No such file or directory in /www/wwwroot/www.fuwuqizuyong.cc/wp-content/plugins/spider-analyser/spider.class.php on line 2900