不过说真的，我觉得设计师的原型真的就是弗雷格。设计师在《黑客2》里说过一段话：“我设计的第一个黑客帝国非常完美，堪称艺术精品，只有它的失败才能和成功相提并论。”在数学（或哲学、逻辑学，应该有有这样的记载）史上，德国数学家弗雷格是第一个试图把算术化归成逻辑演算的人。他建立了一阶逻辑系统，并为这个系统投入了大量心血，先后写出《概念文字》《算术基础》《算术的基本法则》（2卷本）。就在《算术基本法则》第二卷付印之时，罗素写信给弗雷格，信中就包含了著名的罗素悖论（即理发师悖论）。该悖论指出了弗雷格系统中的漏洞，这点与设计师的话相对应。《黑客2》尼奥与设计师的后续谈话中，可以了解到，黑客帝国此前进行了五次升级。数学史中也有相应的事件。就是在罗素发现了弗雷格的悖论之后，自己按照弗雷格“把算术化归为逻辑”的思想，又设计了新的数学基础的系统，这就是后来的《数学原理》。该系统中通过类型论化解了罗素悖论。但是该系统也是有漏洞的，1931年，德国数学家库尔特·哥德尔提出了不完备定理，该定理宣称“任何系统中，总有一些命题既不能被证明为真，也不能被证明为假。”这就导致了系统不得不一次又一次的升级，因为每次升级后的系统总会出现“哥德尔命题”（我看的一些影评中的一些观点指出，那六个救世主就是系统的六个哥德尔命题），于是哥德尔命题不得不回到那些最初的程序中，完成新一次的升级。
但是我觉得，论先后好歹是弗雷格老爷子是创始人，他当设计师应该是理所当然的吧 。。。 没功劳也有苦劳吧 。。。。
但是我觉得，论先后好歹是弗雷格老爷子是创始人，他当设计师应该是理所当然的吧 。。。 没功劳也有苦劳吧 。。。。
