晚上十一点半。屏幕冷光直往脸上糊。待办清单没勾完，简历改了八版，微信对话框里那句“在吗”打了又删，最后连发送键都懒得碰。盯着这些，脑子里突然就蹦出前阵子翻出来的旧书，《自动机理论》。里面专啃图灵机和停机问题的那章，写得真够冷静。作者直接把话撂那儿了：根本没有那种万能算法，能提前掐准一段程序，到底是会乖乖停下，还是没完没了地死循环。
我盯着屏幕愣了几秒。停机问题，说白了就是机器算不出自己的终点。可人呢？偏偏爱给自己写代码。说真的，咱们这代人，多多少少都带着点“状态机焦虑”。总觉得，只要规则定得够死，每一步踩得够准，人生这台破机器就能在某个节点准时停机，吐出一个明明白白的答案。升职。结婚。买房。上岸。咱们硬把日子敲成可执行的代码，眼巴巴盼着代表“成了”的绿灯亮起来。仿佛只要往输入端塞够变量，就能硬算出唯一解。算来算去，账本儿根本对不上。
但日子哪是按线性状态机跑的？你熬夜啃书等offer，那年偏偏缩编，岗直接没了。你掏心掏肺处了一段感情，某天提示音一响，对面已经拉黑。你照着攻略一步步走，到了跟前才发现，那地儿早拆了重建。以前我总跟自己死磕，琢磨是不是自己哪步走岔了，算力不够。后来才咂摸过味儿来。可能这事儿压根就不是技术活，是逻辑死胡同。书里说得挺狠：不可判定性不是咱们脑子笨，是问题本身就没解。咱们总想提前要个剧透，可生活这玩意儿，最擅长的就是反着来。
去年秋天，闺蜜拉我喝咖啡，问我到底该不该辞职读在职研。我脑子一热，当场给她甩了七页纸的利弊清单。概率、风险、机会成本，算得滴水不漏。她捧着杯子沉默半天，说：“道理我都懂，可心里就是直打鼓，拿不定主意。”那一刻我有点破防。咱们总以为自己在做战略决策，其实多半是用理性给情绪打掩护。真正把人钉死在原地反复横跳的，根本不是选项太多。是咱们非逼着那些本来就没标准答案的事儿，赶紧停机。说白了，就是怕那种“永远跑下去”的失控感。宁愿在舒适圈里内耗，也不敢真跨出去。你看公司里熬夜死磕PPT的，半夜在朋友圈发又删的，干的其实都是一回事：拿那点可怜的脑容量，去硬解一个根本无解的高维题。我觉得吧，有时候不解决，才是解决。
自动机理论里有个概念，叫“下推自动机”。比最基础的有穷自动机多背了个“栈”，就为了啃那些一层套一层的嵌套结构。人过日子，其实也差不多这德行。咱们总爱拿那种非黑即白的尺子，去量本来就没法量清楚的日子。却忘了很多选择本来就是套娃，得递归着看。半夜问自己“到底图个啥”，答案往往得等再过个三五年，吃了亏、见了世面，才慢慢浮上来。琢磨“这趟折腾值不值”，也只有真走到头了，才有资格回头掂量。急着要个停机信号，反倒把过程里最实在的那部分给漏了。书里提过，图灵机的纸带理论上能无限拉。可咱们人的精力、耐心、头发就那么多。拿有限的命去死磕一个无解的题，纯属跟自己过不去。总想要一张包罗万象的导航图，不如先把鞋穿好，踩出脚印再说。
说真的，我以前是个重度计划狂。总觉得把日子抠得越细，就能把暗礁全避开。现在嘛，反倒觉得，允许自己写的程序“永远跑着”，心里能喘口气了。可能人到了某个阶段，就不太信“万事俱备”这套了。不急着要个交代，不硬逼着自己立马拍板。卡住了也没啥。状态在挪，哪怕没个明确的终点，也算往前蹭了一步。有回早高峰挤地铁，看着窗外倒退的站台和模糊的灯影，我突然就有点通透了。人生压根不是道必须算出标准答案的数学题。而是一段不断往里读新符号的旅程。至于读成啥样，边走边看吧。
书合上的时候，外头天都快亮了。屏幕上的待办事项还空着一大半，微信对话框里照样没动静。我不再急着给生活贴标签了。有些问题，我觉得本来就不该被求解。能一直在路上晃悠着，不也挺好吗。