我们的号码:机器会做我们永远不会理解的数学

时间:2017-08-05 09:01:03166网络整理admin

作者:Jacob Aron(图片:Roya Hamburger)三年后,Shinichi Mochizuki仍在等待 2012年,日本京都大学备受尊敬的数学家在他的网站上发表了500多页密集数学这是多年工作的高潮 Mochizuki的通用Teichmüller理论描述了数学领域的未知领域,并让他证明了数字真实本质的长期难题,即ABC猜想其他数学家对结果表示欢迎,但警告称需要付出很多努力才能检查几个月过去了几年,没有结论问一个数学家什么是证明,他们可能会告诉你它必须是绝对的 - 从一个确定的起点到一个不可否认的结论的一个详尽的逻辑步骤序列但这不是整个故事你不能只发布你认为是真实的东西并继续前进;你必须说服别人你没有犯过任何错误对于一个真正开创性的证据,这可能是一个令人沮丧的经历事实证明,很少有数学家愿意放下他们自己的工作,并花费数月甚至数年来理解像望月的证据随着数学越来越多地分裂成子场内的子域,问题将变得越来越严重有些人认为数学已达到极限对于其他人来说,真正的突破可能过于复杂,因此许多数学家都会遇到更容易实现但可能不太重要的问题该怎么办对于一些人来说,