“在我看来，逻辑是个奇怪的东西。根据哥德尔不完备定理，任意一个包含一阶谓词逻辑与初等数论的形式系统中，都存在一个命题，在这个系统中既不能被证明为真，也不能被证明为否……”

老焦捅捅我道：“这家伙说的是什么啊？”

我摇头道：“数学的东西，我也不懂。”

小魏道：“不是略懂？”

我道：“完全不略懂。”

“你不是工程师吗？”

“我是数学很差的工程师。”

青鸟仍在发表意见：“……比如语义上的悖论，你们人类仿佛与生俱来便具备有一种模糊处理的能力，可以直接跳过这类问题，你们叫什么来着……哦，‘想当然’

“人类可以思考‘我刚说过的这句话是假话’、‘世上没有绝对的真理’这样的悖论而不会死机，我们ai却不能，我们必然会陷入一个死循环，不得不预置一个看门狗来跳出循环。在定义上，人类也是很模糊的，大家可以达成一个模糊的共识，却并不影响彼此交流。

“比如，ai要保证人类生存、发展的权利。你们并没有严格定义什么是真正的人类？怎么样才算生存？就像缸中之脑那样，把人的脑子取出来，放到一个缸里养起来，在给它虚拟各种感觉，算不算是生存？

“你可能会说，这样没法繁殖，这不算生存。可是繁殖也有好多种方式，克隆难道不算繁殖么？人类语言中，存在太多无法精确界定的东西了，甚至连‘东西’这个词本身也是这样，对吧？”

我万万没想到，这个搞通信出身的ai，居然研究得这么跑偏，而且还是个话痨，愈加后悔没有带李木冰出来。