孔丘明说:“想要去算,找到了计算的东西,一台机器,能算。确定的几个基础的机械运动他们了解,之后再去用自己计划好的组合的方法去拼成自己想要计算的东西,结果发现,算的很理想。想要加快速度,可以用电子去代替,自己想要什么,就去计算什么然后就可计算很多复杂的东西。之后再把常用的计算直接简单的拼成对应的形状,之后再继续去写,之后就会解决一个很复杂的问题。之后有很多人有很多不同问题,之后再去复杂的去拼成各种形状,之后然后把简单的基本计算记住,然后让控制计算的基本命令交给了有志之士,之后大家就去计算机上自己写命令去计算自己想要的问题。有的聪明的就写出了能够简单地实现问题的固定命令,写出了一个固定的样子,方便去使用,而且不断升级,变得简单,而且计算的很快,还能记住很多问题。这个时候,有些非同寻常的人坐不住了,他想解决一个些复杂的一般人都难以计算的问题,他就把机器造大了一点,机器越大,他越不满足,越想要更多的计算,不仅如此,很多人都想要越来越多的计算。他们把自己的机器都连在一起,去算一个东西,还写出了连在一起的东西,还让更巨大的计算机把每个人的电能连接起来,之后再去节约的去使用一时半会儿大家没有用到的东西去计算,所以大家的电脑和巨大的服务器需要更科学的去调用那些东西,之后再去更加节约的加快了速度,省出了更多的空间。但是难题却会一直有,很多人想把用几千万年才能算完的题在人类的有生之年算完,该怎么办?只能使用更多的电脑,但是使用太多的话,在拆开问题给各种电脑的时间太慢,所以还得在可以接受的范围内使用,而且对于不同的题还不能用同样的拆分,所以还专门写了一种拆分问题的各种框架。对于所有人的不同的电脑的各种快慢和能力的不同,还写了不同电脑合理同步分配时间的不同。这样的情况下人们根据机器的不同,一直升级或者编写自己的框架。”
孔丘明继续说:“对于一个事情是否成立,当然,简单来说,一个数学上的模型是否可以解决,是否能够用机器来证明,或者是由几个简单定理作为出发点去计算出这个数学系统,这就是可以证明的,一个看似简单的问题也可能需要复杂的证明过程。或者说是能够证明的,走了弯路而设定机器的我们并不知道,就让这个机器去不停的工作了,这么样才能避免这个问题?最好不要让乱打字的猴子去打一篇莎士比亚文学。”
刘诚意完全听不懂他们的辩论了,其中绝大多数都是算法复杂性的高深理论,还带有各种不同形式图灵机的模型。
四个人辩论完后,刘诚意有很多问题向夏商卜请教,所以带着夏商卜去了自己的奇异图书馆。
夏商卜跟刘诚意说:“这个地方我来过很多次了,我还在你这里买过不少有趣的东西呢。”
刘诚意说:“因为店里忙碌,所以我怕是没有记得你这个大人物。”
夏商卜说:“你这里曾经放过很多各种不同型号的计算机芯片,其中有些发报机我觉得甚至都不是人类世界的。”
刘诚意说:“很多芯片我都没有亲自用过,你怎么能通过外表判断呢?”
夏商卜说:“现有的芯片的结构就是世界上通用的那几家,就算历史上有演变,但也不会超出那种范围。而你这个很有趣,有些根本就不符合人类使用的计算器的那种型号,但是我曾经借阅和购买了你的奇怪芯片,拿在家里去测试。”
刘诚意说:“如果是外星人的芯片,那你会使用吗?”
夏商卜说:“肯定不会,因为外星文字我都不会翻译,但是我可以测试出这是一个可用芯片。”
刘诚意说:“那这个怎么测?”
夏商卜说:“任何一个芯片会有时钟,测芯片的需要有复杂的电子仪器,对我来说就是改造一下示波器,然后去测试其中有没有特定的波型,我发现他们做的半导体电路比我们人类的少,但是却快。”
刘诚意说:“你怎么能看出少,还能看出快。”
夏商卜说:“我只是根据芯片中的水晶时钟来判断的,加入芯片计算后,根据这样的快速,我推敲出来的,他们的速度已经快过了当前人类用的芯片的速度很多。”
刘诚意说:“我们可以用自己的电脑安装这个芯片使用吗?”
夏商卜说:“当然了,改造主板就可以,不过没有意义,那仅仅是计算。”
刘诚意说:“你可以给我看看这个发报机吗?我需要你的帮助来破解这些,看看是不是对你们也有用?”
夏商卜说:“我听说过你的这个装置,如果真的如董九艺所说,那就是外星人留下的东西。”
刘诚意说:“我听说北方城有被大会议围困的机器人,这是真的吗?”
夏商卜说:“是真的,而且这些机器人自己都有很强的运算和制造能力。”
刘诚意说:“如果发报机是从那里来的,或许我们就能制造跟外星人联络的通讯装置了。”
夏商卜说:“大会议中的事情不妨跟你说,其实我们已经使用过发报机了。”
刘诚意说:“你们用过?什么时候?”
夏商卜说:“在五、六年前我造出了探测宇宙深空的探测器,来探测冥王星上的外星人,我们那时无法判断对方发来什么信号,所以临时