苏黎世位于阿尔卑斯山的北面，是一座历史悠久的小城，永久中立国瑞士的首都。
当然，所谓的小城仅仅是说人口比较少而已，这座城市是整个蓝星银行业的中心，也是欧罗巴，甚至整个蓝星亿万富翁最集中的都市之一。
苏黎世大学也是欧罗巴最著名的高等学府之一，而且很奇葩的是，这个学校偏科非常厉害，它的人体免疫、医学和生物工程方面的研究特别发达，隐隐处于整个蓝星的领导地位。
“其实原因也很简单”，王一男跟周慧解释说，
“因为越有钱的人越怕死，所以整个苏黎世的有钱人，都拼命资助苏黎世大学这方面的研究，指望有朝一日能够研究出长生不死的药物来”，
“这么说当年的秦始皇也是这个心理，对吧”，周慧说，
“我觉得你也挺怕死的，要不怎么坐一次飞机，就像要了你的命一样”，周慧忍不住拆穿王一男的老底，
“那不一样，我是恐惧未知，飞机在空中晃悠的时候，因为不知道外面是什么情况才让我恐惧”，王一男努力为自己辩解，
“当然，谁都怕死，难道你不怕？”，最后王一男还是不得不承认自己确实怕死。
因为有了心事，王一男在苏黎世大学的演讲，效果就有点差强人意了，这也很正常，毕竟面对那篇文章的颠覆性结论，能保持淡定才是怪事。
其实在看到那篇文章之前，王一男就隐隐有了一些类似的想法了，从哥德尔系统的1.0版本到哥德尔系统2.0版本的进化，整个系统的演化过程已经有点这样的意思。
哥德尔系统1.0是建立在人类的经验上的，它的输入是自然定律和人类的一些工作模式，所以找到的缺陷很容易就能够表达为人类所能够理解的形式。
可哥德尔系统2.0就不一样了，它的输入抛弃了人类的工作模式，完全是从零开始学习的，学习的成果是谁都弄不明白的哥德尔系统内部的神经网络。
使用神经网络来寻找人类开发系统的缺陷，实际上是不得已而为之的，这毕竟绕了一层，最理想的方案，是人类看懂神经网络表达的意思，然后应用在自己的实践中，但是显然目前做不到这一点，因为没人能看的懂，所以只好是用神经神经网络来挑错误，尽可能帮助人类创造出更高质量的系统。
实际上，最好的系统就是神经网络本身，在机器识别文字、数字、乃至面孔的领域，人们已经这么做了，直接将神经网络和芯片一起放在识别的设备上，也取得非常好的效果。
但是，绝大多数应用领域，是不能直接这么做的。
就像之前的超导研究，哥德尔系统直接得出了更好超导体的晶格结构，但是如果别人问起王一男，“你是怎么获得这样的结构？”，王一男是回答不上来的，因为至少在现在，没有人能接受这是一个人工智能推导的结果。
所以，王一男和李文静还有邱先生、陶教授，集合四个人的力量和智慧，总算找到一条人类可以理解的理论途径，成功推导出哥德尔系统早就通过神经网络获得的结论。
王一男还在想着，能不能从这次经验中学到点什么，可以找到一种通用的方法，来描述神经网络的结论，或者说从现有理论推导出神经网络模拟进化的结果。
但是现在，这篇文章明确的说，“no，no，no”，“这种普遍的方法从数学上来讲是不存在”，
“绝大多数神经网络的结论，无法用人类能够理解的形式系统来描述”。
当然，严格来说，这不是人类智力的极限，而是人类逻辑思维能力的极限，因为人类的大脑，本身就是由生物神经网络组成的，人类识别文字和图像的能力，同样是通过神经网络来完成的。
从最通俗的意义上，这篇文章的结论可以表述为：“不是任何两个不同的面孔，都能够通过语言描述其特征的方式来进行区别”。
望着远处终年积雪的阿尔卑斯山，王一男的思绪总算找到一个勉强可以落脚的地方，“逻辑思维的局限，而不是人类的智力的极限”，这个结论他勉强可以接受。
毕竟，这样的事情在现代科学中又不是第一次出现了，哥德尔不完全性定理已经证明了矛盾是一切形式系统的本质属性，当时的科学家受到的冲击可是要大得多，这篇文章只不过更进一步，证明了逻辑思维、甚至形式系统本身是无法描述所有的复杂存在的。
当然，目前的这个结论还是一个猜想，不能成为定理，虽然说蓝星最强五人小组都确信这个结论是正确的，这个猜想，还是必须补充完所有逻辑链条上的漏洞和省略的地方之后，才能成为定理。
“真是讽刺啊”，夕阳映照在阿尔卑斯山顶终年不化的积雪上，涂抹出富丽堂皇的金色光芒，就像科学的皇冠一样，光彩夺目而又庄严神圣，王一男喃喃自语，
“人类居然能用自己的逻辑思维能力，证明逻辑思维能力本身的局限，难道以后的教材上，再出现新的材料甚至理论的时候，附上的不是证明的过程，而是xxx神经网络，在什么时候得出的结论么”。
“那样我倒也省事了，不用再解释为什么可以得到新超导体的晶格结构，写上一句，经过yyy人工智能一百个小时的模拟训练，我们得到了新的超导体应该具有的晶格结构就足够了”。
“这是新时代科学的辉煌序幕”，
“还是一场灾难的前奏呢？”
“真是伤脑筋啊”，王一男陷入久久的沉思中。