函数式语言中隐含的“时间中止”前说起状态型语言的相关前提

函数式语言如Haskell等把计算机当成真正的“计算”机，因此在它们的眼中，世界是静止的。由于世界是静止的，因此才创建了它的可计算的基础。试想，若是每次我还没算完它就已经改变了，那我“计算”的意义在哪里？

固然不可否认那样的计算其实有时候可能也有意义，但那不是广泛的状况。广泛的状况是，计算是做为一种认知手段存在于人类知识领域的。它的目的是为了用来预测。若是我不能在被计算对象发生改变前做出预测，这样的预测就是没有意义的。这样的认识也是没有意义的。至于与这种计算相关的所有知识也都是没有意义的。

那固然不行。

为了让我认识它，“世界”必须静止不动。也就是说，在我计算的时候，“时间”必须中止！

 

World at a time是计算的前提。

数学家认为他们只能对一个“世界”进行计算或者至少说，当讨论到对“世界”的计算时，他们喜欢一个一个地算。即：算完一个（世界），再算下一个（世界）。也即，一个世界就应该只有一个状态。若是它拥有了两个状态，那么它就是两个世界而不是一个世界。由于：world at two times==two worlds。他们认为不存在拥有两个状态的世界。

这与状态型语言的世界观彻底相反。状态型语言认为世界是拥有状态的。世界是拥有状态的世界。状态是世界的一个属性。所谓世界，是包含了时间的四维世界。这里的四维不是爱因斯坦的客观式“四维”，而是一种主观式“四维”。

客观式四维世界观的问题是，它把世界太当回事了。主观式四维世界观的目的就是为了跳出那个陷阱，以把注意力从新转移到人类的思惟过程自己---在这里就是“认识”上面来。由于认识其本质上只不过一种主观性臆想而已。它自己就只存在于人类的理解中。

三维的世界观认为世界是“算”出来的或者至少能够被“算”出来。而时间的存在则是由于计算过程的存在。宇宙对于他们来讲只不过是一部巨大的计算机而已。

四维世界观则是在认可世界的时间性基础上，认可世界的独立存在。

计算的目的是为了从一个世界推知另外一个世界。这是数学家们的逻辑。预测须要一个准确的前提（这个跟神经网络的逻辑背驰而行---神经网络每每要求差很少就好了）。Joe说世界是并行的，

共享状态与消息，在真实世界都是存在的。至少从人类理解的角度来讲是这样的（到底什么才是“共享”，什么又是“消息”呢？，，，其实全部的人类概念原本只存在于人类大脑中。所谓“事物”原本也只且只能存在于理解中。一旦没有了理解，也就什么都没有了）。