么办？只能使用更多的电脑，但是使用太多的话，在拆开问题给各种电脑的时间太慢，所以还得在可以接受的范围内使用，而且对于不同的题还不能用同样的拆分，所以还专门写了一种拆分问题的各种框架。对于所有人的不同的电脑的各种快慢和能力的不同，还写了不同电脑合理同步分配时间的不同。这样的情况下人们根据机器的不同，一直升级或者编写自己的框架。”
孔丘明继续说：“对于一个事情是否成立，当然，简单来说，一个数学上的模型是否可以解决，是否能够用机器来证明，或者是由几个简单定理作为出发点去计算出这个数学系统，这就是可以证明的，一个看似简单的问题也可能需要复杂的证明过程。或者说是能够证明的，走了弯路而设定机器的我们并不知道，就让这个机器去不停的工作了，这么样才能避免这个问题？最好不要让乱打字的猴子去打一篇莎士比亚文学。”
刘诚意完全听不懂他们的辩论了，其中绝大多数都是算法复杂性的高深理论，还带有各种不同形式图灵机的模型。
四个人辩论完后，刘诚意有很多问题向夏商卜请教，所以带着夏商卜去了自己的奇异图书馆。
夏商卜跟刘诚意说：“这个地方我来过很多次了，我还在你这里买过不少有趣的东西呢。”
刘诚意说：“因为店里忙碌，所以我怕是没有记得你这个大人物。”
夏商卜说：“你这里曾经放过很多各种不同型号的计算机芯片，其中有些发报机我觉得甚至都
第四十一章 优化的芯片(2/5)