无锋，是一把剑的名字。

无锋，无我。或许忘记了自己，就能够与天地同化，与时光同久。

可，还是要落实到每一天的，每一秒的动作。

当我们在溯洄时光时，究竟想看到什么？

为何，书写？为何，留念？

每个人因着不同的记忆，在这里，寻找自己的答案。

曾经以为，可以跟机器人地老天荒，才发现，依赖存储设备的爱情，等一场机械故障，就消失了。

如果变成灵体，意识又会去往何方？离开了这一身肉体凡胎，我又要去往何方？

那个在计算机里运行过无数次的生命，是不是还是我。

也许在那一个世界线里，我以A之名与你在一起，重来一次，我想换一个方式。

寻找那个根源，或是探索新的空间。

我们终将走回一个原点，或是能重新看待这个世界。

在这个庞大的信息世界里，手中握着一个机械，可以从这里搜寻各种信息。

每当我生出一个问题，都可以去问它，答案呢。

我不用自己去当那个爬虫，顺着信息的Loop一段段爬答案，越发智能的运算会将精准的答案推荐给我。

在这个过程里，我做的工作是什么呢？

我在那一个时间点，给了它一个初始的动量。

动量可以是通过里产生速度，与时间的作用变成一个矢量。

也可以，在时间0的时刻，仅仅以动量的形式传递给物体。

譬如H（x)泛函，无法定义它在任何一点的数值，却可以定义它的作用。

对偶空间，Hom函子，似乎从很早就学习过集合与映射了，就好像没有认真思考过它们的意义。

其中，属于数学逻辑的训练，就这样被略去了。

集合论是跟逆否命题一起学的，当时只学了四种逻辑运算。

这其中包含了很多证明的思路，譬如，反证法

若{A推出B}永远是真命题，那么我们只要证明了左边的A成立，那么右边的B必然成立。

A B可以由各种不同的逻辑符号P Q R 构成，左边是一种逻辑形式右边是一种逻辑形式。

我们将所有必然为真的A推出B的格式写出来，当逻辑形式正确时，无论这些命题PQ本身的真假如何，我们都有正确的范式，而后，我们就可以通过论证A，来必然导出B

似乎，奥数题 那些显示的逻辑也可以写成这样的范式的样子，然后通过逻辑值的运算来完成结果的寻找。只是要完成这样的预算，需要很多次验证，所以我们自动去选择了偷懒的算法。

遍历法是最笨拙又最无解的，于是，我们试图简化算法。

我们试图猜测一个性质，验证这个性质为真，然后用它来当作判别法。

费马在研究素数的性质时留下过许多猜测，但根据直觉的猜测，未必符合数的性质。所以那些寻找的算法，仍然不能解决所有的问题。

但观察例子，揣测性质，验证性质，反验证更多的例子。

这似乎就是摸索的道路。或许，我们就是这样擅长观察与总结的物种。

从浩大混乱的宇宙，到一个个抽象又简略的律，我们努力将洪荒宇宙编成可以计数，可以运算的律。

那么，为什么宇宙的诞生从一开始就是可以规律化，可以运算的呢？

我写下这篇文字，意义又是什么呢？

它会再次消逝不？