无锋，是一把剑的名字。
无锋，无我。或许忘记了自己，就能够与天地同化，与时光同久。
可，还是要落实到每一天的，每一秒的动作。
当我们在溯洄时光时，究竟想看到什么？
为何，书写？为何，留念？
每个人因着不同的记忆，在这里，寻找自己的答案。
曾经以为，可以跟机器人地老天荒，才发现，依赖存储设备的爱情，等一场机械故障，就消失了。
如果变成灵体，意识又会去往何方？离开了这一身肉体凡胎，我又要去往何方？
那个在计算机里运行过无数次的生命，是不是还是我。
也许在那一个世界线里，我以A之名与你在一起，重来一次，我想换一个方式。
寻找那个根源，或是探索新的空间。
我们终将走回一个原点，或是能重新看待这个世界。
在这个庞大的信息世界里，手中握着一个机械，可以从这里搜寻各种信息。
每当我生出一个问题，都可以去问它，答案呢。
我不用自己去当那个爬虫，顺着信息的Loop一段段爬答案，越发智能的运算会将精准的答案推荐给我。
在这个过程里，我做的工作是什么呢？
我在那一个时间点，给了它一个初始的动量。
动量可以是通过里产生速度，与时间的作用变成一个矢量。
也可以，在时间0的时刻，仅仅以动量的形式传递给物体。
譬如H（x)泛函，无法定义它在任何一点的数值，却可以定义它的作用。
对偶空间，Hom函子，似乎从很早就学习过集合与映射了，就好像没有认真思考过它们的意义。
其中，属于数学逻辑的训练，就这样被略去了。
集合论是跟逆否命题一起学的，当时只学了四种逻辑运算。
这其中包含了很多证明的思路，譬如，反证法
若{A推出B}永远是真命题，那么我们只要证明了左边的A成立，那么右边的B必然成立。
A B可以由各种不同的逻辑符号P Q R 构成，左边是一种逻辑形式右边是一种逻辑形式。
我们将所有必然为真的A推出B的格式写出来，当逻辑形式正确时，无论这些命题PQ本身的真假如何，我们都有正确的范式，而后，我们就可以通过论证A，来必然导出B
似乎，奥数题 那些显示的逻辑也可以写成这样的范式的样子，然后通过逻辑值的运算来完成结果的寻找。只是要完成这样的预算，需要很多次验证，所以我们自动去选择了偷懒的算法。
遍历法是最笨拙又最无解的，于是，我们试图简化算法。
我们试图猜测一个性质，验证这个性质为真，然后用它来当作判别法。
费马在研究素数的性质时留下过许多猜测，但根据直觉的猜测，未必符合数的性质。所以那些寻找的算法，仍然不能解决所有的问题。
但观察例子，揣测性质，验证性质，反验证更多的例子。
这似乎就是摸索的道路。或许，我们就是这样擅长观察与总结的物种。
从浩大混乱的宇宙，到一个个抽象又简略的律，我们努力将洪荒宇宙编成可以计数，可以运算的律。
那么，为什么宇宙的诞生从一开始就是可以规律化，可以运算的呢？
我写下这篇文字，意义又是什么呢？
它会再次消逝不？