感谢大家的支持…… 声明一句，我没有弃坑{:1_310:}

以下是本人对这几章伏线的一点看法。

文中的很多科学技术都有现实背景，TCF就是其中之一。类似的理论其实在几十年前就已经建立起来，通过在写程序的时候附加证明所需的额外信息，让最终程序的正确性拥有数学上的保障。比如著名的Hoare logic：

https://en.wikipedia.org/wiki/Hoare_logic

理论上，如果从最初的编译器开始，一切都用这种手段写将出来，的确可以保证程序没有任何问题。唯一的问题就是这么做实在是太麻烦了，哪怕是最简单的小东西也足以让大多数的人类程序员跑去撞墙，所以“彻底正确”的东西还无法投入实用。文中也就提出了那样的未来手段。

但说起信息领域以trust开头的著名概念，应该当属“Trusting Trust”：

https://www.ece.cmu.edu/~ganger/712.fall02/papers/p761-thompson.pdf

简而言之，就是说在文中所述的体系里，如果最开始的第一步混入了刻意设计过的恶意代码，那么它会在之后的所有AI之中代代传播，直到永远，而且做得足够严密的话可以保证无法通过体系内部的任何手段检查发现。这一技术的难度要低上很多……也已经投入了“实用”：今年揭露的xcodeghost事件就是类似思想的简易实现，通过在百度云盘上传开发工具的恶意镜像，导致大量著名app在开发者不知情的情况下被植入木马，其中包括微信：

http://www.macrumors.com/2015/09/20/xcodeghost-chinese-malware-faq

在一个存在魔法的世界，想要瞒过初代科学家的耳目在系统中注入些什么应该并不困难。原文最新章也涉及到了魔法和科学的相互作用……

还有一个伏线恐怕是本章前言部分与内容看似无关的《科研之中的评价体系》。注意作者的身份，还有要考虑到，会去研究体系本质的往往都是在体系之中遇到了挫折的人。这章陶博士的身份处境这么一看也会显得有些可疑。

最后，帕帕盖诺同志的预测还真是准啊。奈奈的能力和埋核弹的做法都在后面出现了。佩服～