程序与证明

在日复一日熟悉的过程中，就是逐渐厌倦的过程中，

所生活的世界不知不觉变成了按部就班的程序，我们只是被执行的一小段代码块。

有些人的生活，可能是单调的线性函数，最终传递出一个索然无味的返回值；

或者是复杂的结构体，在层层引用与复杂嵌套中迷失了最初的声明；

被覆盖的全局变量…殚精竭虑，维余空函数华丽的括号、错误的没有闭合…

…

起因是翎的一个电话，提到了某某系统要求ta证明自己的身份…

一个看似好笑的无聊问题，被证明，证明，简单的无法闭合性。

身份证、社会关系、他人认同…

身份证上的是你自己吗，？

或者，并不重要？

仅仅是扮演者…

需要向别人证明，不需要出示绝对证据这种虚无缥缈的（不）存在，

只需要让对方相信，你就是这个角色（的唯一扮演者）。

信息的复刻与重构…

好在量子不可复制定理保证了某种由微观到宏观的唯一。