之前也跟大家讨论了数学思维,数学在生活各方面的一些应用,然而数学不是万能的。
比如由勾股定理的数学形式x^n+y^n=z^n引发出费马大定理,(任意大于2的整数就不存在整数解),既叫定理那便是已经证实了的问题。证明这个古老的问题的意义:在证明本身过程中就导致了许多数学研究成果的出现,特别是对于椭圆方程的研究,今天区块链技术的椭圆加密方法就是以它为基础的。
更一般性的问题是含有多项式的不定方程像x^n+my+z^n=0有无整数解?(希尔伯特第十问题),它已经涉及了数学的边界问题。
欧美数学家真正投入巨大的精力来解决这个问题是二战之后,这个问题的答案同时能够回答计算机能够处理问题的边界。
后人证实这个问题是无解的,对希尔伯特第十问题的否定回答也被称为马季亚谢维奇定理。
无解即意味着通过数学方式我们无法判断问题答案的存在与否,就更不用说通过数学方法解决它了,这样就为数学划定了一个明确的边界,而我们相信基于数学的人工智能并不是无所不能的。
正如图灵所说,我们所能前瞻不远,却有很多事情要做。