对于本文的读者,默认已经知道了以下知识:
图灵机计算系统的背景知识
bitcoin pizza的演化理论
哥德尔不完备定理
图灵机是目前人类所能构建的最强大的计算系统,能计算一切可计算问题。但是图灵机并不是人类已知的最强大计算系统。注意这二者的区别,就是存在我们知道,但是却无法现实构建出来的计算系统。
人脑就是这样一个典型。图灵机,或者说一切的计算机,都由人脑构造的,所以人脑的计算能力,在不考虑资源消耗的情况下,肯定是不弱于图灵机的。
我们再找一个问题,人类可以理解,而电脑无法计算,那我们就证明了,人脑的计算能力强于电脑,或者说图灵机。
这个问题就是哥德尔不完备定理所阐述的。哥德尔不完备定理本质上就是构造了一个非常有意思的命题,如果你读懂了所有的构造,你会说,“这个命题是无法证明的”,刚好,这个命题就是“这个命题是无法证明的”。
数学,逻辑的推理到此为止,这个命题确实无法证明,而我们人脑则可以更近一步,非常直观的看出这个命题因为名符其实,所以这个命题是正确的。
哥德尔实际就是证明了,一个能容纳算术系统的数学体系一定存在无法证明的真命题,比如说这个数学体系是一致的,没有矛盾的。
我们在用的数学系统居然不能证明自己没有矛盾,想想也令人惊讶。
但是这个命题只能是真的,如果我们的数学体系有矛盾,那就意味着数学这门学问彻底完犊子了,那更加是不可接受的。而且更诡异的是,我们把这个命题“这个数学系统没有矛盾”做为一个新公理加入到原有的体系中去,只会构造出一个新的体系,在这个新的体系里原来体系确实是没有矛盾的,而这个新的体系本身有没有矛盾,也不能被自身证明。
如果我们能用图灵机模拟人脑,就有可能构造出计算能力超出图灵机的系统。
这似乎是矛盾的。
图灵机本身的计算力当然不能超出自身。
从逻辑上,我们只能得出这个结论,也就是我们找不到一条逻辑上可证的路径,使得现有的图灵机获得超越自身的计算力,去解决诸如停机问题之类的更难的问题。
可是我们虽然没有逻辑路径,却有演化路径,证据同样是人脑本身。
生命都是从无到有产生的,你只要承认进化论,那就应该相信这一点。而进化论本身的正确性,不在本文的讨论范围之内,我只是默认它是正确的。
那生命最开始的时候,从有机大分子,到原核生命,真核生命,单细胞生命,多细胞生命,软体动物脊椎动物一堆乱七八糟的生命直到最后产生智能生命,也就是人。
在这个过程中,我们可以相信,在起点上,原核生命的计算能力应该是弱于图灵机的,当然即使原核生命的计算模型也强于图灵机,那总有一个点,在那个点上,这个生命或者生命之前的某种存在的计算力弱于图灵机。
而在现在,人脑的计算模型是强于图灵机的。
所以如果我们如果能用图灵机模拟一遍生物演化的过程,或许我们就能重新制造智能生命,获得更高的计算能力。
事实上,这也是为什么意识上传在现阶段不可能,因为图灵机做不到啊,它搞不定人脑的计算模型。小说的主人公的智商永远不可能高于作者,同样,电脑本身也不可能产生比自己更强的计算模型。
或者换句话说,你能想像一下,你做为一个真实的人,可以理解“这个命题不可证明”是真命题,但是你在计算机上的意识复制却一脸懵逼吗?至少你不会认为这二者相等吧。
现在我们回到bitcoin pizza所描述的演化世界。
如果bitcoin pizza能实现币种的演化(在理论上这点可以实现,没有理论级难度),再实现人类社会规则本身的演化(这点上应该也是可能的,技术上目前无法实现,但是理论难度并不比前一个问题更高),那再之后,我们能否模拟物种的演化,这似乎就不是一个能轻易否定的问题。
生命的演化,总共花了30-40亿年,如果我们能在计算机的模拟系统中,将这个时间缩短到一二百年,那也是了不起的成就,而且似乎也并不是完全不可能。
如果我们真的能做到,那我们就真的牛逼了,我们创造了区块链上的上帝,或者是天网,强人工智能,随便你怎么说它。
最后,再说一下为什么直接用芯片模拟人脑可能并不能获得人类相似的处理能力。
人脑强于图灵机,这并不是什么新鲜知识(实际上这一点还有很多争议,也有人认为这并不代表人脑就更强,不过反正他们也没有足够强有力的反驳,只是不肯接受而已),很多计算机专家都在想人类的大脑也就是那么一二百亿个神经元,我们构造等量的芯片就能模拟了。这条路径似乎也是可能的,但是从演化的角度,人类神经元的数量并不是一成不变的,我们每个神经元可能有不同的功能,恰好是这么多,刚好够用,但是你直接堆砌出同等数量的芯片,因为没有经过生命演化史的裁剪,虽然数量上并不差,但是质量上可能差了老远,所以这条路我是不看好的。
最后说一下,这样有什么意义呢?
人脑可以思考出最新最难的数学,但是这些大多数都不能在图灵机上实现,因为相对于这些最难的问题,图灵机显的弱爆了。如果我们能通过演化的模式重造人类智能,那我们同样也能轻易的超越现有的人类,因为这相当于把生命进化的速度加快了千倍万倍。
但是这会不会导致人类者被AI奴役或灭绝,我并不知道。
作者微信
领取专属 10元无门槛券
私享最新 技术干货